arXiv 1509.080812015-09math.AGmath-phmath.MPmath.SG

Poisson reduction as a coisotropic intersection

Pavel Safronov

备注：: 35 pages
发表信息：: Higher Structures 1 (2017), pp. 87-121

英文摘要：

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.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Coisotropic deformations of algebraic varieties and integrable systems

Coisotropic deformations of algebraic varieties are defined as those for which an ideal of the deformed variety is a Poisson ideal. It is shown that coisotropic deformations of sets of intersection points of plane quadrics, cubics and space algebraic curves are governed, in particular, by the dKP, WDVV, dVN, d2DTL equations and other integrable hydrodynamical type systems. Particular attention is paid to the study of two- and three-dimensional deformations of elliptic curves. Problem of an appropriate choice of Poisson structure is discussed.

2009-06-18math-phmath.AGmath.MP

Deformations of vector bundles on coisotropic subvarieties via the Atiyah class

Using the Atiyah class we give a criterion for a vector bundle on a coisotropic subvariety, $Y$, of an algebraic Poisson variety $X$ to admit a first and second order noncommutative deformation. We also show noncommutative deformations of a vector bundle are governed by a curved dg Lie algebra which reduces to the classical relative Hochschild complex when the Poisson structure on $X$ is trivial.

2010-10-18math.AGmath.SG

Shifted Coisotropic Correspondences

We define (iterated) coisotropic correspondences between derived Poisson stacks, and construct symmetric monoidal higher categories of derived Poisson stacks where the $i$-morphisms are given by $i$-fold coisotropic correspondences. Assuming an expected equivalence of different models of higher Morita categories, we prove that all derived Poisson stacks are fully dualizable, and so determine framed extended TQFTs by the Cobordism Hypothesis. Along the way we also prove that the higher Morita category of $E_{n}$-algebras with respect to coproducts is equivalent to the higher category of iterate…

2020-10-31math.AGmath.ATmath.CT

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…

2018-04-03math.AGmath.SG

Gerstenhaber-Batalin-Vilkoviski structures on coisotropic intersections

Let Y,Z be a pair of smooth coisotropic subvarieties in a smooth algebraic Poisson variety X. We show that any data of first order deformation of the structure sheaf O_X to a sheaf of noncommutative algebras and of the sheaves O_Y and O_Z to sheaves of right and left modules over the deformed algebra, respectively, gives rise to a Batalin-Vilkoviski algebra structure on the Tor-sheaf Tor^{O_X}_*(O_Y, O_Z). The induced Gerstenhaber bracket on the Tor-sheaf turns out to be canonically defined; it is independent of the choices of deformations involved. There are similar results for Ext-sheaves as…

2009-10-28math.AGmath.SG

On coisotropic deformations of holomorphic submanifolds

We describe the differential graded Lie algebras governing Poisson deformations of a holomorphic Poisson manifold and coisotropic embedded deformations of a coisotropic holomorphic submanifold. In both cases, under some mild additional assumption, we show that the infinitesimal first order deformations induced by the anchor map are unobstructed. Applications include the analog of Kodaira stability theorem for coisotropic deformation and a generalization of McLean-Voisin's theorem about the local moduli space of lagrangian submanifold. Finally it is shown that our construction is homotopy equiv…

2013-05-03math.AGmath.QAmath.SG

更多相关论文收起更多论文

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$.

2018-04-03math.AGmath.SG

示性论的协异减少方案

Scheme-theoretic coisotropic reduction

本文提出基于方案理论的协异减少方法，通过辛群体和稳定子群体实现哈密顿结构的继承与推广。

2026-01-16math.AGmath.SG

泊松 $C^\infty$-概形

Poisson $C^\infty$-schemes

本文引入泊松 $C^\infty$-环与泊松局部 $C^\infty$-环化空间，证明其谱为仿射泊松 $C^\infty$-概形，并应用于奇异辛/泊松约化、奇异拟泊松约化、余迷向约化及泊松-狄拉克子概形。

2026-09-30math-phmath.AGmath.MP

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.

2018-05-14math.AGmath.SG

Poisson Lie algebroid与generalized complex geometry上的shifted symplectic structure

Shifted symplectic structure on Poisson Lie algebroid and generalized complex geometry

本文在同伦意义下将广义复流形重新表述为全纯symplectic formal stack，发展shifted symplectic机制证明coisotropic intersection继承shifted Poisson structure，并研究了广义复brane。

2024-07-24math.AGmath.SG

The derived moduli stack of logarithmic flat connections

We give an explicit finite-dimensional model for the derived moduli stack of flat connections on $\mathbb{C}^k$ with logarithmic singularities along a weighted homogeneous Saito free divisor. We investigate in detail the case of plane curves of the form $x^p = y^q$ and relate the moduli spaces to the Grothendieck-Springer resolution. We also discuss the shifted Poisson geometry of these moduli spaces. Namely, we conjecture that the map restricting a logarithmic connection to the complement of the divisor admits a shifted coisotropic structure and we construct a shifted Poisson structure on the…

2023-01-03math.AGmath.DGmath.RT

(-1)-平移导出泊松流形的量子化

Quantization of (-1)-Shifted Derived Poisson Manifolds

本文研究了(-1)-平移导出泊松流形的量子化问题，将其等价于微分分次李代数短正合列中Maurer-Cartan元素的提升，并给出了若干可量子化的充分条件与典范量子化构造。

2023-06-26math.AGmath.DGmath.QA

Vanishing cycles on Poisson varieties

We extend slightly the results of Evens-Mirković, and "compute" the characteristic cycles of Intersection Cohomology sheaves on the transversal slices in the double affine Grassmannian and on the hypertoric varieties. We propose a conjecture relating the hyperbolic stalks and the microlocalization at a torus-fixed point in a Poisson variety.

2015-06-12math.AG