Symmetries and stabilization for sheaves of vanishing cycles (with an appendix by Jörg Schürmann)

DOI10.5427/JSING.2015.11EMaRDI QIDQ2942136zbMATH OpenOpenAlexFDO

Authors Christopher Brav, Vittoria Bussi, Delphine Dupont, Balázs Szendrői, Dominic Joyce

Publication date 26 August 2015

Published in Journal of Singularitiesl (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1211.3259

categorification Donaldson-Thomas invariants Fukaya category mixed Hodge modules perverse sheaves of vanishing cycles stabilization symmetries

Mathematics Subject Classification ID

Calabi-Yau manifolds (algebro-geometric aspects) (14J32) Gromov-Witten invariants, quantum cohomology, Gopakumar-Vafa invariants, Donaldson-Thomas invariants (algebro-geometric aspects) (14N35) Deformations of complex singularities; vanishing cycles (32S30) Mixed Hodge theory of singular varieties (complex-analytic aspects) (32S35) Microlocal methods and methods of sheaf theory and homological algebra applied to PDEs (35A27)

Abstract: Let

U

be a smooth

m a t h b b C

-scheme,

f : U o m a t h b b A^{1}

a regular function, and

X =

Crit

(f)

the critical locus, as a

m a t h b b C

-subscheme of

U

. Then one can define the "perverse sheaf of vanishing cycles"

P V_{U, f}

, a perverse sheaf on

X

. This paper proves four main results: (a) Suppose

P h i : U o U

is an isomorphism with

f c i r c P h i = f

and

P h i v e r t_{X} =

id

_{X}

. Then

P h i

induces an isomorphism

P h i_{*} : P V_{U, f} o P V_{U, f}

. We show that

P h i_{*}

is multiplication by det

(d P h i v e r t_{X}) = 1

or

- 1

. (b)

P V_{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 v e r t_{X^{(3)}} : X^{(3)} o m a t h b b A^{1}

. (c) If

U, V

are smooth

m a t h b b C

-schemes,

f : U o m a t h b b A^{1}

,

g : V o m a t h b b A^{1}

are regular,

X =

Crit

(f)

,

Y =

Crit

(g)

, and

P h i : U o V

is an embedding with

f = g c i r c P h i

and

P h i v e r t_{X} : X o Y

an isomorphism, there is a natural isomorphism

T h e t a_{P} h i : P V_{U, f} o P h i v e r t_{X}^{*} (P V_{V, g}) o t i m e s_{m a t h b b Z_{2}} P_{P} h i

, for

P_{P} h i

a natural principal

m a t h b b 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 o m a t h b b A^{1})

then

P_{X, s}

is locally modelled on

P V_{U, f}

. We also generalize our results to replace

U, X

by complex analytic spaces, and

P V_{U, f}

by

m a t h c a l 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.

Recommendations

Cites work

Cited in

(46)

This page was built for publication: Symmetries and stabilization for sheaves of vanishing cycles (with an appendix by Jörg Schürmann)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2942136)