Hostname: page-component-745bb68f8f-grxwn Total loading time: 0 Render date: 2025-01-13T21:23:00.740Z Has data issue: false hasContentIssue false
  • English
  • Français

The Log Product Formula in Quantum K-theory

Part of: Projective and enumerative geometry Cycles and subschemes

Published online by Cambridge University Press:  11 April 2023

YOU–CHENG CHOU ,
LEO HERR  and
YUAN–PIN LEE
YOU–CHENG CHOU
Affiliation:
Institute of Mathematics, Academia Sinica, Taipei 10617, Taiwan and Department of Mathematics, University of Utah, Salt Lake City, Utah 84112-0090, U.S.A. e-mails: chou@math.utah.edu, herr@math.utah.edu, yplee@math.utah.edu
LEO HERR
Affiliation:
Institute of Mathematics, Academia Sinica, Taipei 10617, Taiwan and Department of Mathematics, University of Utah, Salt Lake City, Utah 84112-0090, U.S.A. e-mails: chou@math.utah.edu, herr@math.utah.edu, yplee@math.utah.edu
YUAN–PIN LEE
Affiliation:
Institute of Mathematics, Academia Sinica, Taipei 10617, Taiwan and Department of Mathematics, University of Utah, Salt Lake City, Utah 84112-0090, U.S.A. e-mails: chou@math.utah.edu, herr@math.utah.edu, yplee@math.utah.edu
Get access Rights & Permissions [Opens in a new window]

Abstract

We prove a formula expressing the K-theoretic log Gromov-Witten invariants of a product of log smooth varieties $V \times W$ in terms of the invariants of V and W. The proof requires introducing log virtual fundamental classes in K-theory and verifying their various functorial properties. We introduce a log version of K-theory and prove the formula there as well.

MSC classification

