Gauge theory of a group of diffeomorphisms. II. The conformal and de Sitter groups

The extension of Hehl's Poincaré gauge theory to more general groups that include space-time diffeomorphisms is worked out for two particular examples, one corresponding to the action of the conformal group on Minkowski space, and the other to the action of the de Sitter group on de Sitter space, and the effect of these groups on physical fields.

Gauge theory of a group of diffeomorphisms. I. General principles

Any (N+M)-parameter Lie group G with an N-parameter subgroup H can be realized as a global group of diffeomorphisms on an M-dimensional base space B, with representations in terms of transformation laws of fields on B belonging to linear representations of H. The gauged generalization of the global diffeomorphisms consists of general diffeomorphisms (or coordinate transformations) on a base space together with a local action of H on the fields. The particular applications of the scheme to space-time symmetries is discussed in terms of Lagrangians, field equations, currents, and source identities. Journal of Mathematical Physics is copyrighted by The American Institute of Physics.

Gauge theory of a group of diffeomorphisms. III. The fiber bundle description

A new fiber bundle approach to the gauge theory of a group G that involves space‐time symmetries as well as internal symmetries is presented. The ungauged group G is regarded as the group of left translations on a fiber bundle G(G/H,H), where H is a closed subgroup and G/H is space‐time. The Yang–Mills potential is the pullback of the Maurer–Cartan form and the Yang–Mills fields are zero. More general diffeomorphisms on the bundle space are then identified as the appropriate gauged generalizations of the left translations, and the Yang–Mills potential is identified as the pullback of the dual of a certain kind of vielbein on the group manifold. The Yang–Mills fields include a torsion on space‐time.

Foliations and polynomial diffeomorphisms of R(3)

