Gromov's Inequality For Complex Projective Space

Gromov's Inequality For Complex Projective Space

In Riemannian geometry, Gromov's optimal stable 2-systolic inequality is the inequality

\mathrm{stsys}_2{}^n \leq n!
\;\mathrm{vol}_{2n}(\mathbb{CP}^n),

valid for an arbitrary Riemannian metric on the complex projective space, where the optimal bound is attained by the symmetric Fubini-Study metric, providing a natural geometrisation of quantum mechanics. Here is the stable 2-systole, which in this case can be defined as the infimum of the areas of rational 2-cycles representing the class of the complex projective line in 2-dimensional homology.

The inequality first appeared in Gromov's 1981 book entitled Structures métriques pour les variétés riemanniennes (Theorem 4.36).

The proof of Gromov's inequality relies on the Wirtinger inequality for exterior 2-forms.

Read more about Gromov's Inequality For Complex Projective Space:  Projective Planes Over Division Algebras

Famous quotes containing the words inequality, complex and/or space:

    All the aspects of this desert are beautiful, whether you behold it in fair weather or foul, or when the sun is just breaking out after a storm, and shining on its moist surface in the distance, it is so white, and pure, and level, and each slight inequality and track is so distinctly revealed; and when your eyes slide off this, they fall on the ocean.
    Henry David Thoreau (1817–1862)

    Power is not an institution, and not a structure; neither is it a certain strength we are endowed with; it is the name that one attributes to a complex strategical situation in a particular society.
    Michel Foucault (1926–1984)

    A set of ideas, a point of view, a frame of reference is in space only an intersection, the state of affairs at some given moment in the consciousness of one man or many men, but in time it has evolving form, virtually organic extension. In time ideas can be thought of as sprouting, growing, maturing, bringing forth seed and dying like plants.
    John Dos Passos (1896–1970)