Integral geometry

Integral geometry
Name	Integral geometry
Field	Mathematics
Introduced	20th century
Major figures	Hermann Weyl, Harald Cramér, Wilhelm Blaschke, Shiing-Shen Chern, Louis Nirenberg

Integral geometry is a branch of mathematical analysis concerned with measures invariant under groups of transformations and with relations between geometric quantities obtained by integration over families of subspaces or orbits. It connects classical Bernhard Riemann-era differential methods with measure-theoretic techniques developed in the 20th century by figures associated with David Hilbert-era problems and has deep ties to representation theory, convexity, and partial differential equations.

History

Integral geometric ideas trace to 19th-century work on geometric probability by Georges-Louis Leclerc, Comte de Buffon, and to early 20th-century convexity and kinematic studies by Wilhelm Blaschke and colleagues associated with the University of Göttingen. The formalization of Crofton-type formulas and kinematic formulas emerged in research programs linked to Élie Cartan and the Erlangen program promoted by Felix Klein, and later matured through contributions by Hermann Weyl and Harald Cramér. Postwar advances involved collaborations across institutions such as Institute for Advanced Study networks and mathematical schools influenced by Shiing-Shen Chern and Louis Nirenberg that integrated topology and representation-theoretic methods from groups like Lie group theory centers and analytic tools from the Courant Institute.

Fundamental concepts and definitions

Central notions include invariant measures under groups such as SO(n) and E(n), families of subspaces (lines, planes, geodesics) parametrized by homogeneous spaces like Grassmannians and Stiefel manifolds. Key definitions invoke valuations on convex bodies related to results by Aleksandr Aleksandrov and Alesker-type classification, and curvature measures historically analyzed by Hermann Minkowski and Federer. The framework uses harmonic analysis on groups studied in contexts involving Harish-Chandra's work and links to invariant differential operators developed by researchers at institutions like Institute for Advanced Study and departments connected to École Normale Supérieure.

Crofton formulas and kinematic formulas

Crofton formulas, originally inspired by work of Morgan Crofton and later generalized by Santaló, express geometric quantities (lengths, areas) as integrals over families of lines or planes parameterized by homogeneous spaces such as projective space or Grassmannian. Kinematic formulas, advanced by Wilhelm Blaschke and refined by Hermann Weyl, relate measures of intersections under group actions like those by SO(n) and E(n), and were systematized using tools from representation theory associated with researchers at Princeton University and University of Chicago. These formulas underpin modern proofs by authors influenced by the research cultures of ETH Zurich and University of Toronto.

Applications (stochastic geometry, tomography, stereology)

Integral geometry supplies foundational formulas used in stochastic geometry research at institutes like Bell Labs-era probability groups and probability schools influenced by Harald Cramér for random processes and spatial statistics. In tomography, Radon transform techniques connected to Johann Radon underpin computed tomography methods developed at clinical and engineering centers including Massachusetts General Hospital collaborations and technology emerging from corporate research labs. In stereology, classical protocols used in biological microscopy owe conceptual lineage to integral-geometric sampling strategies adopted in laboratories at Max Planck Society and medical schools affiliated with Johns Hopkins University.

Key theorems and results

Major results include Crofton-type integral representations dating to Morgan Crofton and structural classification theorems for translation- and rotation-invariant valuations with contributions from mathematicians trained in schools at University of Moscow and Tel Aviv University. Kinematic formula generalizations by analysts connected to École Polytechnique and topologists influenced by René Thom yield precise relations among curvature measures. The Radon inversion theorem, foundational for computerized tomography developed by collaborators across University of Vienna-era circles and Princeton University, is a central analytic pillar.

Examples and computations

Concrete calculations include perimeter via line integrals over the projective line as in Crofton’s original formula, area computations for convex bodies using support functions developed in the tradition of Hermann Minkowski, and Radon transform inversions on symmetric spaces studied in seminars at Harish-Chandra Research Institute. Examples computed on spheres and hyperbolic spaces use invariant measures from studies associated with Élie Cartan and explicit harmonic analysis techniques advanced by researchers linked to Institute for Advanced Study seminars.

Generalizations and modern developments

Contemporary directions extend integral geometry to non-Euclidean homogeneous spaces examined in programs at IHÉS, to valuations in the presence of group actions studied by teams linked to Tel Aviv University and ETH Zurich, and to microlocal analysis approaches influenced by work at Princeton University and Stanford University. Interdisciplinary bridges connect to geometric inverse problems pursued in research groups at University of Cambridge and numerical implementations driven by collaborations with engineering departments at Massachusetts Institute of Technology.

Category:Geometry