Showing 1–10 of 10 results for author: Drabkin, B

Rees algebras of ideals of star configurations

Authors: Alessandra Costantini, Ben Drabkin, Lorenzo Guerrieri

Abstract: In this article we study the defining ideal of Rees algebras of ideals of star configurations. We characterize when these ideals are of linear type and provide sufficient conditions for them to be of fiber type. In the case of star configurations of height two, we give a full description of the defining ideal of the Rees algebra, by explicitly identifying a minimal generating set. In this article we study the defining ideal of Rees algebras of ideals of star configurations. We characterize when these ideals are of linear type and provide sufficient conditions for them to be of fiber type. In the case of star configurations of height two, we give a full description of the defining ideal of the Rees algebra, by explicitly identifying a minimal generating set. △ Less

Submitted 20 August, 2021; v1 submitted 26 July, 2021; originally announced July 2021.

Comments: 32 pages. In this updated version, we fixed typos and made a few changes in the exposition of Sections 2, 3 and 6

MSC Class: 13A02; 13A30; 13F65

Computing real powers of monomial ideals

Authors: Pratik Dongre, Benjamin Drabkin, Josiah Lim, Ethan Partida, Ethan Roy, Dylan Ruff, Alexandra Seceleanu, Tingting Tang

Abstract: This paper concerns the exponentiation of monomial ideals. While it is customary for the exponentiation operation on ideals to consider natural powers, we extend this notion to powers where the exponent is a positive real number. Real powers of a monomial ideal generalize the integral closure operation and highlight many interesting connections to the theory of convex polytopes. We provide multipl… ▽ More This paper concerns the exponentiation of monomial ideals. While it is customary for the exponentiation operation on ideals to consider natural powers, we extend this notion to powers where the exponent is a positive real number. Real powers of a monomial ideal generalize the integral closure operation and highlight many interesting connections to the theory of convex polytopes. We provide multiple algorithms for computing the real powers of a monomial ideal. An important result is that given any monomial ideal $I$, the function taking real numbers to the corresponding real power of $I$ is a step function whose jum** points are rational. This reduces the problem of determining real powers to rational exponents. △ Less

Submitted 31 August, 2022; v1 submitted 25 January, 2021; originally announced January 2021.

Comments: Revised version. To appear in the Journal of Symbolic Computation

Consequences of the packing problem

Authors: Hrishikesh Bodas, Benjamin Drabkin, Caleb Fong, Su **, Justin Kim, Wenxuan Li, Alexandra Seceleanu, Tingting Tang, Brendan Williams

Abstract: We study several consequences of the packing problem, a conjecture from combinatorial optimization, using algebraic invariants of square-free monomial ideals. While the packing problem is currently unresolved, we successfully settle the validity of its consequences. Our work prompts additional questions and conjectures, which are presented together with their motivation. We study several consequences of the packing problem, a conjecture from combinatorial optimization, using algebraic invariants of square-free monomial ideals. While the packing problem is currently unresolved, we successfully settle the validity of its consequences. Our work prompts additional questions and conjectures, which are presented together with their motivation. △ Less

Submitted 4 May, 2021; v1 submitted 11 January, 2021; originally announced January 2021.

Comments: Final version - Journal of Algebraic Combinatorics

MSC Class: 13C70; 13F55; 05E40; 05C65; 05C15

Convex bodies and asymptotic invariants for powers of monomial ideals

Authors: João Camarneiro, Benjamin Drabkin, Duarte Fragoso, William Frendreiss, Daniel Hoffman, Alexandra Seceleanu, Tingting Tang, Sewon Yang

Abstract: Continuing a well established tradition of associating convex bodies to monomial ideals, we initiate a program to construct asymptotic Newton polyhedra from decompositions of monomial ideals. This is achieved by forming a graded family of ideals based on a given decomposition. We term these graded families powers since they generalize the notions of ordinary and symbolic powers. Asymptotic invaria… ▽ More Continuing a well established tradition of associating convex bodies to monomial ideals, we initiate a program to construct asymptotic Newton polyhedra from decompositions of monomial ideals. This is achieved by forming a graded family of ideals based on a given decomposition. We term these graded families powers since they generalize the notions of ordinary and symbolic powers. Asymptotic invariants for these graded families are expressed as solutions to linear optimization problems on the respective convex bodies. This allows to establish a lower bound on the Waldschmidt constant of a monomial ideal by means of a more easily computable invariant, which we introduce under the name of naive Waldschmidt constant. △ Less

Submitted 9 February, 2022; v1 submitted 11 January, 2021; originally announced January 2021.

Comments: final version - to appear in the Journal of Pure and Applied Algebra

MSC Class: 13F55; 13F20; 52B20; 14M25

On resurgence via asymptotic resurgence

Authors: Michael DiPasquale, Ben Drabkin

Abstract: The resurgence and asymptotic resurgence of an ideal in a polynomial ring are two statistics which measure the relationship between its regular and symbolic powers. We address two aspects of resurgence which can be studied via asymptotic resurgence. First, we show that if an ideal has Noetherian symbolic Rees algebra then its resurgence is rational. Second, we derive two bounds on asymptotic resur… ▽ More The resurgence and asymptotic resurgence of an ideal in a polynomial ring are two statistics which measure the relationship between its regular and symbolic powers. We address two aspects of resurgence which can be studied via asymptotic resurgence. First, we show that if an ideal has Noetherian symbolic Rees algebra then its resurgence is rational. Second, we derive two bounds on asymptotic resurgence given a single known containment between a symbolic and regular power. From these bounds we recover and extend criteria for the resurgence of an ideal to be strictly less than its big height recently derived by Grifo, Huneke, and Mukundan. We achieve the reduction to asymptotic resurgence by showing that if the asymptotic resurgence and resurgence are different, then resurgence is a maximum instead of a supremum. △ Less

