Codimension one or two immersions and submersions of low dimensional manifolds

LetM be a manifold satisfying certain conditions which are weaker than those of E. Thomas^[12], andf:M→N be a map with codimension one or two. We give necessary and sufficient conditions forf to be homotopic to a map with maximal rank. As an application, we completely determine the codimension one or two immersions of Dold manifolds in real projective spaces.     

Elliptic Symbols

If G is the structure group of a manifold M it is shown how a certain ideal in the character ring of G corresponds to the set of geometric elliptic operators on M. This provides a simple method to construct these operators. For classical structure groups like G = O(n) (Riemannian manifolds), G = SO(n) (oriented Riemannian manifolds), G = U(m) (almost complex manifolds), G = Spin(n) (spin manifolds), or G = Spin^c(n) (spin^c manifolds) this yields well known classical operators like the Euler—deRham operator, signature operator, Cauchy—Riemann operator, or the Dirac operator. For some less well studied structure groups like Spin^h(n) or Sp(q)Sp(1) we can determine the corresponding operators. As applications, we obtain integrality results for such manifolds by applying the Atiyah—Singer Index Theorem to these operators. Finally, we explain how immersions yield interesting structure groups to which one can apply this method. This yields lower bounds on the codimension of immersions in terms of topological data of the manifolds involved.     

Flat Riemannian Manifolds as Torus Bundles

Vasquez showed that for any finite group G there exists a number n(G) such that for every flat Riemannian manifold M with holonomy group G there exists a fiber bundle T → M → N, where T is a flat torus and N is a flat manifold of dimension less than or equal to n(G). We show that n(H) ≤ n(G) if H Δ leftG or G = N ? H and use this result to describe groups with the Vasquez number equal to 2 or 3.     

Dolbeault cohomology of compact complex homogeneous manifolds

We show that ifM is the total space of a holomorphic bundle with base space a simply connected homogeneous projective variety and fibre and structure group a compact complex torus, then the identity component of the automorphism group ofM acts trivially on the Dolbeault cohomology ofM. We consider a class of compact complex homogeneous spacesW, which we call generalized Hopf manifolds, which are diffeomorphic to S¹ ×K/L whereK is a compact connected simple Lie group andL is the semisimple part of the centralizer of a one dimensional torus inK. We compute the Dolbeault cohomology ofW. We compute the Picard group of any generalized Hopf manifold and show that every line bundle over a generalized Hopf manifold arises from a representation of its fundamental group.     

Isometric Embeddings of Families of Special Lagrangian Submanifolds

We prove that certain Riemannian manifolds can be isometrically embedded inside Calabi–Yau manifolds. For example, we prove that given any real-analytic one parameter family of Riemannian metrics g _t on a three-dimensional manifold Y with volume form independent of t and with a real-analytic family of nowhere vanishing harmonic one forms θ _t , then (Y,g _t ) can be realized as a family of special Lagrangian submanifolds of a Calabi–Yau manifold X. We also prove that certain principal torus bundles can be equivariantly and isometrically embedded inside Calabi-Yau manifolds with torus action. We use this to construct examples of n-parameter families of special Lagrangian tori inside n + k-dimensional Calabi–Yau manifolds with torus symmetry. We also compute McLean's metric of 3-dimensional special Lagrangian fibrations with T ²-symmetry. Mathematics Subject Classification (2000): 53-XX, 53C38.Communicated by N. Hitchin (Oxford)     

Geometry of compact complex manifolds with maximal torus action

We study the geometry of compact complex manifolds M equipped with a maximal action of a torus T = (S ¹) ^k . We present two equivalent constructions that allow one to build any such manifold on the basis of special combinatorial data given by a simplicial fan Σ and a complex subgroup H ? T _? = (?*) ^k . On every manifold M we define a canonical holomorphic foliation F and, under additional restrictions on the combinatorial data, construct a transverse Kähler form ω _F . As an application of these constructions, we extend some results on the geometry of moment-angle manifolds to the case of manifolds M.     

G 2-manifolds and coassociative torus fibration

Let (φ ₀, g ₀) be a flat G ₂-structure on the torus T ⁷. For a certain finite group Γ-action on T ⁷ preserving the G ₂-structure, Joyce constructed a closed G ₂-manifold M from the resolution of the orbifold T ⁷/Γ. The main purpose of this paper is to prove that there exist global coassociative fibrations on open submanifolds of certain Joyce manifolds.      

Holomorphic Torus Actions on Compact Locally Conformal Kähler Manifolds

