Showing 1–11 of 11 results for author: Herr, L

Logarithmic Hochschild co/homology via formality of derived intersections

Authors: Márton Hablicsek, Leo Herr, Francesca Leonardi

Abstract: We define log Hochschild co/homology for log schemes that behaves well for simple normal crossing pairs $(X,D)$ or toroidal singularities. We prove a Hochschild-Kostant-Rosenberg isomorphism for log smooth schemes, as well as an equivariant version for log orbifolds. We define cyclic homology and compute it in simple cases. We show that log Hochschild co/homology is invariant under log alteratio… ▽ More We define log Hochschild co/homology for log schemes that behaves well for simple normal crossing pairs $(X,D)$ or toroidal singularities. We prove a Hochschild-Kostant-Rosenberg isomorphism for log smooth schemes, as well as an equivariant version for log orbifolds. We define cyclic homology and compute it in simple cases. We show that log Hochschild co/homology is invariant under log alterations. Our main technical result in log geometry shows the tropicalization (Artin fan) of a product of log schemes $X \times Y$ is usually the product of the tropicalizations of $X$ and $Y$. This and the machinery of \emph{formality} of derived intersections facilitate a geometric approach to log Hochschild. △ Less

Submitted 22 May, 2024; v1 submitted 18 August, 2023; originally announced August 2023.

Comments: 45 pages, comments welcome!

Higher Genus Quantum $K$--theory

Authors: You-Cheng Chou, Leo Herr, Y. -P. Lee

Abstract: We prove genus $g$ invariants in quantum $K$-theory are determined by genus zero invariants of a smooth stack in the spirit of K.~Costello's result in Gromov--Witten theory. We prove genus $g$ invariants in quantum $K$-theory are determined by genus zero invariants of a smooth stack in the spirit of K.~Costello's result in Gromov--Witten theory. △ Less

Submitted 19 May, 2023; v1 submitted 17 May, 2023; originally announced May 2023.

Comments: 36 pages, comments welcome!

The log tangent space of the log jet space

Authors: Leo Herr

Abstract: We introduce new notions of log jet spaces. Mildly singular spaces are ``smooth'' in log geometry, so their log jet spaces behave like the jet spaces of smooth varieties. Myriad examples contrast log jet spaces with the usual jet spaces of schemes. We then compute the log Kähler differentials of the log jet and arc spaces after de Fernex and Docampo. We obtain some of their applications to the s… ▽ More We introduce new notions of log jet spaces. Mildly singular spaces are ``smooth'' in log geometry, so their log jet spaces behave like the jet spaces of smooth varieties. Myriad examples contrast log jet spaces with the usual jet spaces of schemes. We then compute the log Kähler differentials of the log jet and arc spaces after de Fernex and Docampo. We obtain some of their applications to the structure of the log jet space. We conclude with comparison remarks with other log jet spaces. △ Less

Submitted 16 October, 2022; originally announced October 2022.

Comments: 48 pages; comments welcome!

The Scheme of Monogenic Generators II: Local Monogenicity and Twists

Authors: Sarah Arpin, Sebastian Bozlee, Leo Herr, Hanson Smith

Abstract: This is the sequel paper to arXiv:2108.07185, continuing a study of monogenicity of number rings from a moduli-theoretic perspective. By the results of the first paper in this series, a choice of a generator $θ$ for an $A$-algebra $B$ is a point of the scheme $\mathcal{M}_{B/A}$. In this paper, we study and relate several notions of local monogenicity that emerge from this perspective. We first co… ▽ More This is the sequel paper to arXiv:2108.07185, continuing a study of monogenicity of number rings from a moduli-theoretic perspective. By the results of the first paper in this series, a choice of a generator $θ$ for an $A$-algebra $B$ is a point of the scheme $\mathcal{M}_{B/A}$. In this paper, we study and relate several notions of local monogenicity that emerge from this perspective. We first consider the conditions under which the extension $B/A$ admits monogenerators locally in the Zariski and finer topologies, recovering a theorem of Pleasants as a special case. We next consider the case in which $B/A$ is étale, where the local structure of étale maps allows us to construct a universal monogenicity space and relate it to an unordered configuration space. Finally, we consider when $B/A$ admits local monogenerators that differ only by the action of some group (usually $\mathbb{G}_m$ or $\mathrm{Aff}^1$), giving rise to a notion of twisted monogenerators. In particular, we show a number ring $A$ has class number one if and only if each twisted monogenerator is in fact a global monogenerator $θ$. △ Less

Submitted 26 October, 2022; v1 submitted 9 May, 2022; originally announced May 2022.

Comments: 30 pages, comments welcome; some results strengthened over last revision. arXiv admin note: substantial text overlap with arXiv:2108.07185

MSC Class: Primary 14D20; Secondary 11R04; 13E15

Deformations of Algebras with 2-Extensions

Authors: Leo Herr

Abstract: We apply the notion of 2-extensions of algebras to the deformation theory of algebras. After standard results on butterflies between 2-extensions, we use this (2, 0)-category to give three perspectives on the deformation theory of algebras. We conclude by fixing an error in the literature. We apply the notion of 2-extensions of algebras to the deformation theory of algebras. After standard results on butterflies between 2-extensions, we use this (2, 0)-category to give three perspectives on the deformation theory of algebras. We conclude by fixing an error in the literature. △ Less

Submitted 25 April, 2022; originally announced April 2022.

Comments: 26 pages. Comments welcome!

The Scheme of Monogenic Generators I: Representability

Authors: Sarah Arpin, Sebastian Bozlee, Leo Herr, Hanson Smith

Abstract: This is the first in a series of two papers that study monogenicity of number rings from a moduli-theoretic perspective. Given an extension of algebras $B/A$, when is $B$ generated by a single element $θ\in B$ over $A$? In this paper, we show there is a scheme $\mathcal{M}_{B/A}$ parameterizing the choice of a generator $θ\in B$, a "moduli space" of generators. This scheme relates naturally to Hil… ▽ More This is the first in a series of two papers that study monogenicity of number rings from a moduli-theoretic perspective. Given an extension of algebras $B/A$, when is $B$ generated by a single element $θ\in B$ over $A$? In this paper, we show there is a scheme $\mathcal{M}_{B/A}$ parameterizing the choice of a generator $θ\in B$, a "moduli space" of generators. This scheme relates naturally to Hilbert schemes and configuration spaces. We give explicit equations and ample examples. △ Less

Submitted 9 May, 2022; v1 submitted 16 August, 2021; originally announced August 2021.

Comments: 32 pages, comments welcome; Version 1 has been split into two papers. This is the first of the two papers

MSC Class: Primary 14D20; Secondary 11R04; 13E15

Costello's pushforward formula: errata and generalization

Authors: Leo Herr, Jonathan Wise

Abstract: K. Costello's Pushforward Formula is not correct as stated. We verify it holds under an assumption of properness or of a weaker notion we call "purity." We then check many papers that used this formula to make sure it holds in their context. K. Costello's Pushforward Formula is not correct as stated. We verify it holds under an assumption of properness or of a weaker notion we call "purity." We then check many papers that used this formula to make sure it holds in their context. △ Less

Submitted 18 March, 2021; originally announced March 2021.

Comments: 17 pages. Comments welcome

The Log Product Formula in quantum $K$-theory

Authors: You-Cheng Chou, Leo Herr, Yuan-Pin Lee

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. 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. △ Less

Submitted 2 July, 2021; v1 submitted 16 December, 2020; originally announced December 2020.

Comments: 21 pages, comments welcome! v2: 27 pages, example added distinguishing log Gysin map from ordinary one

MSC Class: 14N35 (Primary) 14A21; 14C35 (Secondary)

The Log Product Formula

Authors: Leo Herr

Abstract: We prove a formula expressing the Log Gromov-Witten Invariants of a product of log smooth varieties $V \times W$ in terms of the invariants of $V$ and $W$. This extends results of F. Qu and Y.P. Lee, who introduced this formula analogously to K. Behrend. The proof requires notions of "log normal cone" and "log virtual fundamental class," as well as modified versions of standard intersection-theore… ▽ More We prove a formula expressing the Log Gromov-Witten Invariants of a product of log smooth varieties $V \times W$ in terms of the invariants of $V$ and $W$. This extends results of F. Qu and Y.P. Lee, who introduced this formula analogously to K. Behrend. The proof requires notions of "log normal cone" and "log virtual fundamental class," as well as modified versions of standard intersection-theoretic machinery adapted to Log Geometry. △ Less

Submitted 13 August, 2019; originally announced August 2019.

Comments: 33 pages. Comments very welcome!

Journal ref: Alg. Number Th. 17 (2023) 1281-1323

Deformations of Modules Through Butterflies and Gerbes

Authors: Leo Herr

Abstract: Classifying obstructions to the problem of finding extensions between two fixed modules goes back at least to L. Illusie's thesis. Our approach, following in the footsteps of J. Wise, is to introduce an analogous Grothendieck Topology on the category $A$-mod of modules over a fixed ring $A$ in a topos $E$. The problem of finding extensions becomes a banded gerbe and furnishes a cohomology class on… ▽ More Classifying obstructions to the problem of finding extensions between two fixed modules goes back at least to L. Illusie's thesis. Our approach, following in the footsteps of J. Wise, is to introduce an analogous Grothendieck Topology on the category $A$-mod of modules over a fixed ring $A$ in a topos $E$. The problem of finding extensions becomes a banded gerbe and furnishes a cohomology class on the site $A$-mod. We compare our obstruction and that coming from Illusie's work, giving another construction of the exact sequence Illusie used to obtain his obstruction. Our work circumvents the cotangent complex entirely and answers a question posed by llusie. △ Less

Submitted 4 December, 2017; originally announced December 2017.

Comments: 29 pages; comments welcome

Invitation to higher local fields, Part II, section 6: Phi-Gamma-modules and Galois cohomology

Authors: Laurent Herr

Abstract: This is is a survey of applications of Fontaine's theory of p-adic representations of local fields (Phi-Gamma-modules) to Galois cohomology of local fields and explicit formulas for the Hilbert symbol in relation with two-dimensional local objects. This is is a survey of applications of Fontaine's theory of p-adic representations of local fields (Phi-Gamma-modules) to Galois cohomology of local fields and explicit formulas for the Hilbert symbol in relation with two-dimensional local objects. △ Less

Submitted 17 December, 2000; originally announced December 2000.

Comments: For introduction and notation, see math.NT/0012131 . Published by Geometry and Topology Monographs at http://www.maths.warwick.ac.uk/gt/GTMon3/m3-II-6.abs.html

MSC Class: 11S99

Journal ref: Geom. Topol. Monogr. Volume 3(2000) 263-272