In mathematics, a nilmanifold is a differentiable manifold which has a transitive nilpotent group of diffeomorphisms acting on it. As such, a nilmanifold is an example of a homogeneous space and is diffeomorphic to the quotient space , the quotient of a nilpotent Lie group N modulo a closed subgroup H. This notion was introduced by Anatoly Mal'cev in 1949. [1]
In the Riemannian category, there is also a good notion of a nilmanifold. A Riemannian manifold is called a homogeneous nilmanifold if there exist a nilpotent group of isometries acting transitively on it. The requirement that the transitive nilpotent group acts by isometries leads to the following rigid characterization: every homogeneous nilmanifold is isometric to a nilpotent Lie group with left-invariant metric (see Wilson [2] ).
Nilmanifolds are important geometric objects and often arise as concrete examples with interesting properties; in Riemannian geometry these spaces always have mixed curvature, [3] almost flat spaces arise as quotients of nilmanifolds, [4] and compact nilmanifolds have been used to construct elementary examples of collapse of Riemannian metrics under the Ricci flow. [5]
In addition to their role in geometry, nilmanifolds are increasingly being seen as having a role in arithmetic combinatorics (see Green–Tao [6] ) and ergodic theory (see, e.g., Host–Kra [7] ).
A compact nilmanifold is a nilmanifold which is compact. One way to construct such spaces is to start with a simply connected nilpotent Lie group N and a discrete subgroup . If the subgroup acts cocompactly (via right multiplication) on N, then the quotient manifold will be a compact nilmanifold. As Mal'cev has shown, every compact nilmanifold is obtained this way. [1]
Such a subgroup as above is called a lattice in N. It is well known that a nilpotent Lie group admits a lattice if and only if its Lie algebra admits a basis with rational structure constants: this is Mal'cev's criterion. Not all nilpotent Lie groups admit lattices; for more details, see also M. S. Raghunathan. [8]
A compact Riemannian nilmanifold is a compact Riemannian manifold which is locally isometric to a nilpotent Lie group with left-invariant metric. These spaces are constructed as follows. Let be a lattice in a simply connected nilpotent Lie group N, as above. Endow N with a left-invariant (Riemannian) metric. Then the subgroup acts by isometries on N via left-multiplication. Thus the quotient is a compact space locally isometric to N. Note: this space is naturally diffeomorphic to .
Compact nilmanifolds also arise as principal bundles. For example, consider a 2-step nilpotent Lie group N which admits a lattice (see above). Let be the commutator subgroup of N. Denote by p the dimension of Z and by q the codimension of Z; i.e. the dimension of N is p+q. It is known (see Raghunathan) that is a lattice in Z. Hence, is a p-dimensional compact torus. Since Z is central in N, the group G acts on the compact nilmanifold with quotient space . This base manifold M is a q-dimensional compact torus. It has been shown that every principal torus bundle over a torus is of this form, see. [9] More generally, a compact nilmanifold is a torus bundle, over a torus bundle, over...over a torus.
As mentioned above, almost flat manifolds are intimately compact nilmanifolds. See that article for more information.
Historically, a complex nilmanifold meant a quotient of a complex nilpotent Lie group over a cocompact lattice. An example of such a nilmanifold is an Iwasawa manifold. From the 1980s, another (more general) notion of a complex nilmanifold gradually replaced this one.
An almost complex structure on a real Lie algebra g is an endomorphism which squares to −Idg. This operator is called a complex structure if its eigenspaces, corresponding to eigenvalues , are subalgebras in . In this case, I defines a left-invariant complex structure on the corresponding Lie group. Such a manifold (G,I) is called a complex group manifold. It is easy to see that every connected complex homogeneous manifold equipped with a free, transitive, holomorphic action by a real Lie group is obtained this way.
Let G be a real, nilpotent Lie group. A complex nilmanifold is a quotient of a complex group manifold (G,I), equipped with a left-invariant complex structure, by a discrete, cocompact lattice, acting from the right.
Complex nilmanifolds are usually not homogeneous, as complex varieties.
In complex dimension 2, the only complex nilmanifolds are a complex torus and a Kodaira surface. [10]
Compact nilmanifolds (except a torus) are never homotopy formal. [11] This implies immediately that compact nilmanifolds (except a torus) cannot admit a Kähler structure (see also [12] ).
Topologically, all nilmanifolds can be obtained as iterated torus bundles over a torus. This is easily seen from a filtration by ascending central series. [13]
From the above definition of homogeneous nilmanifolds, it is clear that any nilpotent Lie group with left-invariant metric is a homogeneous nilmanifold. The most familiar nilpotent Lie groups are matrix groups whose diagonal entries are 1 and whose lower diagonal entries are all zeros.
For example, the Heisenberg group is a 2-step nilpotent Lie group. This nilpotent Lie group is also special in that it admits a compact quotient. The group would be the upper triangular matrices with integral coefficients. The resulting nilmanifold is 3-dimensional. One possible fundamental domain is (isomorphic to) [0,1]3 with the faces identified in a suitable way. This is because an element of the nilmanifold can be represented by the element in the fundamental domain. Here denotes the floor function of x, and the fractional part. The appearance of the floor function here is a clue to the relevance of nilmanifolds to additive combinatorics: the so-called bracket polynomials, or generalised polynomials, seem to be important in the development of higher-order Fourier analysis. [6]
A simpler example would be any abelian Lie group. This is because any such group is a nilpotent Lie group. For example, one can take the group of real numbers under addition, and the discrete, cocompact subgroup consisting of the integers. The resulting 1-step nilmanifold is the familiar circle . Another familiar example might be the compact 2-torus or Euclidean space under addition.
A parallel construction based on solvable Lie groups produces a class of spaces called solvmanifolds. An important example of a solvmanifolds are Inoue surfaces, known in complex geometry.
In mathematics, Thurston's geometrization conjecture states that each of certain three-dimensional topological spaces has a unique geometric structure that can be associated with it. It is an analogue of the uniformization theorem for two-dimensional surfaces, which states that every simply connected Riemann surface can be given one of three geometries . In three dimensions, it is not always possible to assign a single geometry to a whole topological space. Instead, the geometrization conjecture states that every closed 3-manifold can be decomposed in a canonical way into pieces that each have one of eight types of geometric structure. The conjecture was proposed by William Thurston (1982), and implies several other conjectures, such as the Poincaré conjecture and Thurston's elliptization conjecture.
In the mathematical disciplines of topology and geometry, an orbifold is a generalization of a manifold. Roughly speaking, an orbifold is a topological space which is locally a finite group quotient of a Euclidean space.
In mathematics, a generalized flag variety is a homogeneous space whose points are flags in a finite-dimensional vector space V over a field F. When F is the real or complex numbers, a generalized flag variety is a smooth or complex manifold, called a real or complexflag manifold. Flag varieties are naturally projective varieties.
This is a glossary of some terms used in Riemannian geometry and metric geometry — it doesn't cover the terminology of differential topology.
Bosonic string theory is the original version of string theory, developed in the late 1960s and named after Satyendra Nath Bose. It is so called because it contains only bosons in the spectrum.
In mathematics, an automorphic function is a function on a space that is invariant under the action of some group, in other words a function on the quotient space. Often the space is a complex manifold and the group is a discrete group.
In mathematics, a symmetric space is a Riemannian manifold whose group of symmetries contains an inversion symmetry about every point. This can be studied with the tools of Riemannian geometry, leading to consequences in the theory of holonomy; or algebraically through Lie theory, which allowed Cartan to give a complete classification. Symmetric spaces commonly occur in differential geometry, representation theory and harmonic analysis.
In mathematics, systolic geometry is the study of systolic invariants of manifolds and polyhedra, as initially conceived by Charles Loewner and developed by Mikhail Gromov, Michael Freedman, Peter Sarnak, Mikhail Katz, Larry Guth, and others, in its arithmetical, ergodic, and topological manifestations. See also a slower-paced Introduction to systolic geometry.
In mathematics, a Hermitian symmetric space is a Hermitian manifold which at every point has an inversion symmetry preserving the Hermitian structure. First studied by Élie Cartan, they form a natural generalization of the notion of Riemannian symmetric space from real manifolds to complex manifolds.
In mathematics, a solvmanifold is a homogeneous space of a connected solvable Lie group. It may also be characterized as a quotient of a connected solvable Lie group by a closed subgroup. A special class of solvmanifolds, nilmanifolds, was introduced by Anatoly Maltsev, who proved the first structural theorems. Properties of general solvmanifolds are similar, but somewhat more complicated.
In mathematics, the Abel–Jacobi map is a construction of algebraic geometry which relates an algebraic curve to its Jacobian variety. In Riemannian geometry, it is a more general construction mapping a manifold to its Jacobi torus. The name derives from the theorem of Abel and Jacobi that two effective divisors are linearly equivalent if and only if they are indistinguishable under the Abel–Jacobi map.
In Lie theory and related areas of mathematics, a lattice in a locally compact group is a discrete subgroup with the property that the quotient space has finite invariant measure. In the special case of subgroups of Rn, this amounts to the usual geometric notion of a lattice as a periodic subset of points, and both the algebraic structure of lattices and the geometry of the space of all lattices are relatively well understood.
In geometry, if X is a manifold with an action of a topological group G by analytical diffeomorphisms, the notion of a (G, X)-structure on a topological space is a way to formalise it being locally isomorphic to X with its G-invariant structure; spaces with a (G, X)-structure are always manifolds and are called (G, X)-manifolds. This notion is often used with G being a Lie group and X a homogeneous space for G. Foundational examples are hyperbolic manifolds and affine manifolds.
In the theory of Lie groups, the exponential map is a map from the Lie algebra of a Lie group to the group, which allows one to recapture the local group structure from the Lie algebra. The existence of the exponential map is one of the primary reasons that Lie algebras are a useful tool for studying Lie groups.
Local rigidity theorems in the theory of discrete subgroups of Lie groups are results which show that small deformations of certain such subgroups are always trivial. It is different from Mostow rigidity and weaker than superrigidity.
Arithmetic Fuchsian groups are a special class of Fuchsian groups constructed using orders in quaternion algebras. They are particular instances of arithmetic groups. The prototypical example of an arithmetic Fuchsian group is the modular group . They, and the hyperbolic surface associated to their action on the hyperbolic plane often exhibit particularly regular behaviour among Fuchsian groups and hyperbolic surfaces.
In Lie theory, an area of mathematics, the Kazhdan–Margulis theorem is a statement asserting that a discrete subgroup in semisimple Lie groups cannot be too dense in the group. More precisely, in any such Lie group there is a uniform neighbourhood of the identity element such that every lattice in the group has a conjugate whose intersection with this neighbourhood contains only the identity. This result was proven in the 1960s by David Kazhdan and Grigory Margulis.
In the mathematical subject of geometric group theory, the Švarc–Milnor lemma is a statement which says that a group , equipped with a "nice" discrete isometric action on a metric space , is quasi-isometric to .
In the mathematical subject of group theory, a co-Hopfian group is a group that is not isomorphic to any of its proper subgroups. The notion is dual to that of a Hopfian group, named after Heinz Hopf.
In differential geometry, Mal'cev's criterion, proved by Anatoly Mal'cev, states that a simply connected nilpotent Lie group admits a lattice, i.e., a discrete co-compact subgroup, if and only if the associated Lie algebra admits a basis such that the structure constants are rational.
Chapter II