-
Categorification of Lagrangian intersections on complex symplectic manifolds using perverse sheaves of vanishing cycles
Authors:
Vittoria Bussi
Abstract:
We study intersections of complex Lagrangian in complex symplectic manifolds, proving two main results.
First, we construct global canonical perverse sheaves on complex Lagrangian intersections in complex symplectic manifolds for any pair of {\it oriented} Lagrangian submanifolds in the complex analytic topology. Our method uses classical results in complex symplectic geometry and some results f…
▽ More
We study intersections of complex Lagrangian in complex symplectic manifolds, proving two main results.
First, we construct global canonical perverse sheaves on complex Lagrangian intersections in complex symplectic manifolds for any pair of {\it oriented} Lagrangian submanifolds in the complex analytic topology. Our method uses classical results in complex symplectic geometry and some results from arXiv:1304.4508. The algebraic version of our result has already been obtained by the author et al. in arXiv:1211.3259 using different methods, where we used, in particular, the recent new theory of algebraic d-critical loci introduced by Joyce in arXiv:1304.4508. This resolves a long-standing question in the categorification of Lagrangian intersection numbers and it may have important consequences in symplectic geometry and topological field theory.
Our second main result proves that (oriented) complex Lagrangian intersections in complex symplectic manifolds for any pair of Lagrangian submanifolds in the complex analytic topology carry the structure of (oriented) analytic d-critical loci in the sense of arXiv:1304.4508.
△ Less
Submitted 4 April, 2014;
originally announced April 2014.
-
Generalized Donaldson-Thomas theory over fields K $\neq$ C
Authors:
Vittoria Bussi
Abstract:
Generalized Donaldson-Thomas invariants defined by Joyce and Song arXiv:0810.5645 are rational numbers which `count' both $τ$-stable and $τ$-semistable coherent sheaves with Chern character $α$ on a Calabi-Yau 3-fold $X$, where $τ$ denotes Gieseker stability for some ample line bundle on $X$. These invariants are defined for all classes $α$, and are equal to the classical Donaldson-Thomas invarian…
▽ More
Generalized Donaldson-Thomas invariants defined by Joyce and Song arXiv:0810.5645 are rational numbers which `count' both $τ$-stable and $τ$-semistable coherent sheaves with Chern character $α$ on a Calabi-Yau 3-fold $X$, where $τ$ denotes Gieseker stability for some ample line bundle on $X$. These invariants are defined for all classes $α$, and are equal to the classical Donaldson-Thomas invariant defined by Thomas arXiv:math/9806111 when it is defined. They are unchanged under deformations of $X$, and transform by a wall-crossing formula under change of stability condition $τ$. Joyce and Song use gauge theory and transcendental complex analytic methods, so that their theory of generalized Donaldson-Thomas invariants is valid only in the complex case. This paper will propose a new algebraic method extending the theory to algebraically closed fields K of characteristic zero, and partly to triangulated categories and for non necessarily compact Calabi-Yau 3-folds under some hypothesis.
△ Less
Submitted 10 March, 2014;
originally announced March 2014.
-
A 'Darboux Theorem' for shifted symplectic structures on derived Artin stacks, with applications
Authors:
Oren Ben-Bassat,
Christopher Brav,
Vittoria Bussi,
Dominic Joyce
Abstract:
This is the fifth in a series arXiv:1304.4508, arXiv:1305,6302, arXiv:1211.3259, arXiv:1305.6428 on the '$k$-shifted symplectic derived algebraic geometry' of Pantev, Toen, Vaquie and Vezzosi, arXiv:1111.3209. This paper extends the previous three from (derived) schemes to (derived) Artin stacks. We prove four main results:
(a) If $(X,ω)$ is a $k$-shifted symplectic derived Artin stack for…
▽ More
This is the fifth in a series arXiv:1304.4508, arXiv:1305,6302, arXiv:1211.3259, arXiv:1305.6428 on the '$k$-shifted symplectic derived algebraic geometry' of Pantev, Toen, Vaquie and Vezzosi, arXiv:1111.3209. This paper extends the previous three from (derived) schemes to (derived) Artin stacks. We prove four main results:
(a) If $(X,ω)$ is a $k$-shifted symplectic derived Artin stack for $k<0$ in the sense of arXiv:1111.3209, then near each $x\in X$ we can find a 'minimal' smooth atlas $\varphi:U\to X$ with $U$ an affine derived scheme, such that $(U,\varphi^*(ω))$ may be written explicitly in coordinates in a standard 'Darboux form'.
(b) If $(X,ω)$ is a $-1$-shifted symplectic derived Artin stack and $X'$ the underlying classical Artin stack, then $X'$ extends naturally to a 'd-critical stack' $(X',s)$ in the sense of arXiv:1304.4508.
(c) If $(X,s)$ is an oriented d-critical stack, we can define a natural perverse sheaf $P^\bullet_{X,s}$ on $X$, such that whenever $T$ is a scheme and $t:T\to X$ is smooth of relative dimension $n$, then $T$ is locally modelled on a critical locus Crit$(f:U\to{\mathbb A}^1)$ for $U$ smooth, and $t^*(P^\bullet_{X,s})[n]$ is locally modelled on the perverse sheaf of vanishing cycles $PV_{U,f}^\bullet$ of $f$.
(d) If $(X,s)$ is a finite type oriented d-critical stack, we can define a natural motive $MF_{X,s}$ in a ring of motives $\bar{\mathcal M}^{st,\hatμ}_X$ on $X$, such that whenever $T$ is a finite type scheme and $t:T\to X$ is smooth of dimension $n$, then $T$ is locally modelled on a critical locus Crit$(f:U\to{\mathbb A}^1)$ for $U$ smooth, and ${\mathbb L}^{-n/2}\odot t^*(MF_{X,s})$ is locally modelled on the motivic vanishing cycle $MF^{mot,φ}_{U,f}$ of $f$ in $\bar{\mathcal M}^{st,\hatμ}_T$.
Our results have applications to categorified and motivic extensions of Donaldson-Thomas theory of Calabi-Yau 3-folds
△ Less
Submitted 11 October, 2022; v1 submitted 30 November, 2013;
originally announced December 2013.
-
Naive motivic Donaldson-Thomas type Hirzebruch classes and some problems
Authors:
Vittoria Bussi,
Shoji Yokura
Abstract:
Donaldson-Thomas invariant is expressed as the weighted Euler characteristic of the so-called Behrend (constructible) function. In \cite{Behrend} Behrend introduced a DT-type invariant for a morphism. Motivated by this invariant, we extend the motivic Hirzebruch class to naive Donaldson-Thomas type analogues. We also discuss a categorification of the DT-type invariant for a morphism from a bivaria…
▽ More
Donaldson-Thomas invariant is expressed as the weighted Euler characteristic of the so-called Behrend (constructible) function. In \cite{Behrend} Behrend introduced a DT-type invariant for a morphism. Motivated by this invariant, we extend the motivic Hirzebruch class to naive Donaldson-Thomas type analogues. We also discuss a categorification of the DT-type invariant for a morphism from a bivariant-theoretic viewpoint, and we finally pose some related questions for further investigations.
△ Less
Submitted 19 June, 2013;
originally announced June 2013.
-
On motivic vanishing cycles of critical loci
Authors:
Vittoria Bussi,
Dominic Joyce,
Sven Meinhardt
Abstract:
Let $U$ be a smooth scheme over an algebraically closed field $\mathbb K$ of characteristic zero and $f:U\to{\mathbb A}^1$ a regular function, and write $X=$Crit$(f)$, as a closed subscheme of $U$. The motivic vanishing cycle $MF_{U,f}^φ$ is an element of the $\hatμ$-equivariant motivic Grothendieck ring ${\mathcal M}^{\hatμ}_X$ defined by Denef and Loeser math.AG/0006050 and Looijenga math.AG/000…
▽ More
Let $U$ be a smooth scheme over an algebraically closed field $\mathbb K$ of characteristic zero and $f:U\to{\mathbb A}^1$ a regular function, and write $X=$Crit$(f)$, as a closed subscheme of $U$. The motivic vanishing cycle $MF_{U,f}^φ$ is an element of the $\hatμ$-equivariant motivic Grothendieck ring ${\mathcal M}^{\hatμ}_X$ defined by Denef and Loeser math.AG/0006050 and Looijenga math.AG/0006220, and used in Kontsevich and Soibelman's theory of motivic Donaldson-Thomas invariants, arXiv:0811.2435.
We prove three main results:
(a) $MF_{U,f}^φ$ depends only on the third-order thickenings $U^{(3)},f^{(3)}$ of $U,f$.
(b) If $V$ is another smooth scheme, $g:V\to{\mathbb A}^1$ is regular, $Y=$Crit$(g)$, and $Φ:U\to V$ is an embedding with $f=g\circΦ$ and $Φ\vert_X:X\to Y$ an isomorphism, then $Φ\vert_X^*(MF_{V,g}^φ)$ equals $MF_{U,f}^φ$ "twisted" by a motive associated to a principal ${\mathbb Z}_2$-bundle defined using $Φ$, where now we work in a quotient ring $\bar{\mathcal M}^{\hatμ}_X$ of ${\mathcal M}^{\hatμ}_X$.
(c) If $(X,s)$ is an "oriented algebraic d-critical locus" in the sense of Joyce arXiv:1304.4508, there is a natural motive $MF_{X,s} \in\bar{\mathcal M}^{\hatμ}_X$, such that if $(X,s)$ is locally modelled on Crit$(f:U\to{\mathbb A}^1)$, then $MF_{X,s}$ is locally modelled on $MF_{U,f}^φ$.
Using results from arXiv:1305.6302, these imply the existence of natural motives on moduli schemes of coherent sheaves on a Calabi-Yau 3-fold equipped with "orientation data", as required in Kontsevich and Soibelman's motivic Donaldson-Thomas theory arXiv:0811.2435, and on intersections of oriented Lagrangians in an algebraic symplectic manifold.
This paper is an analogue for motives of results on perverse sheaves of vanishing cycles proved in arXiv:1211.3259. We extend this paper to Artin stacks in arXiv:1312.0090.
△ Less
Submitted 25 November, 2018; v1 submitted 28 May, 2013;
originally announced May 2013.
-
A 'Darboux theorem' for derived schemes with shifted symplectic structure
Authors:
Christopher Brav,
Vittoria Bussi,
Dominic Joyce
Abstract:
We prove a 'Darboux theorem' for derived schemes with symplectic forms of degree $k<0$, in the sense of Pantev, Toen, Vaquie and Vezzosi arXiv:1111.3209. More precisely, we show that a derived scheme $X$ with symplectic form $ω$ of degree $k$ is locally equivalent to (Spec $A,ω'$) for Spec $A$ an affine derived scheme whose cdga $A$ has Darboux-like coordinates in which the symplectic form $ω'$ is…
▽ More
We prove a 'Darboux theorem' for derived schemes with symplectic forms of degree $k<0$, in the sense of Pantev, Toen, Vaquie and Vezzosi arXiv:1111.3209. More precisely, we show that a derived scheme $X$ with symplectic form $ω$ of degree $k$ is locally equivalent to (Spec $A,ω'$) for Spec $A$ an affine derived scheme whose cdga $A$ has Darboux-like coordinates in which the symplectic form $ω'$ is standard, and the differential in $A$ is given by Poisson bracket with a Hamiltonian function $H$ in $A$ of degree $k+1$.
When $k=-1$, this implies that a $-1$-shifted symplectic derived scheme $(X,ω)$ is Zariski locally equivalent to the derived critical locus Crit$(H)$ of a regular function $H:U\to{\mathbb A}^1$ on a smooth scheme $U$. We use this to show that the underlying classical scheme of $X$ has the structure of an 'algebraic d-critical locus', in the sense of Joyce arXiv:1304.4508.
In the sequels arXiv:1211.3259, arXiv:1305.6428, arXiv:1312.0090, arXiv:1504.00690, 1506.04024 we will discuss applications of these results to categorified and motivic Donaldson-Thomas theory of Calabi-Yau 3-folds, and to defining new Donaldson-Thomas type invariants of Calabi-Yau 4-folds, and to defining 'Fukaya categories' of Lagrangians in algebraic symplectic manifolds using perverse sheaves, and we will extend the results of this paper and arXiv:1211.3259, arXiv:1305.6428 from (derived) schemes to (derived) Artin stacks, and to give local descriptions of Lagrangians in $k$-shifted symplectic derived schemes.
Bouaziz and Grojnowski arXiv:1309.2197 independently prove a similar 'Darboux Theorem'.
△ Less
Submitted 29 August, 2018; v1 submitted 27 May, 2013;
originally announced May 2013.
-
Symmetries and stabilization for sheaves of vanishing cycles
Authors:
Christopher Brav,
Vittoria Bussi,
Delphine Dupont,
Dominic Joyce,
Balazs Szendroi
Abstract:
Let $U$ be a smooth $\mathbb C$-scheme, $f:U\to\mathbb A^1$ a regular function, and $X=$Crit$(f)$ the critical locus, as a $\mathbb C$-subscheme of $U$. Then one can define the "perverse sheaf of vanishing cycles" $PV_{U,f}$, a perverse sheaf on $X$.
This paper proves four main results:
(a) Suppose $Φ:U\to U$ is an isomorphism with $f\circΦ=f$ and $Φ\vert_X=$id$_X$. Then $Φ$ induces an isomorp…
▽ More
Let $U$ be a smooth $\mathbb C$-scheme, $f:U\to\mathbb A^1$ a regular function, and $X=$Crit$(f)$ the critical locus, as a $\mathbb C$-subscheme of $U$. Then one can define the "perverse sheaf of vanishing cycles" $PV_{U,f}$, a perverse sheaf on $X$.
This paper proves four main results:
(a) Suppose $Φ:U\to U$ is an isomorphism with $f\circΦ=f$ and $Φ\vert_X=$id$_X$. Then $Φ$ induces an isomorphism $Φ_*:PV_{U,f}\to PV_{U,f}$. We show that $Φ_*$ is multiplication by det$(dΦ\vert_X)=1$ or $-1$.
(b) $PV_{U,f}$ depends up to canonical isomorphism only on $X^{(3)},f^{(3)}$, for $X^{(3)}$ the third-order thickening of $X$ in $U$, and $f^{(3)}=f\vert_{X^{(3)}}:X^{(3)}\to\mathbb A^1$.
(c) If $U,V$ are smooth $\mathbb C$-schemes, $f:U\to\mathbb A^1$, $g:V\to\mathbb A^1$ are regular, $X=$Crit$(f)$, $Y=$Crit$(g)$, and $Φ:U\to V$ is an embedding with $f=g\circΦ$ and $Φ\vert_X:X\to Y$ an isomorphism, there is a natural isomorphism $Θ_Φ:PV_{U,f}\toΦ\vert_X^*(PV_{V,g})\otimes_{\mathbb Z_2}P_Φ$, for $P_Φ$ a natural principal $\mathbb Z_2$-bundle on $X$.
(d) If $(X,s)$ is an oriented d-critical locus in the sense of Joyce arXiv:1304.4508, there is a natural perverse sheaf $P_{X,s}$ on $X$, such that if $(X,s)$ is locally modelled on Crit$(f:U\to\mathbb A^1)$ then $P_{X,s}$ is locally modelled on $PV_{U,f}$.
We also generalize our results to replace $U,X$ by complex analytic spaces, and $PV_{U,f}$ by $\mathcal D$-modules, or mixed Hodge modules. We discuss applications of (d) to categorifying Donaldson-Thomas invariants of Calabi-Yau 3-folds, and to defining a 'Fukaya category' of Lagrangians in a complex symplectic manifold using perverse sheaves.
This is the third in a series of papers arXiv:1304.4508, arXiv:1305.6302, arXiv:1305.6428, arXiv:1312.0090, arXiv:1403.2403, arXiv:1404.1329, arXiv:1504.00690.
△ Less
Submitted 4 June, 2015; v1 submitted 14 November, 2012;
originally announced November 2012.
