arXiv subjects
Publications and source records attributed to Josua Groeger.
We give an algebraic characterisation for the triviality of the canonical bundle of a complex supermanifold in terms of a certain Batalin-Vilkovisky superalgebra structure. As an application, we study the Calabi-Yau case, in which an explicit formula in terms of the Levi-Civita connection is achieved. Our methods include the use of complex integral forms and the recently developed theory of superholonomy.
There are two different notions of holonomy in supergeometry, the supergroup introduced by Galaev and our functorial approach motivated by super Wilson loops. Either theory comes with its own version of invariance of vectors and subspaces under holonomy. By our first main result, the Twofold Theorem, these definitions are equivalent. Our proof is based on the Comparison Theorem, our second main result, which characterises Galaev's holonomy algebra as an algebra of coefficients, building on previous results. As an application, we generalise some of Galaev's results to S-points, utilising the holonomy functor. We obtain, in particular, a de Rham-Wu decomposition theorem for semi-Riemannian S-supermanifolds.
The classical Wilson loop is the gauge-invariant trace of the parallel transport around a closed path with respect to a connection on a vector bundle over a smooth manifold. We build a precise mathematical model of the super Wilson loop, an extension introduced by Mason-Skinner and Caron-Huot, by endowing the objects occurring with auxiliary Graßmann generators coming from S-points. A key feature of our model is a supergeometric parallel transport, which allows for a natural notion of holonomy on a supermanifold as a Lie group valued functor. Our main results for that theory comprise an Ambrose-Singer theorem as well as a natural analogon of the holonomy principle. Finally, we compare our holonomy functor with the holonomy supergroup introduced by Galaev in the common situation of a topological point. It turns out that both theories are different, yet related in a sense made precise.
The transformation formula of the Berezin integral holds, in the non-compact case, only up to boundary integrals, which have recently been quantified by Alldridge-Hilgert-Palzer. We establish divergence theorems in semi-Riemannian supergeometry by means of the flow of vector fields and these boundary integrals, and show how superharmonic functions are related to conserved quantities. An integration over the supersphere was introduced by Coulembier-De Bie-Sommen as a generalisation of the Pizzetti integral. In this context, a mean value theorem for harmonic superfunctions was established. We formulate this integration along the lines of the general theory and give a superior proof of two mean value theorems based on our divergence theorem.
The harmonic action functional allows a natural generalisation to semi-Riemannian supergeometry, referred to as superharmonic action, which resembles the supersymmetric sigma models studied in high energy physics. We show that Killing vector fields are infinitesimal supersymmetries of the superharmonic action and prove three different Noether theorems in this context. En passant, we provide a homogeneous treatment of five characterisations of Killing vector fields on semi-Riemannian supermanifolds, thus filling a gap in the literature.
We study the compactness problem for moduli spaces of holomorphic supercurves which, being motivated by supergeometry, are perturbed such as to allow for transversality. We give an explicit construction of limiting objects for sequences of holomorphic supercurves and prove that, in important cases, every such sequence has a convergent subsequence provided that a suitable extension of the classical energy is uniformly bounded. This is a version of Gromov compactness. Finally, we introduce a topology on the moduli spaces enlarged by the limiting objects which makes these spaces compact and metrisable.
We study holomorphic supercurves, which are motivated by supergeometry as a natural generalisation of holomorphic curves. We prove that, upon perturbing the defining equations by making them depend on a connection, the corresponding linearised operator is generically surjective. By this transversality result, we show that the resulting moduli spaces are oriented finite dimensional smooth manifolds. Finally, we examine how they depend on the choice of generic data.
We introduce a natural generalisation of holomorphic curves to morphisms of supermanifolds, referred to as holomorphic supercurves. More precisely, supercurves are morphisms from a Riemann surface, endowed with the structure of a supermanifold which is induced by a holomorphic line bundle, to an ordinary almost complex manifold. They are called holomorphic if a generalised Cauchy-Riemann condition is satisfied. We show, by means of an action identity, that holomorphic supercurves are special extrema of a supersymmetric action functional.
We study the supersymmetric Wilson loop as introduced by Caron-Huot, which attaches to lightlike polygons certain edge and vertex operators, whose shape is determined by supersymmetry constraints. We state explicit formulas for the vertex operators to all orders in the Graßmann expansion, thus filling a gap in the literature. This is achieved by deriving a recursion formula out of the supersymmetry constraints.