arXiv subjects

Jennifer Kenkel

Publications and source records attributed to Jennifer Kenkel.

9 recordsLinked to original sources

arXiv2023

On Lengths of $\mathbb{F}_2[x,y,z]/(x^{d_1}, y^{d_2},z^{d_3}, x+y+z)$

In this paper, we provide a formula for the vector space dimension of the ring $\mathbb{F}_2[x,y,z]/(x^{d_1}, y^{d_2},z^{d_3}, x+y+z)$ over $\mathbb{F}_2$ when $d_1,d_2,d_3$ all lie between successive powers of $2$. For general $d_1,d_2,d_3$, we provide a simple algorithm to calculate the vector space dimension of $\mathbb{F}_2[x,y,z]/(x^{d_1}, y^{d_2},z^{d_3}, x+y+z)$ by combining our formula with certain results of Chungsim Han (1992).

math.AC↗

arXiv2022

Lower Bounds on the F-pure Threshold and Extremal Singularities

We prove that if $f$ is a reduced homogenous polynomial of degree $d$, then its $F$-pure threshold at the unique homogeneous maximal ideal is at least $\frac{1}{d-1}$. We show, furthermore, that its $F$-pure threshold equals $\frac{1}{d-1}$ if and only if $f\in \mathfrak m^{[q]}$ and $d=q+1$, where $q$ is a power of $p$. Up to linear changes of coordinates (over a fixed algebraically closed field), we classify such "extremal singularities," and show that there is at most one with isolated singularity. Finally, we indicate several ways in which the projective hypersurfaces defined by such forms are "extremal," for example, in terms of the configurations of lines they can contain.

math.AC↗

arXiv2022

Cubic Surfaces of Characteristic Two

Cubic surfaces in characteristic two are investigated from the point of view of prime characteristic commutative algebra. In particular, we prove that, the non-Frobenius split cubic surfaces form a linear subspace of codimension four in the 19-dimensional space of all cubics, and that up to projective equivalence, there are finitely many non-Frobenius split cubic surfaces. We explicitly describe defining equations for each and characterize them as extremal in terms of configurations of lines on them. In particular, a (possibly singular) cubic surface in characteristic two fails to be Frobenius split if and only if no three lines on it form a "triangle".

math.AC↗

arXiv2021

Asymptotic Behavior of Differential Powers

In this paper, we study the differential power operation on ideals. We begin with a focus on monomial ideals in characteristic 0 and find a class of ideals whose differential powers are eventually principal. We also study the containment problem between ordinary and differential powers of ideals, in analogy to earlier work comparing ordinary and symbolic powers of ideals. We further define a possible closure operation on ideals, called the differential closure, in analogy with integral closure and tight closure. We show that this closure operation agrees with taking the radical of an ideal if and only if the ambient ring is a simple $D$-module.

math.AC↗

arXiv2020

Isomorphisms Between Local Cohomology Modules As Truncations of Taylor Series

Let $R$ be a standard graded polynomial ring that is finitely generated over a field, and let $I$ be a homogenous prime ideal of $R$. Bhatt, Blickle, Lyubeznik, Singh, and Zhang examined the local cohomology of $R/I^t$, as $t$ grows arbitrarily large. Such rings are known as thickenings of $R/I$. We consider $R = \mathbb{F}[X]$ where $\mathbb{F}$ is a field of characteristic 0, $X$ is a $2 \times m$ matrix, and $I$ is the ideal generated by size two minors. We give concrete constructions for the local cohomology modules of thickenings of $R/I$. Bizarrely, these local cohomology modules can be described using the Taylor series of natural log.

math.AC↗

arXiv2019

Lengths of Local Cohomology of Thickenings

Let $R$ be a standard graded polynomial ring that is finitely generated over a field of characteristic $0$, let $\mathfrak{m}$ be the homogeneous maximal ideal of $R$, and let $I$ be a homogeneous prime ideal of $R$. Dao and Montaño defined an invariant that, in the case that $\operatorname{Proj}(R/I)$ is lci and for cohomological index less than $\dim(R/I)$, measures the asymptotic growth of lengths of local cohomology modules of thickenings. They showed its existence and rationality for certain classes of monomial ideals $I$. The following affirms that the invariant exists and is rational for rings $R = \mathbb{C}[X]$ where $X$ is a $2 \times m$ matrix and $I$ is the ideal generated by size two minors and is to our knowledge, the first non-monomial calculation of this invariant.

math.AC↗

arXiv2019

$F$-nilpotent rings and permanence properties

We explore the singularity classes $F$-nilpotent, weakly $F$-nilpotent, and generalized weakly $F$-nilpotent under faithfully flat local ring maps. As an application, we show that the loci of primes in a Noetherian ring of prime characteristic which define either weakly $F$-nilpotent or $F$-nilpotent local rings are open with respect to the Zariski topology whenever $R$ is $F$-finite or essentially of finite type over an excellent local ring.

math.AC↗

arXiv2019

Optimal Packings of Two to Four Equal Circles on Any Flat Torus

We find explicit formulas for the radii and locations of the circles in all the optimally dense packings of two, three or four equal circles on any flat torus, defined to be the quotient of the Euclidean plane by the lattice generated by two independent vectors. We prove the optimality of the arrangements using techniques from rigidity theory and topological graph theory.

math.MG↗

arXiv2017

Determinantal Generalizations of Instrumental Variables

Linear structural equation models relate the components of a random vector using linear interdependencies and Gaussian noise. Each such model can be naturally associated with a mixed graph whose vertices correspond to the components of the random vector. The graph contains directed edges that represent the linear relationships between components, and bidirected edges that encode unobserved confounding. We study the problem of generic identifiability, that is, whether a generic choice of linear and confounding effects can be uniquely recovered from the joint covariance matrix of the observed random vector. An existing combinatorial criterion for establishing generic identifiability is the half-trek criterion (HTC), which uses the existence of trek systems in the mixed graph to iteratively discover generically invertible linear equation systems in polynomial time. By focusing on edges one at a time, we establish new sufficient and necessary conditions for generic identifiability of edge effects extending those of the HTC. In particular, we show how edge coefficients can be recovered as quotients of subdeterminants of the covariance matrix, which constitutes a determinantal generalization of formulas obtained when using instrumental variables for identification.

math.ST↗