-
Higher codimension nef and effective cycles on the Hilbert scheme of 3 points in projective 3-space
Authors:
Gwyneth Moreland
Abstract:
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 & S…
▽ More
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.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
On the Top-Weight Rational Cohomology of $A_g$
Authors:
Madeline Brandt,
Juliette Bruce,
Melody Chan,
Margarida Melo,
Gwyneth Moreland,
Corey Wolfe
Abstract:
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$…
▽ More
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.
△ Less
Submitted 5 December, 2022; v1 submitted 4 December, 2020;
originally announced December 2020.
-
Avoiding 3-Term Geometric Progressions in Hurwitz Quaternions
Authors:
Megumi Asada,
Bruce Fang,
Eva Fourakis,
Sarah Manski,
Nathan McNew,
Steven J. Miller,
Gwyneth Moreland,
Ajmain Yamin,
Sindy Xin Zhang
Abstract:
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 co…
▽ More
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.
△ Less
Submitted 20 January, 2024; v1 submitted 19 July, 2018;
originally announced July 2018.
-
Dimensional lower bounds for Falconer type incidence and point configuration theorems
Authors:
Jonathan DeWitt,
Kevin Ford,
Eli Goldstein,
Steven J. Miller,
Gwyneth Moreland,
Eyvindur A. Palsson,
Steven Senger
Abstract:
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 probl…
▽ More
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.
△ Less
Submitted 2 September, 2017; v1 submitted 1 December, 2016;
originally announced December 2016.
-
Subsets of $\mathbb{F}_q[x]$ free of 3-term geometric progressions
Authors:
Megumi Asada,
Eva Fourakis,
Sarah Manski,
Nathan McNew,
Steven J. Miller,
Gwyneth Moreland
Abstract:
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 s…
▽ More
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.
△ Less
Submitted 20 January, 2016; v1 submitted 7 December, 2015;
originally announced December 2015.
-
A binomial Laurent phenomenon algebra associated to the complete graph
Authors:
Stella Gastineau,
Gwyneth Moreland
Abstract:
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.
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.
△ Less
Submitted 10 December, 2015; v1 submitted 3 June, 2015;
originally announced June 2015.
-
Some Diophantine equations related to positive-rank elliptic curves
Authors:
Gwyneth Moreland,
Michael E. Zieve
Abstract:
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.
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.
△ Less
Submitted 4 April, 2013;
originally announced April 2013.
