2024/03/28 更新

写真a

コヤマ アキラ
小山 晃
所属
理工学術院
職名
名誉教授
学位
理学博士 ( 筑波大学 )

学歴

  •  
    -
    1977年

    東京教育大学   理学研究科   数学専攻  

  •  
     
     

    東京教育大学   理学部   数学科  

所属学協会

  •  
     
     

    アメリカ数学会

  •  
     
     

    日本数学会

研究分野

  • 幾何学

研究キーワード

  • 幾何学的トポロジー、次元論、コホモロジー次元論、連続体理論

 

論文

  • On homologically locally connected spaces

    Akira Koyama, Vesko Valov

    Topology and it’s Applications   260 ( 1 ) 57 - 69  2019年02月  [査読有り]

    担当区分:責任著者

  • Surfaces in products of two curves

    A. Koyama, J. Krasinkiewicz, S. Spiez

    TOPOLOGY AND ITS APPLICATIONS   196   618 - 640  2015年12月  [査読有り]

     概要を見る

    We present a detailed discussion of the problem of embeddability of connected closed surfaces into products of two curves. In particular, we comment on two important results by R. Cauty and W. Kuperberg in this direction and strengthen them. It is proved that a closed connected surface M lying in a product of two curves is a retract of the product if and only if M is a torus. It is also observed the fact that every compact connected bordered surface embeds in the "three-page-book". (C) 2015 Elsevier B.V. All rights reserved.

    DOI

    Scopus

  • Embeddings into products and symmetric products—an algebraic approach

    A. Koyama, J. Krasinkiewicz, S. Spiez

    Houston J. Math.   38 ( 2 ) 611 - 641  2012年  [査読有り]

  • GENERALIZED MANIFOLDS IN PRODUCTS OF CURVES

    Akira Koyama, Jozef Krasinkiewicz, Stanislaw Spiez

    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY   363 ( 3 ) 1509 - 1532  2011年03月  [査読有り]

     概要を見る

    The intent of this article is to distinguish and study some n-dimensional compacta (such as weak n-manifolds) with respect to embeddability into products of n curves. We show that if X is a locally connected weak n-manifold lying in a product of n curves, then rank H-1 (X) >= n. If rank H-1(X) = n, then X is an n-torus. Moreover, if rank H-1(X) < 2n, then X can be presented as a product of an m-torus and a weak (n - m)-manifold, where m >= 2n - rank H-1(X). If rank H-1 (X) < infinity, then X is a polyhedron. It follows that certain 2-dimensional compact contractible polyhedra are not embeddable in products of two curves. On the other hand, we show that any collapsible 2-dimensional polyhedron embeds in a product of two trees. We answer a question of Cauty proving that closed surfaces embeddable in a product of two curves embed in a product of two graphs. We construct a 2-dimensional polyhedron that embeds in a product of two curves but does not embed in a product of two graphs. This solves in the negative another problem of Cauty. We also construct a weak 2-manifold X lying in a product of two graphs such that H-2(X) = 0.

  • CONTINUOUS LINEAR EXTENSION OF FUNCTIONS

    A. Koyama, I. Stasyuk, E. D. Tymchatyn, A. Zagorodnyuk

    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY   138 ( 11 ) 4149 - 4155  2010年11月  [査読有り]

     概要を見る

    Let (X, d) be a complete metric space. We prove that there is a continuous, linear, regular extension operator from the space C*(b) of all partial, continuous, real-valued, bounded functions with closed, bounded domains in X to the space C*(X) of all continuous, bounded, real-valued functions on X with the topology of uniform convergence on compact sets. This is a variant of a result of Kunzi and Shapiro for continuous functions with compact, variable domains.

  • On the symmetric hyperspace of the circle

    Naotsugu Chinen, Akira Koyama

    TOPOLOGY AND ITS APPLICATIONS   157 ( 17 ) 2613 - 2621  2010年11月  [査読有り]

     概要を見る

    By X(n), n >= 1, we denote the n-th symmetric hyperspace of a metric space X as the space of non-empty finite subsets of X with at most n elements endowed with the Hausdorff metric. In this paper we shall describe the n-th symmetric hyperspace S(1) (n) as a compactification of an open cone over Sigma D(n-2), here D(n-2) is the higher-dimensional dunce hat introduced by Andersen, Marjanovic and Schori (1993) [2] if is is even, and D(n-2) has the homotopy type of S(n-2) if is is odd (see Andersen et al. (1993) [2]). Then we can determine the homotopy type of S' (n) and detect several topological properties of S(1)(n). (C) 2010 Elsevier B.V. All rights reserved.

    DOI

    Scopus

    7
    被引用数
    (Scopus)
  • C-0-coarse geometry of complements of Z-sets in the Hilbert cube

    E. Cuchillo-Ibanez, J. Dydak, A. Koyama, M. A. Moron

    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY   360 ( 10 ) 5229 - 5246  2008年  [査読有り]

     概要を見る

    Motivated by the Chapman Complement Theorem, we construct an isomorphism between the topological category of compact Z-sets in the Hilbert cube Q and the C-0-coarse category of their complements. The C-0-coarse morphisms are, in this particular case, intrinsically related to uniformly continuous proper maps. Using that fact we are able to relate in a natural way some of the topological invariants of Z-sets to the geometry of their complements.

  • Strong cohomological dimension

    J. Dydak, A. Koyama

    Bull. Acad. Polish. Sci. Math.   56 ( 2 ) 183 - 189  2008年

  • Recent development of cohomological dimension theory - existence and applications of Edwards-Walsh resolutions

    A. Koyama

    Sugaku Expositions   17 ( 2 ) 125 - 150  2004年

  • Cohomological dimension and acyclic resolutions

    A Koyama, K Yokoi

    TOPOLOGY AND ITS APPLICATIONS   120 ( 1-2 ) 175 - 204  2002年05月  [査読有り]

     概要を見る

    Let G be an Abelian group admitting a homomorphism alpha: Z --> G such that the induced homomorphisms alpha x id: ZxG G --> GxG and alpha*: Hom(G, G) --> Hom(Z, G) are isomorphisms. We show that for every simplicial complex L there exists an Edwards-Walsh resolution omega: EWG (L, n) --> \L\. As applications of it we give several resolution theorems. In particular, we have
    Theorem. Let G be an arbitrary Abelian group. For every compactum X with c-dim(G) X less than or equal to n there exists a G-acyclic map f : Z --> X from a compactum Z with dim Z less than or equal to n + 2 and c-dim(G) Z less than or equal to n + 1.
    Our methods determine other results as well. If the group G is cyclic, then one can obtain Z with dim Z less than or equal to n. In certain other cases, depending on G, we may resolve X in such a manner that C dim Z less than or equal to n + 1 and c-dim(G) Z less than or equal to n. (C) 2002 Elsevier Science B.V. All rights reserved.

  • On classes of maps which preserve finitisticness

    A Koyama, MA Moron

    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY   130 ( 10 ) 3091 - 3096  2002年  [査読有り]

     概要を見る

    We shall prove the following: ( 1) Let r : X --> Y be a refinable map between paracompact spaces. Then X is finitistic if and only if Y is finitistic. ( 2) Let f : X --> Y be a hereditary shape equivalence between metric spaces. Then if X is finitistic, Y is finitistic.

  • Borsuk-Sieklucki theorem cohomological dimension theory

    M Boege, J Dydak, R Jimenez, A Koyama, EV Shchepin

    FUNDAMENTA MATHEMATICAE   171 ( 3 ) 213 - 222  2002年  [査読有り]

     概要を見る

    The Borsuk-Sieklucki theorem says that for every uncountable family {X(alpha)}alphais an element ofA of n-dimensional closed subsets of an n-dimensional ANR-compactum, there exist alphanot equalbeta such that dim(X(alpha) boolean AND Xbeta) = n. In this paper we show a cohomological version of that theorem:
    THEOREM. Suppose a compactum X is clc(Z)(n+1), where n greater than or equal to 1, and G is an Abelian group. Let {X(alpha)}(alpha=J) be an uncountable family of closed subsets of X. If dim(G)X = dim(G)X(alpha), = n for all alpha is an element of J, then dim(G) (X(alpha) boolean AND X(beta)) = n for some alpha not equal beta.
    For G being a countable principal ideal domain the above result was proved by Choi and Kozlowski [C-K]. Independently, Dydak and Koyama [D-K] proved it for G being an arbitrary principal ideal domain and posed the question of validity of the Theorem for quasicyclic groups (see Problem 1 in [D-K]).
    As applications of the Theorem we investigate equality of cohomological dimension and strong cohomological dimension, and give a characterization of cohomological dimension in terms of a special base.

  • Cohomological dimension of locally connected compacta

    J Dydak, A Koyama

    TOPOLOGY AND ITS APPLICATIONS   113 ( 1-3 ) 39 - 50  2001年06月  [査読有り]

     概要を見る

    In this paper we investigate the cohomological dimension of cohomologically locally connected compacta with respect to principal ideal domains. We show the cohomological dimension version of the Borsuk-Siecklucki theorem: for every uncountable family {K-alpha}(alpha is an element ofA) of n-dimensional closed subsets of an n-dimensional ANR-compactum, there exist alpha not equal beta such that dim(K(alpha)boolean ANDK(beta)) = n. As its consequences we shall investigate the equality of cohomological dimension and strong cohomological dimension and give a characterization of cohomological dimension by using a special base. Furthermore, we shall discuss the relation between cohomological dimension and dimension of cohomologically locally connected spaces. (C) 2001 Elsevier Science B.V. All rights reserved.

  • On Dranishnikov's cell-like resolution

    A Koyama, K Yokoi

    TOPOLOGY AND ITS APPLICATIONS   113 ( 1-3 ) 87 - 106  2001年06月  [査読有り]

     概要を見る

    We prove the following theorem:
    Theorem 1, For a compactum X with c-dim(Z/p) X less than or equal to n and c-dim(Z(q)) X less than or equal to n for some distinct prime numbers p, q, aid c-dim(Z) X less than or equal to n + 1, where n > 1, there exists an (n + 1)-dimensional compactum Z with c-dim(Z/p) Z less than or equal to n, c-dimZ((q)), Z less than or equal to n and a cell-like map f: Z --> X.
    Moreover, giving the following theorem, we note that Theorem 1 cannot be true in the case of n=1,
    Theorem 2, For every: pair, p, q of distinct prime numbers there exists an infinite-dimensional compactum X such that c-dim(Z/p) X = 1, c-dim(Z(q)) X = 1 and c-dim(Z) X = 2. (C) 2001 Elsevier Science B.V. All rights reserved.

  • コホモロジー次元論の最近の展開--Edwards-Walsh resolutions の存在と応用

    小山 晃

    数学   53 ( 4 ) 349 - 372  2001年

  • Compacta not embeddable into Cartesian products of curves

    J. Dydak, A. Koyama

    Bull. Acad. Polish. Sci. Math.   48 ( 1 ) 51 - 56  2000年

