arXiv subjects

Pavel Safronov

Publications and source records attributed to Pavel Safronov.

31 records · Page 2Linked to original sources

arXiv2020

A Taxonomy of Twists of Supersymmetric Yang--Mills Theory

We give a complete classification of twists of supersymmetric Yang--Mills theories in dimensions $2\leq n \leq 10$. We formulate supersymmetric Yang--Mills theory classically using the BV formalism, and then we construct an action of the supersymmetry algebra using the language of $L_\infty$ algebras. For each orbit in the space of square-zero supercharges in the supersymmetry algebra, under the action of the spin group and the group of R-symmetries, we give a description of the corresponding twisted theory. These twists can be described in terms of mixed holomorphic-topological versions of Chern--Simons and BF theory.

math-ph↗

arXiv2018

Topological twists of supersymmetric algebras of observables

We explain how to perform topological twisting of supersymmetric field theories in the language of factorization algebras. Namely, given a supersymmetric factorization algebra with a choice of a topological supercharge we construct an algebra over the operad of little disks. We also explain the role of the twisting homomorphism allowing us to construct an algebra over the operad of framed little disks. Finally, we give a complete classification of topological supercharges and twisting homomorphisms in dimensions $1$ through $10$.

math-ph↗

arXiv2018

Poisson-Lie structures as shifted Poisson structures

Classical limits of quantum groups give rise to multiplicative Poisson structures such as Poisson-Lie and quasi-Poisson structures. We relate them to the notion of a shifted Poisson structure which gives a conceptual framework for understanding classical (dynamical) $r$-matrices, quasi-Poisson groupoids and so on. We also propose a notion of a symplectic realization of shifted Poisson structures and show that Manin pairs and Manin triples give examples of such.

math.AG↗

arXiv2018

Braces and Poisson additivity

We relate the brace construction introduced by Calaque and Willwacher to an additivity functor. That is, we construct a functor from brace algebras associated to an operad $O$ to associative algebras in the category of homotopy $O$-algebras. As an example, we identify the category of $P_{n+1}$-algebras with the category of associative algebras in $P_n$-algebras. We also show that under this identification there is an equivalence of two definitions of derived coisotropic structures in the literature.

math.AG↗

arXiv2018

Derived coisotropic structures I: affine case

We define and study coisotropic structures on morphisms of commutative dg algebras in the context of shifted Poisson geometry, i.e. $P_n$-algebras. Roughly speaking, a coisotropic morphism is given by a $P_{n+1}$-algebra acting on a $P_n$-algebra. One of our main results is an identification of the space of such coisotropic structures with the space of Maurer--Cartan elements in a certain dg Lie algebra of relative polyvector fields. To achieve this goal, we construct a cofibrant replacement of the operad controlling coisotropic morphisms by analogy with the Swiss-cheese operad which can be of independent interest. Finally, we show that morphisms of shifted Poisson algebras are identified with coisotropic structures on their graph.

math.AG↗

arXiv2018

Derived coisotropic structures II: stacks and quantization

We extend results about $n$-shifted coisotropic structures from part I of this work to the setting of derived Artin stacks. We show that an intersection of coisotropic morphisms carries a Poisson structure of shift one less. We also compare non-degenerate shifted coisotropic structures and shifted Lagrangian structures and show that there is a natural equivalence between the two spaces in agreement with the classical result. Finally, we define quantizations of $n$-shifted coisotropic structures and show that they exist for $n>1$.

math.AG↗

arXiv2017

Lectures on shifted Poisson geometry

These are expanded notes from lectures given at the États de la Recherche workshop on "Derived algebraic geometry and interactions". These notes serve as an introduction to the emerging theory of Poisson structures on derived stacks.

math.AG↗

arXiv2017

A Lagrangian Neighbourhood Theorem for shifted symplectic derived schemes

