Related papers: A note on complete gauge-fixing and the constraint…
We consider the first order connection formulation of 4D general relativity in the "orthogonal" gauge. We show how the partial gauge fixing of the phase space canonical coordinates leads to the appearance of second class constraints in the…
By regularizing the conical singularities by means of a segment of a sphere or pseudosphere and then taking the regulator to zero, we compute exactly the Faddeev--Popov determinant related to the conformal gauge fixing for a piece-wise flat…
The algebraic notion of a pivotal module category was developed by Schaumann and Shimizu and is central to the description of boundary conditions in conformal field theory according to a proposal by Fuchs and Schweigert. In this paper, we…
Gauge symmetries lead to first-class constraints. This assertion is of course true only for non trivial gauge symmetries, i.e., gauge symmetries that act non trivially on-shell on the dynamical variables. We illustrate this well-appreciated…
Let Y be a compact reduced subspace of a complex manifold X, and let F be a subsheaf of the tangent bundle T_X which is closed under the Lie bracket. This paper discusses criteria to guarantee that infinitesimal deformations of the…
We prove that an $\omega$-categorical core structure primitively positively interprets all finite structures with parameters if and only if some stabilizer of its polymorphism clone has a homomorphism to the clone of projections, and that…
Systems under holonomic constraints are classified within the generalized Hamiltonian framework as second-class constraints systems. We show that each system of point particles with holonomic constraints has a hidden gauge symmetry which…
We show that if $M$ is a full factor and $N \subset M$ is a co-amenable subfactor with expectation, then $N$ is also full. This answers a question of Popa from 1986. We also generalize a theorem of Tomatsu by showing that if $M$ is a full…
Starting with the correspondence between positive definite kernels on the one hand and reproducing kernel Hilbert spaces (RKHSs) on the other, we turn to a detailed analysis of associated measures and Gaussian processes. Point of departure:…
The \emph{flat deformation theorem} states that given a semi-Riemannian analytic metric $g$ on a manifold, locally there always exists a two-form $F$, a scalar function $c$, and an arbitrarily prescribed scalar constraint depending on the…
In The factorization of the Giry monad (arXiv:1707.00488v2) the author considers two $\sigma$-algebras on convex spaces of functions to the unit interval. One of them is generated by the Boolean subobjects and the other is the…
The aim of the present article is to describe the symmetry structure of a general gauge (singular) theory, and, in particular, to relate the structure of gauge transformations with the constraint structure of a theory in the Hamiltonian…
For any self-similar measure $\mu$ in $\mathbb{R}$, we show that the distribution of $\mu$ is controlled by products of non-negative matrices governed by a finite or countable graph depending only on the IFS. This generalizes the net…
If $\Gamma$ is the nullity space of the curvature tensor of a Riemannian manifold $M^n$, it is well known that if its dimension is constant and if $M^n$ is complete then the distribution $\Gamma$ is completely integrable with flat leaves.…
For a closed densely defined operator $T$ from a Hilbert space $\mathfrak{H}$ to a Hilbert space $\mathfrak{K}$, necessary and sufficient conditions are established for the factorization of $T$ with a bounded nonnegative operator $X$ on…
We give sufficient conditions, in terms of the existence of unbounded derivations satisfying certain properties, which ensure that a II$_1$ factor $M$ is prime or has at most one Cartan subalgebra. For instance, we prove that if there…
Let (M,g) be a compact Riemannian three-dimensional manifold with boundary. We prove the compactness of the set of scalar-flat metrics which are in the conformal class of g and have the boundary as a constant mean curvature hypersurface.…
Recently, Ciambelli, Leigh, and Pai (CLP) [arXiv:2111.13181] have shown that nonzero charges integrating Hamilton's equation can be defined for all diffeomorphisms acting near the boundary of a subregion in a gravitational theory. This is…
A class of graphs closed under taking induced subgraphs is $\chi$-bounded if there exists a function $f$ such that for all graphs $G$ in the class, $\chi(G) \leq f(\omega(G))$. We consider the following question initially studied in [A.…
The finite satisfiability problem of monadic second order logic is decidable only on classes of structures of bounded tree-width by the classic result of Seese (1991). We prove the following problem is decidable: Input: (i) A monadic second…