Showing 1–9 of 9 results for author: Kenkel, J

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

Authors: Fiona Han, Jennifer Kenkel, Daniel Li, Sridhar Venkatesh, Ashley Wiles

Abstract: 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 wit… ▽ More 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). △ Less

Submitted 20 August, 2024; v1 submitted 28 June, 2023; originally announced June 2023.

Comments: We edited the paper to reflect the fact that Theorem 1.2 of this paper follows from Theorem 3.8 in Han's paper: "The Hilbert-Kunz function of a diagonal hypersurface." We are grateful to Cheng Meng for bringing this to our attention

Asymptotic Behavior of Differential Powers

Authors: Jennifer Kenkel, Lillian McPherson, Janet Page, Daniel Smolkin, Monroe Stephenson, Fuxiang Yang

Abstract: 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 possi… ▽ More 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. △ Less

Submitted 30 November, 2021; originally announced November 2021.

MSC Class: 13A15; 13N10

Lower Bounds on the F-pure Threshold and Extremal Singularities

Authors: Zhibek Kadyrsizova, Jennifer Kenkel, Janet Page, Jyoti Singh, Karen E. Smith, Adela Vraciu, Emily E. Witt

Abstract: 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)… ▽ More 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. △ Less

Submitted 13 May, 2022; v1 submitted 28 September, 2020; originally announced September 2020.

Comments: to appear in Transactions of the AMS

MSC Class: 13A35 (Primary) 14B05; 14G17; 14J70 (Secondary)

Cubic Surfaces of Characteristic Two

Authors: Zhibek Kadyrsizova, Jennifer Kenkel, Janet Page, Jyoti Singh, Karen E. Smith, Adela Vraciu, Emily E. Witt

Abstract: 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 d… ▽ More 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". △ Less

Submitted 13 May, 2022; v1 submitted 23 July, 2020; originally announced July 2020.

MSC Class: 13A35 (Primary) 14G17; 14J26 (Secondary)

Isomorphisms Between Local Cohomology Modules As Truncations of Taylor Series

Authors: Jennifer Kenkel

Abstract: 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… ▽ More 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. △ Less

Submitted 24 May, 2020; originally announced May 2020.

MSC Class: 13D45

Lengths of Local Cohomology of Thickenings

Authors: Jennifer Kenkel

Abstract: 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 leng… ▽ More 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. △ Less

Submitted 10 December, 2019; v1 submitted 5 December, 2019; originally announced December 2019.

MSC Class: 13D45

$F$-nilpotent rings and permanence properties

Authors: Jennifer Kenkel, Kyle Maddox, Thomas Polstra, Austyn Simpson

Abstract: 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 essentiall… ▽ More 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. △ Less

Submitted 30 January, 2020; v1 submitted 2 December, 2019; originally announced December 2019.

Comments: Improvements to the article have been made

Journal ref: J. Commut. Algebra 15(4): 559-575 (Winter 2023)

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

Authors: Madeline Brandt, William Dickinson, AnnaVictoria Ellsworth, Jennifer Kenkel, Hanson Smith

Abstract: 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. 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. △ Less

Submitted 14 May, 2019; v1 submitted 17 August, 2017; originally announced August 2017.

Comments: 27 pages, 14 figures

MSC Class: 52C15

Determinantal Generalizations of Instrumental Variables

Authors: Luca Weihs, Bill Robinson, Emilie Dufresne, Jennifer Kenkel, Kaie Kubjas, Reginald L. McGee II, Nhan Nguyen, Elina Robeva, Mathias Drton

Abstract: 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 confoun… ▽ More 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. △ Less

Submitted 13 February, 2017; originally announced February 2017.