arXiv subjects

Jonathan Wise

Publications and source records attributed to Jonathan Wise.

At least 19 recordsLinked to original sources

arXiv2026

Vector bundles on Olsson fans

Artin fans are algebro-geometric incarnations of cone complexes. We study weakly convex Olsson fans, generalising Artin fans in two ways: first, they admit lineality spaces, thus including tropical tori as well; second, they are defined over a base logarithmic scheme, thus providing a relative version of equivariant toric geometries. We determine conditions under which Olsson fans are well-behaved, in the sense that their geometry is determined combinatorially. We undertake the study of quasicoherent sheaves, and in particular vector bundles, on Olsson fans: we describe their moduli stack in the case of a (subdivided) cone, and some failures of algebraicity in the general case; Weyl convexity shows up naturally in this context.

math.AG↗

arXiv2025

Residues and Gorenstein Contractions of Genus One Curves

Let $C$ be a genus one nodal curve over a local artinian base and let $E$ be a proper subcurve of genus one. We define residues for curves over local artinian rings, then define generalized residues with values in line bundles over the local artinian ring that arise from tropical data on the curve. We then use these residues to construct a contraction of $C$ that collapses $E$ to a Gorenstein genus one singularity.

math.AG↗

arXiv2024

Tropical pseudostable curves

We study the tropical version of the contraction morphism $\mathcal{T}$ between moduli spaces of stable and pseudostable curves. By promoting $\mathcal{T}$ to a logarithmic morphism, we obtain a piecewise linear function between the generalized cone complexes parameterizing tropical stable and pseudostable curves. The ray corresponding to the contracted divisor $\delta_1$ is not contracted to the cone point but mapped onto a ray of $\mathcal{M}_{g,n}^{{\rm trop}, {\rm ps}}$, with a slope reflecting the geometry of the desingularization of a plane cusp. We explore in detail the situation of $g=1$, where the tautological geometry of both spaces is fully described by piecewise polynomial functions on the tropical moduli spaces.

math.AG↗

arXiv2023

Images of abelian schemes

We provide some conditions for the image of a morphism of abelian schemes to again be an abelian scheme. For context, in characteristic 0, the image is always an abelian scheme; in mixed and positive characteristic the image can fail to be an abelian scheme, and so it is in this setting that the conditions we provide are pertinent.

math.AG↗

arXiv2023

Remarks on logarithmic \'etale sheafification

We prove criteria for a presheaf on logarithmic schemes to be a sheaf in the full logarithmic \'etale topology and describe several situations where the structure sheaf and logarithmic structure are logarithmic \'etale sheaves. We deduce that the logarithmic Picard group is a stack in the full logarithmic \'etale topology on logarithmic schemes whose structure sheaves satisfy logarithmic \'etale descent.

math.AG↗

arXiv2022

Pseudostable Hodge integrals

This paper initiates a study of Hodge integrals on moduli spaces of pseudostable curves. We prove an explicit comparison formula that allows one to effectively compute any pseudostable Hodge integral in terms of intersection numbers on moduli spaces of stable curves, and we use this comparison to prove that pseudostable Hodge integrals are equal to their stable counterparts when they are linear in lambda classes, but not when they are nonlinear. This suggests that pseudostable Gromov-Witten invariants are equal to usual Gromov-Witten invariants for target curves, but not for higher-dimensional target varieties.

math.AG↗

arXiv2021

The 2-category of 2-term complexes

We describe some of the basic properties of the 2-category of 2-term complexes in an abelian category, using butterflies as morphisms.

math.CT↗

arXiv2021

Costello's pushforward formula: errata and generalization

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.

math.AG↗

arXiv2021

Logarithmic compactification of the Abel-Jacobi section

Given a smooth curve with weighted marked points, the Abel-Jacboi map produces a line bundle on the curve. This map fails to extend to the full boundary of the moduli space of stable pointed curves. Using logarithmic and tropical geometry, we describe a modular modification of the moduli space of curves over which the Abel-Jacobi map extends. We also describe the attendant deformation theory and virtual fundamental class of this moduli space. This recovers the double ramification cycle, as well as variants associated to differentials.

math.AG↗

arXiv2021

Boundedness of the space of stable logarithmic maps

We prove that the moduli space of stable logarithmic maps with fixed numerical invariants, from logarithmic curves to a fixed projective target logarithmic scheme with fine and saturated logarithmic structure, is a proper algebraic stack. This was previously known only with further restrictions on the logarithmic structure of the target.

math.AG↗

arXiv2020

A moduli stack of tropical curves

We contribute to the foundations of tropical geometry with a view towards formulating tropical moduli problems, and with the moduli space of curves as our main example. We propose a moduli functor for the moduli space of curves and show that it is representable by a geometric stack over the category of rational polyhedral cones. In this framework the natural forgetful morphisms between moduli spaces of curves with marked points function as universal curves. Our approach to tropical geometry permits tropical moduli problems---moduli of curves or otherwise---to be extended to logarithmic schemes. We use this to construct a smooth tropicalization morphism from the moduli space of algebraic curves to the moduli space of tropical curves, and we show that this morphism commutes with all of the tautological morphisms.

math.AG↗

arXiv2019

Resilience of three-dimensional sinusoidal networks in liver tissue

