Showing 1–9 of 9 results for author: Safronov, P

Batalin--Vilkovisky quantization and supersymmetric twists

Authors: Pavel Safronov, Brian R. Williams

Abstract: We show that a family of topological twists of a supersymmetric mechanics with a Kähler target exhibits a Batalin--Vilkovisky quantization. Using this observation we make a general proposal for the Hilbert space of states after a topological twist in terms of the cohomology of a certain perverse sheaf. We give several examples of the resulting Hilbert spaces including the categorified Donaldson--T… ▽ More We show that a family of topological twists of a supersymmetric mechanics with a Kähler target exhibits a Batalin--Vilkovisky quantization. Using this observation we make a general proposal for the Hilbert space of states after a topological twist in terms of the cohomology of a certain perverse sheaf. We give several examples of the resulting Hilbert spaces including the categorified Donaldson--Thomas invariants, Haydys--Witten theory and the 3-dimensional A-model. △ Less

Submitted 15 July, 2021; originally announced July 2021.

Classical BV formalism for group actions

Authors: Marco Benini, Pavel Safronov, Alexander Schenkel

Abstract: We study the derived critical locus of a function $f:[X/G]\to \mathbb{A}_{\mathbb{K}}^1$ on the quotient stack of a smooth affine scheme $X$ by the action of a smooth affine group scheme $G$. It is shown that $\mathrm{dCrit}(f) \simeq [Z/G]$ is a derived quotient stack for a derived affine scheme $Z$, whose dg-algebra of functions is described explicitly. Our results generalize the classical BV fo… ▽ More We study the derived critical locus of a function $f:[X/G]\to \mathbb{A}_{\mathbb{K}}^1$ on the quotient stack of a smooth affine scheme $X$ by the action of a smooth affine group scheme $G$. It is shown that $\mathrm{dCrit}(f) \simeq [Z/G]$ is a derived quotient stack for a derived affine scheme $Z$, whose dg-algebra of functions is described explicitly. Our results generalize the classical BV formalism in finite dimensions from Lie algebra to group actions. △ Less

Submitted 22 September, 2021; v1 submitted 30 April, 2021; originally announced April 2021.

Comments: v3: Final version accepted for publication in Communications in Contemporary Mathematics

MSC Class: 81Txx; 14A30; 18N40

Journal ref: Commun. Contemp. Math. 25(1), 2150094 (2023)

Shifted geometric quantization

Authors: Pavel Safronov

Abstract: We introduce geometric quantization in the setting of shifted symplectic structures. We define Lagrangian fibrations and prequantizations of shifted symplectic stacks and their geometric quantization. In addition, we study many examples including symplectic groupoids, Hamiltonian spaces and moduli spaces of flat connections. In the case of Hamiltonian spaces we prove a derived analog of the "quant… ▽ More We introduce geometric quantization in the setting of shifted symplectic structures. We define Lagrangian fibrations and prequantizations of shifted symplectic stacks and their geometric quantization. In addition, we study many examples including symplectic groupoids, Hamiltonian spaces and moduli spaces of flat connections. In the case of Hamiltonian spaces we prove a derived analog of the "quantization commutes with reduction" principle. △ Less

Submitted 11 November, 2020; originally announced November 2020.

Comments: 36 pages

A Taxonomy of Twists of Supersymmetric Yang--Mills Theory

Authors: Chris Elliott, Pavel Safronov, Brian R. Williams

Abstract: 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 a… ▽ More 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. △ Less

Submitted 24 February, 2020; originally announced February 2020.

Topological twists of supersymmetric algebras of observables

Authors: Chris Elliott, Pavel Safronov

Abstract: 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 d… ▽ More 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$. △ Less

Submitted 7 December, 2018; v1 submitted 28 May, 2018; originally announced May 2018.

Comments: 56 pages

Journal ref: Comm. Math. Phys. 371 (2019), pp. 727-786

Poisson reduction as a coisotropic intersection

Authors: Pavel Safronov

Abstract: We give a definition of coisotropic morphisms of shifted Poisson (i.e. $P_n$) algebras which is a derived version of the classical notion of coisotropic submanifolds. Using this we prove that an intersection of coisotropic morphisms of shifted Poisson algebras carries a Poisson structure of shift one less. Using an interpretation of Hamiltonian spaces as coisotropic morphisms we show that the clas… ▽ More We give a definition of coisotropic morphisms of shifted Poisson (i.e. $P_n$) algebras which is a derived version of the classical notion of coisotropic submanifolds. Using this we prove that an intersection of coisotropic morphisms of shifted Poisson algebras carries a Poisson structure of shift one less. Using an interpretation of Hamiltonian spaces as coisotropic morphisms we show that the classical BRST complex computing derived Poisson reduction coincides with the complex computing coisotropic intersection. Moreover, this picture admits a quantum version using brace algebras and their modules: the quantum BRST complex is quasi-isomorphic to the complex computing tensor product of brace modules. △ Less

Submitted 22 June, 2021; v1 submitted 27 September, 2015; originally announced September 2015.

Comments: 35 pages

Journal ref: Higher Structures 1 (2017), pp. 87-121

Symplectic implosion and the Grothendieck-Springer resolution

Authors: Pavel Safronov

Abstract: 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 maxim… ▽ More 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. △ Less

Submitted 28 April, 2016; v1 submitted 11 November, 2014; originally announced November 2014.

Comments: 24 pages

Journal ref: Transform. Groups 22 (2017) 767-792

Quasi-Hamiltonian reduction via classical Chern-Simons theory

Authors: Pavel Safronov

Abstract: 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 prequantizatio… ▽ More 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. △ Less

Submitted 17 August, 2015; v1 submitted 25 November, 2013; originally announced November 2013.

Comments: 33 pages

Journal ref: Adv. in Math. (2016), pp. 733-773

Virasoro constraints in Drinfeld-Sokolov hierarchies

Authors: Pavel Safronov

Abstract: 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 charac… ▽ More 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. △ Less

Submitted 17 August, 2015; v1 submitted 14 February, 2013; originally announced February 2013.

Comments: 28 pages

MSC Class: 14H70; 17B80

Journal ref: Selecta Math. (2016), pp. 27-54