Motivic realizations of singularity categories and vanishing cycles
[Réalisations motiviques des catégories de singularités et cycles évanescents]
Journal de l’École polytechnique — Mathématiques, Tome 5 (2018), pp. 651-747.

Dans cet article, on démontre un théorème de comparaison entre la théorie des cycles évanescents à la SGA7 et la catégorie des singularités d’un modèle de Landau-Ginzburg définie sur un anneau de valuation discrète, complet. Dans une première partie, nous étendons au cadre infini-catégorique le théorème de comparaison d’Orlov entre catégories de singularités et catégories de factorisations matricielles. Dans une seconde partie nous démontrons l’énoncé de comparaison, à l’aide d’une notion de réalisations motiviques de catégories.

In this article we establish a precise comparison between vanishing cycles and the singularity category of Landau–Ginzburg models over an excellent Henselian discrete valuation ring. By using noncommutative motives, we first construct a motivic -adic realization functor for dg-categories. Our main result, then asserts that, given a Landau–Ginzburg model over a complete discrete valuation ring with potential induced by a uniformizer, the -adic realization of its singularity category is given by the inertia-invariant part of vanishing cohomology. We also prove a functorial and -categorical lax symmetric monoidal version of Orlov’s comparison theorem between the derived category of singularities and the derived category of matrix factorizations for a Landau–Ginzburg model over a Noetherian regular local ring.

Reçu le :
Accepté le :
Publié le :
DOI : 10.5802/jep.81
Classification : 14F42, 19E08, 32S30, 16S38
Keywords: Landau-Ginzburg model, dg-categories of singularities, matrix factorisations, vanishing cycles, nearby cycles, motives, noncommutative motives, motivic homotopy theory Morel-Voevodsky, motivic realisations, $\ell $-adic sheaves, algebraic K-theory
Mot clés : Modèles de Landau-Ginzburg, dg-catégories de singularités, factorisations matricielles, cycles évanescents, cycles proches, motifs, motifs non-commutatifs, théorie homotopique motivique des schémas, réalisations motiviques, faisceaux $\ell $-adiques, K-théorie algébrique
Blanc, Anthony 1 ; Robalo, Marco 2 ; Toën, Bertrand 3 ; Vezzosi, Gabriele 4

