arXiv subjects

Tobias Diez

Publications and source records attributed to Tobias Diez.

15 recordsLinked to original sources

arXiv2024

Symplectic Reduction in Infinite Dimensions

This paper develops a theory of symplectic reduction in the infinite-dimensional setting, covering both the regular and singular case. Extending the classical work of Marsden, Weinstein, Sjamaar and Lerman, we address challenges unique to infinite dimensions, such as the failure of the Darboux theorem and the absence of the Marle-Guillemin-Sternberg normal form. Our novel approach centers on a normal form of only the momentum map, for which we utilize new local normal form theorems for smooth equivariant maps in the infinite-dimensional setting. This normal form is then used to formulate the theory of singular symplectic reduction in infinite dimensions. We apply our results to important examples like the Yang-Mills equation and the Teichmüller space over a Riemann surface.

math.DG↗

arXiv2024

Cartan Geometry and Infinite-Dimensional Kempf-Ness Theory

We pioneer the development of a rigorous infinite-dimensional framework for the Kempf-Ness theorem, addressing the significant challenge posed by the absence of a complexification for the symmetry group in infinite dimensions, e.g, the diffeomorphism group. We propose a novel approach, based on Cartan bundles, to generalize Kempf-Ness theory to infinite dimensions, invoking the fundamental role played by the Maurer-Cartan form. This approach allows us to define and study objects essential for the Kempf-Ness theorem, such as the complex model for orbits and the Kempf-Ness function, as well as establishing its convexity properties and defining a generalized Futaki character. We show how our framework can be applied to the study of various problems in Kähler geometry, deformation quantization, and gauge theory.

math.DG↗

arXiv2024

Norm-squared of the momentum map in infinite dimensions with applications to Kähler geometry and symplectic connections

We initiate the study of the norm-squared of the momentum map as a rigorous tool in infinite dimensions. In particular, we calculate the Hessian at a critical point, show that it is positive semi-definite along the complexified orbit, and determine a decomposition of the stabilizer under the complexified action. We apply these results to the action of the group of symplectomorphisms on the spaces of compatible almost complex structures and of symplectic connections. In the former case, we extend results of Calabi to not necessarily integrable almost complex structures that are extremal in a relative sense. In both cases, the momentum map is not equivariant, which gives rise to new phenomena and opens up new avenues for interesting applications. For example, using the prequantization construction, we obtain new central extensions of the group of symplectomorphisms that are encoding geometric information of the underlying finite-dimensional manifold.

math.DG↗

arXiv2022

Expectation values of polynomials and moments on general compact Lie groups

We develop a powerful framework to calculate expectation values of polynomials and moments on compact Lie groups based on elementary representation-theoretic arguments and an integration by parts formula. In the setting of lattice gauge theory, we generalize expectation value formulas for products of Wilson loops by Chatterjee and Jafarov to arbitrary compact Lie groups, and study explicit examples for many classical compact Lie groups and the exceptional Lie group $G_2$. Extending classical results by Collins and Lévy, we use our framework to derive expectation value formulas of polynomials of matrix coefficients under the Haar measure, Brownian motion, and the Wilson action. In particular, we construct Weingarten functions for general compact Lie groups by studying the underlying tensor invariants, and apply this to $\mathrm{SU}(N)$ and $G_2$.

math.PR↗

arXiv2021

Induced differential characters on nonlinear Graßmannians

Using a nonlinear version of the tautological bundle over Graßmannians, we construct a transgression map for differential characters from $M$ to the nonlinear Graßmannians $\mathrm{Gr}^S(M)$ of submanifolds of $M$ of a fixed type $S$. In particular, we obtain prequantum circle bundles of the nonlinear Graßmannian endowed with the Marsden-Weinstein symplectic form. The associated Kostant-Souriau prequantum extension yields central Lie group extensions of a group of volume-preserving diffeomorphisms integrating Lichnerowicz cocycles.

math.DG↗

arXiv2021

Normal form of equivariant maps in infinite dimensions

