Related papers: General 2-Dimensional Adjunctions, Universal Monad…
This paper is a sequel to "Logical systems I: Lambda calculi through discreteness". It provides a general 2-categorical setting for extensional calculi and shows how intensional and extensional calculi can be related in logical systems. We…
The Null Surface Formulation of General Relativity is developed for 2+1 dimensional gravity. The geometrical meaning of the metricity condition is analyzed and two approaches to the derivation of the field equations are presented. One…
Recently, many studies are focused on generalized global symmetry, a mixture of both invertible and non-invertible symmetries in various space-time dimensions. The complete structure of generalized global symmetry is described by higher…
The recent developments in string theory suggest that the space-time coordinates should be generalized to non-commuting matrices. Postulating this suggestion as the fundamental geometrical principle, we formulate a candidate for covariant…
This paper describes the notion of \sigma -symmetry, which extends the one of \lambda-symmetry, and its application to reduction procedures of systems of ordinary differential equations and of dynamical systems as well. We also consider…
The reduction by symmetry of the linear system of the self-dual Yang-Mills equations in four-dimensions under representatives of the conjugacy classes of subgroups of the connected part to the identity of the corresponding Euclidean group…
By referring to theorems of Donaldson and Hitchin, we exhibit a rigorous AdS/CFT-type correspondence between classical 2+1 dimensional vacuum general relativity theory on S x R and SO(3) Hitchin theory (regarded as a classical conformal…
We analyze the general class of supersymmetry preserving orbifolds of strong/weak Type IIA/heterotic dual pairs in six dimensions and below. A unified treatment is given by considering compactification to two spacetime dimensions and…
Consistent reductions of higher-dimensional (matter-coupled) gravity theories on spheres have been constructed and classified in an important paper by Cveti\v{c}, L\"u and Pope. We close a gap in the classification and study the case when…
In this paper we explain the relationship between Frobenius objects in monoidal categories and adjunctions in 2-categories. In particular, we show that every Frobenius object in a monoidal category M arises from an ambijunction…
The free (4,0) superconformal theory in 6 dimensions and its toroidal dimensional reductions are studied. The reduction to four dimensions on a 2-torus has an $SL(2,\Z)$ duality symmetry that acts non-trivially on the linearised gravity…
The interaction of matter with gravity in two dimensional spacetimes can be supplemented with a geometrical force analogous to a Lorentz force produced on a surface by a constant perpendicular magnetic field. In the special case of constant…
The purpose of this paper is to generalize the self-duality equation by Tchrakian and Corrigan et. al.. Novel generalized self-duality equations on higher-dimensional spaces are discussed. This class of equations includes the usual…
We consider a free Maxwell field in four dimensions in the presence of a codimension two defect. Reflection positive, codimension two defects which preserve conformal symmetry in this context are very limited. We show only generalized free…
We introduce a category-theoreticabstraction of a syntax with auxiliary functions, called an admissiblemonad morphism. Relying on an abstract form of structural recursion,we then design generic tools to construct admissible monad…
A master equation expressing the classical integrability of two-dimensional non-linear sigma models is found. The geometrical properties of this equation are outlined. In particular, a closer connection between integrability and T-duality…
We study the static black hole solutions of generalized two-dimensional dilaton-gravity theories generated by pointlike mass sources, in the hypothesis that the matter is conformally coupled. We also discuss the motion of test particles.…
The introduced notion of locally-periodic two-scale convergence allows to average a wider range of microstructures, compared to the periodic one. The compactness theorem for the locally-periodic two-scale convergence and the…
We prove a novel unique continuation result for weak bisolutions to the massive Klein-Gordon equation on a 2-dimensional cylinder M. Namely, if such a bisolution vanishes in a neighbourhood of a `sufficiently large' portion of a…
We determine the existential completion of a primary doctrine, and we prove that the 2-monad obtained from it is lax-idempotent, and that the 2-category of existential doctrines is isomorphic to the 2-category of algebras for this 2-monad.…