• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

計算機を活用したホモトピー論の研究

Research Project

Project/Area Number 23K19006
Research Category

Grant-in-Aid for Research Activity Start-up

Allocation TypeMulti-year Fund
Review Section 0201:Algebra, geometry, analysis, applied mathematics,and related fields
Research InstitutionNagoya University

Principal Investigator

若月 駿  名古屋大学, 多元数理科学研究科, 特任助教 (90983130)

Project Period (FY) 2023-08-31 – 2025-03-31
Project Status Granted (Fiscal Year 2023)
Budget Amount *help
¥2,860,000 (Direct Cost: ¥2,200,000、Indirect Cost: ¥660,000)
Fiscal Year 2024: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2023: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Keywordsホモトピー論 / 計算機 / 有理ホモトピー論 / 独立複体 / 射影分解 / ストリングトポロジー
Outline of Research at the Start

多様体などの位相空間は位相幾何学における重要な研究対象であるが,連続的な対象であるために直接取り扱うことは難しく,特に計算機に載せることは困難である.その一方で代数的位相幾何学という分野では,位相空間の連続的な情報を(線形)代数的な情報や組み合わせ的な情報へと帰着して研究を行うため,これを介することで計算機に載せることが可能となる.本研究では,そのためのソフトウェアを開発するとともに,ソフトウェアを実際に活用して数学的な成果を得ることを目的にしている.具体的には,有理ホモトピー論を用いた写像空間の研究と,独立複体のホモトピー型の研究を行う.

Outline of Annual Research Achievements

多様体などの位相空間は位相幾何学における重要な研究対象であるが,連続的な対象であるために直接取り扱うことは難しく,特に計算機に載せることは困難である.その一方で代数的位相幾何学という分野では,位相空間の連続的な情報を(線形)代数的な情報や組み合わせ的な情報へと帰着して研究を行うため,これを介することで計算機に載せることが可能となる.本研究では,そのためのソフトウェアを開発するとともに,ソフトウェアを実際に活用して数学的な成果を得ることを目的にしている.
本年度の研究ではまず,グラフの独立複体のホモトピー型の研究の応用として,支配複体と近傍複体のホモトピー型について研究を行った.その成果として,組合せ論的Alexander双対を用いることで支配複体と近傍複体,支配複体と独立複体がそれぞれ関連づくことが分かった.特に近傍複体のホモトピー型はグラフの彩色数と関係していることが知られているため,独立複体に関する知見を活用して近傍複体のホモトピー型を調べることは重要となる.そこで,コンピュータによる計算も活用し,ある種のグラフに対してこれらのホモトピー型の決定を行った.
また,これまで開発してきたソフトウェアの新たな応用として,射影分解の具体的計算を行うための機能を開発した.有限群や有限モノイドの分類空間は無限次元の空間であり,複雑な対象となっているが,ホモロジー代数的手法とともにこのソフトウェアを活用することで,コンピューターで取り扱うことが可能となる.

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

松下氏とのこれまでの共同研究においては,いくつかのグラフに対してその独立複体のホモトピー型を調べるだけに留まっていたが,本年度の研究では新たに支配複体や近傍複体,そしてグラフの彩色数との関係が示された.さらに本研究の手法を用いることで,ある種のグラフに対してこれらのホモトピー型を決定することに成功したため,本研究の手法の有効性が示されたと言える.
また,射影分解の具体的計算のために開発したソフトウェアについても,有効なものであることが現時点で分かっている.特に有限モノイドの分類空間のホモロジーについて,これまで知られていなかった現象や具体例がこのソフトウェアを活用することで得られている.計算自体が非常に煩雑であることに加えて,具体例の探索範囲が非常に広かったため,これらを手計算で発見することは困難であったと考えている.

Strategy for Future Research Activity

まずは,独立複体のホモトピー型について,支配複体や近傍複体と関連づけて研究を行う.本年度の研究において,これらのホモトピー型が関係していることが示されている.そこで,特に支配複体や近傍複体を新たにソフトウェア上に実装し,直接取り扱うことでこれらのホモトピー型について調べる.
また,射影分解の具体的計算についても,ソフトウェアの機能の拡充を行う.特に有限モノイドのコホモロジーについて,現状ではコホモロジーの加群構造しか取り扱うことができていないことが問題となっている.有限モノイドの分類空間のホモトピー型を調べる際には,コホモロジーの環構造を調べることが重要であるため,まずはこれをコンピューターで計算すると効率的に研究を行うことができると期待している.

Report

(1 results)
  • 2023 Research-status Report
  • Research Products

    (6 results)

All 2024 2023

All Journal Article (1 results) (of which Peer Reviewed: 1 results) Presentation (5 results) (of which Int'l Joint Research: 3 results)

  • [Journal Article] Independence complexes of (n×6)-grid graphs2024

    • Author(s)
      Takahiro Matsushita, Shun Wakatsuki
    • Journal Title

      Homology, Homotopy and Applications

      Volume: -

    • Related Report
      2023 Research-status Report
    • Peer Reviewed
  • [Presentation] BV exactness and computation in rational homotopy theory2024

    • Author(s)
      Shun Wakatsuki
    • Organizer
      Seminar in Malaga University
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] Computations in rational homotopy theory and string topology2023

    • Author(s)
      Shun Wakatsuki
    • Organizer
      多様体と写像空間の代数トポロジー
    • Related Report
      2023 Research-status Report
  • [Presentation] Computations in rational homotopy theory and string topology2023

    • Author(s)
      Shun Wakatsuki
    • Organizer
      高知ホモトピー論談話会 2023
    • Related Report
      2023 Research-status Report
  • [Presentation] String topology from the viewpoint of algebraic topology2023

    • Author(s)
      Shun Wakatsuki
    • Organizer
      Shenzhen-Nagoya Workshop on Quantum Science 2023
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research
  • [Presentation] Rational homotopy theory and computation of cohomology2023

    • Author(s)
      Shun Wakatsuki
    • Organizer
      Seminar in Mathematical and Theoretical Physics Unit
    • Related Report
      2023 Research-status Report
    • Int'l Joint Research

URL: 

Published: 2023-09-11   Modified: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi