BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We show the A1-Euler characteristic of a smooth, projective scheme over a characteristic 0 field is represented by its Hochschild complex together with a canonical bilinear form, and give an exposition of the compactly supported A1-Euler characteristic χA1c:K0(Vark)→GW(k) from the Grothendieck group of varieties to the Grothendieck--Witt group of bilinear forms. We also provide example computations.
We study localization at a prime in homotopy type theory, using self maps of the circle. Our main result is that for a pointed, simply connected type X, the natural map X→X(p) induces algebraic localizations on all homotopy groups. In order to prove this, we further develop the theory of reflective subuniverses. In particular, we show that for any reflective subuniverse L, the subuniverse of L-separated types is again a reflective subuniverse, which we call L′. Furthermore, we prove results establishing that L′ is almost left exact. We next focus on localization with respect to a map, giving results on preservation of coproducts and connectivity. We also study how such localizations interact with other reflective subuniverses and orthogonal factorization systems. As key steps towards proving the main theorem, we show that localization at a prime commutes with taking loop spaces for a pointed, simply connected type, and explicitly describe the localization of an Eilenberg-Mac Lane space K(G,n) with G abelian. We also include a partial converse to the main theorem.
We prove that the local A1-degree of a polynomial function at an isolated zero with finite separable residue field is given by the trace of the local A1-degree over the residue field. This fact was originally suggested by Morel's work on motivic transfers and by Kass and Wickelgren's work on the Scheja-Storch bilinear form. As a corollary, we generalize a result of Kass and Wickelgren's relating the Scheja-Storch form and the local A1-degree.
We study effective divisors on M0,n, focusing on hypertree divisors introduced by Castravet and Tevelev and the proper transforms of divisors on M1,n−2 introduced by Chen and Coskun. Results include a database of hypertree divisor classes and closed formulas for Chen--Coskun divisor classes. We relate these two types of divisors, and from this construct extremal divisors on M0,n for n≥7 that furnish counterexamples to the conjectural description of the effective cone of M0,n given by Castravet and Tevelev.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.