Given a torus action (T ², M) on a smooth manifold, the orbit map ev _x(t)=t·xfor each xMinduces a homomorphism ev _*: ²H ₁(M;). The action is said to be Rank-kif the image of ev _*has rank k(2) for each point of M. In particular, if ev _*is a monomorphism, then the action is called homologically injective. It is known that a holomorphic complex torus action on a compact Kähler manifold is homologically injective. We study holomorphic complex torus actions on compact non-Kähler Hermitian manifolds. A Hermitian manifold is said to be a locally conformal Kähler if a lift of the metric to the universal covering space is conformal to a Kähler metric. We shall prove that a holomorphic conformal complex torus action on a compact locally conformal Kähler manifold Mis Rank-1 provided that Mhas no Kähler structure.     

Cohomology of compact hyperkähler manifolds and its applications

We announce the structure theorem for theH ²(M)-generated part of cohomology of a compact hyperkähler manifold. This computation uses an action of the Lie algebra so(4,n–2) wheren=dimH ²(M) on the total cohomology space ofM. We also prove that every two points of the connected component of the moduli space of holomorphically symplectic manifolds can be connected with so-called twistor lines — projective lines holomorphically embedded in the moduli space and corresponding to the hyperkähler structures. This has interesting implications for the geometry of compact hyperkähler manifolds and of holomorphic vector bundles over such manifolds.     

On Minimal Entropy and Stability

We study n-manifolds Y whose fundamental groups are subexponential extensions of the fundamental group of some closed locally symmetric manifold X of negative curvature. We show that, in this case, MinEnt(Y)ⁿ is an integral multiple of MinEnt(X)ⁿ, and the value MinEnt(Y) is generally not attained (unless if Y is diffeomorphic to X). This gives a new class of manifolds for which the minimal entropy problem is completely solved. Several examples (even complex projective), obtained by gluings and by taking plane intersections in complex projective space, are described. Some problems about topological stability, related to the minimal entropy problem, are also discussed.     

Holomorphic Functions of Exponential Growth on Abelian Coverings of a Projective Manifold

Let M be a projective manifold, p: M _G M a regular covering over M with a free Abelian transformation group G. We describe the holomorphic functions on M _G of an exponential growth with respect to the distance defined by a metric pulled back from M. As a corollary, we obtain Cartwright and Liouville-type theorems for such functions. Our approach brings together the L ₂ cohomology technique for holomorphic vector bundles on complete Kähler manifolds and the geometric properties of projective manifolds.     

A GKM description of the equivariant cohomology ring of a homogeneous space

Let T be a torus of dimension n > 1 and M a compact T-manifold. M is a GKM manifold if the set of zero dimensional orbits in the orbit space M/T is zero dimensional and the set of one dimensional orbits in M/T is one dimensional. For such a manifold these sets of orbits have the structure of a labelled graph and it is known that a lot of topological information about M is encoded in this graph. In this paper we prove that every compact homogeneous space M of non-zero Euler characteristic is of GKM type and show that the graph associated with M encodes geometric information about M as well as topological information. For example, from this graph one can detect whether M admits an invariant complex structure or an invariant almost complex structure.     

Notes on Gromov’s systolic estimate

These notes cover some of the main results of Gromov’s paper Filling Riemannian manifolds. The goal of these notes is to make the results and proofs accessible to more people. The main result is that if (M,g) is a Riemannian manifold of dimension n, then there is a non-contractible curve in (M,g) of length at most C _n Vol(M,g)^1/n .     

Differentiable and analytic families of continuous martingales in manifolds with connection

Summary.  We prove that the derivative of a differentiable family X _t (a) of continuous martingales in a manifold M is a martingale in the tangent space for the complete lift of the connection in M, provided that the derivative is bicontinuous in t and a. We consider a filtered probability space (Ω,(ℱ _t )_{0≤ t ≤1}, ℙ) such that all the real martingales have a continuous version, and a manifold M endowed with an analytic connection and such that the complexification of M has strong convex geometry. We prove that, given an analytic family a↦L(a) of random variable with values in M and such that L(0)≡x ₀∈M, there exists an analytic family a↦X(a) of continuous martingales such that X ₁(a)=L(a). For this, we investigate the convexity of the tangent spaces T ^{( n )} M, and we prove that any continuous martingale in any manifold can be uniformly approximated by a discrete martingale up to a stopping time T such that ℙ(T<1) is arbitrarily small. We use this construction of families of martingales in complex analytic manifolds to prove that every ℱ₁-measurable random variable with values in a compact convex set V with convex geometry in a manifold with a C ¹ connection is reachable by a V-valued martingale. Received: 14 March 1996/In revised form: 12 November 1996     

Holomorphic Cartan geometry on manifolds with numerically effective tangent bundle

Let X be a compact connected Kähler manifold such that the holomorphic tangent bundle TX is numerically effective. A theorem of Demailly et al. (1994) [11] says that there is a finite unramified Galois covering M→X, a complex torus T, and a holomorphic surjective submersion f:M→T, such that the fibers of f are Fano manifolds with numerically effective tangent bundle. A conjecture of Campana and Peternell says that the fibers of f are rational and homogeneous. Assume that X admits a holomorphic Cartan geometry. We prove that the fibers of f are rational homogeneous varieties. We also prove that the holomorphic principal G-bundle over T given by f, where G is the group of all holomorphic automorphisms of a fiber, admits a flat holomorphic connection.     

