We define an enrichment of the logarithmic derivative of the zeta function of a variety over a finite field to a power series with coefficients in the Grothendieck–Witt group. We show that this enrichment is related to the topology of the real points of a lift. For cellular schemes over a field, we prove a rationality result for this enriched logarithmic derivative of the zeta function as an analogue of part of the Weil conjectures. We also compute several examples, including toric varieties, and show that the enrichment is a motivic measure.
more »
« less
Grothendieck--Witt groups of some singular schemes
We establish some structural results for the Witt and Grothendieck--Witt groups of schemes over \Z[1/2], including homotopy invariance for Witt groups and a formula for the Witt and Grothendieck--Witt groups of punctured affine spaces over a scheme. All these results hold for singular schemes and at the level of spectra.
more »
« less
- Award ID(s):
- 2001417
- PAR ID:
- 10233115
- Date Published:
- Journal Name:
- Proceedings of the London Mathematical Society
- Volume:
- 122
- ISSN:
- 0024-6115
- Page Range / eLocation ID:
- 521-536
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
null (Ed.)Let $$(G,\unicode[STIX]{x1D707})$$ be a pair of a reductive group $$G$$ over the $$p$$ -adic integers and a minuscule cocharacter $$\unicode[STIX]{x1D707}$$ of $$G$$ defined over an unramified extension. We introduce and study ‘ $$(G,\unicode[STIX]{x1D707})$$ -displays’ which generalize Zink’s Witt vector displays. We use these to define certain Rapoport–Zink formal schemes purely group theoretically, i.e. without $$p$$ -divisible groups.more » « less
-
The topological Hochschild homology of a ring (or ring spectrum) R is an S1-spectrum, and the fixed points of THH(R) for subgroups C_n of S1 have been widely studied due to their use in algebraic K-theory computations. Hesselholt and Madsen proved that the fixed points of topological Hochschild homology are closely related to Witt vectors. Further, they defined the notion of a Witt complex, and showed that it captures the algebraic structure of the homotopy groups of the fixed points of THH. Recent work defines a theory of twisted topological Hochschild homology for equivariant rings (or ring spectra) that builds upon Hill, Hopkins and Ravenel's work on equivariant norms. In this paper, we study the algebraic structure of the equivariant homotopy groups of twisted THH. In particular, drawing on the definition of equivariant Witt vectors by Blumberg, Gerhardt, Hill and Lawson, we define an equivariant Witt complex and prove that the equivariant homotopy of twisted THH has this structure. Our definition of equivariant Witt complexes contributes to a growing body of research in the subject of equivariant algebra.more » « less
-
Grothendieck duality theory assigns to essentially finite-type maps $$f$$ of noetherian schemes a pseudofunctor $$f^{\times }$$ right-adjoint to $$\mathsf{R}f_{\ast }$$ , and a pseudofunctor $$f^{!}$$ agreeing with $$f^{\times }$$ when $$f$$ is proper, but equal to the usual inverse image $$f^{\ast }$$ when $$f$$ is étale. We define and study a canonical map from the first pseudofunctor to the second. This map behaves well with respect to flat base change, and is taken to an isomorphism by ‘compactly supported’ versions of standard derived functors. Concrete realizations are described, for instance for maps of affine schemes. Applications include proofs of reduction theorems for Hochschild homology and cohomology, and of a remarkable formula for the fundamental class of a flat map of affine schemes.more » « less
-
We define a monoidal category W and a closely related 2‐category 2Weyl using diagrammatic methods. We show that 2Weyl acts on the category TL of modules over Temperley–Lieb algebras, with its generating 1‐morphisms acting by induction and restriction. The Grothendieck groups of W and a third category we define W^\infty are closely related to the Weyl algebra. We formulate a sense in which K_0(W^\infty) acts asymptotically on K_0(TL).more » « less
An official website of the United States government

