权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

多様体上の変換群論

流形上的变换群理论

基本信息

批准号：
05640095
负责人：
北田泰彦
金额：
$ 0.96万
依托单位：
Yokohama National University
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (C)
财政年份：
1993
资助国家：
日本
起止时间：
1993 至无数据
项目状态：
已结题

项目摘要

島田レゾリューションを用いた2次特性類の計算機による計算が完成した。すなわち、島田によるmod2の整数環のSteenrod代数上のレゾリューションの微分、縮小ホモトピーなどの写像を効果的に計算するためのプログラムが完成し、これを使用してmod2のSteenrod代数のホモロジーを計算することができるようになった。このことは島田(岡山理科大)による基底は従来利用されていたラムダ代数による基底よりも小さく、実際の計算に有効であることを実証している。ラムダ代数などではコホモロジーが求められるのに対し、この方法では直接ホモロジーの生成元が得られるため、3次のホモロジー群の生成元の微分像から、2次コホモロジー作用素のSteenrod代数上の関係が具体的な形で得られる。このことは幾何学的には次のような利点がある。球面ファイブレーションの2次特性類相互の関係を得ようとするとき、これまでの研究では直接このような関係が得られず、双対のコホモロジーの生成元とのKronecker対によりケルベア類などの関係を部分的に得るという方法をとってきた。しかし、我々の方法ではコホモロジーを経由する必要がないため2次特性類の関係が直接把握できるようになった。プログラミング言語として、既存の記号処理系(Mathematica,Reduce等)は非可換の代数系についてはあまり考慮されていないので、関数型言語のLISPを使用し、再帰的に定義された微分等の写像を効率よく実行するために要となる写像についてはメモ化(Michie,1968)を施した。Brieskorn球面上の複素共役による対合は研究代表者により研究されていた。これに関しての結果として、本研究では標準的な球面とは異なる球面の上の対合が標準的な球面上の線形な対合と横断的isovariantlyに同変ホモトピー同値となるための障害を具体的にWhitehead積を用いて表すことができた。この障害はホモトピー論において頻繁に出現する要素であり、未だ解決されていないケルベア予想およびこのホモトピー要素の2による可除性問題が、変換群論における対合の問題と深い関連を持つことを示唆している。今後この方面でも研究を進めたい。

In the field, the two-time characteristic of the computer is used to calculate the performance of the computer. In the Steenrod algebra, the calculation of the result is completed, and the calculation is completed using the mod2 Steenrod algebra. In order to make use of the basic information of the University of Science and Technology, there are some problems in the calculation of the base of the computer. In terms of algebra, the number of generators, the number of generators, the differential image of the generator, and the specific shape of the generator on the Steenrod algebra are obtained. I don't know what to learn. I don't know how to make a profit. In terms of the characteristics of the spherical surface, the two properties of each other can be detected by the method in the part of the Kronecker generator, which is in the section of the generator. In this paper, we use the method to make sure that the necessary information is required to improve the performance of the system. The number of words, the existing notation system (Mathematica,Reduce, etc.), the system of algebra, the system of algebra, the number of words, the use of LISP, the definition of differential, etc., the rate of writing, and so on. On the Brieskorn sphere, the representative of the research team is the representative of the research team. The results of this study show that the isovariantly of the cross section of the spherical surface of the standard spherical surface is the same as that of the spherical surface. The results show that the specific Whitehead is actively used in the table of the standard spherical surface. In the first place, we found that there were many factors, and that if we did not solve the problem, we would like to know how to solve the problem of removability, the problem of solvability, the problem of solvability, the problem of group discussion, the problem of cooperation, and the problem of cooperation. In the future, there will be further progress in the field of research.