Conformal symmetries in geometry and harmonic analysis

This essay introduces conformal symmetry by examining the Yamabe operator and its applications in conformal differential geometry and representation theory.

The Gist

Imagine you are looking at a rubber sheet. If you stretch it, pull it, or squish it, the distances between points change, and the shapes get distorted. However, if you stretch it uniformly in all directions at a specific point, the angles between lines drawn on that sheet remain exactly the same. A square might become a larger square, and a circle might become a bigger circle, but the corners stay 90 degrees, and the curves stay round.

This preservation of angles, even when sizes change, is the heart of Conformal Geometry.

This paper, written by Bent Ørsted for a lecture series in Paris, is like a bridge connecting two very different worlds:

1. The World of Shapes (Geometry): How heat flows, how curvature bends, and how to measure the "size" of a shape in a way that doesn't care about stretching.
2. The World of Symmetry (Representation Theory): How groups of transformations (like rotating or stretching a shape) act on mathematical objects, similar to how a dance troupe moves in perfect unison.

Here is a breakdown of the paper's main ideas using simple analogies.

---

1. The Magic of the "Yamabe Operator"

In geometry, we often use a tool called the Laplacian (think of it as a machine that measures how much a surface is curving or how heat spreads). But this machine changes its behavior if you stretch the rubber sheet.

The paper focuses on a special, "magic" version of this machine called the Yamabe Operator.

• The Analogy: Imagine a musical instrument. If you stretch the strings (change the metric), the pitch usually changes. But the Yamabe operator is like a magical instrument that, even if you stretch the strings, can be "retuned" mathematically so that it plays the exact same song.
• Why it matters: Because this operator is "conformally covariant" (it plays the same song regardless of stretching), it allows mathematicians to find properties of a shape that are invariant. These are the "true" features of the shape that exist regardless of how you stretch or squish it.

2. The Heat Equation and the "Fingerprint" of a Shape

The paper discusses what happens when you run a "heat equation" on these shapes. Imagine heating up a metal plate and watching how the heat spreads over time.

• The Analogy: If you have a unique fingerprint, you can identify a person. Similarly, the way heat spreads on a curved surface leaves a "fingerprint" in the form of mathematical coefficients (called heat invariants).
• The Discovery: The author shows that because the Yamabe operator is so special, these heat fingerprints don't just tell us about the shape; they tell us about the stretching itself. This leads to a way to calculate the "determinant" of the shape (a single number summarizing its complexity).
• The Result: On a perfect sphere, the "standard" round shape is actually the extremal point. It's like a valley in a landscape: if you stretch the sphere slightly, the "determinant" value goes up or down. The perfect sphere is the most "stable" or "optimal" shape in its class.

3. The Three Models of the "Minimal Representation"

This is the most abstract part, but the author uses a beautiful analogy involving conic sections (shapes you get by slicing a cone with a knife).

• The Cone: Imagine a giant cone in 3D space.
• The Slice: If you slice the cone at different angles, you get three different shapes:
  1. Ellipse: A closed loop (like a circle).
  2. Hyperbola: Two open curves (like a "V" shape).
  3. Parabola: An open curve that goes to infinity.

The paper explains that the "Minimal Representation" (a fundamental building block of symmetry for the group $O(p,q)$) can be viewed in three different ways, corresponding to these three slices:

1. The Elliptic Model: The solution lives on a product of spheres (like a donut shape). This is good for seeing the "closed" nature of the symmetry.
2. The Hyperbolic Model: The solution lives on a hyperboloid (a cooling tower shape). This is great for understanding how the symmetry breaks down into smaller pieces (branching laws).
3. The Parabolic Model: The solution lives on a flat space (like a plane). This connects the geometry to Fourier analysis (the math behind sound waves and signals).

The Big Insight: These aren't three different things. They are the same mathematical object viewed from three different angles, just like the same cone can look like a circle, a hyperbola, or a parabola depending on how you slice it.

4. Symmetry Breaking: The "Branching" Tree

