Searcharxiv⌕ Search

arXiv subjects

Hannah Larson

Publications and source records attributed to Hannah Larson.

36 records · Page 2Linked to original sources
arXiv2022

The rational Chow rings of moduli spaces of hyperelliptic curves with marked points

We determine the rational Chow ring of the moduli space $\mathcal{H}_{g,n}$ of $n$-pointed smooth hyperelliptic curves of genus $g$ when $n \leq 2g+6$. We also show that the Chow ring of the partial compactification $\mathcal{I}_{g,n}$, parametrizing $n$-pointed irreducible nodal hyperelliptic curves, is generated by tautological divisors. Along the way, we improve Casnati's result that $\mathcal{H}_{g,n}$ is rational for $n \leq 2g+8$ to show $\mathcal{H}_{g,n}$ is rational for $n \leq 3g+5$.

math.AG↗
arXiv2021

The integral Picard groups of low-degree Hurwitz spaces

We compute the Picard groups with integral coefficients of the Hurwitz stacks parametrizing degree $4$ and $5$ covers of $\mathbb{P}^1$. As a consequence, we also determine the integral Picard groups of the Hurwitz stacks parametrizing simply branched covers. For simple branching, the Picard groups are finite, with order depending on the genus.

math.AG↗
arXiv2021

Tautological classes on low-degree Hurwitz spaces

Let $\mathcal{H}_{k,g}$ be the Hurwitz stack parametrizing degree $k$, genus $g$ covers of $\mathbb{P}^1$. We define the tautological ring of $\mathcal{H}_{k,g}$ and we show that all Chow classes, except possibly those supported on the locus of "factoring covers," are tautological up to codimension roughly $g/k$ when $k \leq 5$. The set-up developed here is also used in our subsequent work, wherein we prove new results about the structure of the Chow ring for $k \leq 5$.

math.AG↗
arXiv2021

Chow rings of low-degree Hurwitz spaces

While there is much work and many conjectures surrounding the intersection theory of the moduli space of curves, relatively little is known about the intersection theory of the Hurwitz space $\mathcal{H}_{k, g}$ parametrizing smooth degree $k$, genus $g$ covers of $\mathbb{P}^1$. Let $k = 3, 4, 5$. We prove that the rational Chow rings of $\mathcal{H}_{k,g}$ stabilize in a suitable sense as $g$ tends to infinity. In the case $k = 3$, we completely determine the Chow rings for all $g$. We also prove that the rational Chow groups of the simply branched Hurwitz space $\mathcal{H}^s_{k,g} \subset \mathcal{H}_{k,g}$ are zero in codimension up to roughly $g/k$. In subsequent work, results developed in this paper are used to prove that the Chow rings of $\mathcal{M}_7, \mathcal{M}_8,$ and $\mathcal{M}_9$ are tautological.

math.AG↗
arXiv2021

On an equivalence of divisors on $\bar{M}_{0,n}$ from Gromov-Witten theory and conformal blocks

We consider a conjecture that identifies two types of base point free divisors on $\bar{M}_{0,n}$. The first arises from Gromov-Witten theory of a Grassmannian. The second comes from first Chern classes of vector bundles associated to simple Lie algebras in type A. Here we reduce this conjecture on $\bar{M}_{0,n}$ to the same statement for $n=4$. A reinterpretation leads to a proof of the conjecture on $\bar{M}_{0,n}$ for a large class, and we give sufficient conditions for the non-vanishing of these divisors.

math.AG↗
arXiv2021

The intersection theory of the moduli stack of vector bundles on $\mathbb{P}^1$

We determine the integral Chow and cohomology rings of the moduli stack $\mathcal{B}_{r,d}$ of rank $r$, degree $d$ vector bundles on $\mathbb{P}^1$ bundles. We first show that the rational Chow ring $A_{\mathbb{Q}}^*(\mathcal{B}_{r,d})$ is a free $\mathbb{Q}$-algebra on $2r+1$ generators. The isomorphism class of this ring happens to be independent of $d$. Then, we prove that the integral Chow ring $A^*(\mathcal{B}_{r,d})$ is torsion-free and provide multiplicative generators for $A^*(\mathcal{B}_{r,d})$ as a subring of $A_{\mathbb{Q}}^*(\mathcal{B}_{r,d})$. From this description, we see that $A^*(\mathcal{B}_{r,d})$ is not finitely generated as a $\mathbb{Z}$-algebra. Finally, the cohomology ring of $\mathcal{B}_{r,d}$ is isomorphic to its Chow ring.

math.AG↗
arXiv2020

Global Brill--Noether Theory over the Hurwitz Space

