Related papers: Curvature without connection
In this paper, we apply the machinery developed in arXiv:2401.06641(2) to study the behavior of computable categoricity relativized to non-c.e. degrees. In particular, we show that we can build a computable structure which is not computably…
The main goal of this thesis is to develop the integration theory of curved homotopy Lie algebras. In the first chapter, we develop the operadic calculus needed: we encode non-necessarily conilpotent coalgebras with operads and introduce…
A full Lie point symmetry analysis of rational difference equations is performed. Non-trivial symmetries are derived and exact solutions using these symmetries are obtained.
We compare and contrast two approaches to the structure theory for Lie pseudo-groups, the first due to Cartan, and the second due to the first two authors. We argue that the latter approach offers certain advantages from both a theoretical…
The outlines of a "Galois theory" for bimeromorphic geometry is here developed, via the study of model-theoretic definable binding groups in the theory CCM of compact complex spaces. As an application, a structure theorem about principal…
Consider a vector bundle with connection on a p-adic analytic curve in the sense of Berkovich. We collect some improvements and refinements of recent results on the structure of such connections, and on the convergence of local horizontal…
For both f(R) theories of gravity with an independent symmetric connection (no torsion), usually referred to as Palatini f(R) gravity theories, and for f(R) theories of gravity with torsion but no non-metricity, called U4 theories, it has…
We show that one can construct two equivalent gauge theories from a linking theory and give a general construction principle for linking theories which we use to construct a linking theory that proves the equivalence of General Relativity…
We review the twistorial structures by providing a setting under which the corresponding (differential) geometry can be described, by involving the $\rho$-connections. This applies, for example, to give new proofs of the existence of the…
The construction of gauge theories beyond the realm of Lie groups and algebras leads one to consider Lie groupoids and algebroids equipped with additional geometrical structures which, for gauge invariance of the construction, need to…
I discuss a new approach to constructing lattices for gauge theories with extended supersymmetry. The lattice theories themselves respect certain supersymmetries, which in many cases allows the target theory to be obtained in the continuum…
General relativity can be recast as a theory of connections by performing a canonical transformation on its phase space. In this form, its (kinematical) structure is closely related to that of Yang-Mills theory and topological field…
In this paper we present the theorem on Lie integrability by quadratures for time-independent Hamiltonian systems on symplectic and contact manifolds, and for time-dependent Hamiltonian systems on cosymplectic and cocontact manifolds. We…
Families of objects appear in several contexts, like algebraic topology, theory of deformations, theoretical physics, etc. An unified coordinate-free algebraic framework for families of geometrical quantities is presented here, which allows…
The twist construction is a method to build new interesting examples of geometric structures with torus symmetry from well-known ones. In fact it can be used to construct arbitrary nilmanifolds from tori. In our previous paper, we presented…
We develop the structure theory of full isometry groups of locally compact non-positively curved metric spaces. Amongst the discussed themes are de Rham decompositions, normal subgroup structure and characterising properties of symmetric…
The apparent impossibility of extending non-relativistic quantum mechanics to a relativistic quantum theory is shown to be due to the insufficient structural richness of the field of complex numbers over which quantum mechanics is built. A…
Work in progress is described which aims to construct a background independent formulation of M theory by extending results about background independent states and observables from quantum general relativity and supergravity to string…
We define and investigate a geometric object, called an associative geometry, corresponding to an associative algebra (and, more generally, to an associative pair). Associative geometries combine aspects of Lie groups and of generalized…
We define and investigate a geometric object, called an associative geometry, corresponding to an associative algebra (and, more generally, to an associative pair). Associative geometries combine aspects of Lie groups and of generalized…