Abstract
We show how Alesker’s theory of valuations on manifolds gives rise to an algebraic picture of the integral geometry of any Riemannian isotropic space. We then apply this method to give a thorough account of the integral geometry of the complex space forms, i.e. complex projective space, complex hyperbolic space and complex Euclidean space. In particular, we compute the family of kinematic formulas for invariant valuations and invariant curvature measures in these spaces. In addition to new and more efficient framings of the tube formulas of Gray and the kinematic formulas of Shifrin, this approach yields a new formula expressing the volumes of the tubes about a totally real submanifold in terms of its intrinsic Riemannian structure. We also show by direct calculation that the Lipschitz-Killing valuations stabilize the subspace of invariant angular curvature measures, suggesting the possibility that a similar phenomenon holds for all Riemannian manifolds. We conclude with a number of open questions and conjectures.
Similar content being viewed by others
References
Abardia J., Gallego E., Solanes G.: Gauss–Bonnet theorem and Crofton type formulas in complex space forms. Israel Journal of Mathematics 187, 287–315 (2012)
Abbena E., Gray A., Vanhecke L: Steiner’s formula for the volume of a parallel hypersurface in a Riemannian manifold. Annali della Scuola Normale Superiore di Pisa - Classe di Scienze (4) 8, 573–493 (1981)
Alesker S.: Description of translation invariant valuations on convex sets with solution of P. McMullen’s conjecture. Geometric and Functional Analysis 11, 244–272 (2001)
Alesker S.: Hard Lefschetz theorem for valuations, complex integral geometry, and unitarily invariant valuations. Journal of Differential Geometry 63, 63–95 (2003)
Alesker S.: The multiplicative structure on polynomial valuations. Geometric and Functional Analysis 14, 1–26 (2004)
Alesker S.: Theory of valuations on manifolds I. Linear spaces. Israel Journal of Mathematics 156, 311–339 (2006)
Alesker S.: Theory of valuations on manifolds II. Advances in Mathematics 207, 420–454 (2006)
S. Alesker. Theory of valuations on manifolds IV. New properties of the multiplicative structure. In: Geometric aspects of functional analysis. LNM, Vol. 1910 (2007), pp. 1–44.
Alesker S.: Valuations on manifolds: a survey. Geometric and Functional Analysis 17, 1321–1341 (2007)
Alesker S.: Valuations on manifolds and integral geometry. Geometric and Functional Analysis 20, 1073–1143 (2010)
Alesker S., Bernig A.: The product on smooth and generalized valuations. American Journal of Mathematics 134, 507–560 (2012)
Alesker S., Fu J.H.G.: Theory of valuations on manifolds III. Multiplicative structure in the general case. Transactions of the American Mathematical Society 360, 1951–1981 (2008)
Bernig A.: A Hadwiger type theorem for the special unitary group. Geometric and Functional Analysis 19, 356–372 (2009)
Bernig A.: Integral geometry under G 2 and Spin(7). Israel Journal of Mathematics 184, 301–316 (2011)
Bernig A.: Invariant valuations on quaternionic vector spaces. Journal of the Institute of Mathematics of Jussieu (3) 11, 467–499 (2012)
Bernig A., Bröcker L.: Courbures intrinsèques dans les catégories analytico-géométriques. Annales de l’institut Fourier (Grenoble) 53, 1897–1924 (2003)
Bernig A., Bröcker L.: Valuations on manifolds and Rumin cohomology. Journal of Differential Geometry 75, 433–457 (2007)
Bernig A., Fu J.H.G.: Convolution of convex valuations. Geometriae Dedicata 123, 153–169 (2006)
Bernig A., Fu J.H.G.: Hermitian integral geometry. Annals of Mathematics 173, 907–945 (2011)
Blaschke W.: Integralgeometrie. Hermann, Paris (1935)
Borel A.: Some remarks about Lie groups transitive on spheres and tori. Bulletin of the American Mathematical Society 55, 580–587 (1949)
F. Chapoton. Sur le nombre d’intervalles dans les treillis de Tamari. (French) [On the number of intervals in Tamari lattices] Séminaire Lotharingien de Combinatoire 55 (2005/2007), Art. B55f, 18 pp. (electronic).
Cheeger J., Müller W., Schrader R.: On the curvature of piecewise flat spaces. Communications in Mathematical Physics 92, 405–454 (1984)
Federer H.: Curvature measures. Transactions of the American Mathematical Society 93, 418–491 (1959)
Federer H.: Geometric Measure Theory. Springer, New York (1969)
Fu J.H.G.: Curvature measures and generalized Morse theory. Journal of Differential Geometry 30, 619–642 (1989)
Fu J.H.G.: Kinematic formulas in integral geometry. Indiana University Mathematics Journal 39, 1115–1154 (1990)
Fu J.H.G.: Curvature measures and Chern classes of singular varieties. Journal of Differential Geometry 39, 251–280 (1994)
Fu J.H.G.: Curvature measures of subanalytic sets. American Journal of Mathematics 116, 819–880 (1994)
Fu J.H.G.: Structure of the unitary valuation algebra. Journal of Differential Geometry 72, 509–533 (2006)
Gray A.: Volumes of tubes about complex submanifolds of complex projective space. Transactions of the American Mathematical Society 291, 437–449 (1985)
A. Gray. Tubes, 2nd edn. Birkhhäuser, Boston (2004).
Gray A., Vanhecke L.: The volumes of tubes in a Riemannian manifold. Rendiconti del Seminario Matematico Universitá e Politecnico di Torino 39, 1–50 (1981)
Gysin W.: Zur Homologietheorie der Abbildungen und Faserungen von Mannigfaltigkeiten. Commentarii Mathematici Helvetici 14, 61–122 (1942)
Helgason S.: Differential Geometry, Lie Groups, and Symmetric Spaces. Academic Press, New York (1978)
R. Howard. The kinematic formula in Riemannian homogeneous spaces. Memoirs of the American Mathematical Society 509(1993).
Huybrechts D.: Complex geometry. Universitext. Springer, Berlin (2005)
S. Kobayashi and K. Nomizu. Foundations of Differential Geometry, Vols. I and II. Wiley Classics Library, New York (1996).
Klain D., Rota G.-C.: Introduction to Geometric Probability. Lezione Lincee. Cambridge University Press, Cambridge (1997)
Montgomery D., Samelson H.: Transformation groups of spheres. Annals of Mathematics 44, 454–470 (1943)
H. Park. Kinematic formulas for the real subspaces of complex space forms of dimension 2 and 3. PhD-thesis University of Georgia (2002).
Rumin M.: Differential forms on contact manifolds (Formes différentielles sur les variétés de contact). Journal of Differential Geometry 39, 281–330 (1994)
Santaló L.A.: Integral Geometry and Geometric Probability, 2nd edn. Cambridge University Press, Cambridge (2004)
Shifrin T.: The kinematic formula in complex integral geometry. Transactions of the American Mathematical Society 264, 255–293 (1981)
T. Shifrin. Curvature integrals and Chern classes of singular varieties. Integral geometry (Brunswick, Maine, 1984), In: Contemporary Mathematics, Vol. 63. American Mathematical Society, Providence (1987), pp. 279–298.
M. Spivak. A Comprehensive Introduction to Differential Geometry, Vol. 4, 3rd edn. Publish or Perish, Boston (1979).
H. Tasaki. Generalization of Kähler angle and integral geometry in complex projective spaces. In: Steps in Differential Geometry. Proceedings of the Colloquium on Differential Geometry Debrecen (2001), pp. 349–361. http://www.emis.de/proceedings/CDGD2000/pdf/K_Tasaki
Tasaki H.: Generalization of Kähler angle and integral geometry in complex projective spaces II. Mathematische Nachrichten 252, 106–112 (2003)
Tits J.: Espaces homogènes et isotropes, et espaces doublement homogènes. (French). Comptes Rendus de l’Académie des Sciences Paris 239, 526–527 (1954)
Weyl H.: On the volume of tubes. American Journal of Mathematics 61, 461–472 (1939)
H. Wilf. Generatingfunctionology. Academic Press, New York (1990). Also available online at http://www.math.upenn.edu/~wilf/DownldGF.html
Author information
Authors and Affiliations
Corresponding author
Additional information
AB supported by DFG Grants BE 2484/3-1 and BE 2484/5-1. JHGF supported by NSF Grant DMS-1007580. GS supported by FEDER/MEC Grant MTM2009-07594 and AGAUR Grant SGR2009-1207.
Rights and permissions
About this article
Cite this article
Bernig, A., Fu, J.H.G. & Solanes, G. Integral geometry of complex space forms. Geom. Funct. Anal. 24, 403–492 (2014). https://doi.org/10.1007/s00039-014-0251-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00039-014-0251-1