Can three-dimensional, microvasculature networks still ensure blood supply if individual links fail? We address this question in the sinusoidal network, a plexus-like microvasculature network, which transports nutrient-rich blood to every hepatocyte in liver tissue, by building on recent advances in high-resolution imaging and digital reconstruction of adult mice liver tissue. We find that the topology of the three-dimensional sinusoidal network reflects its two design requirements of a space-filling network that connects all hepatocytes, while using shortest transport routes: sinusoidal networks are sub-graphs of the Delaunay graph of their set of branching points, and also contain the corresponding minimum spanning tree, both to good approximation. To overcome the spatial limitations of experimental samples and generate arbitrarily-sized networks, we developed a network generation algorithm that reproduces the statistical features of 0.3-mm-sized samples of sinusoidal networks, using multi-objective optimization for node degree and edge length distribution. Nematic order in these simulated networks implies anisotropic transport properties, characterized by an empirical linear relation between a nematic order parameter and the anisotropy of the permeability tensor. Under the assumption that all sinusoid tubes have a constant and equal flow resistance, we predict that the distribution of currents in the network is very inhomogeneous, with a small number of edges carrying a substantial part of the flow. We quantify network resilience in terms of a permeability-at-risk, i.e.\ permeability as function of the fraction of removed edges. We find that sinusoidal networks are resilient to random removal of edges, but vulnerable to the removal of high-current edges. Our findings suggest the existence of a mechanism counteracting flow inhomogeneity to balance metabolic load on the liver.

q-bio.TO↗

arXiv2019

The monodromy pairing for logarithmic 1-motifs

We describe a 3-step filtration on all logarithmic abelian varieties with constant degeneration. The obstruction to descending this filtration, as a variegated extension, from logarithmic geometry to algebraic geometry is encoded in a bilinear pairing valued in the characteristic monoid of the base. This pairing is realized as the monodromy pairing in p-adic, l-adic, and Betti cohomolgies, and recovers the Picard-Lefschetz transformation in the case of Jacobians. The Hodge realization of the filtration is the monodromy weight filtration on the limit mixed Hodge structure.

math.AG↗

arXiv2019

Moduli of stable maps in genus one and logarithmic geometry II

This is the second in a pair of papers developing a framework to apply logarithmic methods in the study of singular curves of genus $1$. This volume focuses on logarithmic Gromov--Witten theory and tropical geometry. We construct a logarithmically nonsingular moduli space of genus $1$ curves mapping to any toric variety. The space is a birational modification of the principal component of the Abramovich--Chen--Gross--Siebert space of logarithmic stable maps and produces an enumerative genus $1$ curve counting theory. We describe the non-archimedean analytic skeleton of this moduli space and, as a consequence, obtain a full resolution to the tropical realizability problem in genus $1$.

math.AG↗

arXiv2019

Rational curves in the logarithmic multiplicative group

The logarithmic multiplicative group is a proper group object in logarithmic schemes, which morally compactifies the usual multiplicative group. We study the structure of the stacks of logarithmic maps from rational curves to this logarithmic torus, and show that in most cases, it is a product of the logarithmic torus with the space of rational curves. This gives a conceptual explanation for earlier results on the moduli spaces of logarithmic stable maps to toric varieties.

math.AG↗

arXiv2019

Moduli of stable maps in genus one and logarithmic geometry I

This is the first in a pair of papers developing a framework for the application of logarithmic structures in the study of singular curves of genus $1$. We construct a smooth and proper moduli space dominating the main component of Kontsevich's space of stable genus $1$ maps to projective space. A variation on this theme furnishes a modular interpretation for Vakil and Zinger's famous desingularization of the Kontsevich space of maps in genus $1$. Our methods also lead to smooth and proper moduli spaces of pointed genus $1$ quasimaps to projective space. Finally, we present an application to the log minimal model program for $\mathcal{M}_{1,n}$. We construct explicit factorizations of the rational maps among Smyth's modular compactifications of pointed elliptic curves.

math.AG↗

arXiv2018

The logarithmic Picard group and its tropicalization

We construct the logarithmic and tropical Picard groups of a family of logarithmic curves and realize the latter as the quotient of the former by the algebraic Jacobian. We show that the logarithmic Jacobian is a proper family of logarithmic abelian varieties over the moduli space of Deligne-Mumford stable curves, but does not possess an underlying algebraic stack. However, the logarithmic Picard group does have logarithmic modifications that are representable by logarithmic schemes, all of which are obtained by pullback from subdivisions of the tropical Picard group.

math.AG↗

arXiv2017

An introduction to moduli stacks, with a view towards Higgs bundles on algebraic curves

This article is based in part on lecture notes prepared for the summer school "The Geometry, Topology and Physics of Moduli Spaces of Higgs Bundles" at the Institute for Mathematical Sciences at the National University of Singapore in July of 2014. The aim is to provide a brief introduction to algebraic stacks, and then to give several constructions of the moduli stack of Higgs bundles on algebraic curves. The first construction is via a "bootstrap" method from the algebraic stack of vector bundles on an algebraic curve. This construction is motivated in part by Nitsure's GIT construction of a projective moduli space of semi-stable Higgs bundles, and we describe the relationship between Nitsure's moduli space and the algebraic stacks constructed here. The third approach is via deformation theory, where we directly construct the stack of Higgs bundles using Artin's criterion.

math.AG↗