Finally, the paper talks about Branching Laws.

• The Analogy: Imagine a large family tree (the big group $G$). When you look at a specific branch of the family (a smaller subgroup $H$), how does the big family's identity split up?
• The Application: The author uses the geometry of the Yamabe operator to solve this. By solving the "Yamabe equation" (the magic musical instrument) in the coordinates of the smaller subgroup, they can explicitly write down exactly how the big symmetry breaks into smaller, simpler symmetries.

Summary: Why Should You Care?

This paper is a masterclass in unification.

• It shows that Geometry (curved spaces, heat flow) and Algebra (groups, symmetries) are not separate subjects. They are two sides of the same coin.
• It proves that the "perfect" shapes (like the sphere) have special mathematical properties (extremal determinants) that can be calculated using the tools of symmetry.
• It provides a toolkit (the three models) to solve complex problems in physics and math by switching between different perspectives, much like looking at a 3D object from the front, side, and top to understand its full shape.

In short, the paper teaches us that symmetry is the key to understanding the shape of the universe, and by studying how shapes change under stretching, we can uncover the deepest laws of mathematics and physics.

Technical Summary

Based on the lecture notes by Bent Ørsted, here is a detailed technical summary of the paper "Conformal symmetries in geometry and harmonic analysis."

1. Problem Statement

The paper addresses the deep interconnection between conformal differential geometry and the representation theory of Lie groups, specifically the indefinite orthogonal group $G = O(p, q)$. The central problem is to unify two distinct perspectives on conformal symmetry:

1. Geometric: The study of conformally invariant functionals (e.g., determinants of elliptic operators, heat invariants, $Q$-curvatures) on Riemannian manifolds.
2. Algebraic: The construction and analysis of the minimal unitary representation of $O(p, q)$, which arises naturally as the kernel of the Yamabe operator.

The author aims to demonstrate how representation theory can solve extremal problems in geometry (e.g., maximizing/minimizing determinants) and conversely, how geometric models (specifically the Yamabe equation on products of spheres) provide explicit realizations of branching laws for minimal representations.

2. Methodology

The paper employs a synthesis of three main mathematical frameworks:

• Conformal Differential Geometry:

  • Utilizes the Yamabe operator $Y = \Delta + \frac{n-2}{4(n-1)}K$, which is conformally covariant with bidegrees $((n-2)/2, (n+2)/2)$.
  • Analyzes the heat kernel asymptotics ($K(t, x, x) \sim \sum e_k(x)t^{(k-n)/d}$) and the spectral zeta function $\zeta_D(s)$ to define regularized determinants.
  • Studies the variation of these functionals under conformal changes of the metric $g \to e^{2\omega}g$.

• Representation Theory of $O(p, q)$:

  • Treats the minimal representation as a subspace of solutions to the Yamabe equation $Y\phi = 0$.
  • Uses intertwining operators (Knapp-Stein operators) and the theory of induced representations from parabolic subgroups ($P = MAN$).
  • Applies Frobenius reciprocity and the decomposition of $K$-types (where $K = O(p) \times O(q)$) to analyze the structure of the representation.

• Symmetry Breaking and Branching Laws:

  • Investigates the restriction of the minimal representation of $G = O(p, q)$ to symmetric subgroups $G'$.
  • Solves the Yamabe equation in different coordinate systems (elliptic, hyperbolic, parabolic) corresponding to different geometric models (products of spheres, hyperboloids, and flat space) to derive explicit branching laws.

3. Key Contributions and Results

A. Conformal Invariants and Extremal Properties