Primary: 14N35: Gromov-Witten invariants, quantum cohomology, Gopakumar-Vafa invariants, Donaldson-Thomas invariants
Secondary: 14C35: Applications of methods of algebraic $K$-theory
Type
Research Article
Information
Mathematical Proceedings of the Cambridge Philosophical Society , Volume 175 , Issue 2 , September 2023 , pp. 225 - 252
Copyright
© The Author(s), 2023. Published by Cambridge University Press on behalf of Cambridge Philosophical Society

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Abramovich, D., Chen, Q., Marcus, S., Ulirsch, M. and Wise, J.. Skeletons and fans of logarithmic structures. ArXiv e-prints, page arXiv:1503.04343, March 2015.Google Scholar
Abramovich, D., Chen, Q., Wise, J. and Marcus, S.. Boundedness of the space of stable logarithmic maps. J. Eur. Math. Soc. 19 (2017), 2783–2809.CrossRefGoogle Scholar
Abramovich, D. and Vistoli, A.. Compactifying the space of stable maps. J. Amer. Math. Soc., 15(1) (2002), 27–75.CrossRefGoogle Scholar
Abramovich, D. and Wise, J.. Birational invariance in logarithmic Gromov–Witten theory. Compositio Math., 154(3) (2018), 595–620.CrossRefGoogle Scholar
Barrott, L. J.. Logarithmic Chow theory. ArXiv e-prints, October 2018.Google Scholar
Behrend, K.. The product formula for Gromov–Witten invariants. J. Algebraic Geom. 8(3) (1999), 529–541.Google Scholar
Behrend, K. and Fantechi, B.. The intrinsic normal cone. In eprint, arXiv:alg-geom/ 9601010, January 1996.Google Scholar
Boutot, J–F.. Singularites rationnelles et quotients par les groupes reductifs. Invent. Math., 88 (1987), 65–68.CrossRefGoogle Scholar
Cox, D. A., Little, J. B. and Schenck, H. K.. Toric Varieties. Graduate Stud. in Math. (American Math. Soc., 2011).Google Scholar
Conrad, B.. Keel–Mori theorem via stacks. January 2005. https://math.stanford.edu/ conrad/papers/coarsespace.pdf.Google Scholar
Costello, K.. Higher genus Gromov–Witten invariants as genus zero invariants of symmetric products. Ann. of Math. 164(2) (2006), 561–601.CrossRefGoogle Scholar
Chatzistamatiou, A. and , K. R.. Vanishing of the higher direct images of the structure sheaf. Compositio Math., 151(11) (2015), 2131–2144.CrossRefGoogle Scholar
Fulton, W. and Lang, S.. Riemann–Roch algebra. Grundlehren Math. Wiss. 277. (Springer-Verlag, New York, 1985).Google Scholar
Fulton, W.. Intersection Theory. Ergeb. Math. Grenzgeb. (3) vol. 2. (Springer–Verlag, Berlin, second edition, 1998).CrossRefGoogle Scholar
Gross, M. and Siebert, B.. Logarithmic Gromov–Witten invariants. ArXiv e-prints, February 2011.Google Scholar
Herr, L.. Do connected algebraic stacks have a smooth cover by a connected scheme? MathOverflow. https://mathoverflow.net/q/377014 (version: 2020-11-20).Google Scholar
Herr, L.. Does cohomology and base change hold if supported at a point? MathOverflow. https://mathoverflow.net/q/371296 (version: 2020-09-09).Google Scholar
Herr, L.. G theory localisation sequence without “quasiseparated”. MathOverflow. https://mathoverflow.net/q/376138 (version: 2020-11-11).Google Scholar
Herr, L.. K/G-theory of affine bundles. MathOverflow. https://mathoverflow.net/q/375138 (version: 2020-11-01).Google Scholar
Herr, L.. The log product formula. ArXiv e-prints, page arXiv:1908.04936, August 2019.Google Scholar
Hassett, B. and Hyeon, D.. Log canonical models for the moduli space of curves: the first divisorial contraction. Trans. Amer. Math. Soc., 361(8) (2009), 4471–4489.CrossRefGoogle Scholar
Hironaka, H.. Resolution of singularities of an algebraic variety over a field of characteristic zero: I. Ann. of Math., 79(1) (1964), 109–203.CrossRefGoogle Scholar
Hoyois, M. and Krishna, A.. Vanishing theorems for the negative k-theory of stacks. Ann. K-Theory 4(3) (2019), 439–472.CrossRefGoogle Scholar
Herr, L., Molcho, S., Pandharipande, R. and Wise, J.. Rendimento dei conti. Forthcoming (2023).Google Scholar
Holmes, D., Pixton, A. and Schmitt, J.. Multiplicativity of the double ramification cycle. Doc. Math., 24 (2019), 545–562.CrossRefGoogle Scholar
Herr, L. and Wise, J.. Costello’s pushforward formula: errata and generalisation. ArXiv e-prints, page arXiv:2103.10348, March 2021.Google Scholar
Illusie, L., Kato, K. and Nakayama, C.. Quasi-unipotent logarithmic riemann-hilbert correspondences. J. Math. Sci. Univ. Tokyo 12 (2005), 1–66.Google Scholar
Ito, T., Kato, K., Nakayama, C. and Usui, S.. On log motives. Tunis. J. Math. 2(4) (2020), 733–789.CrossRefGoogle Scholar
Kato, F.. Integral morphisms and log blow-ups. ArXiv e-prints, page arXiv:2101.09104, January 2021.Google Scholar
Khan, A. A.. K-theory and G-theory of derived algebraic stacks. ArXiv e-prints, page arXiv:2012.07130, December 2020.Google Scholar
Kempf, G., Knudsen, F. F., Mumford, D. and Saint-Donat, B.. Toroidal Embeddings 1. Lecture Notes in Math.. (Springer Berlin Heidelberg, 1973).Google Scholar
Kontsevich, M. and Manin, Y.. Quantum cohomology of a product. Invent. Math. 124(1-3):313–339, 1996. With an appendix by R. Kaufmann.CrossRefGoogle Scholar
Kollár, J. and Mori, S.. Birational Geometry of Algebraic Varieties . Cambridge Tracts in Math. 134 (Cambridge University Press, Cambridge, 1998). With the collaboration of C. H. Clemens and A. Corti, translated from the 1998 Japanese original.CrossRefGoogle Scholar
Kovács, S. J.. A characterisation of rational singularities. Duke Math. J. 102(2) (2000), 187–191.CrossRefGoogle Scholar
Lee, Y–P.. Quantum K-theory. I. Foundations. Duke Math. J. 121(3) (2004), 389–424.CrossRefGoogle Scholar
Laumon, G. and Moret–Bailly, L.. Champs Algébriques. Ergeb. Math. Grenzgeb. 3. (Springer, Berlin–Heidelberg, 1999).CrossRefGoogle Scholar
Lee, Y–P. and Qu, F.. A product formula for log Gromov–Witten invariants. J. Math. Soc. Japan 70(1) (2018), 229–242.CrossRefGoogle Scholar
Manolache, C.. Virtual pull-backs. ArXiv e-prints, May 2008.Google Scholar
Nakayama, C.. Logarithmic étale cohomology II. Adv. Math., 314 (2017), 663–725.CrossRefGoogle Scholar
Nizioł, W.. Toric singularities: Log-blow-ups and global resolutions. J. Algebraic Geom. 15(1) (2006), 1–29.CrossRefGoogle Scholar
nLab authors. Epimorphisms of groups are surjective. http://ncatlab.org/nlab/show/epimorphisms%20of%20groups%20are%20surjective, November 2020. Revision 4.Google Scholar
nLab , November 2020. Revision 26.Google Scholar
Ogus, A.. Lectures on Logarithmic Algebraic Geometry. Cambridge Studies in Advanced Math.. (Cambridge University Press, 2018).Google Scholar
Olsson, M.. Logarithmic geometry and algebraic stacks. Sci. Ann. Ecole Norm. Sup. with acute accent on the E, 36 (2003), 747–791.Google Scholar
Olsson, M.. The logarithmic cotangent complex. Math. Ann., 333 (2005), 859–931.Google Scholar
Olsson, M.. Sheaves on Artin stacks. J. Reine Angew. Math. 603 (2007), 55–112.Google Scholar
Qu, F.. Virtual pullbacks in K-theory. Ann. Inst. Fourier 68(4) (2018), 1609–1641.CrossRefGoogle Scholar
Ranganathan, D.. A note on cycles of curves in a product of pairs. ArXiv e-prints, page arXiv:1910.00239, October 2019.Google Scholar
Ranganathan, D.. A GUI for logarithmic intersections, July 2020 Unpublished notes, further information is available online: https://www.dhruvrnathan.net/talks.Google Scholar
Scherotzke, S., Sibilla, N. and Talpo, M.. On a logarithmic version of the derived mckay correspondence. Compositio Math., 154(12) (2018), 2534–2585.CrossRefGoogle Scholar
The Stacks Project Authors.Stacks Project. http://stacks.math.columbia.edu, 2023.Google Scholar