Related papers: Local phase space and edge modes for diffeomorphis…
We describe the symplectic reduction construction for the physical phase space in gauge theory and apply it for the BF theory. Symplectic reduction theorem allows us to rewrite the same phase space as a quotient by the gauge group action,…
We numerically verify and analytically prove a winding number invariant that correctly predicts the number of edge states in one-dimensional, nearest-neighbor (between unit cells), two-band models with any complex couplings and open…
We use the Symmetry Topological Field Theory (SymTFT) to systematically characterize gapped phases in 2+1 dimensions with categorical symmetries. The SymTFTs that we consider are (3+1)d Dijkgraaf-Witten (DW) theories for finite groups $G$,…
In the double field theory, gauge symmetries are realized as generalized diffeomorphisms in the doubled spacetime. By consistency of the theory, dependence of tensor fields on the doubled coordinates is strongly constrained. This causes…
Geometrically the phase space of a mechanical system involves the co-tangent bundle of the configuration space. The phase space of a relativistic field theory is infinite dimensional and can be endowed with a symplectic structure defined in…
It is shown in the covariant phase space formalism that the Noether charges with respect to the diffeomorphism generated by vector fields and their horizontal variations in general relativity form a diffeomorphism algebra. It is also shown…
Extended geometry is based on an underlying tensor hierarchy algebra. We extend the previously considered $L_\infty$ structure of the local symmetries (the diffeomorphisms and their reducibility) to incorporate physical fields, field…
The phase space of general relativity in a finite subregion is characterized by edge modes localized at the codimension-2 boundary, transforming under an infinite-dimensional group of symmetries. The quantization of this symmetry algebra is…
We study the symplectic structure and dynamics of Yang-Mills theory in the presence of a boundary. We introduce a decomposition of the fields on a Cauchy slice such that the symplectic form splits cleanly into independent bulk and edge…
The `Generalized Symmetric Teleparallel Gravity' (GSTG) does not admit diffeomorphic invariance, since the auxiliary field as well as the shift vector act as non-propagating dynamical variables carrying 1/2 degrees of freedom each. We show…
Two sets of spatially diffeomorphism invariant operators are constructed in the loop representation formulation of quantum gravity. This is done by coupling general relativity to an anti- symmetric tensor gauge field and using that field to…
In this paper we study the structure of the phase space in noncommutative geometry in the presence of a nontrivial frame. Our basic assumptions are that the underlying space is a symplectic and parallelizable manifold. Furthermore, we…
We prove that $\mathcal{C}^2$ surface diffeomorphisms have symbolic extensions, i.e. topological extensions which are subshifts over a finite alphabet. Following the strategy of T.Downarowicz and A.Maass \cite{Dow} we bound the local…
We show that all extended functorial field theories, both topological and nontopological, are local. We define the smooth (infinity,d)-category of bordisms with geometric data, such as Riemannian metrics or geometric string structures, and…
In the presence of spacetime boundaries, diffeomorphisms in gravitational theories can become physical and acquire non-vanishing Noether charges. These charges obey an algebra which, within the extended phase-space formalism, faithfully…
The gravitational charge algebra of generic asymptotically locally (A)dS spacetimes is derived in $n$ dimensions. The analysis is performed in the Starobinsky/Fefferman-Graham gauge, without assuming any further boundary condition than the…
In this paper we consider $C^1$ surface diffeomorphisms and study the existence of phase transitions, here expressed by the non-analiticity of the pressure function associated to smooth and geometric-type potentials. We prove that the space…
We provide a framework for the construction of diffeomorphism invariant sheaves of nonlinear generalized functions spaces. As an application, global algebras of generalized functions for distributions on manifolds and diffeomorphism…
Symmetry under a particular class of non-strictly canonical transformation may be used to identify, and subsequently excise degrees of freedom which do not contribute to the closure of the algebra of dynamical observables. Such redundant…
Diffeological and differential spaces are generalisations of smooth structures on manifolds. We show that the "intersection" of these two categories is isomorphic to Fr\"olicher spaces, another generalisation of smooth structures. We then…