Chern's conjecture (affine geometry)

Last updated

Chern's conjecture for affinely flat manifolds was proposed by Shiing-Shen Chern in 1955 in the field of affine geometry. As of 2018, it remains an unsolved mathematical problem.

Contents

Chern's conjecture states that the Euler characteristic of a compact affine manifold vanishes.

Details

In case the connection ∇ is the Levi-Civita connection of a Riemannian metric, the Chern–Gauss–Bonnet formula:

implies that the Euler characteristic is zero. However, not all flat torsion-free connections on admit a compatible metric, and therefore, Chern–Weil theory cannot be used in general to write down the Euler class in terms of the curvature.

History

The conjecture is known to hold in several special cases:

Additionally obtained related results:

For flat pseudo-Riemannian manifolds or complex affine manifolds, this follows from the Chern–Gauss–Bonnet theorem.

Also, as proven by M.W. Hirsch and William Thurston in 1975 for incomplete affine manifolds, the conjecture holds if the holonomy group is a finite extension, a free product of amenable groups (however, their result applies to any flat bundles over manifolds). [3]

In 1977, John Smillie produced a manifold with the tangent bundle with nonzero-torsion flat connection and nonzero Euler characteristic, thus he disproved the strong version of the conjecture asking whether the Euler characteristic of a closed flat manifold vanishes. [2]

Later, Huyk Kim and Hyunkoo Lee proved for affine manifolds, and more generally projective manifolds developing into anaffine space with amenable holonomy by a different technique using nonstandard polyhedral Gauss–Bonnet theorem developed by Ethan Bloch and Kim and Lee. [4] [5]

In 2002, Suhyoung Choi slightly generalized the result of Hirsch and Thurston that if the holonomy of a closed affine manifold is isomorphic to amenable groups amalgamated or HNN-extended along finite groups, then the Euler characteristic of the manifold is 0. He showed that if an even-dimensional manifold is obtained from a connected sum operation from K(π, 1)s with amenable fundamental groups, then the manifold does not admit an affine structure (generalizing a result of Smillie). [6]

In 2008, after Smillie's simple examples of closed manifolds with flat tangent bundles (these would have affine connections with zero curvature, but possibly nonzero torsion), Bucher and Gelander obtained further results in this direction.

In 2015, Mihail Cocos proposed a possible way to solve the conjecture and proved that the Euler characteristic of a closed even-dimensional affine manifold vanishes.

In 2016, Huitao Feng (Chinese :冯惠涛) and Weiping Zhang, both of Nankai University, claimed to prove the conjecture in general case, but a serious flaw had been found, so the claim was thereafter retracted. After the correction, their current result is a formula that counts the Euler number of a flat vector bundle in terms of vertices of transversal open coverings. [7]

Notoriously, the intrinsic Chern–Gauss–Bonnet theorem proved by Chern that the Euler characteristic of a closed affine manifold is 0 applies only to orthogonal connections, not linear ones, hence why the conjecture remains open in this generality (affine manifolds are considerably more complicated than Riemannian manifolds, where metric completeness is equivalent to geodesic completeness).

There also exists a related conjecture by Mikhail Leonidovich Gromov on the vanishing of bounded cohomology of affine manifolds. [8]

The conjecture of Chern can be considered a particular case of the following conjecture:

A closed aspherical manifold with nonzero Euler characteristic doesn't admit a flat structure