• Heat Invariants and Determinants: The paper establishes that for a conformally covariant elliptic operator $D$, the heat invariants $U_i$ transform predictably. Specifically, in even dimensions, the integral of the middle heat invariant $U_{n/2}$ is a conformal invariant (the "conformal index").
• Zeta-Regularized Determinants: The variation of the log-determinant $\zeta'_D(0)$ under conformal changes is linked to the Branson $Q$-curvature.
  • Polyakov Formula: For surfaces, the variation of the determinant is given by an integral involving the gradient of the conformal factor and the Gauss curvature.
  • Extremality on Spheres: The author proves that the standard metric on spheres $S^n$ is a local extremum for the determinant of the Yamabe operator (and the square of the Dirac operator) among volume-preserving conformal deformations.
    • On $S^4$, the standard metric minimizes $\det(Y)$ and maximizes $\det(D^2)$.
    • On $S^6$, the pattern reverses (maximizes $\det(Y)$).
    • This alternating behavior depends on the dimension and the operator type, governed by the sign of the Hessian of the functional.

B. The Minimal Representation of $O(p, q)$

The paper constructs the minimal unitary representation of $O(p, q)$ (attached to the minimal nilpotent orbit) in three distinct models, corresponding to the three types of conic sections:

1. Elliptic Model (Product of Spheres):

   • Realized on $M = S^{p-1} \times S^{q-1}$ with an indefinite metric.
   • The representation space is the kernel of the Yamabe operator $Y_M = Y_{S^{p-1}} - Y_{S^{q-1}}$.
   • Result: The $K$-types are explicitly given by tensor products of spherical harmonics $H_a(\mathbb{R}^p) \otimes H_b(\mathbb{R}^q)$ satisfying a specific parity condition.

2. Hyperbolic Model (Hyperboloid):

   • Realized on the hyperboloid $X(p, q) = O(p, q)/O(p-1, q)$.
   • Branching Law: When restricting to $G' = O(p, q') \times O(q'')$, the minimal representation decomposes into a direct sum of discrete series representations of the hyperboloid tensored with spherical harmonics of the remaining sphere factor.
   • Result: The restriction contains discrete series components $\pi_{+, \lambda} \otimes H_l$, providing an explicit branching law.

3. Parabolic Model (Flat Space/Cone):

   • Realized on the nilpotent radical $N \cong \mathbb{R}^{p-1, q-1}$ (flat space with indefinite metric).
   • The representation acts on the solution space of the ultrahyperbolic equation $\square \phi = 0$.
   • Result: The Hilbert space is identified with $L^2(C)$, where $C$ is the light cone in the dual space. The lowest $K$-type is explicitly constructed using modified Bessel functions.

C. Hessian Analysis and Rigidity

• The paper analyzes the Hessian of conformal functionals at the standard sphere metric.
• Using the Ahlfors operator (an intertwining differential operator) and representation theory, the author shows that the Hessian is diagonalized by $K$-types.
• Theorem: The sign of the Hessian (determining whether the standard sphere is a local max or min) is governed by a universal constant $c(F)$ and the eigenvalues of the "universal Hessian" operator $T_0$. This confirms the rigidity of the standard sphere as an extremal point for these functionals.

4. Significance

• Unification of Fields: The work successfully bridges conformal geometry and Lie theory, showing that geometric extremal problems (like the Yamabe problem and determinant maximization) are direct consequences of the representation-theoretic structure of the conformal group.
• Explicit Branching Laws: It provides concrete, explicit formulas for the branching laws of the minimal representation of $O(p, q)$ to symmetric subgroups, a problem of significant difficulty in infinite-dimensional representation theory.
• New Models for Minimal Representations: By presenting the elliptic, hyperbolic, and parabolic models, the paper offers a comprehensive toolkit for analyzing the minimal representation, linking it to classical physics (wave equations, Maxwell's equations) and modern harmonic analysis (Knapp-Stein operators, Hardy-Littlewood-Sobolev inequalities).
• Geometric Rigidity: The results on the extremal properties of determinants on spheres contribute to the understanding of the stability of geometric structures under conformal deformations, with implications for quantum field theory (where determinants of Laplacians appear in path integrals).

In summary, Ørsted's lectures demonstrate that the "flat" model of the conformal group acting on the sphere serves as a powerful generator for understanding "curved" geometries, and that the symmetries of differential equations (Yamabe, Wave) are the key to unlocking the structure of minimal representations and their geometric invariants.