arXiv subjects
Publications and source records attributed to Pavol Severa.
We reformulate the compatibility condition between a generalized metric and a small (non-maximal rank) Dirac structure in an exact Courant algebroid found in the context of the gauging of strings and formulated by means of two connections in purely Dirac-geometric terms. The resulting notion, a transverse generalized metric, is also what is needed for the dynamics on the reduced phase space of a string theory.
In this paper we study the symplectic and Poisson geometry of moduli spaces of flat connections over quilted surfaces. These are surfaces where the structure group varies from region to region in the surface, and where a reduction (or relation) of structure occurs along the boundaries of the regions. Our main theoretical tool is a new form moment-map reduction in the context of Dirac geometry. This reduction framework allows us to use very general relations of structure groups, and to investigate both the symplectic and Poisson geometry of the resulting moduli spaces from a unified perspective. The moduli spaces we construct in this way include a number of important examples, including Poisson Lie groups and their Homogeneous spaces, moduli spaces for meromorphic connections over Riemann surfaces (following the work of Philip Boalch), and various symplectic groupoids. Realizing these examples as moduli spaces for quilted surfaces provides new insights into their geometry.
We reformulate notions from the theory of quasi-Poisson g-manifolds in terms of graded Poisson geometry and graded Poisson-Lie groups and prove that quasi-Poisson g-manifolds integrate to quasi-Hamiltonian g-groupoids. We then interpret this result within the theory of Dirac morphisms and multiplicative Manin pairs, to connect our work with more traditional approaches, and also to put it into a wider context suggesting possible generalizations.
We show how the fundamental cocycles on current Lie algebras and the Lie algebra of symmetries for the sigma model are obtained via the current algebra functors. We present current group extensions integrating some of these current Lie algebra extensions.
In this paper, we describe an integration of exact Courant algebroids to symplectic 2-groupoids, and we show that the differentiation procedure from [26] inverts our integration.
This paper is about a small combinatorial trick, which is well known, but has no name. Let G be a permutation group acting on a vector space M. There is a natural way to assign a cosimplicial space to these data. We call the resulting cochain complex the cubical complex. Its cohomology is easy to compute. We give some examples of its occurrence in nature.
Let M be a manifold and g a Lie algebra acting on M. Differential forms Omega(M) carry a natural action of Lie derivatives L(x) and contractions I(x) of fundamental vector fields for x \in g. Contractions (anti-) commute with each other, [I(x), I(y)]=0. Together with the de Rham differential, they satisfy the Cartan's magic formula [d, I(x)]=L(x). In this paper, we define a differential graded Lie algebra Dg, where instead of commuting with each other, contractions form a free Lie superalgebra. It turns out that central extensions of Dg are classified (under certain assumptions) by invariant homogeneous polynomials p on g. This construction gives a natural framework for the theory of twisted equivariant cohomology and a new interpretation of Mickelsson-Faddeev-Shatashvili cocycles of higher dimensional current algebras. As a topological application, we consider principal G-bundles (with G a Lie group integrating g), and for every homogeneous polynomial p on g we define a lifting problem with the only obstruction the corresponding Chern-Weil class cw(p).
We prove an estimate on denominators of rational Drinfeld associators. To obtain this result, we prove the corresponding estimate for the p-adic associators stable under the action of suitable elements of Gal(\bar{Q}/Q). As an application, we settle in the positive Duflo's question on the Kashiwara--Vergne factorizations of the Jacobson element J_p(x,y)=(x+y)^p-x^p-y^p in the free Lie algebra over a field of characteristic p. Another application is a new estimate on denominators of the Kontsevich knot invariant.
We show that Kontsevich's formality of the little disk operad, obtained using graphs, is homotopic to Tamarkin's formality, for a special choice of a Drinfeld associator. The associator is given by parallel transport of the Alekseev-Torossian connection.
We extend Tamarkin's formality of the little disk operad to the framed little disk operad.
We study Hamiltonian spaces associated with pairs (E,A), where E is a Courant algebroid and A\subset E is a Dirac structure. These spaces are defined in terms of morphisms of Courant algebroids with suitable compatibility conditions. Several of their properties are discussed, including a reduction procedure. This set-up encompasses familiar moment map theories, such as group-valued moment maps, and it provides an intrinsic approach from which different geometrical descriptions of moment maps can be naturally derived. As an application, we discuss the relationship between quasi-Poisson and presymplectic groupoids.
The procedure "Lie group --> Lie algebra" has a generalization "simplicial manifold --> L_infinity algebra", or yet better, "presheaf on the category of surjective submersions --> L_infinity algebra". We describe this generalization, together with its higher-order extensions.
Symmetries of Poisson manifolds are in general quantized just to symmetries up to homotopy of the quantized algebra of functions. It is therefore interesting to study symmetries up to homotopy of Poisson manifolds. We notice that they are equivalent to Poisson principal bundles and describe their quantization to symmetries up to homotopy of the quantized algebras of functions.
We study differential forms and their higher-order generalizations by interpreting them as functions on map spaces. We get a series of approximations of "generalized manifolds" (i.e. of sheaves and stacks) somewhat akin to Taylor series.
Motivated by the problem of transverse deformation quantization of foliated manifolds, we describe a quantization of Dirac structures (more precisely, of those that are formal deformations of regular ones) to stacks of algebroids in the sense of Kontsevich.
Differential forms on an odd symplectic manifold form a bicomplex: one differential is the wedge product with the symplectic form and the other is de Rham differential. In the corresponding spectral sequence the next differential turns out to be the Batalin-Vilkoviski operator.
We study "higher-dimensional" generalizations of differential forms. Just as differential forms can be defined as the universal commutative differential algebra containing C^\infty(M), we can define differential gorms as the universal commutative bidifferential algebra. From a more conceptual point of view, differential forms are functions on the superspace of maps from the odd line to M and the action of Diff(the odd line) on forms is equivalent to deRham differential and to degrees of forms. Gorms are functions on the superspace of maps from the odd plane to M and we study the action of Diff(the odd plane) on gorms; it contains more than just degrees and differentials. By replacing 2 with arbitrary n, we get differential worms. We also study a generalization of homological algebra that uses Diff(the odd plane) or higher instead of Diff(the odd line), and a closely related question of forms (and gorms and worms) on some generalized spaces (contravariant functors and stacks) and of approximations of such "spaces" in terms of worms. Clearly, this is not a gormless paper.
There is a simple and natural quantization of differential forms on odd Poisson supermanifolds, given by the relation [f,dg]={f,g} for any two functions f and g. We notice that this non-commutative differential algebra has a geometrical realization as a convolution algebra of the symplectic groupoid integrating the Poisson manifold. This quantization is just a part of a quantization of the odd symplectic category (where objects are odd symplectic supermanifolds and morphisms are Lagrangian relation) in terms of Z_2-graded chain complexes. It is a straightforward consequence of the theory of BV operator acting on semidensities, due to H. Khudaverdian.