-
Higher Dimensional Brill-Noether Loci and Moduli for Very Ample Line Bundles
Authors:
Brian Nugent
Abstract:
In this paper, we study Brill-Noether loci for higher dimensional varieties. Let $M$ be a moduli space of coherent sheaves on $X$. The Brill-Noether loci of $M$ are the closed subsets $\{\mathcal{F} \in M : h^0(X,\mathcal{F}) \geq k+1\}$. When $X$ is a smooth curve and $M = \textbf{Pic}_X^d$, the space of degree $d$ line bundles on $X$, the Brill-Noether loci have a natural determinantal scheme st…
▽ More
In this paper, we study Brill-Noether loci for higher dimensional varieties. Let $M$ be a moduli space of coherent sheaves on $X$. The Brill-Noether loci of $M$ are the closed subsets $\{\mathcal{F} \in M : h^0(X,\mathcal{F}) \geq k+1\}$. When $X$ is a smooth curve and $M = \textbf{Pic}_X^d$, the space of degree $d$ line bundles on $X$, the Brill-Noether loci have a natural determinantal scheme structure coming from a map of vector bundles on $\textbf{Pic}_X^d$, which is the main tool in studying their geometry. In [CMR10], the authors generalize this to the case where $X$ is any variety and $M$ is the moduli space of stable vector bundles on $X$ with fixed invariants but require that $H^i(X,E) = 0$ for all $E \in M$ and $i \geq 2$. We generalize these results by showing how to give a natural determinantal scheme structure to the Brill-Noether loci for any $X$ and any $M$. In doing so we develop the theory of Fitting ideals for a complex which can be used to define natural scheme structures in other cases as well, such as the locus of points where the projective dimension of a coherent sheaf jumps up. As an application of our results, we construct moduli spaces for very ample line bundles on a variety.
△ Less
Submitted 15 October, 2024; v1 submitted 27 May, 2024;
originally announced May 2024.
-
Extending a problem of Pillai to Gaussian lines
Authors:
Elsa Magness,
Brian Nugent,
Leanne Robertson
Abstract:
Let $L$ be a primitive Gaussian line, that is, a line in the complex plane that contains two, and hence infinitely many, coprime Gaussian integers. We prove that there exists an integer $G_L$ such that for every integer $n\geq G_L$ there are infinitely many sequences of $n$ consecutive Gaussian integers on $L$ with the property that none of the Gaussian integers in the sequence is coprime to all t…
▽ More
Let $L$ be a primitive Gaussian line, that is, a line in the complex plane that contains two, and hence infinitely many, coprime Gaussian integers. We prove that there exists an integer $G_L$ such that for every integer $n\geq G_L$ there are infinitely many sequences of $n$ consecutive Gaussian integers on $L$ with the property that none of the Gaussian integers in the sequence is coprime to all the others. We also investigate the smallest integer $g_L$ such that $L$ contains a sequence of $g_L$ consecutive Gaussian integers with this property. We show that $g_L\neq G_L$ in general. Also, $g_L\geq 7$ for every Gaussian line $L$, and we give necessary and sufficient conditions for $g_L=7$ and describe infinitely many Gaussian lines with $g_L\geq 260,000$. We conjecture that both $g_L$ and $G_L$ can be arbitrarily large. Our results extend a well-known problem of Pillai from the rational integers to the Gaussian integers.
△ Less
Submitted 30 June, 2022;
originally announced July 2022.
-
Walking to infinity on gaussian lines
Authors:
Elsa Magness,
Brian Nugent,
Leanne Robertson
Abstract:
We study analogies between the rational integers on the real line and the Gaussian integers on other lines in the complex plane. This includes a Gaussian analog of Bertrands Postulate, the Chinese Remainder Theorem, and the periodicity of divisibility. We also computationally investigate the distribution of Gaussian primes along these lines and leave the reader with several open problems.
We study analogies between the rational integers on the real line and the Gaussian integers on other lines in the complex plane. This includes a Gaussian analog of Bertrands Postulate, the Chinese Remainder Theorem, and the periodicity of divisibility. We also computationally investigate the distribution of Gaussian primes along these lines and leave the reader with several open problems.
△ Less
Submitted 14 January, 2020;
originally announced January 2020.
-
Pure $\mathcal{O}$-sequences arising from $2$-dimensional PS ear-decomposable simplicial complexes
Authors:
Steven Klee,
Brian Nugent
Abstract:
We show that the $h$-vector of a $2$-dimensional PS ear-decomposable simplicial complex is a pure $\mathcal{O}$-sequence. This provides a strengthening of Stanley's conjecture for matroid $h$-vectors in rank $3$. Our approach modifies the approach of combinatorial shifting for arbitrary simplicial complexes to the setting of $2$-dimensional PS ear-decomposable complexes, which allows us to greedil…
▽ More
We show that the $h$-vector of a $2$-dimensional PS ear-decomposable simplicial complex is a pure $\mathcal{O}$-sequence. This provides a strengthening of Stanley's conjecture for matroid $h$-vectors in rank $3$. Our approach modifies the approach of combinatorial shifting for arbitrary simplicial complexes to the setting of $2$-dimensional PS ear-decomposable complexes, which allows us to greedily construct a corresponding pure multicomplex.
△ Less
Submitted 9 November, 2018;
originally announced November 2018.
