“Weitzenböck identity”的意思、由来-开放百科全书

词条

Weitzenböck identity

释义

Riemannian geometry
Spin geometry
Complex differential geometry
Other Weitzenböck identities
See also
References

In mathematics, in particular in differential geometry, mathematical physics, and representation theory a Weitzenböck identity, named after Roland Weitzenböck, expresses a relationship between two second-order elliptic operators on a manifold with the same leading symbol. (The origins of this terminology seem doubtful, however, as there does not seem to be any evidence that such identities ever appeared in Weitzenböck's work.) Usually Weitzenböck formulae are implemented for G-invariant self-adjoint operators between vector bundles associated to some principal G-bundle, although the precise conditions under which such a formula exists are difficult to formulate. This article focuses on three examples of Weitzenböck identities: from Riemannian geometry, spin geometry, and complex analysis.

Riemannian geometry

In Riemannian geometry there are two notions of the Laplacian on differential forms over an oriented compact Riemannian manifold M. The first definition uses the divergence operator δ defined as the formal adjoint of the de Rham operator d:

where α is any p-form and β is any ({{nowrap|p + 1}})-form, and is the metric induced on the bundle of ({{nowrap|p + 1}})-forms. The usual form Laplacian is then given by

On the other hand, the Levi-Civita connection supplies a differential operator

where Ω^pM is the bundle of p-forms and T^∗M is the cotangent bundle of M. The Bochner Laplacian is given by

where is the adjoint of .

The Weitzenböck formula then asserts that

where A is a linear operator of order zero involving only the curvature.

The precise form of A is given, up to an overall sign depending on curvature conventions, by

where

R is the Riemann curvature tensor,
Ric is the Ricci tensor,
is the map that takes the wedge product of a 1-form and p-form and gives a (p+1)-form,
is the universal derivation inverse to θ on 1-forms.

Spin geometry

If M is an oriented spin manifold with Dirac operator ð, then one may form the spin Laplacian Δ = ð² on the spin bundle. On the other hand, the Levi-Civita connection extends to the spin bundle to yield a differential operator

As in the case of Riemannian manifolds, let . This is another self-adjoint operator and, moreover, has the same leading symbol as the spin Laplacian. The Weitzenböck formula yields:

where Sc is the scalar curvature. This result is also known as the Lichnerowicz formula.

Complex differential geometry

If M is a compact Kähler manifold, there is a Weitzenböck formula relating the -Laplacian (see Dolbeault complex) and the Euclidean Laplacian on (p,q)-forms. Specifically, let

, and

in a unitary frame at each point.

According to the Weitzenböck formula, if α ε Ω^(p,q)M, then

Δ'α − Δα = A(α)

where A is an operator of order zero involving the curvature. Specifically,

if in a unitary frame, then

with k in the s-th place.

Other Weitzenböck identities

In conformal geometry there is a Weitzenböck formula relating a particular pair of differential operators defined on the tractor bundle. See Branson, T. and Gover, A.R., "Conformally Invariant Operators, Differential Forms, Cohomology and a Generalisation of Q-Curvature", Communications in Partial Differential Equations, 30 (2005) 1611–1669.

References

{{citation|title=Principles of algebraic geometry|first1=Philip|last1=Griffiths|first2=Joe|last2=Harris|authorlink1=Philip A. Griffiths|authorlink2=Joe Harris (mathematician)|publisher=Wiley-Interscience|publication-date=1994|isbn=978-0-471-05059-9|year=1978}}

3 : Mathematical identities|Differential operators|Differential geometry

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。

Riemannian geometry

Spin geometry

Complex differential geometry

Other Weitzenböck identities

See also

References