Pantev, Toen, Vaquié and Vezzosi arXiv:1111.3209 defined $k$-shifted symplectic derived schemes and stacks ${\bf X}$ for $k\in\mathbb Z$, and Lagrangians ${\bf f}:{\bf L}\to{\bf X}$ in them. They have important applications to Calabi-Yau geometry and quantization. Bussi, Brav and Joyce arXiv:1305.6302 proved a 'Darboux Theorem' giving explicit Zariski or étale local models for $k$-shifted symplectic derived schemes ${\bf X}$ for $k<0$ presenting them as twisted shifted cotangent bundles. We prove a 'Lagrangian Neighbourhood Theorem' giving explicit Zariski or etale local models for Lagrangians ${\bf f}:{\bf L}\to{\bf X}$ in $k$-shifted symplectic derived schemes ${\bf X}$ for $k<0$, relative to the Bussi-Brav-Joyce 'Darboux form' local models for ${\bf X}$. That is, locally such Lagrangians can be presented as twisted shifted conormal bundles. We also give a partial result when $k=0$. We expect our results will have future applications to $k$-shifted Poisson geometry (see arXiv:1506.03699), to defining 'Fukaya categories' of complex or algebraic symplectic manifolds, and to categorifying Donaldson-Thomas theory of Calabi-Yau 3-folds and 'Cohomological Hall algebras'.

math.AG↗

arXiv2016

Shifted symplectic Lie algebroids

Shifted symplectic Lie and $L_\infty$ algebroids model formal neighbourhoods of manifolds in shifted symplectic stacks, and serve as target spaces for twisted variants of classical AKSZ topological field theory. In this paper, we classify zero-, one- and two-shifted symplectic algebroids and their higher gauge symmetries, in terms of classical geometric "higher structures", such as Courant algebroids twisted by $Ω^2$-gerbes. As applications, we produce new examples of twisted Courant algebroids from codimension-two cycles, and we give symplectic interpretations for several well known features of higher structures (such as twists, Pontryagin classes, and tensor products). The proofs are valid in the $C^\infty$, holomorphic and algebraic settings, and are based on a number of technical results on the homotopy theory of $L_\infty$ algebroids and their differential forms, which may be of independent interest.

math.DG↗

arXiv2016

Symplectic implosion and the Grothendieck-Springer resolution

We prove that the Grothendieck-Springer simultaneous resolution viewed as a correspondence between the adjoint quotient of a Lie algebra and its maximal torus is Lagrangian in the sense of shifted symplectic structures. As Hamiltonian spaces can be interpreted as Lagrangians in the adjoint quotient, this allows one to reduce a Hamiltonian $G$-space to a Hamiltonian $H$-space where $H$ is the maximal torus of $G$. We show that this procedure coincides with an algebraic version of symplectic implosion of Guillemin, Jeffrey and Sjamaar. We explain how to obtain generalizations of this picture to quasi-Hamiltonian spaces and their elliptic version.

math.AG↗

arXiv2015

Virasoro constraints in Drinfeld-Sokolov hierarchies

We describe a geometric theory of Virasoro constraints in generalized Drinfeld-Sokolov hierarchies. Solutions of Drinfeld-Sokolov hierarchies are succinctly described by giving a principal bundle on a complex curve together with the data of a Higgs field near infinity. String solutions for these hierarchies are defined as points having a big stabilizer under a certain Lie algebra action. We characterize principal bundles coming from string solutions as those possessing connections compatible with the Higgs field near infinity. We show that tau-functions of string solutions satisfy second-order differential equations generalizing the Virasoro constraints of 2d quantum gravity.

math.AG↗

arXiv2015

Quasi-Hamiltonian reduction via classical Chern-Simons theory

This paper puts the theory of quasi-Hamiltonian reduction in the framework of shifted symplectic structures developed by Pantev, Toën, Vaquié and Vezzosi. We compute the symplectic structures on mapping stacks and show how the AKSZ topological field theory defined by Calaque allows one to neatly package the constructions used in quasi-Hamiltonian reduction. Finally, we explain how a prequantization of character stacks can be obtained purely locally.

math.AG↗

arXiv2015

Gerbal central extensions of reductive groups by $K_3$

We classify central extensions of a reductive group $G$ by $\mathcal{K}_3$ and $B\mathcal{K}_3$, the sheaf of third Quillen $K$-theory groups and its classifying stack. These turn out to be parametrized by the group of Weyl-invariant quadratic forms on the cocharacter lattice valued in $k^\times$ and the group of integral Weyl-invariant cubic forms on the cocharacter lattice respectively.

math.AG↗