arXiv subjects
Publications and source records attributed to Leo Herr.
We define a new theory of logarithmic Gromov--Witten invariants allowing negative contact orders using pierced logarithmic curves. We prove that these classes satisfy logarithmic birational invariance and satisfy loop and splitting theorems generalising those for classical Gromov--Witten invariants.
The logarithmic double ramification cycle is the virtual fundamental class of the locus where a line bundle on a family of curves is fiberwise trivial. We construct a K-theoretic logarithmic double ramification class and prove a product formula and a \(\mathrm{GL}_r(\mathbb Z)\)-invariance property. We also give an explicit formula for this class in terms of a Grothendieck polynomial via a novel $K$-theoretic Thom--Porteous formula for vector bundles on algebraic stacks.
The construction of a satisfactory dg category of logarithmic coherent sheaves remains a central open problem in logarithmic geometry. In this paper, we propose an alternative correspondence-theoretic approach based on logarithmic Fourier--Mukai transforms. For smooth proper log pairs, we introduce strong log Fourier--Mukai kernels supported on canonical blow-up compactifications and prove that logarithmic Hochschild homology is functorial with respect to the induced transforms. Unlike the classical setting, logarithmic correspondences do not naturally live on ordinary products, and the standard adjunction formalism fails because of blow-up discrepancies. We overcome these difficulties by constructing explicit unit- and counit-type morphisms that provide the necessary adjunction data without requiring an ambient dg category of logarithmic sheaves. As applications, we construct a dg bicategory of logarithmic correspondences in which logarithmic Hochschild homology and cohomology become categorical invariants. We also define logarithmic Chern characters and a logarithmic Euler pairing compatible with the logarithmic Fourier--Mukai formalism.
Recently, the authors of this paper introduced logarithmic Hochschild (co)homology of logarithmic spaces in a geometric way using formality of derived intersections. In this paper, the authors extend the decomposition theorem for the logarithmic Hochschild (co)homology of firm orbifolds to general logarithmic orbifolds and consider two applications of the decomposition theorem. First, we consider two versions of a symmetric product and compute the logarithmic Hochschild homology of them. Second, we show that logarithmic Hochschild homology is invariant under root stack operations.
For a morphism $f : X \to Y$ of schemes, we give a tropical criterion for which points of $Y$ (valued in a field, discrete valuation ring, number ring, or Dedekind domain) lift to $X$. Our criterion extends the firmaments of Abramovich to a wide range of morphisms, even logarithmic stable maps.
We define a Grothendieck ring of varieties for log schemes. It is generated by one additional class ``$P$'' over the usual Grothendieck ring. We show the na\"ive definition of log Hodge numbers does not make sense for all log schemes. We offer an alternative that does.
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.
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 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\"ahler 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.
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 $\theta$ 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 \'etale, where the local structure of \'etale 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 $\theta$.
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.
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 $\theta \in B$ over $A$? In this paper, we show there is a scheme $\mathcal{M}_{B/A}$ parameterizing the choice of a generator $\theta \in B$, a "moduli space" of generators. This scheme relates naturally to Hilbert schemes and configuration spaces. We give explicit equations and ample examples.
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.
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 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.
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.