Let $C$ be a curve of genus $g$. A fundamental problem in the theory of algebraic curves is to understand maps $C \to \mathbb{P}^r$ of specified degree $d$. When $C$ is general, the moduli space of such maps is well-understood by the main theorems of Brill--Noether theory. Despite much study over the past three decades, a similarly complete picture has proved elusive for curves of fixed gonality. Here we complete such a picture, by proving analogs of all of the main theorems of Brill--Noether theory in this setting. As a corollary, we prove a conjecture of Eisenbud and Schreyer regarding versal deformation spaces of vector bundles on $\mathbb{P}^1$.

math.AG↗
arXiv2019

An enriched count of the bitangents to a smooth plane quartic curve

Recent work of Kass--Wickelgren gives an enriched count of the $27$ lines on a smooth cubic surface over arbitrary fields. Their approach using $\mathbb{A}^1$-enumerative geometry suggests that other classical enumerative problems should have similar enrichments, when the answer is computed as the degree of the Euler class of a relatively orientable vector bundle. Here, we consider the closely related problem of the $28$ bitangents to a smooth plane quartic. However, it turns out the relevant vector bundle is not relatively orientable and new ideas are needed to produce enriched counts. We introduce a fixed "line at infinity," which leads to enriched counts of bitangents that depend on their geometry relative to the quartic and this distinguished line.

math.AG↗
arXiv2019

Hyperbolicity of the partition Jensen polynomials

Given an arithmetic function $a: \mathbb{N} \rightarrow \mathbb{R}$, one can associate a naturally defined, doubly infinite family of Jensen polynomials. Recent work of Griffin, Ono, Rolen, and Zagier shows that for certain families of functions $a: \mathbb{N} \rightarrow \mathbb{R}$, the associated Jensen polynomials are eventually hyperbolic (i.e., eventually all of their roots are real). This work proves Chen, Jia, and Wang's conjecture that the partition Jensen polynomials are eventually hyperbolic as a special case. Here, we make this result explicit. Let $N(d)$ be the minimal number such that for all $n \geq N(d)$, the partition Jensen polynomial of degree $d$ and shift $n$ is hyperbolic. We prove that $N(3)=94$, $N(4)=206$, and $N(5)=381$, and in general, that $N(d) \leq (3d)^{24d} (50d)^{3d^{2}}$.

math.NT↗
arXiv2019

Towards Provably Not-at-Fault Control of Autonomous Robots in Arbitrary Dynamic Environments

As autonomous robots increasingly become part of daily life, they will often encounter dynamic environments while only having limited information about their surroundings. Unfortunately, due to the possible presence of malicious dynamic actors, it is infeasible to develop an algorithm that can guarantee collision-free operation. Instead, one can attempt to design a control technique that guarantees the robot is not-at-fault in any collision. In the literature, making such guarantees in real time has been restricted to static environments or specific dynamic models. To ensure not-at-fault behavior, a robot must first correctly sense and predict the world around it within some sufficiently large sensor horizon (the prediction problem), then correctly control relative to the predictions (the control problem). This paper addresses the control problem by proposing Reachability-based Trajectory Design for Dynamic environments (RTD-D), which guarantees that a robot with an arbitrary nonlinear dynamic model correctly responds to predictions in arbitrary dynamic environments. RTD-D first computes a Forward Reachable Set (FRS) offline of the robot tracking parameterized desired trajectories that include fail-safe maneuvers. Then, for online receding-horizon planning, the method provides a way to discretize predictions of an arbitrary dynamic environment to enable real-time collision checking. The FRS is used to map these discretized predictions to trajectories that the robot can track while provably not-at-fault. One such trajectory is chosen at each iteration, or the robot executes the fail-safe maneuver from its previous trajectory which is guaranteed to be not at fault. RTD-D is shown to produce not-at-fault behavior over thousands of simulations and several real-world hardware demonstrations on two robots: a Segway, and a small electric vehicle.

cs.RO↗
arXiv2017

Normal bundles of lines on hypersurfaces

Let $X \subset \mathbb{P}^n$ be a smooth hypersurface. Given a sequence of integers $\vec{a} = (a_1, \ldots, a_{n-2})$ with $a_1 \leq \cdots \leq a_{n-2}$, let $F_{\vec{a}}(X)$ be the parameter space of lines $L$ on $X$ such that $N_{L/X} \cong \mathcal{O}(a_1) \oplus \cdots \oplus \mathcal{O}(a_{n-2})$. The loci $F_{\vec{a}}(X)$ form a stratification of the Fano scheme of lines on $X$. We show that for general hypersurfaces, the $F_{\vec{a}}(X)$ have the expected dimension and, in this case, compute the class of $\overline{F_{\vec{a}}(X)}$ in the Chow ring of the Grassmannian of lines in $\mathbb{P}^n$. For certain splitting types $\vec{a}$, we also provide non-trivial upper bounds on the dimension of $F_{\vec{a}}(X)$ that hold for all smooth $X$.

math.AG↗
arXiv2016

