Aspects of Enumerative Geometry with Quadratic Forms
Marc LevineFakultät Mathematik, Universität Duisburg-Essen, Thea-Leymann-Str. 9, 45127 Essen, Germany
Using the motivic stable homotopy category over a field , a smooth variety over has an Euler characteristic in the Grothendieck-Witt ring . The rank of is the classical -valued Euler characteristic, defined using singular cohomology or étale cohomology, and the signature of under a real embedding gives the topological Euler characteristic of the real points .
We develop tools to compute , assuming has characteristic and apply these to refine some classical formulas in enumerative geometry, such as formulas for the top Chern class of the dual, symmetric powers and tensor products of bundles, to identities for the Euler classes in Chow-Witt groups. We also refine the classical Riemann-Hurwitz formula to an identity in and compute for hypersurfaces in defined by a polynomial of the form ; this latter includes the case of an arbitrary quadric hypersurface.
This paper is a revision of [M. Levine,"Toward an enumerative geometry with quadratic forms", Preprint, arXiv:1703.03049v3].
Cite this article
Marc Levine, Aspects of Enumerative Geometry with Quadratic Forms. Doc. Math. 25 (2020), pp. 2179–2239DOI 10.4171/DM/797