arXiv subjects

Lawrence Jack Barrott

Publications and source records attributed to Lawrence Jack Barrott.

4 recordsLinked to original sources

arXiv2022

Tangent curves to degenerating hypersurfaces

We study the behaviour of rational curves tangent to a hypersurface under degenerations of the hypersurface. Working within the framework of logarithmic Gromov-Witten theory, we extend the degeneration formula to the logarithmically singular setting, producing a virtual class on the space of maps to the degenerate fibre. We then employ logarithmic deformation theory to express this class as an obstruction bundle integral over the moduli space of ordinary stable maps. This produces new refinements of the logarithmic Gromov-Witten invariants, encoding the degeneration behaviour of tangent curves. In the example of a smooth plane cubic degenerating to the toric boundary we employ localisation and tropical techniques to compute these refinements. Finally, we leverage these calculations to describe how embedded curves tangent to a smooth cubic degenerate as the cubic does; the results obtained are of a classical nature, but the proofs make essential use of logarithmic Gromov-Witten theory.

math.AG↗

arXiv2020

Logarithmic Chow theory

We describe a refined Chow theory for log schemes extending the theory of b-Chow suggested Holmes Pixton and Schmidt based off of a definition of Shokurov. This produces a dimension graded family of Abelian groups supporting a push-forward and pull-back along proper and log flat morphisms respectively, together with a bivariant theory satisfying Poincare Duality. In the final section we relate this construction to the construction of the log normal cone by Leo Herr.

math.AG↗

arXiv2018

Convergence of the mirror to a rational elliptic surface

The construction introduced by Gross, Hacking and Keel allows one to construct a formal mirror family to a pair $(S,D)$ where $S$ is a smooth rational projective surface and $D$ a certain type of Weil divisor supporting an ample or anti-ample class. In that paper they proved two convergence results. Firstly that if the intersection matrix of $D$ is not negative semi-definite then the family they construct lifts to an algebraic family. Secondly they prove that if the intersection matrix is negative definite then their construction lifts along certain analytic strata on the base, and then over a formal neighbourhood of this. In the original version of that paper they claimed that if the intersection matrix were negative semi-definite then family in fact extends over an analytic neighbourhood of the origin but gave an incorrect proof. In this paper we correct this error. We explain how the general Gross-Siebert program can be used to reduce construction of the mirror to such a surface to calculating certain relative Gromov-Witten invariants. We then relate these invariants to the invariants of a new space where we can find explicit formulae for the invariants. From this we deduce analytic convergence of the mirror family, at least when the original surface has an $I_4$ fibre.

math.AG↗

arXiv2018

Explicit equations for mirror families to log Calabi-Yau surfaces

Mirror symmetry for del Pezzo surfaces was studied by Auroux, Katzarkov and Orlov who suggested that the mirror should take the form of a Landau-Ginzburg model with a particular type of elliptic fibration. This problem was then considered again but from an algebro-geometric perspective by Gross, Hacking and Keel. Their construction allows one to construct a formal mirror family to a pair $(S,D)$ where $S$ is a smooth rational projective surface and $D$ a certain type of Weil divisor supporting an ample or anti-ample class. In the case of $S$ a Fano surface they proved that this family may be lifted to an algebraic family over an affine base. In this paper we perform this construction for all smooth del Pezzo surfaces of degree at least two and obtain explicit equations for the mirror families and explain some of the motivation for their construction. We also provide an implementation of the Kontsevich Soibelman lemma in Sage.

math.AG↗