This conjecture was originally stated for general closed manifolds, not just for aspherical ones (but due to Smillie, there's a counterexample), and it itself can, in turn, also be considered a special case of even more general conjecture:

A closed aspherical manifold with nonzero simplicial volume doesn't admit a flat structure

While generalizing the Chern's conjecture on affine manifolds in these ways, it's known as the generalized Chern conjecture for manifolds that are locally a product of surfaces.

Related Research Articles

<span class="mw-page-title-main">Differential topology</span> Branch of mathematics

In mathematics, differential topology is the field dealing with the topological properties and smooth properties of smooth manifolds. In this sense differential topology is distinct from the closely related field of differential geometry, which concerns the geometric properties of smooth manifolds, including notions of size, distance, and rigid shape. By comparison differential topology is concerned with coarser properties, such as the number of holes in a manifold, its homotopy type, or the structure of its diffeomorphism group. Because many of these coarser properties may be captured algebraically, differential topology has strong links to algebraic topology.

<span class="mw-page-title-main">Differential geometry</span> Branch of mathematics dealing with functions and geometric structures on differentiable manifolds

Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries.

<span class="mw-page-title-main">Gauss–Bonnet theorem</span> Differential geometry theorem

In the mathematical field of differential geometry, the Gauss–Bonnet theorem is a fundamental formula which links the curvature of a surface to its underlying topology.

<span class="mw-page-title-main">Calabi–Yau manifold</span> Riemannian manifold with SU(n) holonomy

In algebraic geometry, a Calabi–Yau manifold, also known as a Calabi–Yau space, is a particular type of manifold which has properties, such as Ricci flatness, yielding applications in theoretical physics. Particularly in superstring theory, the extra dimensions of spacetime are sometimes conjectured to take the form of a 6-dimensional Calabi–Yau manifold, which led to the idea of mirror symmetry. Their name was coined by Candelas et al. (1985), after Eugenio Calabi who first conjectured that such surfaces might exist, and Shing-Tung Yau (1978) who proved the Calabi conjecture.

<span class="mw-page-title-main">Shing-Tung Yau</span> Chinese mathematician

Shing-Tung Yau is a Chinese-American mathematician and the William Caspar Graustein Professor of Mathematics at Harvard University. In April 2022, Yau announced retirement from Harvard to become Chair Professor of mathematics at Tsinghua University.

In mathematics, the Chern theorem states that the Euler-Poincaré characteristic of a closed even-dimensional Riemannian manifold is equal to the integral of a certain polynomial of its curvature form.

In the mathematical field of differential geometry, Ricci-flatness is a condition on the curvature of a (pseudo-)Riemannian manifold. Ricci-flat manifolds are a special kind of Einstein manifold. In theoretical physics, Ricci-flat Lorentzian manifolds are of fundamental interest, as they are the solutions of Einstein's field equations in vacuum with vanishing cosmological constant.

<span class="mw-page-title-main">Holonomy</span> Concept in differential geometry

In differential geometry, the holonomy of a connection on a smooth manifold is a general geometrical consequence of the curvature of the connection measuring the extent to which parallel transport around closed loops fails to preserve the geometrical data being transported. For flat connections, the associated holonomy is a type of monodromy and is an inherently global notion. For curved connections, holonomy has nontrivial local and global features.

<span class="mw-page-title-main">William Goldman (mathematician)</span> American mathematician

William Mark Goldman is a professor of mathematics at the University of Maryland, College Park. He received a B.A. in mathematics from Princeton University in 1977, and a Ph.D. in mathematics from the University of California, Berkeley in 1980.

In mathematics, a circle bundle is a fiber bundle where the fiber is the circle .

In mathematics, Hopf conjecture may refer to one of several conjectural statements from differential geometry and topology attributed to Heinz Hopf.

In differential geometry, an affine manifold is a differentiable manifold equipped with a flat, torsion-free connection.

The Geometry Festival is an annual mathematics conference held in the United States.

<span class="mw-page-title-main">Yang–Mills equations</span> Partial differential equations whose solutions are instantons

In physics and mathematics, and especially differential geometry and gauge theory, the Yang–Mills equations are a system of partial differential equations for a connection on a vector bundle or principal bundle. They arise in physics as the Euler–Lagrange equations of the Yang–Mills action functional. They have also found significant use in mathematics.

Foundations of Differential Geometry is an influential 2-volume mathematics book on differential geometry written by Shoshichi Kobayashi and Katsumi Nomizu. The first volume was published in 1963 and the second in 1969, by Interscience Publishers. Both were published again in 1996 as Wiley Classics Library.

In differential geometry, algebraic geometry, and gauge theory, the Kobayashi–Hitchin correspondence relates stable vector bundles over a complex manifold to Einstein–Hermitian vector bundles. The correspondence is named after Shoshichi Kobayashi and Nigel Hitchin, who independently conjectured in the 1980s that the moduli spaces of stable vector bundles and Einstein–Hermitian vector bundles over a complex manifold were essentially the same.

In differential geometry, Cohn-Vossen's inequality, named after Stefan Cohn-Vossen, relates the integral of Gaussian curvature of a non-compact surface to the Euler characteristic. It is akin to the Gauss–Bonnet theorem for a compact surface.

Paul Alexander Schweitzer, S. J., is an American mathematician, specializing in differential topology, geometric topology, and algebraic topology.

<span class="mw-page-title-main">Guido Mislin</span> Swiss mathematician, academic and researcher

Guido Mislin is a Swiss mathematician, academic and researcher. He is a Professor Emeritus of Mathematics at ETH Zurich. He is also associated with Ohio State University as a guest at Mathematics Department.

References

  1. J. Milnor, On the existence of a connection with curvature zero, Commentarii Mathematici Helvetici, volume 32 (1957), pp. 215–223
  2. 1 2 J. Smillie, Flat manifolds with non-zero Euler characteristic, Commentarii Mathematici Helvetici, volume 52 (1977), pp. 453–456
  3. M. Hirsch and W. Thurston, Foliated bundles, invariant measures and flat manifolds, Annals of Mathematics, volume 101 (1975), pp. 369–390
  4. H. Kim and H. Lee, The Euler characteristic of projectively flat manifolds with amenable fundamental groups, Proceedings of the American Mathematical Society, volume 118 (1993), pp. 311–315
  5. H. Kim and H. Lee, The Euler characteristic of a certain class of projectively flat manifolds, Topology and its Applications, volume 40 (1991), pp. 195–201
  6. S. Choi, The Chern Conjecture for Affinely Flat Manifolds Using Combinatorial Methods, Geometriae Dedicata, volume 97 (2003), pp. 81–92
  7. Feng, Huitao; Zhang, Weiping (2017). "Flat vector bundles and open coverings". arXiv: 1603.07248v3 [math.DG].
  8. M. Gromov, Asymptotic invariants of infinite groups. Geometric group theory. Volume 2 (1993), 8.A

Further reading