It is an important problem in topology to verify whether two embeddings are isotopic.This work proposes an algorithm for computing Haefliger-Wu invariants for isotopy based on algebraic topological methods.Given a sim...It is an important problem in topology to verify whether two embeddings are isotopic.This work proposes an algorithm for computing Haefliger-Wu invariants for isotopy based on algebraic topological methods.Given a simplicial complex embedded in the Euclidean space,the deleted product of it is the direct product with diagonal removed.The Gauss map transforms the deleted product to the unit sphere.The pull-back of the generator of the cohomology group of the sphere defines characteristic class of the isotopy of the embedding.By using Mayer Vietoris sequence and Ku¨nneth theorem,the computational algorithm can be greatly simplified.The authors prove the ranks of homology groups of the deleted product of a closed surface and give explicit construction of the generators of the homology groups of the deleted product.Numerical experimental results show the efficiency and efficacy of the proposed method.展开更多
A mechanics system consisting of three mass points on sphere S 2 is considered. The configuration space of the system is a fibre bundle over S 2 . It is proved that first Chern class of the bundle is -2 c 1...A mechanics system consisting of three mass points on sphere S 2 is considered. The configuration space of the system is a fibre bundle over S 2 . It is proved that first Chern class of the bundle is -2 c 1(γ) where γ is the canonical line bundle over the complex projective space CP 1=S 2 , which shows the bundle is non trivial. The information about the first Chern class makes the cohomology groups and homotopy groups of the configuration space worked out. In addition the effects of these topolo gical properties of the configuration space on the behavior in large scale of the system, as the number of equilibrium positions, periodic orbits and reduced phase space, are discussed.展开更多
Let (M, T) be a smooth closed manifold with a smooth involution T whose fixed point set is a disjoint union of an even-dimensional real projective space and a Dold manifold. In some cases, the equivariant bordism cl...Let (M, T) be a smooth closed manifold with a smooth involution T whose fixed point set is a disjoint union of an even-dimensional real projective space and a Dold manifold. In some cases, the equivariant bordism classes of (M, T) are determined.展开更多
We propose a conjecture on the relative twist formula of l-adic sheaves,which can be viewed as a generalization of Kato-Saito’s conjecture.We verify this conjecture under some transversal assumptions.We also define a...We propose a conjecture on the relative twist formula of l-adic sheaves,which can be viewed as a generalization of Kato-Saito’s conjecture.We verify this conjecture under some transversal assumptions.We also define a relative cohomological characteristic class and prove that its formation is compatible with proper push-forward.A conjectural relation is also given between the relative twist formula and the relative cohomological characteristic class.展开更多
The purpose of this paper is to give a refinement of the Atiyah-Singer families index theorem at the level of differential characters. Also a Riemann-Roch-Grothendieck theorem for the direct image of flat vector bundl...The purpose of this paper is to give a refinement of the Atiyah-Singer families index theorem at the level of differential characters. Also a Riemann-Roch-Grothendieck theorem for the direct image of flat vector bundles by proper submersions is proved,with Chern classes with coefficients in C/Q. These results are much related to prior work of Gillet-Soule, Bismut-Lott and Lott.展开更多
Let (M^2m+4n+k-2, T) be a smooth closed manifold with a smooth involution T whose fixed point set is RP(2^m) ∪ P(2^m, 2n - 1) (m 〉 3, n 〉 0). For 2n ≥ 2^m, (M^2m+4n+k-2, T) is bordant to (P(2^m, RP...Let (M^2m+4n+k-2, T) be a smooth closed manifold with a smooth involution T whose fixed point set is RP(2^m) ∪ P(2^m, 2n - 1) (m 〉 3, n 〉 0). For 2n ≥ 2^m, (M^2m+4n+k-2, T) is bordant to (P(2^m, RP(2n)), To).展开更多
基金the Science Challenge Project of China(TZZT2019-B1)the National Natural Science Foundation of China under Grant Nos.61720106005+1 种基金6177210561936002。
文摘It is an important problem in topology to verify whether two embeddings are isotopic.This work proposes an algorithm for computing Haefliger-Wu invariants for isotopy based on algebraic topological methods.Given a simplicial complex embedded in the Euclidean space,the deleted product of it is the direct product with diagonal removed.The Gauss map transforms the deleted product to the unit sphere.The pull-back of the generator of the cohomology group of the sphere defines characteristic class of the isotopy of the embedding.By using Mayer Vietoris sequence and Ku¨nneth theorem,the computational algorithm can be greatly simplified.The authors prove the ranks of homology groups of the deleted product of a closed surface and give explicit construction of the generators of the homology groups of the deleted product.Numerical experimental results show the efficiency and efficacy of the proposed method.
文摘A mechanics system consisting of three mass points on sphere S 2 is considered. The configuration space of the system is a fibre bundle over S 2 . It is proved that first Chern class of the bundle is -2 c 1(γ) where γ is the canonical line bundle over the complex projective space CP 1=S 2 , which shows the bundle is non trivial. The information about the first Chern class makes the cohomology groups and homotopy groups of the configuration space worked out. In addition the effects of these topolo gical properties of the configuration space on the behavior in large scale of the system, as the number of equilibrium positions, periodic orbits and reduced phase space, are discussed.
基金Supported by NSFC(11371118)SRFDP(20121303110004)+1 种基金HNSF(A2011205075)HNUHH(20110403)
文摘Let (M, T) be a smooth closed manifold with a smooth involution T whose fixed point set is a disjoint union of an even-dimensional real projective space and a Dold manifold. In some cases, the equivariant bordism classes of (M, T) are determined.
文摘We propose a conjecture on the relative twist formula of l-adic sheaves,which can be viewed as a generalization of Kato-Saito’s conjecture.We verify this conjecture under some transversal assumptions.We also define a relative cohomological characteristic class and prove that its formation is compatible with proper push-forward.A conjectural relation is also given between the relative twist formula and the relative cohomological characteristic class.
文摘The purpose of this paper is to give a refinement of the Atiyah-Singer families index theorem at the level of differential characters. Also a Riemann-Roch-Grothendieck theorem for the direct image of flat vector bundles by proper submersions is proved,with Chern classes with coefficients in C/Q. These results are much related to prior work of Gillet-Soule, Bismut-Lott and Lott.
基金Foundation item: the National Natural Science Foundation of China (No. 10371029) the Natural Science Foundation of Hebei Province (No. 103144).
文摘Let (M^2m+4n+k-2, T) be a smooth closed manifold with a smooth involution T whose fixed point set is RP(2^m) ∪ P(2^m, 2n - 1) (m 〉 3, n 〉 0). For 2n ≥ 2^m, (M^2m+4n+k-2, T) is bordant to (P(2^m, RP(2n)), To).