1 Scuola Internazionale Superiore di Studi Avanzati Via Bonomea 265, 34136 Trieste, Italia
2 Sorbonne Université, Faculté des sciences et ingénierie Pierre et Marie Curie, Institut de Mathématiques de Jussieu-PRG 4 place Jussieu, Case 247, 75252 Paris Cedex 05, France
3 CNRS, Université de Toulouse, Institut de Mathématiques de Toulouse (UMR 5219) 118 route de Narbonne, 31062 Toulouse Cedex 9, France
4 Dipartimento di Matematica ed Informatica “Ulisse Dini”, Università degli Studi di Firenze Viale Morgagni 67/a, 50134 Firenze, Italy
@article{JEP_2018__5__651_0,
     author = {Blanc, Anthony and Robalo, Marco and To\"en, Bertrand and Vezzosi, Gabriele},
     title = {Motivic realizations of singularity~categories and vanishing~cycles},
     journal = {Journal de l{\textquoteright}\'Ecole polytechnique {\textemdash} Math\'ematiques},
     pages = {651--747},
     publisher = {Ecole polytechnique},
     volume = {5},
     year = {2018},
     doi = {10.5802/jep.81},
     mrnumber = {3877165},
     zbl = {06988591},
     language = {en},
     url = {http://archive.numdam.org/articles/10.5802/jep.81/}
}
TY  - JOUR
AU  - Blanc, Anthony
AU  - Robalo, Marco
AU  - Toën, Bertrand
AU  - Vezzosi, Gabriele
TI  - Motivic realizations of singularity categories and vanishing cycles
JO  - Journal de l’École polytechnique — Mathématiques
PY  - 2018
SP  - 651
EP  - 747
VL  - 5
PB  - Ecole polytechnique
UR  - http://archive.numdam.org/articles/10.5802/jep.81/
DO  - 10.5802/jep.81
LA  - en
ID  - JEP_2018__5__651_0
ER  - 
%0 Journal Article
%A Blanc, Anthony
%A Robalo, Marco
%A Toën, Bertrand
%A Vezzosi, Gabriele
%T Motivic realizations of singularity categories and vanishing cycles
%J Journal de l’École polytechnique — Mathématiques
%D 2018
%P 651-747
%V 5
%I Ecole polytechnique
%U http://archive.numdam.org/articles/10.5802/jep.81/
%R 10.5802/jep.81
%G en
%F JEP_2018__5__651_0
Blanc, Anthony; Robalo, Marco; Toën, Bertrand; Vezzosi, Gabriele. Motivic realizations of singularity categories and vanishing cycles. Journal de l’École polytechnique — Mathématiques, Tome 5 (2018), pp. 651-747. doi : 10.5802/jep.81. http://archive.numdam.org/articles/10.5802/jep.81/

[AG15] Arinkin, D.; Gaitsgory, D. Singular support of coherent sheaves and the geometric Langlands conjecture, Selecta Math. (N.S.), Volume 21 (2015) no. 1, pp. 1-199 | DOI | MR | Zbl

[AHW18] Asok, A.; Hoyois, M.; Wendt, M. Affine representability results in 𝔸 1 -homotopy theory: II: Principal bundles and homogeneous spaces, Geom. Topol., Volume 22 (2018) no. 2, pp. 1181-1225 | DOI | MR | Zbl

[Ayo07a] Ayoub, J. Les six opérations de Grothendieck et le formalisme des cycles évanescents dans le monde motivique. I, Astérisque, 314, Société Mathématique de France, Paris, 2007 | Zbl

[Ayo07b] Ayoub, J. Les six opérations de Grothendieck et le formalisme des cycles évanescents dans le monde motivique. II, Astérisque, 315, Société Mathématique de France, Paris, 2007 | MR | Zbl

[Ayo10] Ayoub, J. Note sur les opérations de Grothendieck et la réalisation de Betti, J. Inst. Math. Jussieu, Volume 9 (2010) no. 2, pp. 225-263 | DOI | Zbl

[Ayo14] Ayoub, J. La réalisation étale et les opérations de Grothendieck, Ann. Sci. École Norm. Sup. (4), Volume 47 (2014) no. 1, pp. 1-145 | DOI | Zbl

[Bar15] Barwick, C. On exact infinity-categories and the Theorem of the Heart, Compositio Math., Volume 151 (2015), pp. 2160-2186 (arXiv:1212.5232) | DOI | MR | Zbl

[BBD82] Beilinson, A. A.; Bernstein, J.; Deligne, P. Faisceaux pervers, Analyse et topologie sur les espaces singuliers, I (Luminy, 1981) (Astérisque), Volume 100, Société Mathématique de France, Paris, 1982, pp. 5-171 | MR | Zbl

[BH17] Bachmann, T.; Hoyois, M. Norms in motivic homotopy theory (2017) (arXiv:1711.03061)

[Bla13] Blanc, A. Invariants topologiques des espaces non commutatifs, Université Montpellier 2 (2013) (PhD thesis arXiv:1307.6430)

[Bla15] Blanc, A. Topological K-theory of complex noncommutative spaces, Compositio Math. (2015), pp. 1-67 | MR

[Blo85] Bloch, S. Cycles on arithmetic schemes and Euler characteristics of curves, Algebraic geometry (Bowdoin, 1985) (Proc. Symp. Pure Math.), Volume 46, part II, American Mathematical Society, Providence, 1985, pp. 421-450 | MR

[BvdB03] Bondal, A.; van den Bergh, M. Generators and representability of functors in commutative and noncommutative geometry, Moscow Math. J., Volume 3 (2003) no. 1, p. 1-36, 258 | DOI | MR | Zbl

[BW12] Burke, J.; Walker, M. E. Matrix factorizations over projective schemes, Homology Homotopy Appl., Volume 14 (2012) no. 2, pp. 37-61 | DOI | MR | Zbl

[BZFN10] Ben-Zvi, D.; Francis, J.; Nadler, D. Integral transforms and Drinfeld centers in derived algebraic geometry, J. Amer. Math. Soc., Volume 23 (2010) no. 4, pp. 909-966 | DOI | MR | Zbl

[CD12] Cisinski, D.-C.; Déglise, F. Triangulated categories of mixed motives (2012) (arXiv:0912.2110)

[CD16] Cisinski, D.-C.; Déglise, F. Etale motives, Compositio Math., Volume 152 (2016), pp. 556-666 | DOI | Zbl

[Cis13] Cisinski, D.-C. Descente par éclatements en K-théorie invariante par homotopie, Ann. of Math. (2), Volume 177 (2013), pp. 425-448 | DOI | Zbl

[Coh13] Cohn, L. Differential graded categories are k-linear stable infinity categories (2013) (arXiv:1308.2587)

[CT11] Cisinski, D.-C.; Tabuada, G. Non-connective K-theory via universal invariants, Compositio Math., Volume 147 (2011) no. 4, pp. 1281-1320 | DOI | MR | Zbl

[CT12] Cisinski, D.-C.; Tabuada, G. Symmetric monoidal structure on non-commutative motives, J. K-Theory, Volume 9 (2012) no. 2, pp. 201-268 | DOI | MR | Zbl

[CT13] Căldăraru, A.; Tu, J. Curved A algebras and Landau-Ginzburg models, New York J. Math., Volume 19 (2013), pp. 305-342 | MR | Zbl

[Del77] Deligne, P. Cohomologie étale, Lect. Notes in Math., 569, Springer-Verlag, Berlin-New York, 1977 (Séminaire de Géométrie Algébrique du Bois-Marie SGA 4 1/2 , Avec la collaboration de J. F. Boutot, A. Grothendieck, L. Illusie et J. L. Verdier)

[Dri04] Drinfeld, V. DG quotients of DG categories, J. Algebra, Volume 272 (2004), pp. 643-691 | DOI | MR | Zbl

[Dyc11] Dyckerhoff, T. Compact generators in categories of matrix factorizations, Duke Math. J., Volume 159 (2011) no. 2, pp. 223-274 | DOI | MR | Zbl

[Efi18] Efimov, A. I. Cyclic homology of categories of matrix factorizations, Internat. Math. Res. Notices (2018) no. 12, pp. 3834-3869 (arXiv:1212.2859) | DOI | MR

[Eke90] Ekedahl, T. On the adic formalism, The Grothendieck Festschrift, Vol. II (Progress in Math.), Volume 87, Birkhäuser Boston, Boston, MA, 1990, pp. 197-218 | MR | Zbl

[EP15] Efimov, A. I.; Positselski, L. Coherent analogues of matrix factorizations and relative singularity categories, Algebra Number Theory, Volume 9 (2015) no. 5, pp. 1159-1292 | DOI | MR | Zbl

[Fuj02] Fujiwara, K. A proof of the absolute purity conjecture (after Gabber), Algebraic geometry 2000, Azumino (Hotaka) (Adv. Stud. Pure Math.), Volume 36, Math. Soc. Japan, Tokyo, 2002, pp. 153-183 | MR | Zbl

[GR17] Gaitsgory, D.; Rozenblyum, N. A study in derived algebraic geometry. Vol. I. Correspondences and duality, Mathematical Surveys and Monographs, 221, American Mathematical Society, Providence, RI, 2017 | MR | Zbl

[Gro65] Grothendieck, A. Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. II, Publ. Math. Inst. Hautes Études Sci., Volume 24 (1965), pp. 5-231 | Zbl

[GS09] Gepner, D.; Snaith, V. On the motivic spectra representing algebraic cobordism and algebraic K-theory, Documents Math., Volume 14 (2009), pp. 359-396 | MR | Zbl

[HLP14] Halpern-Leistner, D.; Preygel, A. Mapping stacks and categorical notions of properness (2014) (arXiv:1402.3204)

[Hov99] Hovey, M. Model categories, Mathematical Surveys and Monographs, 63, American Mathematical Society, Providence, RI, 1999 | MR | Zbl

[Ill94] Illusie, L. Autour du théorème de monodromie locale, Périodes p-adiques (Bures-sur-Yvette, 1988), Volume 223, Société Mathématique de France, Paris, 1994, pp. 9-57

[ILO14] Illusie, L.; Laszlo, Y.; Orgogozo, F. Introduction, Travaux de Gabber sur l’uniformisation locale et la cohomologie étale des schémas quasi-excellents (Astérisque), Volume 363-364, Société Mathématique de France, Paris, 2014, p. xiii-xix | Zbl

[IS13] Ivorra, F.; Sebag, J. Nearby motives and motivic nearby cycles, Selecta Math. (N.S.), Volume 19 (2013) no. 4, pp. 879-902 | DOI | MR | Zbl

[Kap91] Kapranov, M. On DG-modules over the de Rham complex and the vanishing cycles functor, Algebraic geometry (Chicago, 1989) (Lect. Notes in Math.), Volume 1479, Springer, Berlin, 1991, pp. 57-86 | DOI | MR | Zbl

[Kas83] Kashiwara, M. Vanishing cycle sheaves and holonomic systems of differential equations, Algebraic geometry (Tokyo/Kyoto, 1982) (Lect. Notes in Math.), Volume 1016, Springer, Berlin, 1983, pp. 134-142 | DOI | MR | Zbl

[Kha16a] Khan, A. A. Brave new motivic homotopy theory I (2016) (arXiv:1610.06871)

[Kha16b] Khan, A. A. Motivic homotopy theory in derived algebraic geometry, Universität Duisburg-Essen (2016) (PhD Thesis available at http://www.preschema.com/thesis/)

[Kha18] Khan, A. A. Virtual Cartier divisors and blow-ups (2018) (arXiv:1802.05702)

[Kra08] Krause, H. Localization theory for triangulated categories (2008) (arXiv:0806.1324)

[KS05] Kato, K.; Sato, T. On the conductor formula of Bloch, Publ. Math. Inst. Hautes Études Sci., Volume 100 (2005), pp. 5-151 | DOI

[KS11] Kontsevich, M.; Soibelman, Y. Cohomological Hall algebra, exponential Hodge structures and motivic Donaldson-Thomas invariants, Commun. Number Theory Phys., Volume 5 (2011) no. 2, pp. 231-352 | MR | Zbl

[LG14] Lurie, J.; Gaitsgory, D. Weil’s conjecture for function fields (2014) (tamagawa.pdf)

[LP11] Lin, K. H.; Pomerleano, D. Global matrix factorizations (2011) (arXiv:1101.5847)

[LS16] Lunts, V. A.; Schnürer, O. Motivic vanishing cycles as a motivic measure, Pure Appl. Math. Q, Volume 12 (2016) no. 1, pp. 33-74 | MR | Zbl

[Lur09] Lurie, J. Higher topos theory, Annals of Mathematics Studies, 170, Princeton University Press, Princeton, NJ, 2009 | MR | Zbl

[Lur11a] Lurie, J. Derived algebraic geometry VIII: Quasi-coherent sheaves and Tannaka duality theorems (2011) (DAG-VIII.pdf)

[Lur11b] Lurie, J. Derived algebraic geometry XIII: Rational and p-adic homotopy theory (2011) (DAG-XIII.pdf)

[Lur17] Lurie, J. Higher algebra (2017) (higheralgebra.pdf)

[Lur18] Lurie, J. Spectral algebraic geometry (2018) (SAG-rootfile.pdf)

[LZ12a] Liu, Y.; Zheng, W. Enhanced six operations and base change theorem for sheaves on Artin stacks (2012) (arXiv:1211.5948)

[LZ12b] Liu, Y.; Zheng, W. Gluing restricted nerves of infinity-categories (2012) (arXiv:1211.5294)

[MV99] Morel, F.; Voevodsky, V. A 1 -homotopy theory of schemes, Publ. Math. Inst. Hautes Études Sci. (1999) no. 90, p. 45-143 (2001) | DOI | MR

[NS17] Nikolaus, T.; Scholze, P. On topological cyclic homology (2017) (arXiv:1707.01799)

[NSØ15] Naumann, N.; Spitzweck, M.; Østvær, P. A. Existence and uniqueness of E structures on motivic K-theory spectra, J. Homotopy Relat. Struct., Volume 10 (2015) no. 3, pp. 333-346 | DOI | MR | Zbl

[Orl04] Orlov, D. Triangulated categories of singularities and D-branes in Landau-Ginzburg models, Algebr. Geom. Metody, Svyazi i Prilozh. (Trudy Mat. Inst. Steklov.), Volume 246, 2004, pp. 240-262 | Zbl

[Orl12] Orlov, D. Matrix factorizations for nonaffine LG-models, Math. Ann., Volume 353 (2012) no. 1, pp. 95-108 | MR | Zbl

[Pre11] Preygel, A. Thom-Sebastiani and duality for matrix factorizations (2011) (arXiv:1101.5834)

[Qui73] Quillen, D. Higher algebraic K-theory. I, Algebraic K-theory, I: Higher K-theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972) (Lect. Notes in Math.), Volume 341, Springer, Berlin, 1973, pp. 85-147 | MR | Zbl

[Rio10] Riou, J. Algebraic K-theory, A 1 -homotopy and Riemann-Roch theorems, J. Topology, Volume 3 (2010) no. 2, pp. 229-264 | DOI | MR | Zbl

[Rob14] Robalo, M. Motivic homotopy theory of non-commutative spaces, Université Montpellier 2 (2014) (PhD thesis http://webusers.imj-prg.fr/~marco.robalo/these.pdf)

[Rob15] Robalo, M. K-theory and the bridge from motives to noncommutative motives, Adv. Math., Volume 269 (2015), pp. 399-550 | DOI | MR | Zbl

[RZ82] Rapoport, M.; Zink, T. Über die lokale Zetafunktion von Shimuravarietäten. Monodromiefiltration und verschwindende Zyklen in ungleicher Charakteristik, Invent. Math., Volume 68 (1982) no. 1, pp. 21-101 | Zbl

[Sab10] Sabbah, C. On a twisted de Rham complex, II (2010) (arXiv:1012.3818)

[Seg13] Segal, E. The closed state space of affine Landau-Ginzburg B-models, J. Noncommut. Geom., Volume 7 (2013) no. 3, pp. 857-883 | DOI | MR | Zbl

[Ser62] Serre, J.-P. Corps locaux, Publications de l’Institut de Mathématique de l’Université de Nancago, VIII, Actualités Sci. Indust., 1296, Hermann, Paris, 1962, 243 pages | Zbl

[Ser65] Serre, J.-P. Algèbre locale. Multiplicités, Lect. Notes in Math., 11, Springer-Verlag, Berlin-New York, 1965

[SGA6] Théorie des intersections et théorème de Riemann-Roch, Séminaire de Géométrie Algébrique du Bois-Marie 1966–1967 (SGA 6), Lect. Notes in Math., 225, Springer-Verlag, Berlin-New York (1971, dirigé par P. Berthelot, A. Grothendieck et L. Illusie. Avec la collaboration de D. Ferrand, J.-P. Jouanolou, O. Jussila, S. Kleiman, M. Raynaud et J.-P. Serre)

[SGA7 I] Groupes de monodromie en géométrie algébrique. I, Séminaire de Géométrie Algébrique du Bois-Marie 1967–1969 (SGA 7 I), Lect. Notes in Math., 288, Springer-Verlag, Berlin (1972, dirigé par A. Grothendieck. Avec la collaboration de M. Raynaud et D. S. Rim)

[SGA7 II] Groupes de monodromie en géométrie algébrique. II, Séminaire de Géométrie Algébrique du Bois-Marie 1967–1969 (SGA 7 II), Lect. Notes in Math., 340, Springer-Verlag, Berlin-New York (1973, dirigé par P. Deligne et N. Katz) | Zbl

[Shk14] Shklyarov, D. Non-commutative Hodge structures: towards matching categorical and geometric examples, Trans. Amer. Math. Soc., Volume 366 (2014) no. 6, pp. 2923-2974 | DOI | MR | Zbl

[SS14] Sabbah, C.; Saito, M. Kontsevich’s conjecture on an algebraic formula for vanishing cycles of local systems, Algebraic Geom., Volume 1 (2014) no. 1, pp. 107-130 | MR | Zbl

[Tab05] Tabuada, G. Une structure de catégorie de modèles de Quillen sur la catégorie des dg-catégories, Comptes Rendus Mathématique, Volume 340 (2005) no. 1, pp. 15-19 | DOI | Zbl

[Tab08] Tabuada, G. Higher K-theory via universal invariants, Duke Math. J., Volume 145 (2008) no. 1, pp. 121-206 | DOI | MR | Zbl

[Toë07] Toën, B. The homotopy theory of dg-categories and derived Morita theory, Invent. Math., Volume 167 (2007) no. 3, pp. 615-667 | DOI | MR | Zbl

[Toë11] Toën, B. Lectures on dg-categories, Topics in algebraic and topological K-theory (Lect. Notes in Math.), Volume 2008, Springer, Berlin, 2011, pp. 243-302 | MR | Zbl

[Toë12a] Toën, B. Derived Azumaya algebras and generators for twisted derived categories, Invent. Math., Volume 189 (2012) no. 3, pp. 581-652 | MR | Zbl

[Toë12b] Toën, B. Proper local complete intersection morphisms preserve perfect complexes (2012) (arXiv:1210.2827)

[Toë14] Toën, B. Derived algebraic geometry, EMS Surv. Math. Sci., Volume 1 (2014) no. 2, pp. 153-240 | DOI | MR | Zbl

[TT90] Thomason, R. W.; Trobaugh, T. Higher algebraic K-theory of schemes and of derived categories, The Grothendieck Festschrift, Vol. III (Progress in Math.), Volume 88, Birkhäuser Boston, Boston, MA, 1990, pp. 247-435 | DOI | MR | Zbl

[TV07] Toën, B.; Vaquié, M. Moduli of objects in dg-categories, Ann. Sci. École Norm. Sup. (4), Volume 40 (2007) no. 3, pp. 387-444 | DOI | Numdam | MR | Zbl

[TV16] Toën, B.; Vezzosi, G. The -adic trace formula for dg-categories and Bloch’s conductor conjecture (2016) (Research announcement, arXiv:1605.08941)

[TV17] Toën, B.; Vezzosi, G. A non-commutative trace formula and Bloch’s conductor conjecture, in preparation, 2017 | Zbl

[Voe96] Voevodsky, V. Homology of schemes, Selecta Math. (N.S.), Volume 2 (1996) no. 1, pp. 111-153 | DOI | MR | Zbl

[Wei89] Weibel, C. A. Homotopy algebraic K-theory, Algebraic K-theory and algebraic number theory (Honolulu, HI, 1987) (Contemp. Math.), Volume 83, American Mathematical Society, Providence, RI, 1989, pp. 461-488 | DOI | MR | Zbl

Cité par Sources :