Local normal form theorems for smooth equivariant maps between infinite-dimensional manifolds are established. These normal form results are new even in finite dimensions. The proof is inspired by the Lyapunov-Schmidt reduction for dynamical systems and by the Kuranishi method for moduli spaces. It uses a Slice Theorem for Fréchet manifolds as the main technical tool. As a consequence, the abstract moduli space obtained by factorizing a level set of the equivariant map with respect to the group action carries the structure of a Kuranishi space, i.e., such moduli spaces are locally modeled on the quotient by a compact group of the zero set of a smooth map. The general results are applied to the moduli space of anti-self-dual instantons, the Seiberg-Witten moduli space and the moduli space of pseudoholomorphic curves.

math.DG↗

arXiv2021

Central extensions of Lie groups preserving a differential form

Let $M$ be a manifold with a closed, integral $(k+1)$-form $ω$, and let $G$ be a Fréchet-Lie group acting on $(M,ω)$. As a generalization of the Kostant-Souriau extension for symplectic manifolds, we consider a canonical class of central extensions of $\mathfrak{g}$ by $\mathbb{R}$, indexed by $H^{k-1}(M,\mathbb{R})^*$. We show that the image of $H_{k-1}(M,\mathbb{Z})$ in $H^{k-1}(M,\mathbb{R})^*$ corresponds to a lattice of Lie algebra extensions that integrate to smooth central extensions of $G$ by the circle group $\mathbb{T}$. The idea is to represent a class in $H_{k-1}(M,\mathbb{Z})$ by a weighted submanifold $(S,β)$, where $β$ is a closed, integral form on $S$. We use transgression of differential characters from $S$ and $ M $ to the mapping space $ C^\infty(S, M) $, and apply the Kostant-Souriau construction on $ C^\infty(S, M) $.

math.DG↗

arXiv2020

Singular symplectic cotangent bundle reduction of gauge field theory

We prove a theorem on singular symplectic cotangent bundle reduction in the Fréchet setting and apply it to Yang-Mills-Higgs theory with special emphasis on the Higgs sector of the Glashow-Weinberg-Salam model. For the latter model we give a detailed description of the reduced phase space and show that the singular structure is encoded in a finite-dimensional Lie group action.

math-ph↗

arXiv2020

Group-valued momentum maps for actions of automorphism groups

The space of smooth sections of a symplectic fiber bundle carries a natural symplectic structure. We provide a general framework to determine the momentum map for the action of the group of bundle automorphism on this space. Since, in general, this action does not admit a classical momentum map, we introduce the more general class of group-valued momentum maps which is inspired by the Poisson Lie setting. In this approach, the group-valued momentum map assigns to every section of the symplectic fiber bundle a principal circle-bundle with connection. The power of this general framework is illustrated in many examples: we construct generalized Clebsch variables for fluids with integral helicity; the anti-canonical bundle turns out to be the momentum map for the action of the group of symplectomorphisms on the space of compatible complex structures; the Teichmüller moduli space is realized as a symplectic orbit reduced space associated to a coadjoint orbit of $\mathrm{SL}(2,\mathbb{R})$ and spaces related to the other coadjoint orbits are identified and studied. Moreover, we show that the momentum map for the group of bundle automorphisms on the space of connections over a Riemann surface encodes, besides the curvature, also topological information of the bundle.

math.DG↗

arXiv2019

Realizing the Teichmüller space as a symplectic quotient

Given a closed surface endowed with a volume form, we equip the space of compatible Riemannian structures with the structure of an infinite-dimensional symplectic manifold. We show that the natural action of the group of volume-preserving diffeomorphisms by push-forward has a group-valued momentum map that assigns to a Riemannian metric the canonical bundle. We then deduce that the Teichmüller space and the moduli space of Riemann surfaces can be realized as symplectic orbit reduced spaces.

math.DG↗

arXiv2019

Slice theorem and orbit type stratification in infinite dimensions

We establish a general slice theorem for the action of a locally convex Lie group on a locally convex manifold, which generalizes the classical slice theorem of Palais to infinite dimensions. We discuss two important settings under which the assumptions of this theorem are fulfilled. First, using Glöckner's inverse function theorem, we show that the linear action of a compact Lie group on a Fréchet space admits a slice. Second, using the Nash--Moser theorem, we establish a slice theorem for the tame action of a tame Fréchet Lie group on a tame Fréchet manifold. For this purpose, we develop the concept of a graded Riemannian metric, which allows the construction of a path-length metric compatible with the manifold topology and of a local addition. Finally, generalizing a classical result in finite dimensions, we prove that the existence of a slice implies that the decomposition of the manifold into orbit types of the group action is a stratification.