▼全件表示

書籍等出版物

  • 位相空間論 : 現代数学への基礎

    小山 晃( 担当: 単著)

    森北出版  2021年03月 ISBN: 9784627078611

  • Topics in Dimension Theory - Recent Progress in General Topology III

    J. Dydak, A. Koyama( 担当: 分担執筆)

    Atlantis Press  2014年 ISBN: 9789462390232

講演・口頭発表等

  • Boltyanskii-Kodamaの例と関連する話題について

    小山晃

    一般トポロジーとその関連分野の進捗  

    発表年月: 2023年06月

    開催年月:
    2023年06月
     
     
  • Homologically ANR - revised

    Akira Koyama  [招待有り]

    Conference on geometric topology and related topics - Dedicated on the 65 birthday Sergey A. Antonysn  

    発表年月: 2019年12月

    開催年月:
    2019年12月
     
     
  • Homological properties of decomposition spaces

    A. Koyama  [招待有り]

    Geometric Topology and Geometry of Banach Spaces   (Eilat)  University of Ben Grion  

    発表年月: 2017年05月

  • Characterizations of n-dimensional compacta in the products of n curves

    A. Koyama  [招待有り]

    Dubrovnik VIII - Geometric Topology, Geometric Group Theory and Dynamical Systems  

    発表年月: 2015年06月

  • On embeddings into products of curves - An algebraic approach

    A. Koyama  [招待有り]

    28th Summer Conference on Topology and its Applications   (Nipissing University)  Nipissing University  

    発表年月: 2013年07月

  • A role of Whyburn factorization theorem for embeddings of n-dimensional continua into products of n curves

    A. Koyama  [招待有り]

    Geometric Topology Conference, in honor of Evgeny Shchepin on the ocassion of his 60th birthday   (Oaxaca)  UNAM  

    発表年月: 2011年10月

▼全件表示

