Related papers: Constraint Reduction in Algebra, Geometry and Defo…
Constraint satisfaction problems are computational problems that naturally appear in many areas of theoretical computer science. One of the central themes is their computational complexity, and in particular the border between…
An associative algebra is nothing but an odd quadratic codifferential on the tensor coalgebra of a vector space, and an A-infinity algebra is simply an arbitrary odd codifferential. Hochschild cohomology classifies the deformations of an…
The constraint algebra is derived in the second order tetrad Hamiltonian formalism of the bigravity. This is done by a straightforward calculation without involving any insights, implicit functions, and Dirac brackets. The tetrad approach…
Using Serre's adelic interpretation of cohomology, we develop a `differential and integral calculus' on an algebraic curve X over an algebraically closed filed k of constants of characteristic zero, define algebraic analogs of additive…
This note discusses recent new approaches to studying flopping curves on 3-folds. In a joint paper, the author and Michael Wemyss introduced a 3-fold invariant, the contraction algebra, which may be associated to such curves. It…
We develop a holonomy reduction procedure for general Cartan geometries. We show that, given a reduction of holonomy, the underlying manifold naturally decomposes into a disjoint union of initial submanifolds. Each such submanifold…
A general deformation theory of algebras which factorise into two subalgebras is studied. It is shown that the classification of deformations is related to the cohomology of a certain double complex reminiscent of the Gerstenhaber-Schack…
In a classical Hamiltonian theory with second class constraints the phase space functions on the constraint surface are observables. We give general formulas for extended observables, which are expressions representing the observables in…
General Relativity can be reformulated as a geometrodynamical theory, called Shape Dynamics, that is not based on spacetime (in particular refoliation) symmetry but on spatial diffeomorphism and local spatial conformal symmetry. This leads…
The deformations of an infinite dimensional algebra may be controlled not just by its own cohomology but by that of an associated diagram of algebras, since an infinite dimensional algebra may be absolutely rigid in the classical…
We study a Lie algebra of formal vector fields $W_n$ with its application to the perturbative deformed holomorphic symplectic structure in the A-model, and a Calabi-Yau manifold with boundaries in the B-model. We show that equivalent…
In the representation theory of reductive $p$-adic groups $G$, the issue of reducibility of induced representations is an issue of great intricacy. It is our contention, expressed as a conjecture in [3], that there exists a simple geometric…
This paper establishes a metric framework for Spencer complexes based on the geometric theory of compatible pairs $(D,\lambda)$ in principal bundle constraint systems, solving fundamental technical problems in computing Spencer cohomology…
Two cochain complexes are constructed for an algebra A and a coalgebra C entwined with each other via the map $\psi:C\otimes A\to A\otimes C$. One complex is associated to an A-bimodule, the other to a C-bicomodule. In the former case the…
This paper develops a mirror symmetry theory of Spencer cohomology within the geometric framework of constrained systems on principal bundles, revealing deep symmetric structures in constraint geometry. Based on compatible pairs…
The diffeomorphism symmetry of general relativity leads in the canonical formulation to constraints, which encode the dynamics of the theory. These constraints satisfy a complicated algebra, known as Dirac's hypersurface deformation…
We present necessary and sufficient conditions for a group homomorphism between spaces of smooth sections of Lie group bundles to be a weighted composition operator. These results provide new insights into a wide range of problems related…
In a classic paper, Gerstenhaber showed that first order deformations of an associative k-algebra A are controlled by the second Hochschild cohomology group of A. More generally, any n-parameter first order deformation of A gives, due to…
We prove that various spaces of constrained positive scalar curvature metrics on compact 3-manifolds with boundary, when not empty, are contractible. The constraints we mostly focus on are given in terms of local conditions on the mean…
It has become obvious that certain singular phenomena cannot be explained by a mere investigation of the configuration space, defined as the solution set of the loop closure equations. For example, it was observed that a particular 6R…