2006 Greece earthquake: Difference between revisions
en>DarafshBot m r2.7.1) (Robot: Adding fa:زمینلرزه یونان (۲۰۰۶ میلادی) |
en>Dawnseeker2000 add general reference |
||
Line 1: | Line 1: | ||
The | In [[mathematics]], a '''nilmanifold''' is a [[differentiable manifold]] which has a transitive [[nilpotent group|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]] <math>N/H</math>, the quotient of a nilpotent [[Lie group]] ''N'' modulo a [[closed (topology)|closed]] [[subgroup]] ''H''. This notion was introduced by [[Anatoly Maltsev|A. Mal'cev]] in 1951. | ||
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 <ref>E. Wilson, "Isometry groups on homogeneous nilmanifolds", Geometriae Dedicata 12 (1982) 337–346</ref>). | |||
Nilmanifolds are important geometric objects and often arise as concrete examples with interesting properties; in Riemannian geometry these spaces always have mixed curvature,<ref>Milnor, John ''Curvatures of left invariant metrics on Lie groups.'' Advances in Math. 21 (1976), no. 3, 293–329.</ref> [[Almost flat manifold|almost flat spaces]] arise as quotients of nilmanifolds,<ref>Gromov, M. ''Almost flat manifolds.'' J. Differential Geom. 13 (1978), no. 2, 231–241.</ref> and compact nilmanifolds have been used to construct elementary examples of collapse of Riemannian metrics under the Ricci flow.<ref>Chow, Bennett; Knopf, Dan, ''The Ricci flow: an introduction.'' Mathematical Surveys and Monographs, 110. American Mathematical Society, Providence, RI, 2004. xii+325 pp. ISBN 0-8218-3515-7</ref> | |||
In addition to their role in geometry, nilmanifolds are increasingly being seen as having a role in [[arithmetic combinatorics]] (see Green–Tao <ref>Ben Green and Terence Tao, [http://arxiv.org/pdf/math.NT/0606088 Linear equations in primes], 22 April 2008.</ref>) and [[ergodic theory]] (see, e.g., Host–Kra <ref>Bernard Host and [[Bryna Kra]], [http://www.math.northwestern.edu/~kra/papers/convnil.pdf Nonconventional ergodic averages and nilmanifolds], Ann. of Math. (2) 161 (2005), no. 1, 397–488.</ref>). | |||
== Compact nilmanifolds == | |||
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]] <math> \Gamma </math>. If the subgroup <math> \Gamma </math> acts cocompactly (via right multiplication) on ''N'', then the quotient manifold <math>N/ \Gamma </math> will be a compact nilmanifold. As Mal'cev has shown, every compact | |||
nilmanifold is obtained this way.<ref>A. I. Mal'cev, ''On a class of homogeneous spaces'', AMS Translation No. '''39''' (1951).</ref> | |||
Such a subgroup <math> \Gamma </math> as above is called a [[lattice (group theory)|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 [[Malcev's criterion]]. Not all nilpotent Lie groups admit lattices; for more details, see also Raghunathan.<ref>Raghunathan, Chapter II, ''Discrete Subgroups of Lie Groups'', M. S. Raghunathan</ref> | |||
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 <math> \Gamma </math> be a lattice in a simply connected nilpotent Lie group ''N'', as above. Endow ''N'' with a left-invariant (Riemannian) metric. Then the subgroup <math>\Gamma</math> acts by isometries on ''N'' via left-multiplication. Thus the quotient <math>\Gamma \backslash N</math> is a compact space locally isometric to ''N''. Note: this space is naturally diffeomorphic to <math>N / \Gamma </math>. | |||
Compact nilmanifolds also arise as [[principal bundles]]. For example, consider a 2-step [[nilpotent Lie group]] ''N'' which admits a lattice (see above). Let <math>Z=[N,N]</math> 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 <math>Z \cap \Gamma</math> is a lattice in ''Z''. Hence, <math>G = Z/(Z \cap \Gamma )</math> is a ''p''-dimensional compact torus. Since ''Z'' is central in ''N'', the group G acts on the compact nilmanifold <math>P = N/ \Gamma</math> with quotient space <math>M=P/G</math>. This base manifold ''M'' is a ''q''-dimensional compact torus. It has been shown that ever principal torus bundle over a torus is of this form, see.<ref>Palais, R. S.; Stewart, T. E. ''Torus bundles over a torus.'' Proc. Amer. Math. Soc. 12 1961 26–29.</ref> More generally, a compact nilmanifold is torus bundle, over a torus bundle, over...over a torus. | |||
As mentioned above, [[almost flat manifold]]s are intimately compact nilmanifolds. See that article for more information. | |||
==Complex nilmanifolds== | |||
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 <math>I:\; g \rightarrow g</math> which squares to | |||
−Id<sub>''g''</sub>. This operator is called '''a complex structure''' if its eigenspaces, corresponding to eigenvalues | |||
<math>\pm \sqrt{-1}</math>, are subalgebras in <math>g \otimes {\Bbb C}</math>. 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 space|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]].<ref>Keizo Hasegawa ''Complex and Kähler structures on Compact Solvmanifolds,'' J. Symplectic Geom. Volume 3, Number 4 (2005), 749–767.</ref> | |||
==Properties== | |||
Compact nilmanifolds (except a torus) are never [[formal space|homotopy formal]].<ref>Keizo Hasegawa, ''Minimal models of nilmanifolds,'' Proc. Amer. Math. Soc. 106 (1989), no. 1, 65–71.</ref> This implies immediately that compact nilmanifolds (except a torus) cannot | |||
admit a [[Kähler structure]] (see also <ref>C. Benson, C.S. Gordon, ''Kähler and symplectic structures on nilmanifolds'', Topology '''27'''(4) (1988) 513–518.</ref>). | |||
Topologically, all nilmanifolds can be obtained | |||
as iterated torus bundles over a torus. This is easily seen from a filtration by [[Upper central series|ascending central series]].<ref>Sönke Rollenske, [http://arxiv.org/abs/0901.3120 Geometry of nilmanifolds with left-invariant complex structure and deformations in the large], 40 pages, arXiv:0901.3120, Proc. London Math. Soc., 99, 425–460, 2009</ref> | |||
== Examples == | |||
=== Nilpotent Lie groups === | |||
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 <math>\Gamma</math> would be the upper triangular matrices with integral coefficients. The resulting nilmanifold is 3-dimensional. One possible [[fundamental domain]] is (isomorphic to) [0,1]<sup>3</sup> with the faces identified in a suitable way. This is because an element <math>\begin{pmatrix} 1 & x & z \\ & 1 & y \\ & & 1\end{pmatrix}\Gamma</math> of the nilmanifold can be represented by the element <math>\begin{pmatrix} 1 & \{x\} & \{z-x \lfloor y \rfloor \} \\ & 1 & \{y\} \\ & & 1\end{pmatrix}</math> in the fundamental domain. Here <math>\lfloor x \rfloor</math> denotes the [[floor function]] of ''x'', and <math>\{ x \}</math> the [[Floor_function#Fractional_part|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.<ref>Ben Green and Terence Tao, [http://arxiv.org/abs/math.NT/0606088 Linear equations in primes], Ann. of Math. Volume 171 (2010), Issue 3, 1753–1850</ref> | |||
=== Abelian Lie groups === | |||
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 <math>\mathbb{R}/\mathbb{Z}</math>. Another familiar example might be the compact 2-torus or Euclidean space under addition. | |||
== Generalizations == | |||
A parallel construction based on [[solvable group|solvable]] Lie groups produces a class of spaces called '''solvmanifolds'''. An important example of a solvmanifolds are [[Inoue surface]]s, known in [[complex geometry]]. | |||
== References == | |||
<references/> | |||
[[Category:Homogeneous spaces]] | |||
[[Category:Smooth manifolds]] | |||
[[Category:Lie groups]] |
Revision as of 07:14, 25 January 2014
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 A. Mal'cev in 1951.
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 [1]).
Nilmanifolds are important geometric objects and often arise as concrete examples with interesting properties; in Riemannian geometry these spaces always have mixed curvature,[2] almost flat spaces arise as quotients of nilmanifolds,[3] and compact nilmanifolds have been used to construct elementary examples of collapse of Riemannian metrics under the Ricci flow.[4]
In addition to their role in geometry, nilmanifolds are increasingly being seen as having a role in arithmetic combinatorics (see Green–Tao [5]) and ergodic theory (see, e.g., Host–Kra [6]).
Compact nilmanifolds
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.[7]
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 Malcev's criterion. Not all nilpotent Lie groups admit lattices; for more details, see also 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 ever principal torus bundle over a torus is of this form, see.[9] More generally, a compact nilmanifold is 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.
Complex nilmanifolds
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]
Properties
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]
Examples
Nilpotent Lie groups
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.[14]
Abelian Lie groups
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.
Generalizations
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.
References
- ↑ E. Wilson, "Isometry groups on homogeneous nilmanifolds", Geometriae Dedicata 12 (1982) 337–346
- ↑ Milnor, John Curvatures of left invariant metrics on Lie groups. Advances in Math. 21 (1976), no. 3, 293–329.
- ↑ Gromov, M. Almost flat manifolds. J. Differential Geom. 13 (1978), no. 2, 231–241.
- ↑ Chow, Bennett; Knopf, Dan, The Ricci flow: an introduction. Mathematical Surveys and Monographs, 110. American Mathematical Society, Providence, RI, 2004. xii+325 pp. ISBN 0-8218-3515-7
- ↑ Ben Green and Terence Tao, Linear equations in primes, 22 April 2008.
- ↑ Bernard Host and Bryna Kra, Nonconventional ergodic averages and nilmanifolds, Ann. of Math. (2) 161 (2005), no. 1, 397–488.
- ↑ A. I. Mal'cev, On a class of homogeneous spaces, AMS Translation No. 39 (1951).
- ↑ Raghunathan, Chapter II, Discrete Subgroups of Lie Groups, M. S. Raghunathan
- ↑ Palais, R. S.; Stewart, T. E. Torus bundles over a torus. Proc. Amer. Math. Soc. 12 1961 26–29.
- ↑ Keizo Hasegawa Complex and Kähler structures on Compact Solvmanifolds, J. Symplectic Geom. Volume 3, Number 4 (2005), 749–767.
- ↑ Keizo Hasegawa, Minimal models of nilmanifolds, Proc. Amer. Math. Soc. 106 (1989), no. 1, 65–71.
- ↑ C. Benson, C.S. Gordon, Kähler and symplectic structures on nilmanifolds, Topology 27(4) (1988) 513–518.
- ↑ Sönke Rollenske, Geometry of nilmanifolds with left-invariant complex structure and deformations in the large, 40 pages, arXiv:0901.3120, Proc. London Math. Soc., 99, 425–460, 2009
- ↑ Ben Green and Terence Tao, Linear equations in primes, Ann. of Math. Volume 171 (2010), Issue 3, 1753–1850