math.DG↗

arXiv2019

Yang-Mills moduli spaces over an orientable closed surface via Fréchet reduction

Given a principal bundle on an orientable closed surface with compact connected structure group, we endow the space of based gauge equivalence classes of smooth connections relative to smooth based gauge transformations with the structure of a Fréchet manifold. Using Wilson loop holonomies and a certain characteristic class determined by the topology of the bundle, we then impose suitable constraints on that Fréchet manifold that single out the based gauge equivalence classes of central Yang-Mills connections but do not directly involve the Yang-Mills equation. We also explain how our theory yields the based and unbased gauge equivalence classes of all Yang-Mills connections and deduce the stratified symplectic structure on the space of unbased gauge equivalence classes of central Yang-Mills connections. The crucial new technical tool is a slice analysis in the Fréchet setting.

math.DG↗

arXiv2019

Normal Form of Equivariant Maps and Singular Symplectic Reduction in Infinite Dimensions with Applications to Gauge Field Theory

A local normal form theorem for smooth equivariant maps between Fréchet manifolds is established. Moreover, an elliptic version of this theorem is obtained. The proof these normal form results is inspired by the Lyapunov-Schmidt reduction for dynamical systems and by the Kuranishi method for moduli spaces, and uses a slice theorem for Fréchet manifolds as the main technical tool. As a consequence of this equivariant normal form theorem, the abstract moduli space obtained by factorizing a level set of the equivariant map with respect to the group action carries the structure of a Kuranishi space. Moreover, the theory of singular symplectic reduction is developed in the infinite-dimensional Fréchet setting. By refining the above construction, a normal form for momentum maps similar to the classical Marle-Guillemin-Sternberg normal form is established. Analogous to the reasoning in finite dimensions, this normal form result is then used to show that the reduced phase space decomposes into smooth manifolds each carrying a natural symplectic structure. Finally, the singular symplectic reduction scheme is further investigated in the situation where the original phase space is an infinite-dimensional cotangent bundle. The fibered structure of the cotangent bundle yields a refinement of the usual orbit-momentum type strata into so-called seams. Using a suitable normal form theorem, it is shown that these seams are manifolds. Taking the harmonic oscillator as an example, the influence of the seams on dynamics is illustrated. The general results stated above are applied to various gauge theory models. The moduli spaces of anti-self-dual connections in four dimensions and of Yang-Mills connections in two dimensions is studied. Moreover, the stratified structure of the reduced phase space of the Yang-Mills-Higgs theory is investigated in a Hamiltonian formulation.

math.SG↗

arXiv2019

Clebsch-Lagrange variational principle and geometric constraint analysis of relativistic field theories

Inspired by the Clebsch optimal control problem, we introduce a new variational principle that is suitable for capturing the geometry of relativistic field theories with constraints related to a gauge symmetry. Its special feature is that the Lagrange multipliers couple to the configuration variables via the symmetry group action. The resulting constraints are formulated as a condition on the momentum map of the gauge group action on the phase space of the system. We discuss the Hamiltonian picture and the reduction of the gauge symmetry by stages in this geometric setting. We show that the Yang-Mills-Higgs action and the Einstein--Hilbert action fit into this new framework after a $ (1+3) $-splitting. Moreover, we recover the Gauß constraint of Yang-Mills-Higgs theory and the diffeomorphism constraint of general relativity as momentum map constraints.

math-ph↗

arXiv2014

Slice theorem for Fréchet group actions and covariant symplectic field theory

A general slice theorem for the action of a Fréchet Lie group on a Fréchet manifolds is established. The Nash-Moser theorem provides the fundamental tool to generalize the result of Palais to this infinite-dimensional setting. The presented slice theorem is illustrated by its application to gauge theories: the action of the gauge transformation group admits smooth slices at every point and thus the gauge orbit space is stratified by Fréchet manifolds. Furthermore, a covariant and symplectic formulation of classical field theory is proposed and extensively discussed. At the root of this novel framework is the incorporation of field degrees of freedom F and spacetime M into the product manifold F * M. The induced bigrading of differential forms is used in order to carry over the usual symplectic theory to this new setting. The examples of the Klein-Gordon field and general Yang-Mills theory illustrate that the presented approach conveniently handles the occurring symmetries.

math-ph↗