Two Commuting Involutions Fixing F n ∪ F n-1

Consider G=Z ₂² as the group generated by two commuting involutions, and let be a smooth G-action on a smooth and closed manifold M. Suppose that the fixed point set of Φ consists of two connected components, F ⁿ and F ^n-1, with dimensions n and n−1, respectively. In this paper we prove that, if in the fixed data of Φ at least two eigenbundles over F ⁿ have dimension greater than n, and at least one eigenbundle over F ^n-1 has dimension greater than n−1, then the action (M,Φ) bounds equivariantly.It is well known that, if is a smooth involution on a smooth and closed m-dimensional manifold M ^m such that the fixed point set of T has constant dimension n, and if m > 2n, then (M ^m ,T) bounds equivariantly; this fact was proved by R. E. Stong and C. Kosniowski 27 years ago. As a consequence of our result, we will see that the same fact is true when, besides n-dimensional components, the fixed point set contains additional (n−1)-dimensional components.     

Compact complex homogeneous manifolds with large automorphism groups

Let X be a compact complex homogeneous manifold and let Aut(X) be the complex Lie group of holomorphic automorphisms of X. It is well-known that the dimension of Aut(X) is bounded by an integer that depends only on n=dim X. Moreover, if X is K?hler then dimAut (X)≤n(n+2) with equality only when X is complex projective space. In this article examples of non-K?hler compact complex homogeneous manifolds X are given that demonstrate dimAut(X) can depend exponentially on n. Let X be a connected compact complex manifold of dimension n. The group of holomorphic automorphisms of X, Aut(X), is a complex Lie group [3]. For a fixed n>1, the dimension of Aut(X) can be arbitrarily large compared to n. Simple examples are provided by the Hirzebruch surfaces F _m , m∈N, for which dimAut(F _m )=m+5, see, e.g. [2, Example 2.4.2]. If X is homogeneous, that is, any point of X can be mapped to any other point of X under a holomorphic automorphism, then the dimension of the automorphism group of X is bounded by an integer that depends only on n, see [1, 2, 6]. The estimate given in [2, Theorem 3.8.2] is roughly dimAut(X)≤(n+2) ⁿ . For many classes of manifolds, however, the dimension of the automorphism group never exceeds n(n+2). For example, it follows directly from the classification given by Borel and Remmert [4], that if X is a compact homogeneous K?hler manifold, then dimAut(X)≤n(n+2) with equality only when X is complex projective space P ⁿ . It is an old question raised by Remmert, see [2, p. 99], [6], whether this same bound applies to all compact complex homogeneous manifolds. In this note we show that this is not the case by constructing non-K?hler compact complex homogeneous manifolds whose automorphism group has a dimension that depends exponentially on n. The simplest case among these examples has n=3m+1 and dimAut(X)=3m+3 ^m , so the above conjectured bound is exceeded when n≥19. These manifolds have the structure of non-trivial fiber bundles over products of flag manifolds with parallelizable fibers given as the quotient of a solvable group by a discrete subgroup. They are constructed using the original ideas of Otte [6, 7] and are surprisingly similar to examples found there. Generally, a product of manifolds does not result in an automorphism group with a large dimension relative to n. Nevertheless, products are used in an essential way in the construction given here, and it is perhaps this feature that caused such examples to be previously overlooked. Oblatum 13-X-97 & 24-X-1997     

Surgery and the Yamabe Invariant

We study the Yamabe invariant of manifolds obtained as connected sums along submanifolds of codimension greater than 2. In particular: for a compact connected manifold M with no metric of positive scalar curvature, we prove that the Yamabe invariant of any manifold obtained by performing surgery on spheres of codimension greater than 2 on M is not smaller than the invariant of M. Submitted: August 1998.     

Manifolds with small Dirac eigenvalues are nilmanifolds

Consider the class of n-dimensional Riemannian spin manifolds with bounded sectional curvatures and bounded diameter, and almost non-negative scalar curvature. Let r = 1 if n = 2,3 and r = 2^[n/2]-1 + 1 if n ≥ 4. We show that if the square of the Dirac operator on such a manifold has r small eigenvalues, then the manifold is diffeomorphic to a nilmanifold and has trivial spin structure. Equivalently, if M is not a nilmanifold or if M is a nilmanifold with a non-trivial spin structure, then there exists a uniform lower bound on the r-th eigenvalue of the square of the Dirac operator. If a manifold with almost non-negative scalar curvature has one small Dirac eigenvalue, and if the volume is not too small, then we show that the metric is close to a Ricci-flat metric on M with a parallel spinor. In dimension 4 this implies that M is either a torus or a K3-surface.