The decomposition of global conformal invariants

Author(s): 
Spyros Alexakis
Publisher: 
Princeton University Press
Year: 
2012
ISBN: 
978-0691153483
Price (tentative): 
$75
Short description: 

This book proves a conjecture of Deser and Schwimmer regarding the algebraic structure of global conformal invariants (conformally invariant integrals of scalar functionals on the Riemannian metric). The conjecture asserts that the integrand of any such integral can be expressed as a linear combination of a local conformal invariant, a divergence and of the Chern-Gauss-Bonnet integrand.

URL for publisher, author, or book: 
http://press.princeton.edu/titles/9768.html
MSC main category: 
53 Differential geometry
MSC category: 
53C
Review: 

Given a Riemannian manifold $(M,g)$, consider a formal polynomial expression $L(g)$ on the coefficients of the metric $g_{ij}$, its partial derivatives, and $(\det g)^{-1}$. If $L(g)$ is invariant by changes of charts, then it can be written as a linear combination $\sum_{l\in L} a_l C^l(g)$ of some complete contractions of covariant derivatives of the Riemannian curvature tensor. A global conformal invariant is a functional of the form $\int_M L(g) dV_g$ which remains invariant under conformal rescalings of the metric. A conjecture or the physicists Stanley Deser and Adam Schwimmer in 1993 asserts that
$$
L(g)=W(g)+ \mathrm{div}_i T^i(g)+C \cdot \mathrm{Pfaff}(R_{ijkl}),
$$
where $W(g)$ is a local conformal invariant, $T^i(g)$ is a vector field, $C$ is a constant, and $\mathrm{Pfaff}(R_{ijkl})$ is the Pfaffian of the curvature tensor. The Chern-Gauss-Bonnet theorem says that this last term integrates to a multiple of the Euler-Poincaré characteristic of $M$.

This book provides a proof of this conjecture. The method consists on an iterative procedure to reduce the expression $\sum_{l\in L} a_l C^l(g)$ to another expression of a similar type for a reduced subset $L'\subset L$ of "good" complete contractions, trading them by local conformal invariants and divergences. The second step is a lengthy algebraic proof that the expression $\sum_{l\in L'} a_l C^l(g)$ satisfies the required property.

Reviewer: 
Vicente Muñoz
Affiliation: 
UCM

Comments

Post new comment

The content of this field is kept private and will not be shown publicly.
  • Web page addresses and e-mail addresses turn into links automatically.
  • Allowed HTML tags: <a> <em> <strong> <cite> <code> <ul> <ol> <li> <dl> <dt> <dd>
  • Lines and paragraphs break automatically.

More information about formatting options

CAPTCHA
This question is for testing whether you are a human visitor and to prevent automated spam submissions.
Image CAPTCHA
Copy the characters (respecting upper/lower case) from the image.