共同研究・競争的資金等の研究課題

  • 次元論および距離空間の埋蔵問題から考察するcoarse幾何学の研究

    研究期間:

    2016年04月
    -
    2021年03月
     

     概要を見る

    私の研究分野「幾何学的トポロジー」の一つの発祥地であるワルシャワ(ポーランド)で開催された「Geometric Topology - Celebrating the Year of Mathematics in Poland」(the Institute of Mathematics, Polish Academy of Sciences, 08.09.2019 - 14.09.2019)に出席し、講演を行った。また、力学的挙動の解析をcoarse幾何学に応用しようと考え、前期に加藤久男(筑波大学名誉教授)による講義と後期にはJ. R. Sanjurjo教授(Universidad Compuletense de Madrid, Madrid, Spain)を招聘してConley index theoryの集中講義を行なった。昨年度に引き続き, Vesko Valov教授(Nipissing University, Canada)との共同研究を行なった。主たる課題は「ホモロジー群が局所的に自明な有限次元コンパクト距離空間のホモトピー的あるいはシェイプ的な性質を解明する」である。現在彫られている例は、特異ホモロジー群、スティーンロッド ホモロジー群、チェック ホモロジー群では局所的な自明性が異なる2次元コンパクト距離空間の構成法がある。今後の進展はコホモロジー論のVietoris-Smale型定理が特異ホモロジー論では成り立たない有限次元コンパクト距離空間の例を挙げることにある。これら特異な例は局所的に滑らかではない野生的な空間で構成される。これらはcoarse幾何学では理想境界として現れることが考えられ、種々の問題の反例の構成に有効であることが期待される。Coarse幾何学におけるANR理論を展開することを構想しているが、coarse写像は連続性を持っていないのでホモトピー拡張定理など基本的な性質でも必ずしも上手く展開できない。現在、チェック ホモロジー群や無限生成ホモロージー理論(スティーンロッド ホモロジー群)を用いた特徴付けが有効に働くか検証中である。そのため、当初計画していた埋蔵定理の研究に至っていない。Vesko Valov教授(Nipissing University, Canada)との共同研究を継続し、上記の課題「ホモロジー群が局所的に自明な有限次元コンパクト距離空間のホモトピー的あるいはシェイプ的な性質を解明する」の研究にあたる。これら特異な例は局所的に滑らかではない野生的な空間で構成される。これらはcoarse幾何学では理想境界として現れることが考えられ、種々の問題の反例の構成に有効であることが期待される。また、現状では不透明な部分もあるが本年度に連携研究者J. Dydak教授(University of Tennessee, U.S.A)を招聘してcoarse幾何学の現状と今後の課題に関するワークショップを開催したい

  • 次元論および距離空間の埋蔵問題から考察するcoarse幾何学の研究

    科学研究費助成事業(早稲田大学)  科学研究費助成事業(基盤研究(C))

    研究期間:

    2016年
    -
    2020年
     

  • Coarse幾何学における埋蔵問題と関連するasymptotic次元の問題

    日本学術振興会  科学研究費助成事業

    研究期間:

    2012年04月
    -
    2016年03月
     

    小山 晃, 江田 勝哉, 知念 直紹, 保坂 哲也, 矢ヶ崎 達彦

     概要を見る

    Large scale幾何学、特に一般の proper 距離空間のcoarse 幾何学及び CAT(0) 群のHilbert 空間へのcoarse埋蔵問題の研究を開始し、私が研究してきた(対比して)small scale幾何学と呼ばれる従来の位相幾何学の次元論との関わりを明確にすることができた。そこで得られた埋蔵問題の成果をまとめ、主要な幾何的トポロジーの国際研究集会で招待講演を行った。最終年には J. Dydak(アメリカ・テネシー大)、S. Spiez(ポーランド・数学研究所)を招き、早稲田大学でcoarse幾何学を主題とする研究集会を行い、成果のまとめと研究の総括を行った

  • 非正曲率空間のCoarse的解析とコンパクト化による剰余の位相的解析

    日本学術振興会  科学研究費助成事業

    研究期間:

    2010年04月
    -
    2014年03月
     

    知念 直紹, 友安 一夫, 小山 晃, 保坂 哲也

     概要を見る

    数学的に(特に幾何学的に)重要なコクセター群について研究を行い、コクセター群が幾何的に作用する非正曲率空間あるいは双曲空間の理想境界の位相的性質、具体的にはその境界が位相的にフラクタルの構造をもつ必要十分条件、コクセター群の境界として位相的普遍空間の構成、コクセター群への分解定理の拡張についての研究成果が得られた。また、空間のコンパクト化の剰余の固定点と深い関係がある写像のカラーリングについて調べ、局所有限なグラフ上の同相写像のカラーリング数を決定するための必要かつ十分条件の研究成果が得られた

  • 非コンパクト多様体上の測度保存同相群・微分形式保存微分同相群の位相的研究

    日本学術振興会  科学研究費助成事業

    研究期間:

    2010年04月
    -
    2013年03月
     

    矢ヶ崎 達彦, 福井 和彦, 小山 晃, 加藤 久男, 酒井 克郎, 大倉 弘之, 知念 直紹, 保坂 哲也, 嶺 幸太郎

     概要を見る

    非コンパクト多様体の(微分)同相群のコンパクト-開・Whitney・一様位相の下での位相的性質を研究した。コンパクト-開C∞位相の下で,体積形式に関するMoserの定理のパラメータ版を非コンパクト多様体の場合へ拡張した。また,WhitneyC∞位相に関して,非コンパクトC∞多様体の微分同相群及びコンパクト台を持つ微分同相の成す部分群の組が,1?の加算box積・small box 積の組と局所同相になることを示した。一様位相に関しても,一様埋め込みの空間や一様同相群に対して変形定理を得た

  • Coarse幾何学におけるコホモロジー次元論

    日本学術振興会  科学研究費助成事業

    研究期間:

    2009年
    -
    2011年
     

    小山 晃, 保坂 哲也, 知念 直嗣, 江田 勝哉, 矢ヶ崎 達彦

     概要を見る

    Coarse幾何学における次元論を主にasymptotic次元論の立場で研究を進めたが、埋蔵問題の重要性に行き着き、「どのようなn次元コンパクト距離空間がn個の1次元コンパクト距離空間の積空間へ埋蔵することが可能か」を様々な角度から研究を進め、埋蔵可能なn次元多様体及び一般多様体の幾何的構造をそ1次元コホモロジー群の整数加群としての階数から決定することを試みた。また、一般のn次元コンパクト距離空間Xについても、その判定条件をn次元チェックコホモロジー群の自明性と1次元チェックコホモロジー群の階数の関連から研究した

  • Coarse幾何学と距離に依存するコンパクト化-Novikov予想の周辺

    日本学術振興会  科学研究費助成事業

    研究期間:

    2007年
    -
    2009年
     

    知念 直紹, 小山 晃, 友安 一夫

     概要を見る

    有界でない距離空間の大域的な位相的・幾何的性質で重要なasympototic次元、それと関係があると思われる写像のカラーリング、さらに、距離に依存するコンパクト化としてHigson・Smirnovコンパクト化の剰余の位相的性質について研究を行った。主結果として、2次元ユークリッド空間に同相なCAT(0)空間のasymptotic次元は2であることが得られた。これは「すべてのCAT(0)群のasymptotic次元は有限か?」の問題の解決の最初の一歩となる

  • 非コンパクト多様体上の幾何構造を保つ同相写像のなす群の研究

    日本学術振興会  科学研究費助成事業

    研究期間:

    2007年
    -
    2008年
     

    矢ヶ崎 達彦, 福井 和彦, 酒井 克郎, 大倉 弘之, 米谷 文男, 塚本 千秋, 加藤 久男, 小山 晃, 保坂 哲也, 加藤 久男, 小山 晃, 保坂 哲也

     概要を見る

    幾何学において, 多様体(局所的にユークリッド座標系を持つ空間)は最も重要な研究対象となっている. 多様体Mの連続変換全体は同相群と呼ばれ, その性質の解明は多様体Mの幾何的性質の理解にとって重要である. 本研究では, 特に, ユークリッド空間のように無限に伸びた開多様体の場合に, 体積を保つ変換全体のなす同相群を中心に考察し, その性質を解明した

  • ヨルゲンセン群と古典的ショットキイ群の研究

    日本学術振興会  科学研究費助成事業

    研究期間:

    2004年
    -
    2006年
     

    佐藤 宏樹, 中西 敏浩, 奥村 善英, 小山 晃, 久村 裕憲

     概要を見る

    平成16-18年度行った研究としては次の4つの分野を挙げることが餌来る.1.ヨルゲンセン群の研究.2.ホワイトヘッドリンク群の研究.ヨルゲンセン数の研究.4.古典的ショットキイ群の研究.1.ヨルゲンセン群の研究.ヨルゲンセン数が1となる非初等的2元生成離散群をヨルゲンセン群という.ヨルゲンセン群には放物型と楕円型があるが,ここでは放物型について考察した.放物型には3っのタイブ(有限型、可算無限型、非可算無限型)があるが、この研究期間中にすべての放物型ヨルゲンセン群を婚見した.その結果は、日本数学会、京都大学数理解析研究所、複素解析国際会議およびフィンランドにおける困際会議において発表された.また、論文としてOsaka J.、Math.Kodai Matu.J.及びComput.Methods Funct.Tkeoryから出版された.2.ホワイトヘッドリンク群の研究.ホワイトヘッドリンク群のヨルゲンセン数が2であることを発見した.したがって,ホワイトヘッドリンク群はヨルゲンセン群でないことが分かった.この絡果は2004年メキシコ数学会の特別号から出版された.3.ヨルゲンセン数の研究.自然数及び4以上の実数γに対しヨルゲンセン数が7となる離数群が存在することをホワイトヘッドリンク群の研究で用いた方法と古典的ショットキイ空間の結果を用いて示した.この結果は2006年の日本数学会、ベトナムでの複素解析国際会議で発表した.また、京都大学数理解析研究所の講究録において結果のみ出版された.4.古典的ショットキイ群の研究.特に目立った結果は得られなかった.今後の目標は、1.放物型ヨルゲンセン群が表す3次元双曲多様体の構造を調べること、2.楕円型ヨルゲンセン群をすべて見つけること、3.(古典的)ショットキイ群のヨルゲンセン数を求めること、4.古典的ショットキイ群によるリーマン面の一意化が可能か否かを調べること

  • Exoticホモロジー多様体の構成とQuinnindexの一般化

    日本学術振興会  科学研究費助成事業

    研究期間:

    2004年
    -
    2006年
     

    小山 晃, 菅原 邦雄, 宇野 勝博, 矢ヶ崎 達彦, 服部 泰直, 横井 勝弥

     概要を見る

    位相空間Xのn次対称積をSP^n(X)と表す。一般に「どんなn次元コンパクト距離空間がある1次元連続体Xのn次元対称積SP^n(X)に埋め込むことができるかどうか?」の考察を行って次の結果を得た。定理1:n次元球面S^nはどんな1次元連続体Xのn次対称積SP^n(X)にも埋め込むことができない。このために、本質的に、1次元球面(=円周S^1)のk個のウェッジ∨S^1のn次元コホモロジー群を決定することが必要である。実際、ウェッジ∨S^1の対称積SP^n(∨S^1)が円周S^1の対称積SP^n(S^1)のk個の直積空間に埋め込むことができ,その像が直積空間のレトラクトであることを示した。したがって、次のことが計算できた。定理2:H^n(SP^n(∨S^1))=H^n(n次元トーラス)の直和、ただし、直和はk個の円周からn個の円周を選ぶすべての選び方を動く。定理2からDydak-小山(Bull.Polish Academy of Sciences,2000,vol.48,51-56)を適用すると、定理1が得られる。一方、位相空間Xの高々n個の元からなる空でない部分集合全体からなる集合にハウスドルフ距離を導入して得られる距離空間F_n(X)もまたXのn次対称積とよぶ。,F_2(X)=SP^n(X)であるが、n>2ならば一般には異なる空間である。しかし、類似性を感じさせる空間なので、同様に問題「どんなn次元コンパクト距離空間がある1次元連続体Xのn次対称積F_n(X)にも埋め込むことができるか、あるいはできないか」が提起される。この問題に関連した古典的な結果として、Bott(-Borsuk)の定理「F_3(S^1)=S^3」がある。我々はこの定理に対して現代的なアプローチを導入して別証明を与えるとともに一般化を図った

  • 距離空間における次元、距離及び計算可能性理論に関する研究

    日本学術振興会  科学研究費助成事業

    研究期間:

    2004年
    -
    2005年
     

    服部 泰直, 前田 定廣, 木村 真琴, 横井 勝弥, 小山 晃, 立木 秀樹

     概要を見る

    服部は、V.Chatyrko(研究協力者)との共同研究において、可分距離空間における閉集合の和をとることによる,大コンパクト次数Cmpと大超限帰納的次元trIndの振る舞いについて考察した。Kをある位相空間のクラスとし、α,βをβ<αである順序数、XをdX=αであるKに属する空間とする。ここで、dは閉集合に対してmonotonicである次元関数とする。m(X,d,β,α)=min{k:Xがk-個の閉集合X1,…,Xk with d(Xk)≦βの和となる},mK(d,β,α)=min{m(X,d,β,α):X is in K}とし、MK(d,β,α)=sup{m(X,d,β,α):X is in K}とする。順序数αに対してα=λ(α)+n(α),ただし、λ(α)は極限順序数、n(α)は自然数と表す.順序数β<αに対して、p(β,α)=(n(α)+1)/(n(β)+1)とし、q(β,α)をp(β,α)より小さくない最小の自然数とおく.このとき、次が成り立つ:(1)Pを完備可分距離空間のクラスとし、α,βをβ<αなる自然数とするとき、mP(Cmp,β,α)=q(β,α)、MP(Cmp,β,α)=∞となる。(2)α、βが無限順序数でβ<αのとき,λ(β)=λ(α)ならば、mP(trInd,β,α)=q(β,α),MP(trInd,β,α)=∞であり、λ(β)≠λ(α)ならば、mP(trInd,β,α)とMP(trInd,β,α)は存在しない。また、コンパクト距離空間のクラスを法とする超限コンパクト次数trcmpについても考察し、距離空間のクラスにおいてはtrcmpの上限が存在しないことを示した。また、服部と立木は、距離空間(X,d)に対する形式的球体集合BX=X×R_+のドメイン構造と位相構造について考察し、次を得た:(1)(X,d)が全有界ならば、直積位相とLawson位相は一致する。(2)ヒルベルト空間lp(P>1)に対して、直積位相とLawson位相は一致する。(3)単位区間上の実連続関数空間、およびl1においては、直積位相とLawson位相は一致しない。横井は、W.Parryにより導入されたグラフ自己写像に対する推移性と強推移性について考察した。小山は、コホモロジー次元論に帰納的次元の考え方を導入し,可分ANR距離空間や有限次元距離空間において、コホモロジー次元との関連を調べた。また、前田と木村は微分幾何学的側面、そして、古用は微分方程式側面の研究を行った

  • 位相空間のコホモロジー次元とCoxeter群のコホモロジー次元に関する研究

    日本学術振興会  科学研究費助成事業

    研究期間:

    2002年
    -
    2003年
     

    小山 晃, 渡辺 正, 町頭 義郎, 菅原 邦雄, 横井 勝弥, 矢ヶ崎 達彦, 吉荒 聡

     概要を見る

    可分距離空間Xに帰納的なコホモロジー次元を導入することに成功した.すなわち,自明でない可換群Gについて(1)Ind_GX=-1⇔X=0,(2)Ind_GX=-1⇔任意の閉集合Kと開集合U,K⊂U,に対して,K⊂V⊂Cl(V)⊂,かつdim_G∂V【less than or equal】n-1である開集合γが存在する,ここでdim_Gは通常の意味の係数群Gに関するコホモロジー次元とする.と定義する.このとき,一般に"Ind_GX【less than or equal】dim_GX【less than or equal】Ind_GX+1"が成立するが,これらの不等式に関連して以下のことを示した.(1)可分距離空間XがANRならば,任意の自明でない可換群Gについて,Ind_GX=dim_GXが成り立つ,(2)可分距離空間Xが有限次元ならば,任意の自明でない可算可換群Gについて,Ind_GX=dim_GXが成り立つ,(3)dim_ZX=2である任意の無限次元コンパクト距離空間Xについて,Ind_ZX=3である,(4)任意の素数pに対して,dim_<Z_<(p)>>X=2<3=Ind_<Z_<(p)>>Xであるコンパクト距離空間Xが存在する,(5)任意の可分距離空間Xと任意の自明でない可換群Gについて,Ind_G(X×I)=dim_GX+1が成り立つ,(6)任意の可分距離空間Xについて,Ind_QX=dim_QXが成り立つ,ただし,Qは有理数体とする

  • 無限遠の幾何学

    日本学術振興会  科学研究費助成事業

    研究期間:

    2000年
    -
    2002年
     

    菅原 邦雄, 町頭 義朗, 小山 晃, 片山 良一, 伊藤 仁一, 印南 信宏

     概要を見る

    Riemann多様体にはいくつかの無限遠の定義が試みられている。中でもGromovによる理想境界は距離構造にのみ依存した汎用性を持った無限遠の定義として高く評価されている。その唯一の問題点は、連続関数からなる空間を介した定義のため、幾何学的な意味付けが明確でないことにある。そのため、無限遠の形状が具体的に解明されているのはごく限られた場合でしかなかった。本研究においては、理想境界の幾何学的な意味付けを得るために、3次元以上の具体的な空間の理想境界の形状を分析することを課題としていたが、次の内容を解明することができた。1 Euclid空間の中の2次曲面はLiouville多様体としての定式化が知られている。それを利用して、n+1次元Euclid空間の中のn次元楕円放物面の測地線の定義方程式を具体的に計算した結果,高次元でも測地線は同一の挙動を示すことが分かり,無限遠に発散する点列の到達する先は、(Liouville多様体としての二つの)特異集合からの距離の差の極限が規定している。すなわち理想境界は閉区間で、その両端はBusemann関数であることが示された。2 双曲空間中の2次曲面についても同様な手法が有効であることがわかった。特に二葉双曲面は、無限遠での膨張に関する前田の定数が有限で、測地線の方程式は、Euclid空間の中の楕円放物面と類似の表現をもつことが示された。また、低次元では測地線の挙動や無限遠の構造に関してもに類似性が確認された。すなわち、理想境界は閉区間で、その両端はBusemann関数であることが示さた

  • マルチウェーブレットによる超局所フィルタリング

    日本学術振興会  科学研究費助成事業

    研究期間:

    1999年
    -
    2000年
     

    芦野 隆一, 長田 尚, 片山 良一, 田沼 一実, 長瀬 道弘, 菅原 邦雄, 小山 晃, 町頭 義朗

     概要を見る

    ウェーブレット解析の特徴は,ディジタルフィルタリングという数値計算により,信号や画像などの自然界に存在する各種のデータを少ない情報で効率よく近似できることと,とりわけデータの特異点の検出に優れていることである.一方,擬微分作用素と共に発展した超局所解析は,局所フーリエ解析とも言える手法であり,偏微分方程式の解の特異性の伝搬などの解析に有効であった.この2種類の解析の発想は同じであるが,違いは超局所解析が偏微分方程式の解であることを使っていることと数値計算が使われていないことである.こういった現状をふまえ,本研究課題は,ウェーブレット解析のディジタルフィルタリングという数値解析による超局所解析を目的とし,その結果として,以下の成果を得た.研究初年度には理論的部分(1),(2)を主として行い,次年度には数値解析的部分(3),(4)を行った.(1)超局所解析のできる多次元のマルチウェーブレットを構成した.(2)この多次元マルチウェーブレットによるフィルタリングのアルゴリズムを設計した.(3)このアルゴリズムによる超局所フィルタリングを画像処理等に適用した.(4)超局所フィルタリングが超局所成分を分離できるかどうかを検証した.(5)日本の研究者のみならず,カナダ,ドイツ,中国,アメリカ,インド等の研究者たちともレビューを受けたり共同研究をするなどの研究交流を行った

  • Riemann多様体のコンパクト化と無限遠

    日本学術振興会  科学研究費助成事業

    研究期間:

    1997年
    -
    1998年
     

    菅原 邦雄, 伊藤 仁一, 河合 茂生, 町頭 義朗, 片山 良一, 小山 晃, 高嶋 恵三

     概要を見る

    Riemann多様体の各種コンパクト化の比較検討を行った.その中でRiemann幾何の観点からもっとも自然なコンパクト化として,距離関数を利用したGromovのコンパクト化を主に分析した.Gromovはコンパクト化した際に付加される部分を理想境界と読んでいる.本研究では,以下の空間の理想境界の構造を決定した.1. 楕円放物面のコンパクト化は2次元球面で,理想境界は閉区間である.その両端はBusemann関数である.2. 2本の放物線で囲まれた平面領域n枚(【greater than or equal】3)からなる曲面のコンパクト化はn角形領域で,理想境界はBusemann関数を頂点とするn角形である.(n=2がMar3. 回転放物面で囲まれた3次元領域のダブルとしてできるAlexandrov空間のコンパクト化は3次元球面で,その理想境界は閉区間である.その両端はBusemann関数である.上記の分析から,理想境界ではBusemann関数がその骨格をなすのではないかとの予想を得た.ところで,理想境界の点(無限遠点)は関数として実現されているので,2点間の距離として関数の差のノルムを考えることができる.このノルムの意味でBusemann関数が理想境界の最大直径を実現していることが認められた.また,有限の位置にある点からは,無限遠点に対応した関数の勾配ベクトル場から決まるrayが出ている.これが通常の最短測地線に相当するものと見なされる.この意味で理想境界上の点の最小跡を分析すると,上のrayとそのBusemann関数との対応付けにおいて連続性の崩れる部分を最小跡と見なすのが自然であるとの結論に至った.この定義の正当性の分析が今後に残された課題である

  • 距離空間,及びそれに関連する諸分野について

    科学研究費助成事業(大阪教育大学)  科学研究費助成事業(一般研究(C))

    研究期間:

    1992年
     
     
     

     概要を見る

    距離空間の重要な特微付けの1つとしては-locally finite open baseを有することである。この観点から任意の開被覆がlocally finiteな開細分を持つ空間は大変重要な位置を占めている(この空間はparacompact空間と呼ばれている)。この空間族は2つの積に対しても閉じていない。しかしながら各因子空間がperfect,paracompactな空間であれば、それらの可算積はparacompact spaceであることが判明した。この事実はparacompactを一般化した空間族にたいしても成立することも解った。
    またparacompact spaceのもう1つの重要な拡張概念として、単調開被覆の単調縮小性を持つ空間(B-propertyを有する空間と言う)はここ10年でかなり明確に研究されてきたが、「どの様な付加性質を有するときに既存の空間族に一致するか」という問題に関してlocally Lindelofが大きな役割をすることも解明された。
    他方、距離空間Xのフリー アーベリアン位相群A(X)の構造は殆ど解っていない。その構造を調べるためには各自然数nにたいしてAn(X)を研究することが十分条件である場合が多い(たとへば第1可算公理を満たす空間や、k-space)ことが証明された。さらに驚くべき事は各An(X)(n=1,2,3,...)を調べるのにA3(X)だけを調べればよいことも判明した。
    A(X)のtightnessに関して公表された未解決な問題があるが、或条件下で肯定的に解決された。即ちt(A(X))=t(w(X))ということである。

  • 多様体の胞体分割とコホモロジ-次元

    科学研究費助成事業(大阪教育大学)  科学研究費助成事業(一般研究(C))

    研究期間:

    1991年
     
     
     

     概要を見る

    科研費は主に研究分担者による他大学との資料収集及び共同研究にあて、それらをもとに本学においては、ゼミナ-ル等討論,情報交換に多くの時間を費やした。一つの目的として確率空間の位相的性質を調べ,それを自由位相群の構造の解明に応用することを試みた。これは分担者横山良三,山田耕三を中心に議論を進めた。この結果として山田耕三は、「距離空間Xの自由可換位相群A(X)のすべての長さn以下の語から成る部分空間An(X)がkー空間である必要十分条件はA_4(X)がkー空間であることである。」
    を証明した。これを中心にkー空間の安定性について論文をまとめ発表する予定である(裏面参照)。
    また、代表者及び分担者菅原邦雄はPL多様体の極小近似の研究を進めAlexandropf widthのコホモロジ-次元的接近を試みた。これについて係数群が無限巡回群IIまたは位数Pの巡回群IIpの場合は一定の成果を得た。すなわち、
    「コンパクト距離空間XのG係数コホモロジ-次元,ただしGはIIまたはIIp,がn以下である必要十分条件はG係数Alexandropf width Gーa^<n+1>_n(X)が零であることである。」
    が得られた。この結果は今春の日本数学会年会トポロジ-分科会で発表する予定である。
    具体的な実績は上述のようなものであるが、科研費を利用して共同研究が進み、今後の問題,課題が明らかになってきた。これからこの芽が大きくなればより大きな実績と成り得るだろう。

  • 定常過程の極限定理とそれらの統計学への応用

     概要を見る

    一般の(強)定常過程にはエルゴード定理(大数の法則)が成立するが,その収束のスピードは独立確率変数列とは異なり,任意のスピードに対応する定常過程が存在することが知られている。従って重複対数の法則や中心極限定理は一般に成立しない。一方,定常マルチンゲール差列によって生成される定常線形過程は自己回帰,移動平均等統計学の線形システム,とりわけ時系列解析の理論に重要な役割をはたしていると同時に定常過程においてregularと呼ばれる重要なクラスの構成要素でもある。この定常線形過程にはエントロピーなど力学系の理論を適用し,シフトに対して不変な測度のエルゴード分解を通じて,必ずしもエルゴード的でない定常過程に対しても,適当な条件の下で,重複対数の法則や中心極限定理が成立することが研究代表者らによって証明されていたが,更に広い範囲の定常線形過程を含むクラスにも同じ結果が成り立つことが証明された。また,一次元ランダム・ウオークの滞在時間に対して知られている逆正弦法則をカイ2乗検定と組み合わせた検定方法を用いて,代表的な擬似乱数生成法である,線形合同法と最大周期列について統計的検定を行い,ランダム・ウオークのシミュレーションが擬似乱数の統計的検定に有効であることを示した

  • 弧長空間とその上の測地線

     概要を見る

    弧長空間にはRiemann多様体と同様にrayが定義される。弧長空間の1点から出るすべての測地線がrayとして延長できるときにその点を極と言う。Riemann多様体では曲率が下に有界な場合、測地三角形の辺の長さと角の間の関係としてToponogovの比較定理が成立する。弧長空間では逆に、その定理の結論を曲率が下に有界な事の定義に採用し、その性質を満たすものをAlexandrov空間という。本研究で得られた成果は以下のとおりである。1.非負曲率Riemann多様体の無限遠の漸近的な大きさと極の間の距離の関係式は非負曲率Alexandrov空間に対しても成立する。2.曲率がκ(<0)以上のAlexandrov空間に対して、無限遠の漸近的な大きさμ_を、半径tの距離球の大きさの上極限として一般化した。この時、極の間の距離に関して1と類似の評価式が得られた。距離空間の収束に関して、具体例でこれらの値を解析した結果、この評価式は漸近的な意味で最良の評価である事も判明した。3.具体的なAlexandrov局面の測地線と無限遠の分析から、rayに対応するBusemann関数をもとに無限遠点を定義するのが自然であるとの結論を得た。これは、Visibility多様体の場合には、EberleinとO'Neilの定義に一致するが、μ_が有限の時に、彼らより精密に無限遠をとらえている事になっている。この定義から見ると無限遠点の集合と極の集合は双対関係にあるのではないかと予想されるが、これは今後の課題として残された問題である

  • 階数3のインシデンス幾何

     概要を見る

    本研究の主目的であった局所有限なC_3‐型のインシデンス幾何に関するTits予想の解決に対しては、flag‐ransitiveな群の作用を仮定した場合の完全な結果が吉荒により得られた。すなわちこのような幾何は建物であるかA_7‐型幾何と呼ばれる特別な幾何のいずれかとなる。群の作用を仮定しないときに、自由な構成があるかどうかは以後の課題である。更にAssociation schemeの表現論をフルに用いてこうした幾何中に現れるgeneralized quadrangleのパラメーターについてより強い情報を得る試みが伊藤によりなされた。またこうした散在型の幾何とhomotopy colimitの関連が対応する群のコホモロジー計算に有効である可能性のあることが、吉荒・伊藤・小山らにより確認されつつあり、ここでは通常acyclicな部分構造の解析が鍵となる。小山はacyclicなresolutionと関連してある位相空間を特徴づけた。更にインシデンス幾何が与える有限体上のベクトル空間中の様々な構造の検定法への応用については高島・横山により詳しく調べられ、特にGF(2)上のある種の原始多項式の性質に帰着される興味深い予想が高島により得られた。また横山は中心極限定理の面白い応用があることを示した。片山・田沼・木村は上の幾何構造及びそこに作用する群構造を解析的に一般化した見地から様々のアプローチを試みた。例えば片山はfactorという関数解析的な部分群の概念を離散的な群の作用と関連させて調べている

  • 微分可能多様体上のRiemann計量と距離構造

     概要を見る

    Ricci曲率が下に有界なRiemann多様体に関するBishop-Gromov不等式を、Busemann関数の表す無限遠点に向かうrayのなす錐領域の測度評価に再構成し、その結果を、Ricci曲率が漸近的に非負な多様体に適用して、Busemann関数の各レベルの間の体積の評価を得た。その際、評価の下限を与える微分方程式の解を厳密に決定できたことが鍵となった。これらの結果の応用として、H.Wuが解析的な手段で得た体積増加率の別証明を得た。また、endの個数の有限性について、断面曲率が漸近的に非負な場合と同様に、Ricci曲率が漸近的に非負な場合にも同様な結果が成立することが示唆された。上の研究において理想境界の位相構造の分析が必要であった。この方面では、Marenichが、ある種のAlexandrov空間に対してその構造を決定した以外には具体例がなく不明な点が多かった。本研究では、楕円放物面およびMarenichの例を複雑化した場合に、その理想境界を具体的に決定した。Busemann関数の間の距離が理想境界の大きさを決定しているのではないかという予想に対して、これらの場合には、それが肯定的であることが示された。派生的な結果として、可換群について非輪状なresolutionを許容するコンパクト距離空間の内的特徴づけとして導入したapproximation dimensionの概念が一般の距離空間に対して新しい次元関数となることが導かれた。また、ある種の非等方弾性方程式の基本解の公式を求めた

  • 位相幾何学の総合的研究

     概要を見る

    位相幾何学は位置と形を解析する数学である。この10年間の位相幾何学の飛躍的な発展の大きな推進力となったものは、位相幾何学の諸分野の間および微分幾何学、代数学、解析学、数理物理学と位相幾何学の間の相互交流である。当該研究はこの発展をさらに推し進めるために、写像や代数多様体の特異点の分類理論の研究、多様体あるいは単体的複体への様々な群作用の研究、曲面の写像類群のタイヒミュラー空間への作用の研究、複素解析的写像の力学系理論の研究、微分可能多様体上のベクトル場の力学系理論および葉層構造論の研究、双曲3次元多様体および特異点を持つ双曲空間の分類理論の研究、4次元多様体の微分構造およびシンプレクティク構造の研究、共形場理論と3次元多様体の不変量の研究、主束の様々な接続のモジュライ空間の位相の研究、ポアソン多様体および接触多様体の研究、同変一般(コ)ホモロジー理論とホモトピー論の研究、結び目および絡み目の不変量と分類理論の研究、野生的空間を含む一般位相空間の研究を行い、多くの研究成果を得た。これらの研究の相互の交流を図るために、全国規模のトポロジーシンポジウムを各年度に開催し、また上に掲げた研究課題に対し、多くの研究集会を企画開催した。これらはトポロジープロジェクトとして、全国の位相幾何学研究者との共同作業により行われた。特に、異なる分野の研究者、大学院生等の間の交流を図るためにEncounter with Mathematicsの研究集会が毎年度複数回行われた。これらの研究活動により更なる発展の方向が明らかになった

  • 新領域科目「かたちの数理科学」と博士課程後期における数理科学教育

     概要を見る

    今回の科研費事業の目的の1つであった「かたちの数理科学」フォーラム「次元とは何か-数理が紡ぐサイエンス」を数学、物理学の立場から次元論を考える催しとして、平成21年1月15日、23日に静岡大学理学部C棟309教室で行い、両日共に60名を超える参加者があり、盛況あった。また本科研費の採択をもとに「ひらめき☆ときめきサイエンスーようこそ大学の研究室」(「数学インサイドー数学はどのように使われてきたか」平成20年8月2日)を実施して新領域科目「かたちの数理科学」の有り様を公開して、問うことができた。ポーランド科学アカデミー数学研究所からStanislaw Spiez教授を招き、今日の東欧の数学教育について学と共に、現代の次元論に関係する共同論文の作成を行った。また昨年に続き、メキシコ自治総合大学(ONAM)からRolando Jimenez教授が来日し、「メキシコ及び旧ソビエトにおける大学院教育に関するセミナー」を行っ

▼全件表示

 

特定課題制度(学内資金)

  • 野生的空間の計算トポロジーとコンピュータビジョンへの応用

    2015年   江田勝哉, 佐藤尚輪

     概要を見る

    計算トポロジーを野生的空間へ展開するためにはshape理論(チェック型のホモトピー論)が鍵となるという認識で若手の研究者及び大学院生を中心とするshape理論の勉強会を行った。野生的空間のトポロジー研究と関係の深い幾何学的トポロジーのシンポジウムに参加し、研究状況の把握に努めた。現在、計算トポロジー研究の第一人者である平岡裕章(東北大)の研究会に参加し、多くの知見を得ることができた。また彼が主催した大学院生向けのワークショップへ当研究室の大学院生(修士課程1年生)2名を派遣し今後の研究の方向付けを模索した。 さらに下に記述したように国際研究集会へ参加し研究成果の発表及び研究論文発表した。

  • 野生的空間の計算トポロジー

    2014年   小笠原義仁, 高安亮紀, 江田勝哉

     概要を見る

    計算トポロジーを野生的空間へ展開するためにはshape理論(チェック型のホモトピー論)が鍵となるという認識で若手の研究者及び大学院生を中心とするshape理論の勉強会を立ち上げた。野生的空間のトポロジー研究には位相空間論の深い知識が不可欠なので位相空間論シンポジウムに参加し、研究状況の把握に努めた。第7回早稲田幾何学的トポロジー研究集会(2015年3月25日〜27日)において、勉強会の成果報告と野生的空間へ計算的トポロジーの展開の課題提示を行った。連携研究者の小笠原は野生的空間の典型的な例が現れるカオス力学系の研究成果を日本応用数理学会カオス研究部会(2015年3月;明治大学)で発表した。

  • Bass予想の幾何学的アプローチ

    2013年  

     概要を見る

    Bass予想を議論するために、J. Dydak(University of Tennessee, USA;期間:8月26日~9月19日)及びR. Jimenez(UNAM, Mexico;期間:9月7日~13日)を招聘して共同研究を行った。主な手法は、シェイプ理論における基点の問題に関すると深く関わるJ. Dydakの反例をも位置いて、Nielsen不動点定理の周辺と群のコホモロジー群の問題を否定的に解決することであった。第一報としてのレポートはまとめる進展は見たが、論文に足りる研究を完結するに至らなかった。これまでもJ. Dydakとは様々な共同研究をして生きた。その中で懸案の共同論文を一編であるが、完成することができた。また、この補助で第6回日本-メキシコ トポロジー合同研究集会に参加し、やはり長年の懸案であった閉曲面の2つのグラフの積空間への埋め込みに関する研究成果の報告を行った。主定理は「2つのグラフ$G_1$と$G_2$の積空間$G_1 \times G_2$に埋め込まれた閉曲面$M$について、(1) $M$の1次元ホモロジー群の階数が3以下ならば、それぞれの因子空間$G_1$と$G_2$への射影は単純閉曲線である。(2) $M$の1次元ホモロジー群の階数が4ならば、それぞれの因子空間$G_1$と$G_2$への射影は$\theta$曲線である。結果として$M$は2つのトーラスの連結和に限る。」である。共著者のJ. Krasinkiewicz及びS. Spiez(いずれもポーランド科学アカデミー数学研究所)とは10年以上にわたってこの埋蔵問題を共同で研究してきたが、これとこれまで我々が行ってきた閉曲面の2つのグラフの積空間への埋め込み問題に関してすべての一覧表が完成した。この報告は現在国際誌に投稿中である。今後の課題として、(1) グラフの2次対称積に埋め込まれた閉曲面を1次元ホモロジー群の階数を用いて如何に特徴付けるか(2) 閉曲面とは対極にある野生的空間が2つのメンガー曲線の積空間へ埋め込み可能となる必要条件をコホモロジー次元論を用いて如何に特徴付けるかがある。

  • 次元論から見るフラクタル幾何学

    2011年  

     概要を見る

     次元論に基づく埋蔵問題を研究した。特に「どのようなn次元コンパクト距離空間がn個の1次元コンパクト距離空間の積空間へ埋蔵することが可能か」を研究した。その際、重要なヒントを与えるフラクタル図形が現れる。その1つが2次元トーラスを単体分割し、その2単体ごとに2次元トーラスとの連結和をとる操作を無限回繰り返して得られる「fractal Riemann surface」と呼ばれる野生的2次元連続体である。これは2つの1次元コンパクト距離空間の積空間に埋め込むことができ、「球面を除くすべての無機付け可能な曲面が2つのグラフの積空間へ埋め込むことができる」という大きな結果の動機付けとなった。また一般にn次元hereditarily indecomposable continuaというきわめて病理的複雑さをもつ連続体(具体例の構成はフラクタル図形と呼んでいよいものが多い)もn個の1次元コンパクト距離空間の積空間へ埋蔵することができる。この事実とその証明を元に上記の研究を進める足がかりを得た。ここで、それらの1次元コホモロジー群は無限生成であることに注意しておく。 これらの例から、埋蔵可能なn次元多様体及び一般多様体の幾何的構造をその1次元コホモロジー群のZ加群としての階数から決定することを試みた。また, 一般のn次元コンパクト距離空間Xについても, 判定条件をn次元コホモロジー群の自明性と1次元コホモロジー群の階数の関連から研究した。 次元論をキーワードとして研究を進めている国内の研究者を集め、「第1回早稲田幾何学的トポロジーセミナー」(2012年2月28日(火)~3月2日(金)於:早稲田大学)を開催した。早稲田大学からの参加者は教員・学生7名他大学からの発表者5名その他参加者5名であった。ここでは私の研究以外にも幅広く次元論をとらえた講演が行われ、興味深い議論を展開することができた。これを機会に早稲田大学を中心とした野生的空間を研究する幾何学的トポロジーの拠点が形成することが期待できる。