SearcharxivSearch

arXiv subjects

Jake Kettinger

Publications and source records attributed to Jake Kettinger.

8 recordsLinked to original sources

Collinearly complete sets and finite subgroups from configurations of skew $n$-planes in $\mathbb P^{2n+1}_K$

We study collinearly complete finite sets of points arising from configurations of pairwise skew $n$-planes in $\mathbb {P}^{2n+1}_K$. To such a configuration we associate a groupoid generated by the natural collinearity correspondences between the $n$-planes, and we investigate the geometry of its finite orbits. In characteristic zero, we prove a rigidity result for the case in which the associated group is finite cyclic. After a suitable normalization, the matrices defining the configuration are simultaneously diagonalizable and admit a common two-block decomposition. Consequently, the orbit of a general point meets each $n$-plane in a collinear set, and the full orbit is contained in a distinguished projective $3$-space. This reduces the geometry of such orbits to the classical case of skew lines in $\mathbb {P}^3_{\mathbb C}$: inside the distinguished $\mathbb{P}^3_{\mathbb C}$, the orbit is geproci. We also prove that finite unions of general orbits are cut out set-theoretically from the union of the $n$-planes by a reducible surface. Finally, we show that this characteristic-zero rigidity fails in positive characteristic. In characteristic $2$, we construct cyclic examples whose orbit slices are Fano plane configurations, and we exhibit a genuinely higher-dimensional finite non-cyclic example in projective $5$-space with associated group ${\rm PGL}_3(\mathbb F_2)\cong {\rm PSL}_2(\mathbb F_7)$.

math.AG

Finite groupoids of configurations of lines in $\mathbb{P}^{3}_{\mathbb{C}}$

In this paper, we investigate groupoids coming from configurations of lines in three-dimensional space. Given a point and two skew lines in $\mathbb{P}^{3}_{K}$ over a field $K$, there exists a unique line containing the given point and meeting the two given lines. We use this construction to define a projection function from one line to another by using a skew line as an auxiliary. This way, we may create a groupoid whose objects are lines in a configuration, and whose morphisms are induced by these projection functions. We look at specific configurations for $K=\mathbb{C}$ that yield groupoids with finite automorphism groups.

math.AG

On the algebraic properties of the B\"or\"oczky configuration

The B\"or\"oczky configuration of lines and (multiple) points exhibits extremal behavior in commutative algebra and combinatorics. Examples of this appear in the context of the containment problem for ordinary and symbolic powers and the proof of the Dirac-Motzkin conjecture by Green and Tao. This paper studies the algebraic properties of B\"or\"oczky configurations for arbitrary values of $n$. Our results compute the Waldschmit constant of the defining ideal of these configurations. Moreover, we use the weighted projective plane $\mathbb{P}(1,2,3)$ to give an upper bound for the degree of the minimal generators of their ideal. Finally, this construction is applied to an elliptic curve in $\mathbb{P}^2$ to give a new counterexample to the containment $I^{(3)}\subseteq I^2$.

math.AC

The classification of quasi-elliptic fibrations and unexpected plane cubics in characteristics 2 and 3

In this paper, we categorize all isomorphism classes of quasi-elliptic surfaces over a field $k$ of characteristic 2 or 3. For every quasi-elliptic surface $X$, we classify all possible sequences of blow-downs from $X$ to the projective plane $\mathbb{P}^2_k$. We then use these categorizations to identify all unexpected plane cubic curves in characteristic 2 and present a proof of the lack of unexpected cubics in characteristic 3. Before the work in this paper -- based partly on the author's thesis -- the complete classification of unexpected plane cubic curves in characteristic 2 was unknown, as well as the question of the existence of unexpected plane cubic curves in characteristic 3.

math.AG

Oriented Steiner Triple Systems, Steiner Products, and Dynamics

Let S denote a Steiner triple system on an n-element set. An orientation of S is an assignment of a cyclic ordering to each of the triples in S. From an oriented Steiner triple system, one can define an anticommutative bilinear operation on Rn resembling the cross product. We call this bilinear operation a Steiner product. We classify the oriented Steiner triple systems on sets of size 7 and 9 and investigate the dynamics of their associated Steiner products.

math.CO

The dynamics of the Hesse derivative on the $j$-invariant

In this paper, we study the Hesse derivative of a cubic curve on the set of $j$-invariants, which can be viewed as a rational function on the Riemann sphere. We then analyze the dynamics of this rational function, including counting the number of orbits of a given size. We proceed to investigate when a cubic curve is isomorphic to its $n$-fold Hesse derivative, showing that when an elliptic curve has a $j$-invariant that is periodic under this rational function, the curve itself must be periodic under the Hesse derivative. We finish with some data collected comparing the sizes of the orbits of elliptic curves to those of their $j$-invariants, and some further questions about this dynamical system.

math.AG

The geproci property in positive characteristic

The geproci property is a recent development in the world of geometry. We call a set of points $Z\subseteq\mathbb{P}_k^3$ an $(a,b)$-geproci set (for GEneral PROjection is a Complete Intersection) if its projection from a general point $P$ to a plane is a complete intersection of curves of degrees $a\leq b$. Nondegenerate examples known as grids have been known since 2011. Nondegenerate nongrids were found starting in 2018, working in characteristic 0. Almost all of these new examples are of a special kind called half grids. Before the work in this paper -- based partly on the author's thesis -- only a few examples of geproci nontrivial non-grid non-half grids were known and there was no known way to generate more. Here, we use geometry in the positive characteristic setting to give new methods of producing geproci half grids and non-half grids.

math.AG

Extreme values of the resurgence for homogeneous ideals in polynomial rings

We show that two ostensibly different versions of the asymptotic resurgence introduced by Guardo, Harbourne and Van Tuyl in 2013 are the same. We also show that the resurgence and asymptotic resurgence attain their maximal values simultaneously, if at all, which we apply to a conjecture of Grifo. For radical ideals of points, we show that the resurgence and asymptotic resurgence attain their minimal values simultaneously. In addition, we introduce an integral closure version of the resurgence and relate it to the other versions of the resurgence. In closing we provide various examples and raise some related questions, and we finish with some remarks about computing the resurgence.

math.AC