arXiv subjects

Gwyneth Moreland

Publications and source records attributed to Gwyneth Moreland.

7 recordsLinked to original sources

arXiv2024

Higher codimension nef and effective cycles on the Hilbert scheme of 3 points in projective 3-space

Nef and effective cones of divisors have been the subject of much study. In contrast, their higher codimension analogues are much harder to compute and few examples exist in the literature. In this paper we compute the nef cones in codimensions 2 & 3 and the effective cones in dimensions 2 & 3 for the Hilbert scheme of three points in $\mathbb{P}^3$. Our computation generalizes results of Ryan & Stathis and requires a careful analysis of the PGL orbits in the Hilbert scheme, as well as a new basis of the Chow ring inspired by Mallavibarrena and Sols.

math.AG↗

arXiv2024

Avoiding 3-Term Geometric Progressions in Hurwitz Quaternions

Several recent papers have considered the problem of how large a subset of integers can be without containing any 3-term geometric progressions. This problem has also recently been generalized to rings of integers in quadratic number fields and polynomial rings over finite fields. We study the analogous problem in the Hurwitz quaternion order to see how non-commutativity affects the problem. We compute an exact formula for the density of a 3-term geometric-progression-free set of Hurwitz quaternions arising from a greedy algorithm and derive upper and lower bounds for the supremum of upper densities of 3-term geometric-progression-free sets of Hurwitz quaternions.

math.CO↗

arXiv2022

On the Top-Weight Rational Cohomology of $A_g$

We compute the top-weight rational cohomology of $A_g$ for $g=5$, $6$, and $7$, and we give some vanishing results for the top-weight rational cohomology of $A_8, A_9,$ and $ A_{10}$. When $g=5$ and $g=7$, we exhibit nonzero cohomology groups of $A_g$ in odd degree, thus answering a question highlighted by Grushevsky. Our methods develop the relationship between the top-weight cohomology of $A_g$ and the homology of the link of the moduli space of principally polarized tropical abelian varieties of rank $g$. To compute the latter we use the Voronoi complexes used by Elbaz-Vincent-Gangl-Soulé. Our computations give natural candidates for compactly supported cohomology classes of $A_g$ in weight $0$ that produce the stable cohomology classes of the Satake compactification of $A_g$ in weight $0$, under the Gysin spectral sequence for the latter space.

math.AG↗

arXiv2017

Dimensional lower bounds for Falconer type incidence and point configuration theorems

Let $1 \leq k \leq d$ and consider a subset $E\subset \mathbb{R}^d$. In this paper, we study the problem of how large the Hausdorff dimension of $E$ must be in order for the set of distinct noncongruent $k$-simplices in $E$ (that is, noncongruent point configurations of $k+1$ points from $E$) to have positive Lebesgue measure. This generalizes the $k=1$ case, the well-known Falconer distance problem and a major open problem in geometric measure theory. We establish a dimensional lower threshold of $\frac{d(k+1)}{d+2}$ for Falconer type theorems for $k$-simplices. This threshold is nontrivial in the range $d/2 \leq k \leq d$ and is obtained through counting simplices in a standard lattice using results of the Gauss circle problem. Many results on Falconer type theorems have been established through incidence theorems, which generally establish sufficient but not necessary conditions for the point configuration theorems. We also establish a dimensional lower threshold of $\frac{d+1}{2}$ on incidence theorems for $k$-simplices where $k\leq d \leq 2k+1$ by generalizing an example of Mattila. Finally, we prove a dimensional lower threshold of $\frac{d+1}{2}$ on incidence theorems for triangles in a convex setting in every dimension greater than $3$. This last result generalizes work by Iosevich and Senger on distances that was built on a construction by Valtr. The final result utilizes number-theoretic machinery to estimate the number of solutions to a Diophantine equation.

math.CA↗

arXiv2016

Subsets of $\mathbb{F}_q[x]$ free of 3-term geometric progressions

Several recent papers have considered the Ramsey-theoretic problem of how large a subset of integers can be without containing any 3-term geometric progressions. This problem has also recently been generalized to number fields, determining bounds on the greatest possible density of ideals avoiding geometric progressions. We study the analogous problem over $\mathbb{F}_q[x]$, first constructing a set greedily which avoids these progressions and calculating its density, and then considering bounds on the upper density of subsets of $\mathbb{F}_q[x]$ which avoid 3-term geometric progressions. This new setting gives us a parameter $q$ to vary and study how our bounds converge to 1 as it changes, and finite characteristic introduces some extra combinatorial structure that increases the tractibility of common questions in this area.

math.NT↗

arXiv2015

A binomial Laurent phenomenon algebra associated to the complete graph

In this paper we find the exchange graph of the rank n binomial Laurent phenomenon algebra associated to the complete graph on n vertices. More specifically, we prove that this exchange graph is isomorphic to that of the rank n linear Laurent phenomenon algebra associated to the complete graph on n vertices discussed in arxiv.org/abs/1206.2612.

math.RT↗

arXiv2013

Some Diophantine equations related to positive-rank elliptic curves

We give conditions on the rational numbers a,b,c which imply that there are infinitely many triples (x,y,z) of rational numbers such that x+y+z=a+b+c and xyz=abc. We do the same for the equations x+y+z=a+b+c and x^3+y^3+z^3=a^3+b^3+c^3. These results rely on exhibiting families of positive-rank elliptic curves.

math.NT↗