Submitted 29 July, 2020; v1 submitted 15 March, 2020; originally announced March 2020.

Comments: 17 pages. Content has been significantly expanded and re-arranged from the previous version. There is additional exposition as well as a new section on expected resurgence

MSC Class: 13F20; 13A15; 14C20

Singular loci of reflection arrangements and the containment problem

Authors: Ben Drabkin, Alexandra Seceleanu

Abstract: This paper provides insights into the role of symmetry in studying polynomial functions vanishing to high order on an algebraic variety. The varieties we study are singular loci of hyperplane arrangements in projective space, with emphasis on arrangements arising from complex reflection groups. We provide minimal sets of equations for the radical ideals defining these singular loci and study conta… ▽ More This paper provides insights into the role of symmetry in studying polynomial functions vanishing to high order on an algebraic variety. The varieties we study are singular loci of hyperplane arrangements in projective space, with emphasis on arrangements arising from complex reflection groups. We provide minimal sets of equations for the radical ideals defining these singular loci and study containments between the ordinary and symbolic powers of these ideals. △ Less

Submitted 13 February, 2021; v1 submitted 13 February, 2020; originally announced February 2020.

Comments: Minor revision: proof of Proposition 6.3 corrected. To appear in Mathematische Zeitschrift

MSC Class: Primary: 13A02; 13A50; Secondary: 14N20; 20F55

On quasi-equigenerated and Freiman cover ideals of graphs

Authors: Benjamin Drabkin, Lorenzo Guerrieri

Abstract: A quasi-equigenerated monomial ideal $I$ in the polynomial ring $R= k[x_1, \ldots, x_n]$ is a Freiman ideal if $μ(I^2) = l(I)μ(I)- \binom{l(I)}{2}$ where $l(I)$ is the analytic spread of $I$ and $μ(I)$ is the number of minimal generators of $I$. Freiman ideals are special since there exists an exact formula computing the minimal number of generators of any of their powers. In this work we address… ▽ More A quasi-equigenerated monomial ideal $I$ in the polynomial ring $R= k[x_1, \ldots, x_n]$ is a Freiman ideal if $μ(I^2) = l(I)μ(I)- \binom{l(I)}{2}$ where $l(I)$ is the analytic spread of $I$ and $μ(I)$ is the number of minimal generators of $I$. Freiman ideals are special since there exists an exact formula computing the minimal number of generators of any of their powers. In this work we address the question of characterizing which cover ideals of simple graphs are Freiman. △ Less

Submitted 16 September, 2019; originally announced September 2019.

Comments: 26 pages

MSC Class: 13F20; 13A30; 13C05; 05C25

Asymptotic invariants of ideals with Noetherian symbolic Rees algebra and applications to cover ideals

Authors: Ben Drabkin, Lorenzo Guerrieri

Abstract: Let $I$ be an ideal whose symbolic Rees algebra is Noetherian. For $m \geq 1$, the $m$-th symbolic defect, sdefect$(I,m)$, of $I$ is defined to be the minimal number of generators of the module $\frac{I^{(m)}}{I^m}$. We prove that sdefect$(I,m)$ is eventually quasi-polynomial as a function in $m$. We compute the symbolic defect explicitly for certain monomial ideals arising from graphs, termed cov… ▽ More Let $I$ be an ideal whose symbolic Rees algebra is Noetherian. For $m \geq 1$, the $m$-th symbolic defect, sdefect$(I,m)$, of $I$ is defined to be the minimal number of generators of the module $\frac{I^{(m)}}{I^m}$. We prove that sdefect$(I,m)$ is eventually quasi-polynomial as a function in $m$. We compute the symbolic defect explicitly for certain monomial ideals arising from graphs, termed cover ideals. We go on to give a formula for the Waldschmidt constant, an asymptotic invariant measuring the growth of the degrees of generators of symbolic powers, for ideals whose symbolic Rees algebra is Noetherian. △ Less

Submitted 28 March, 2019; v1 submitted 6 February, 2018; originally announced February 2018.

Comments: 22 pages, 5 figures

MSC Class: 13F20; 05C25

Computations involving symbolic powers

Authors: Ben Drabkin, Eloísa Grifo, Alexandra Seceleanu, Branden Stone

Abstract: Symbolic powers are a classical commutative algebra topic that relates to primary decomposition, consisting, in some circumstances, of the functions that vanish up to a certain order on a given variety. However, these are notoriously difficult to compute, and there are seemingly simple questions related to symbolic powers that remain open even over polynomial rings. In this paper, we describe a Ma… ▽ More Symbolic powers are a classical commutative algebra topic that relates to primary decomposition, consisting, in some circumstances, of the functions that vanish up to a certain order on a given variety. However, these are notoriously difficult to compute, and there are seemingly simple questions related to symbolic powers that remain open even over polynomial rings. In this paper, we describe a Macaulay2 software package that allows for computations of symbolic powers of ideals and which can be used to study the equality and containment problems, among others. △ Less

Submitted 4 December, 2017; originally announced December 2017.

Journal ref: J. Softw. Alg. Geom. 9 (2019) 71-80

Configurations of Linear Spaces of Codimension Two and the Containment Problem

Authors: Ben Drabkin

Abstract: We show that the union of certain codimension two flats in Fermat hyperplane arrangements does not have the symbolic cube of the defining ideal contained in the square of the ideal. We show that the union of certain codimension two flats in Fermat hyperplane arrangements does not have the symbolic cube of the defining ideal contained in the square of the ideal. △ Less

Submitted 25 April, 2017; originally announced April 2017.