-
Lifting star-autonomous structures
Authors:
Luigi Santocanale,
Cédric de Lacroix,
Gregory Chichery
Abstract:
For a functor $Q$ from a category $C$ to the category $Pos$ of ordered sets and order-preserving functions, we study liftings of various kind of structures from the base category $C$ to the total(or Grothendieck) category $\int Q$. That lifting a monoidal structure corresponds to giving some lax natural transformation making $Q$ almost monoidal, might be part of folklore in category theory.We rel…
▽ More
For a functor $Q$ from a category $C$ to the category $Pos$ of ordered sets and order-preserving functions, we study liftings of various kind of structures from the base category $C$ to the total(or Grothendieck) category $\int Q$. That lifting a monoidal structure corresponds to giving some lax natural transformation making $Q$ almost monoidal, might be part of folklore in category theory.We rely on and generalize the tools supporting this correspondence so to provide exact conditions for lifting symmetric monoidal closed and star-autonomous structures.A corollary of these characterizations is that, if $Q$ factors as a monoidal functor through $SLatt$, the category of complete lattices and sup-preserving functions, then $\int Q$ is always symmetric monoidalclosed. In this case, we also provide a method, based on the double negation nucleus from quantale theory, to turn $\int Q$ into a star-autonomous category.The theory developed, originally motivated from the categories $P-Set$ of Schalk and de Paiva, yields a wide generalization of Hyland and Schalk construction of star-autonomous categories by means of orthogonality structures.
△ Less
Submitted 19 September, 2023;
originally announced September 2023.
-
Gravitational action for a massive Majorana fermion in 2d quantum gravity
Authors:
Corinne de Lacroix,
Harold Erbin,
Vincent Lahoche
Abstract:
We compute the gravitational action of a free massive Majorana fermion coupled to two-dimensional gravity on compact Riemann surfaces of arbitrary genus. The structure is similar to the case of the massive scalar. The small-mass expansion of the gravitational yields the Liouville action at zeroth order, and we can identify the Mabuchi action at first order. While the massive Majorana action is a c…
▽ More
We compute the gravitational action of a free massive Majorana fermion coupled to two-dimensional gravity on compact Riemann surfaces of arbitrary genus. The structure is similar to the case of the massive scalar. The small-mass expansion of the gravitational yields the Liouville action at zeroth order, and we can identify the Mabuchi action at first order. While the massive Majorana action is a conformal deformation of the massless Majorana CFT, we find an action different from the one given by the David-Distler-Kawai (DDK) ansatz.
△ Less
Submitted 17 January, 2024; v1 submitted 16 August, 2023;
originally announced August 2023.
-
Frobenius structures in star-autonomous categories
Authors:
Luigi Santocanale,
Cédric de Lacroix
Abstract:
It is known that the quantale of sup-preserving maps from a complete lattice to itself is a Frobenius quantale if and only if the lattice is completely distributive. Since completely distributive lattices are the nuclear objects in the autonomous category of complete lattices and sup-preserving maps, we study the above statement in a categorical setting. We introduce the notion of Frobenius struct…
▽ More
It is known that the quantale of sup-preserving maps from a complete lattice to itself is a Frobenius quantale if and only if the lattice is completely distributive. Since completely distributive lattices are the nuclear objects in the autonomous category of complete lattices and sup-preserving maps, we study the above statement in a categorical setting. We introduce the notion of Frobenius structure in an arbitrary autonomous category, generalizing that of Frobenius quantale. We prove that the monoid of endomorphisms of a nuclear object has a Frobenius structure. If the environment category is star-autonomous and has epi-mono factorizations, a variant of this theorem allows to develop an abstract phase semantics and to generalise the previous statement. Conversely, we argue that, in a star-autonomous category where the monoidal unit is a dualizing object, if the monoid of endomorphisms of an object has a Frobenius structure and the monoidal unit embeds into this object as a retract, then the object is nuclear.
△ Less
Submitted 28 July, 2022;
originally announced July 2022.
-
Unitless Frobenius quantales
Authors:
Cédric de Lacroix,
Luigi Santocanale
Abstract:
It is often stated that Frobenius quantales are necessarily unital. By taking negation as a primitive operation, we can define Frobenius quantales that may not have a unit. We develop the elementary theory of these structures and show, in particular, how to define nuclei whose quotients are Frobenius quantales. This yields a phase semantics and a representation theorem via phase quantales. Importa…
▽ More
It is often stated that Frobenius quantales are necessarily unital. By taking negation as a primitive operation, we can define Frobenius quantales that may not have a unit. We develop the elementary theory of these structures and show, in particular, how to define nuclei whose quotients are Frobenius quantales. This yields a phase semantics and a representation theorem via phase quantales. Important examples of these structures arise from Raney's notion of tight Galois connection: tight endomaps of a complete lattice always form a Girard quantale which is unital if and only if the lattice is completely distributive. We give a characterisation and an enumeration of tight endomaps of the diamond lattices Mn and exemplify the Frobenius structure on these maps. By means of phase semantics, we exhibit analogous examples built up from trace class operators on an infinite dimensional Hilbert space. Finally, we argue that units cannot be properly added to Frobenius quantales: every possible extention to a unital quantale fails to preserve negations.
△ Less
Submitted 3 August, 2022; v1 submitted 9 May, 2022;
originally announced May 2022.
-
Effective gravitational action for 2D massive fermions
Authors:
Adel Bilal,
Corinne de Lacroix,
Harold Erbin
Abstract:
We work out the effective gravitational action for 2D massive Euclidean fermions in a small mass expansion. Besides the leading Liouville action, the order $m^2$ gravitational action contains a piece characteristic of the Mabuchi action, much as for 2D massive scalars, but also several non-local terms involving the Green's functions and Green's functions at coinciding points on the manifold.
We work out the effective gravitational action for 2D massive Euclidean fermions in a small mass expansion. Besides the leading Liouville action, the order $m^2$ gravitational action contains a piece characteristic of the Mabuchi action, much as for 2D massive scalars, but also several non-local terms involving the Green's functions and Green's functions at coinciding points on the manifold.
△ Less
Submitted 8 September, 2021;
originally announced September 2021.
-
Analyticity and Crossing Symmetry of Superstring Loop Amplitudes
Authors:
Corinne de Lacroix,
Harold Erbin,
Ashoke Sen
Abstract:
Bros, Epstein and Glaser proved crossing symmetry of the S-matrix of a theory without massless fields by using certain analyticity properties of the off-shell momentum space Green's function in the complex momentum plane. The latter properties follow from representing the momentum space Green's function as Fourier transform of the position space Green's function, satisfying certain properties impl…
▽ More
Bros, Epstein and Glaser proved crossing symmetry of the S-matrix of a theory without massless fields by using certain analyticity properties of the off-shell momentum space Green's function in the complex momentum plane. The latter properties follow from representing the momentum space Green's function as Fourier transform of the position space Green's function, satisfying certain properties implied by the underlying local quantum field theory. We prove the same analyticity properties of the momentum space Green's functions in superstring field theory by directly working with the momentum space Feynman rules even though the corresponding properties of the position space Green's function are not known. Our result is valid to all orders in perturbation theory, but requires, as usual, explicitly subtracting / regulating the non-analyticities associated with massless particles. These results can also be used to prove other general analyticity properties of the S-matrix of superstring theory.
△ Less
Submitted 31 May, 2019; v1 submitted 16 October, 2018;
originally announced October 2018.
-
Minisuperspace computation of the Mabuchi spectrum
Authors:
Corinne de Lacroix,
Harold Erbin,
Eirik E. Svanes
Abstract:
It was shown recently that, beside the traditional Liouville action, other functionals appear in the gravitational action of two-dimensional quantum gravity in the conformal gauge, the most important one being the Mabuchi functional. In a letter we proposed a minisuperspace action for this theory and used it to perform its canonical quantization. We found that the Hamiltonian of the Mabuchi theory…
▽ More
It was shown recently that, beside the traditional Liouville action, other functionals appear in the gravitational action of two-dimensional quantum gravity in the conformal gauge, the most important one being the Mabuchi functional. In a letter we proposed a minisuperspace action for this theory and used it to perform its canonical quantization. We found that the Hamiltonian of the Mabuchi theory is equal to the one of the Liouville theory and thus that the spectrum and correlation functions match in this approximation. In this paper we provide motivations to support our conjecture.
△ Less
Submitted 6 August, 2018; v1 submitted 19 April, 2017;
originally announced April 2017.
-
2D gravitational Mabuchi action on Riemann surfaces with boundaries
Authors:
Adel Bilal,
Corinne de Lacroix
Abstract:
We study the gravitational action induced by coupling two-dimensional non-conformal, massive matter to gravity on a Riemann surface with boundaries. A small-mass expansion gives back the Liouville action in the massless limit, while the first-order mass correction allows us to identify what should be the appropriate generalization of the Mabuchi action on a Riemann surface with boundaries. We prov…
▽ More
We study the gravitational action induced by coupling two-dimensional non-conformal, massive matter to gravity on a Riemann surface with boundaries. A small-mass expansion gives back the Liouville action in the massless limit, while the first-order mass correction allows us to identify what should be the appropriate generalization of the Mabuchi action on a Riemann surface with boundaries. We provide a detailed study for the example of the cylinder. Contrary to the case of manifolds without boundary, we find that the gravitational Lagrangian explicitly depends on the space-point, via the geodesic distances to the boundaries, as well as on the modular parameter of the cylinder, through an elliptic theta-function.
△ Less
Submitted 26 October, 2017; v1 submitted 30 March, 2017;
originally announced March 2017.
-
Closed Superstring Field Theory and its Applications
Authors:
Corinne de Lacroix,
Harold Erbin,
Sitender Pratap Kashyap,
Ashoke Sen,
Mritunjay Verma
Abstract:
We review recent developments in the construction of heterotic and type II string field theories and their various applications. These include systematic procedures for determining the shifts in the vacuum expectation values of fields under quantum corrections, computing renormalized masses and S-matrix of the theory around the shifted vacuum and a proof of unitarity of the S-matrix. The S-matrix…
▽ More
We review recent developments in the construction of heterotic and type II string field theories and their various applications. These include systematic procedures for determining the shifts in the vacuum expectation values of fields under quantum corrections, computing renormalized masses and S-matrix of the theory around the shifted vacuum and a proof of unitarity of the S-matrix. The S-matrix computed this way is free from all divergences when there are more than 4 non-compact space-time dimensions, but suffers from the usual infrared divergences when the number of non-compact space-time dimensions is 4 or less.
△ Less
Submitted 15 August, 2017; v1 submitted 19 March, 2017;
originally announced March 2017.
-
A short note on dynamics and degrees of freedom in $2d$ classical gravity
Authors:
Corinne de Lacroix,
Harold Erbin
Abstract:
We comment on some peculiarities of matter with and without Weyl invariance coupled to classical $2d$ Einstein-Hilbert gravity for several models, in particular, related to the counting of degrees of freedom and on the dynamics. We find that theories where the matter action is Weyl invariant has generically more degrees of freedom than action without the invariance. This follows from the Weyl inva…
▽ More
We comment on some peculiarities of matter with and without Weyl invariance coupled to classical $2d$ Einstein-Hilbert gravity for several models, in particular, related to the counting of degrees of freedom and on the dynamics. We find that theories where the matter action is Weyl invariant has generically more degrees of freedom than action without the invariance. This follows from the Weyl invariance of the metric equations of motion independently of the invariance of the action. Then, we study another set of models with scalar fields and show that solutions to the equations of motion are either trivial or inconsistent. To our knowledge, these aspects of classical $2d$ gravity have not been put forward and can be interesting to be remembered when using it as a toy model for $4d$ gravity. The goal of this note is also as a pedagogical exercise: our results follow from standard methods, but we emphasize more direct computations.
△ Less
Submitted 4 February, 2020; v1 submitted 13 December, 2016;
originally announced December 2016.
-
Mabuchi spectrum from the minisuperspace
Authors:
Corinne de Lacroix,
Harold Erbin,
Eirik E. Svanes
Abstract:
It was recently shown that other functionals contribute to the effective action for the Liouville field when considering massive matter coupled to two-dimensional gravity in the conformal gauge. The most important of these new contributions corresponds to the Mabuchi functional. We propose a minisuperspace action that reproduces the main features of the Mabuchi action in order to describe the dyna…
▽ More
It was recently shown that other functionals contribute to the effective action for the Liouville field when considering massive matter coupled to two-dimensional gravity in the conformal gauge. The most important of these new contributions corresponds to the Mabuchi functional. We propose a minisuperspace action that reproduces the main features of the Mabuchi action in order to describe the dynamics of the zero-mode. We show that the associated Hamiltonian coincides with the (quantum mechanical) Liouville Hamiltonian. As a consequence the Liouville theory and our model of the Mabuchi theory both share the same spectrum, eigenfunctions and - in this approximation - correlation functions.
△ Less
Submitted 25 May, 2016; v1 submitted 19 November, 2015;
originally announced November 2015.