Let Y = (f, g, h): R(3) -> R(3) be a C(2) map and let Spec(Y) denote the set of eigenvalues of the derivative DY(p), when p varies in R(3). We begin proving that if, for some epsilon > 0, Spec(Y) boolean AND (-epsilon, epsilon) = empty set, then the foliation F(k), with k is an element of {f, g, h}, made up by the level surfaces {k = constant}, consists just of planes. As a consequence, we prove a bijectivity result related to the three-dimensional case of Jelonek`s Jacobian Conjecture for polynomial maps of R(n).

Hopf solitons and area-preserving diffeomorphisms of the sphere

We consider a (3+1)-dimensional local field theory defined on the sphere S-2. The model possesses exact soliton solutions with nontrivial Hopf topological charges and an infinite number of local conserved currents. We show that the Poisson bracket algebra of the corresponding charges is isomorphic to that of the area-preserving diffeomorphisms of the sphere S-2. We also show that the conserved currents under consideration are the Noether currents associated to the invariance of the Lagrangian under that infinite group of diffeomorphisms. We indicate possible generalizations of the model.

Partial hyperbolicity for symplectic diffeomorphisms

We prove that every robustly transitive and every stably ergodic symplectic diffeomorphism on a compact manifold admits a dominated splitting. In fact, these diffeomorphisms are partially hyperbolic. (c) 2005 Elsevier SAS. All rights reserved.

The Noether theorem for geometric actions and area preserving diffeomorphisms on the torus

We find that within the formalism of coadjoint orbits of the infinite dimensional Lie group the Noether procedure leads, for a special class of transformations, to the constant of motion given by the fundamental group one-cocycle S. Use is made of the simplified formula giving the symplectic action in terms of S and the Maurer-Cartan one-form. The area preserving diffeomorphisms on the torus T2=S1⊗S1 constitute an algebra with central extension, given by the Floratos-Iliopoulos cocycle. We apply our general treatment based on the symplectic analysis of coadjoint orbits of Lie groups to write the symplectic action for this model and study its invariance. We find an interesting abelian symmetry structure of this non-linear problem.

Hausdorff dimension for non-hyperbolic repellers II: Da diffeomorphisms

We study non-hyperbolic repellers of diffeomorphisms derived from transitive Anosov diffeomorphisms with unstable dimension 2 through a Hopf bifurcation. Using some recent abstract results about non-uniformly expanding maps with holes, by ourselves and by Dysman, we show that the Hausdorff dimension and the limit capacity (box dimension) of the repeller are strictly less than the dimension of the ambient manifold.

On the autonomous norm on the group of Hamiltonian diffeomorphisms of the torus

27 pages, 6 figures

A new combined surface and volume registration

3D registration of brain MRI data is vital for many medical imaging applications. However, purely intensitybased approaches for inter-subject matching of brain structure are generally inaccurate in cortical regions, due to the highly complex network of sulci and gyri, which vary widely across subjects. Here we combine a surfacebased cortical registration with a 3D fluid one for the first time, enabling precise matching of cortical folds, but allowing large deformations in the enclosed brain volume, which guarantee diffeomorphisms. This greatly improves the matching of anatomy in cortical areas. The cortices are segmented and registered with the software Freesurfer. The deformation field is initially extended to the full 3D brain volume using a 3D harmonic mapping that preserves the matching between cortical surfaces. Finally, these deformation fields are used to initialize a 3D Riemannian fluid registration algorithm, that improves the alignment of subcortical brain regions. We validate this method on an MRI dataset from 92 healthy adult twins. Results are compared to those based on volumetric registration without surface constraints; the resulting mean templates resolve consistent anatomical features both subcortically and at the cortex, suggesting that the approach is well-suited for cross-subject integration of functional and anatomic data.

A unified approach to the gauging of space-time and internal symmetries

The properties of the manifold of a Lie groupG, fibered by the cosets of a sub-groupH, are exploited to obtain a geometrical description of gauge theories in space-timeG/H. Gauge potentials and matter fields are pullbacks of equivariant fields onG. Our concept of a connection is more restricted than that in the similar scheme of Ne'eman and Regge, so that its degrees of freedom are just those of a set of gauge potentials forG, onG/H, with no redundant components. The ldquotranslationalrdquo gauge potentials give rise in a natural way to a nonsingular tetrad onG/H. The underlying groupG to be gauged is the groupG of left translations on the manifoldG and is associated with a ldquotrivialrdquo connection, namely the Maurer-Cartan form. Gauge transformations are all those diffeomorphisms onG that preserve the fiber-bundle structure.

Gauging the conformal group

It is demonstrated that Kibble’s method of gauging the Poincaré group can be applied to the gauging of the conformal group. The action of the gauge transformations is the action of general spacetime diffeomorphisms (or coordinate transformations) combined with a local action of an 11-parameter subgroup of SO(4,2). Because the translational subgroup is not an invariant subgroup of the conformal group the appropriate generalisation of the derivative of a physical field is not a covariant derivative in the usual sense, but this does not lead to any inconsistencies.

Higher spin resolution of a toy big bang

Diffeomorphisms preserve spacetime singularities, whereas higher spin symmetries need not. Since three-dimensional de Sitter space has quotients that have big-bang/big-crunch singularities and since dS(3)-gravity can be written as an SL(2, C) Chern-Simons theory, we investigate SL(3, C) Chern-Simons theory as a higher-spin context in which these singularities might get resolved. As in the case of higher spin black holes in AdS(3), the solutions are invariantly characterized by their holonomies. We show that the dS(3) quotient singularity can be desingularized by an SL(3, C) gauge transformation that preserves the holonomy: this is a higher spin resolution the cosmological singularity. Our work deals exclusively with the bulk theory, and is independent of the subtleties involved in defining a CFT2 dual to dS(3) in the sense of dS/CFT.

Full and Model-Reduced Structure-Preserving Simulation of Incompressible Fluids

This thesis outlines the construction of several types of structured integrators for incompressible fluids. We first present a vorticity integrator, which is the Hamiltonian counterpart of the existing Lagrangian-based fluid integrator. We next present a model-reduced variational Eulerian integrator for incompressible fluids, which combines the efficiency gains of dimension reduction, the qualitative robustness to coarse spatial and temporal resolutions of geometric integrators, and the simplicity of homogenized boundary conditions on regular grids to deal with arbitrarily-shaped domains with sub-grid accuracy.

Both these numerical methods involve approximating the Lie group of volume-preserving diffeomorphisms by a finite-dimensional Lie-group and then restricting the resulting variational principle by means of a non-holonomic constraint. Advantages and limitations of this discretization method will be outlined. It will be seen that these derivation techniques are unable to yield symplectic integrators, but that energy conservation is easily obtained, as is a discretized version of Kelvin's circulation theorem.

Finally, we outline the basis of a spectral discrete exterior calculus, which may be a useful element in producing structured numerical methods for fluids in the future.