Coefficients of McKay-Thompson series and distributions of the moonshine module

In a recent paper, Duncan, Griffin and Ono provide exact formulas for the coefficients of McKay-Thompson series and use them to find asymptotic expressions for the distribution of irreducible representations in the moonshine module $V^\natural = \bigoplus_n V_n^\natural$. Their results show that as $n$ tends to infinity, $V_n^\natural$ is dominated by direct sums of copies of the regular representation. That is, if we view $V_n^\natural$ as a module over the group ring $\mathbb{Z}[\mathbb{M}]$, the free-part dominates. A natural problem, posed at the end of the aforementioned paper, is to characterize the distribution of irreducible representations in the non-free part. Here, we study asymptotic formulas for the coefficients of McKay-Thompson series to answer this question. We arrive at an ordering of the series by the magnitude of their coefficients, which corresponds to various contributions to the distribution. In particular, we show how the asymptotic distribution of the non-free part is dictated by the column for conjugacy class 2A in the monster's character table. We find analogous results for the other monster modules $V^{(-m)}$ and $W^\natural$ studied by Duncan, Griffin, and Ono.

math.NT↗
arXiv2015

Shifted distinct-part partition identities in arithmetic progressions

The partition function $p(n)$, which counts the number of partitions of a positive integer $n$, is widely studied. Here, we study partition functions $p_S(n)$ that count partitions of $n$ into distinct parts satisfying certain congruence conditions. A shifted partition identity is an identity of the form $p_{S_1}(n-H) = p_{S_2}(n)$ for all $n$ in some arithmetic progression. Several identities of this type have been discovered, including two infinite families found by Alladi. In this paper, we use the theory of modular functions to determine the necessary and sufficient conditions for such an identity to exist. In addition, for two specific cases, we extend Alladi's theorem to other arithmetic progressions.

math.NT↗
arXiv2015

Modular units from quotients of Rogers-Ramanujan type $q$-series

In [4] and [5], Folsom presents a family of modular units as higher-level analogues of the Rogers-Ramanujan $q$-continued fraction. These units are constructed from analytic solutions to the higher-order $q$-recurrence equations of Selberg. Here, we consider another family of modular units, which are quotients of Hall-Littlewood $q$-series that appear in the generalized Rogers-Ramanujan type identities of [6]. In analogy with the results of Folsom, we provide a formula for the rank of the subgroup these units generate and show that their specializations at the cusp $0$ generate a subgroup of the cyclotomic unit group of the same rank. In addition, we prove that their singular values generate the same class fields as those of Folsom's units.

math.NT↗
arXiv2015

Generalized Andrews-Gordon Identities

In a recent paper, Griffin, Ono and Warnaar present a framework for Rogers-Ramanujan type identities using Hall-Littlewood polynomials to arrive at expressions of the form \[\sum_{λ: λ_1 \leq m} q^{a|λ|}P_{2λ}(1,q,q^2,\ldots ; q^{n}) = \text{"Infinite product modular function"}\] for $a = 1,2$ and any positive integers $m$ and $n$. A recent paper of Rains and Warnaar presents further Rogers-Ramanujan type identities involving sums of terms $q^{|λ|/2}P_λ(1,q,q^2,\ldots;q^n)$. It is natural to attempt to reformulate these various identities to match the well-known Andrews-Gordon identities they generalize. Here, we find combinatorial formulas to replace the Hall-Littlewood polynomials and arrive at such expressions.

math.NT↗
arXiv2014

Traces of singular values of Hauptmoduln

In an important paper, Zagier proved that certain half-integral weight modular forms are generating functions for traces of polynomials in the $j$-function. It turns out that Zagier's work makes it possible to algorithmically compute Hilbert class polynomials using a canonical family of modular forms of weight $\frac{3}{2}$. We generalize these results and consider Haupmoduln for levels $1, 2, 3, 5, 7,$ and $13$. We show that traces of singular values of polynomials in Haupmoduln are again described by coefficients of half-integral weight modular forms. This realization makes it possible to algorithmically compute class polynomials.

math.NT↗
arXiv2014

Congruence properties of Taylor coefficients of modular forms

In their work, Serre and Swinnerton-Dyer study the congruence properties of the Fourier coefficients of modular forms. We examine similar congruence properties, but for the coefficients of a modified Taylor expansion about a CM point $τ$. These coefficients can be shown to be the product of a power of a constant transcendental factor and an algebraic integer. In our work, we give conditions on $τ$ and a prime number $p$ that, if satisfied, imply that $p^m$ divides the algebraic part of all the Taylor coefficients of $f$ of sufficiently high degree. We also give effective bounds on the largest $n$ such that $p^m$ does not divide the algebraic part of the $n^{\text{th}}$ Taylor coefficient of $f$ at $τ$ that are sharp under certain additional hypotheses.

math.NT↗