Diffeomorphisms |

**In General** > s.a. Hole
Argument; Homeotopy Group.

* __Effect of geometric quantities__: In general,
δ*T* = \(\cal L\)_{v} *T*;
For a metric and a connection

δ*g*_{ab} =
2 ∇_{(a} *v*_{b)}
, δΓ^{m}_{ab}
= ∇_{a} ∇_{b}* v*^{m} – *R*^{m}_{(ab) c}*v*^{c}
.

* __Descriptors__: Given
an infinitesimal diffeomorphism of a manifold,
*x*^{m} \(\mapsto\) *x*^{m}
+ *ξ*^{m}(*x*),
the descriptors are the functions *ξ*^{m}(*x*),
i.e., the vector field generating the diffeomorphism [@ in Anderson 67].

@ __Diffeomorphism groups__: in Marsden 74;
Michor 80;
Banyaga 97;
> s.a. types of groups [mapping class].

@ __Representations__: Goldin et al JPA(83) [of \(\mathbb R\)^{3}];
Maxera ht/98 [non-linear realizations];
Larsson gq/99 [of extended algebra].

@ __Geometry__: Khesin & Misiolek JMFM(05)m.DG [asymptotic directions];
Gordina & Lescot mp/05
[Ricci curvature of Diff(S^{1})/S^{1}].

@ __Related topics__: Dolgopyat CMP(00) [mostly contracting];
Larsson a1205 [new extensions of diffeomorphism algebras].

**Witt Algebra** > s.a. Virasoro Algebra.

$ __Def__: The infinite-dimensional Lie algebra of Diff(S^{1}).

* __Generators__: Given by *L*_{n} =
–i exp{i*nθ*} ∂/∂*θ*, with
commutation relations [*L*_{m}, *L*_{n}]
= (*n*–*m*) *L*_{m+n}.

@ __References__: Schlichenmaier a1111 [second cohomology].

**Types of Diffeomorphisms and Manifolds**

* __Large diffeomorphims__:
The ones not in the component connected to the identity, which form the *modular group*.

* __3D__: The Smale
conjecture states that the diffeomorphism group Diff(S^{3})
has the same homotopy type as SO(4); In proving the Smale conjecture, A Hatcher
proposed the Generalized Smale conjecture that for all closed 3-manifolds
Diff(*M*^{ 3})
is homotopic to Isom(*M*^{ 3}), which
has been proven for many special cases; Don Witt has proposed a correspondence
between the Generalized Smale conjecture and gauge fixing in gauge/diffeomorphism
invariant theories as a procedure for proving it in such situations – the
idea is to use the fact that the diffeomorphism group is the gauge group
by which one divides to obtain the space of gauge-invariant configurations from
a space of gauge-dependent ones, and if both of the latter are known well enough
one can set up an exact sequence with which one calculates all homotopy groups
of the diffeomorphism group.

@ __1D__: Banakh & Yagasaki Top(09)
[Diff(\(\mathbb R\)), topological structure];
Neretin JGM(17)-a1601 [Diff(S^{1}), reproducing kernels and analogs of spherical functions];
Weiner CMP(17)-a1606 [Diff(S^{1}), local equivalence of representations].

@ __2D__: Thurston BAMS(88) [geometry and dynamics].

@ __3D__: Bonatti et al Top(04) [gradient-like];
Benatti & Wilkinson Top(05) [transitive partially hyperbolic].

@ __On compact Riemannian manifolds__: Delanoë DG&A(04) [gradient rearrangement].

@ __ Volume-preserving__: Sato EPJC(14)-a1404 [structure constants];
> s.a. general relativity [origin] and formulations;
modified versions of QED; quantum gauge theories;
spheres.

@ __Generalized__: Dimitrijević & Wess ht/04-talk
[deformed bialgebra on non-commutative space]; > s.a. discrete gravity below.

@ __Related topics__: Giacomini PRD(04)ht [Poisson
algebra with spacetime bifurcations]; Harvey in Bullett et al 17 [modular group].

**And Physical Theories** > s.a. canonical
general relativity; Covariance [general
covariance]; symmetries; symmetry
breaking.

* __Quantum gravity__:
Large diffeomorphisms give rise to theta
sectors.

@ __And gauge symmetries__: Kuchař & Stone CQG(87)
[parametrised Maxwell field];
Pons et al PRD(00)gq/99 [in Ashtekar variables],
JMP(00)gq/99 [in
Einstein-Yang-Mills];
> s.a. types of gauge theories and quantum gauge theories.

@ __And general relativity / quantum gravity__:
Chamblin & Gibbons gq/95-proc [spacetime
topology and time-orientation reversal]; Aldaya & Jaramillo IJMPA(03)gq/02 [representations
of diffeomophism groups]; Larsson in(06)-a0709
[anomalies]; Samanta IJTP(09)-a0708 [Lagrangian
gravity]; Dittrich ASL(09)-a0810;
Ashtekar GRG(09)-a0904-in
[consequences
of diffeomorphism invariance]; Farkas & Martinec JMP(11)-a1002 [extension of spatial diffeomorphisms]; Salisbury et al IJMPA(16)-a1508 [in canonical general relativity, Hamilton-Jacobi approach]; Patrascu JMP(16)-a1410 [extension to topology].

@ __And discrete geometry / gravity__: Kunzinger & Steinbauer CQG(99) [distributional, pp-wave example];
Bahr & Thiemann CQG(09)-a0711 [distributional, and combinatorial lqg];
Gambini & Pullin CQG(09)-a0807 [emergent diffeomorphism invariance];
Bahr & Dittrich AIP(09)-a0909;
Baratin et al PRD(11)-a1101 [in group field theories];
Wetterich PRD(12)-a1110; Dittrich & Steinhaus PRD(12)-a1110 [measure and triangulation independence];
Wetterich PRD(12) [on a lattice];
Dittrich a1201-proc;
Bahr et al Sigma(12) [and constraints];
Bonzom & Dittrich CQG(13)-a1304 [discrete hypersurface deformation algebras];
> s.a. lattice gravity; loop quantum gravity.

@ __Large diffeomorphisms__: Giulini BCP(97)gq/95 [and
geons], NPPS(97)gq; Balachandran & de Queiroz JHEP(11)-a1109 [anomalies and mixed states].

@ __Broken / partial diffeomorphism invariance__: Carballo-Rubio PRD(15)-a1502 [Weyl transverse gravity, and the cosmological constant];
> s.a. Background.

@ __Non-relativistic diffeomorphism invariance__:
Andreev et al PRD(14) [examples and applications];
Banerjee et al PLB(14)-a1404,
IJMPA(17)-a1604 [symmetries].

@ __Related topics__: Sorkin in(93) [and particle symmetries];
Pons CQG(03)gq [and phase space for generally covariant theories];
Dedushenko JHEP(10)-a1007 [diffeomorphism anomaly in quantum mechanics];
Kleppe & Nielsen a1412-conf [diffeomorphism invariance from Random Dynamics];
Pooley a1506 [diffeomorphism invariance vs background independence];
Kreimer & Yeats MPAG(17)-a1610 [quantum field theories, and renormalization].

main page
– abbreviations
– journals – comments
– other sites – acknowledgements

send feedback and suggestions to bombelli at olemiss.edu – modified 16 mar 2018