Showing 1–19 of 19 results for author: Fouli, L

Generalized Hamming weights and symbolic powers of Stanley-Reisner ideals of matroids

Authors: Michael DiPasquale, Louiza Fouli, Arvind Kumar, Ştefan O. Tohǎneanu

Abstract: It is well-known that the first generalized Hamming weight of a code, more commonly called \textit{the minimum distance} of the code, corresponds to the initial degree of the Stanley-Reisner ideal of the matroid of the dual code. Our starting point in this paper is a generalization of this fact -- namely, the $r$-th generalized Hamming weight of a code is the smallest degree of a squarefree monomi… ▽ More It is well-known that the first generalized Hamming weight of a code, more commonly called \textit{the minimum distance} of the code, corresponds to the initial degree of the Stanley-Reisner ideal of the matroid of the dual code. Our starting point in this paper is a generalization of this fact -- namely, the $r$-th generalized Hamming weight of a code is the smallest degree of a squarefree monomial in the $r$-th symbolic power of the Stanley-Reisner ideal of the matroid of the dual code (in the appropriate range for $r$). It turns out that the squarefree monomials in successive symbolic powers of the Stanley-Reisner ideal of a matroid suffice to describe all symbolic powers of the Stanley-Reisner ideal. This implies that generalized Hamming weights -- which can be defined in a natural way for matroids -- are fundamentally tied to the structure of symbolic powers of Stanley-Reisner ideals of matroids. We illustrate this by studying initial degree statistics of symbolic powers of the Stanley-Reisner ideal of a matroid in terms of generalized Hamming weights and working out many examples that are meaningful from a coding-theoretic perspective. Our results also apply to projective varieties known as matroid configurations introduced by Geramita-Harbourne-Migliore-Nagel. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Comments: 37 pages. Comments welcome!

MSC Class: 94B05; 05B35; 05E40; 13F55; 51E10

The core of monomial ideals

Authors: Louiza Fouli, Jonathan Montaño, Claudia Polini, Bernd Ulrich

Abstract: The core of an ideal is defined as the intersection of all of its reductions. In this paper we provide an explicit description for the core of a monomial ideal $I$ satisfying certain residual conditions, showing that ${\rm core}(I)$ coincides with the largest monomial ideal contained in a general reduction of $I$. We prove that the class of lex-segment ideals satisfies these residual conditions an… ▽ More The core of an ideal is defined as the intersection of all of its reductions. In this paper we provide an explicit description for the core of a monomial ideal $I$ satisfying certain residual conditions, showing that ${\rm core}(I)$ coincides with the largest monomial ideal contained in a general reduction of $I$. We prove that the class of lex-segment ideals satisfies these residual conditions and study the core of lex-segment ideals generated in one degree. For monomial ideals that do not necessarily satisfy the residual conditions and that are generated in one degree, we conjecture an explicit formula for the core, and make progress towards this conjecture. △ Less

Submitted 18 March, 2023; originally announced March 2023.

MSC Class: Primary: 13A30; 13B22; 05E40. Secondary: 14F18; 13C40; 13P10

Residual Intersections and Core of Modules

Authors: Alessandra Costantini, Louiza Fouli, Jooyoun Hong

Abstract: We introduce the notion of residual intersections of modules and prove their existence. We show that projective dimension one modules have Cohen-Macaulay residual intersections, namely they satisfy the relevant Artin-Nagata property. We then establish a formula for the core of orientable modules satisfying certain homological conditions, extending previous results of Corso, Polini, and Ulrich on t… ▽ More We introduce the notion of residual intersections of modules and prove their existence. We show that projective dimension one modules have Cohen-Macaulay residual intersections, namely they satisfy the relevant Artin-Nagata property. We then establish a formula for the core of orientable modules satisfying certain homological conditions, extending previous results of Corso, Polini, and Ulrich on the core of projective one modules. Finally, we provide examples of classes of modules that satisfy our assumptions. △ Less

Submitted 26 May, 2022; originally announced May 2022.

Regular Sequences On Squares Of Monomial Ideals

Authors: Louiza Fouli, Tài Huy Hà, Susan Morey

Abstract: We use initially regular sequences that consist of linear sums to explore the depth of $R/I^2$, when $I$ is a monomial ideal in a polynomial ring $R$. We give conditions under which these linear sums form regular or initially regular sequences on $R/I^2$. We then obtain a criterion for when $\depth R/I^2>1$ and a lower bound on $\depth R/I^2$. We use initially regular sequences that consist of linear sums to explore the depth of $R/I^2$, when $I$ is a monomial ideal in a polynomial ring $R$. We give conditions under which these linear sums form regular or initially regular sequences on $R/I^2$. We then obtain a criterion for when $\depth R/I^2>1$ and a lower bound on $\depth R/I^2$. △ Less

Submitted 26 August, 2022; v1 submitted 22 December, 2021; originally announced December 2021.

Comments: Revised version, to appear in Sao Paolo Journal of Math in special volume in honor of Rafael Villarreal

MSC Class: 13C15; 13D05; 05E40; 13P10

Rees algebras of sparse determinantal ideals

Authors: Ela Celikbas, Emilie Dufresne, Louiza Fouli, Elisa Gorla, Kuei-Nuan Lin, Claudia Polini, Irena Swanson

Abstract: We determine the defining equations of the Rees algebra and of the special fiber ring of the ideal of maximal minors of a $2\times n$ sparse matrix. We prove that their initial algebras are ladder determinantal rings. This allows us to show that the Rees algebra and the special fiber ring are Cohen-Macaulay domains, they are Koszul, they have rational singularities in characteristic zero and are F… ▽ More We determine the defining equations of the Rees algebra and of the special fiber ring of the ideal of maximal minors of a $2\times n$ sparse matrix. We prove that their initial algebras are ladder determinantal rings. This allows us to show that the Rees algebra and the special fiber ring are Cohen-Macaulay domains, they are Koszul, they have rational singularities in characteristic zero and are F-rational in positive characteristic. △ Less

Submitted 8 January, 2021; originally announced January 2021.

Comments: Comments welcome

MSC Class: Primary 13A30; 13C40; Secondary 14M12; 13P10; 05E40; 13F50

Depth of powers of squarefree monomial ideals

Authors: Louiza Fouli, Huy Tài Hà, Susan Morey

Abstract: We derive two general bounds for the depths of powers of squarefree monomial ideals corresponding to hyperforests. These bounds generalize known bounds for the depths of squarefree monomial ideals, which were given in terms of the edgewise domination number of the corresponding hypergraphs and the lengths of initially regular sequences with respect to the ideals. We derive two general bounds for the depths of powers of squarefree monomial ideals corresponding to hyperforests. These bounds generalize known bounds for the depths of squarefree monomial ideals, which were given in terms of the edgewise domination number of the corresponding hypergraphs and the lengths of initially regular sequences with respect to the ideals. △ Less

Submitted 5 July, 2019; v1 submitted 30 June, 2019; originally announced July 2019.

Comments: Minor revision. arXiv admin note: substantial text overlap with arXiv:1810.01512

Initially regular sequences and depths of ideals

Authors: Louiza Fouli, Huy Tai Ha, Susan Morey

Abstract: For an arbitrary ideal $I$ in a polynomial ring $R$ we define the notion of initially regular sequences on $R/I$. These sequences share properties with regular sequences. In particular, the length of an initially regular sequence provides a lower bound for the depth of $R/I$. Using combinatorial information from the initial ideal of $I$ we construct sequences of linear polynomials that form initia… ▽ More For an arbitrary ideal $I$ in a polynomial ring $R$ we define the notion of initially regular sequences on $R/I$. These sequences share properties with regular sequences. In particular, the length of an initially regular sequence provides a lower bound for the depth of $R/I$. Using combinatorial information from the initial ideal of $I$ we construct sequences of linear polynomials that form initially regular sequences on $R/I$. We identify situations where initially regular sequences are also regular sequences, and we show that our results can be combined with polarization to improve known depth bounds for general monomial ideals. △ Less

Submitted 28 June, 2019; v1 submitted 2 October, 2018; originally announced October 2018.

Comments: Major revision of Section 4. Section 5 moved to a new paper and replaced by applications

MSC Class: 13C15; 13D05; 05E40; 13F20; 13P10

Generators of reductions of ideals in a local Noetherian ring with finite residue field

Authors: Louiza Fouli, Bruce Olberding

Abstract: Let $(R,\mathfrak{m})$ be a local Noetherian ring with residue field $k$. While much is known about the generating sets of reductions of ideals of $R$ if $k$ is infinite, the case in which $k$ is finite is less well understood. We investigate the existence (or lack thereof) of proper reductions of an ideal of $R$ and the number of generators needed for a reduction in the case $k$ is a finite field… ▽ More Let $(R,\mathfrak{m})$ be a local Noetherian ring with residue field $k$. While much is known about the generating sets of reductions of ideals of $R$ if $k$ is infinite, the case in which $k$ is finite is less well understood. We investigate the existence (or lack thereof) of proper reductions of an ideal of $R$ and the number of generators needed for a reduction in the case $k$ is a finite field. When $R$ is one-dimensional, we give a formula for the smallest integer $n$ for which every ideal has an $n$-generated reduction. It follows that in a one-dimensional local Noetherian ring every ideal has a principal reduction if and only if the number of maximal ideals in the normalization of the reduced quotient of $R$ is at most $|k|$. In higher dimensions, we show that for any positive integer, there exists an ideal of $R$ that does not have an $n$-generated reduction and that if $n \geq \dim R$ this ideal can be chosen to be $\mathfrak{m}$-primary. In the case where $R$ is a two-dimensional regular local ring, we construct an example of an integrally closed $\mathfrak{m}$-primary ideal that does not have a $2$-generated reduction and thus answer in the negative a question raised by Heinzer and Shannon. △ Less

Submitted 27 September, 2018; v1 submitted 16 August, 2017; originally announced August 2017.

Comments: Updated version includes a counterexample to a question of Heinzer and Shannon. To appear in Proceedings of the AMS

MSC Class: 13A30; 13B22; 13A15

Chudnovsky's Conjecture for very general points in $\mathbb{P}_k^{N}$

Authors: Louiza Fouli, Paolo Mantero, Yu Xie

Abstract: We prove a long-standing conjecture of Chudnovsky for very general and generic points in $\mathbb{P}_k^N$, where $k$ is an algebraically closed field of characteristic zero, and for any finite set of points lying on a quadric, without any assumptions on $k$. We also prove that for any homogeneous ideal $I$ in the homogeneous coordinate ring $R=k[x_0, \ldots, x_N]$, Chudnovsky's conjecture holds fo… ▽ More We prove a long-standing conjecture of Chudnovsky for very general and generic points in $\mathbb{P}_k^N$, where $k$ is an algebraically closed field of characteristic zero, and for any finite set of points lying on a quadric, without any assumptions on $k$. We also prove that for any homogeneous ideal $I$ in the homogeneous coordinate ring $R=k[x_0, \ldots, x_N]$, Chudnovsky's conjecture holds for large enough symbolic powers of $I$. △ Less

Submitted 7 December, 2017; v1 submitted 7 April, 2016; originally announced April 2016.

Comments: Revised version to appear in Journal of Algebra

MSC Class: 13F20; 11C08

A Lower Bound For Depths of Powers of Edge Ideals

Authors: Louiza Fouli, Susan Morey

Abstract: Let $G$ be a graph and let $I$ be the edge ideal of $G$. Our main results in this article provide lower bounds for the depth of the first three powers of $I$ in terms of the diameter of $G$. More precisely, we show that $\depth R/I^t \geq \left\lceil{\frac{d-4t+5}{3}} \right\rceil +p-1$, where $d$ is the diameter of $G$, $p$ is the number of connected components of $G$ and $1 \leq t \leq 3$. For g… ▽ More Let $G$ be a graph and let $I$ be the edge ideal of $G$. Our main results in this article provide lower bounds for the depth of the first three powers of $I$ in terms of the diameter of $G$. More precisely, we show that $\depth R/I^t \geq \left\lceil{\frac{d-4t+5}{3}} \right\rceil +p-1$, where $d$ is the diameter of $G$, $p$ is the number of connected components of $G$ and $1 \leq t \leq 3$. For general powers of edge ideals we show △ Less

Submitted 20 May, 2015; v1 submitted 24 September, 2014; originally announced September 2014.

Comments: 21 pages, to appear in Journal of Algebraic Combinatorics

MSC Class: 13C15; 05E40; 13F55

Reduction Numbers and Balanced Ideals

Authors: Louiza Fouli

Abstract: Let $R$ be a Noetherian local ring and let $I$ be an ideal in $R$. The ideal $I$ is called balanced if the colon ideal $J:I$ is independent of the choice of the minimal reduction $J$ of $I$. Under suitable assumptions, Ulrich showed that $I$ is balanced if and only if the reduction number, $r(I)$, of $I$ is at most the `expected' one, namely $\ell(I)- \height I+1$, where $\ell(I)$ is the analytic… ▽ More Let $R$ be a Noetherian local ring and let $I$ be an ideal in $R$. The ideal $I$ is called balanced if the colon ideal $J:I$ is independent of the choice of the minimal reduction $J$ of $I$. Under suitable assumptions, Ulrich showed that $I$ is balanced if and only if the reduction number, $r(I)$, of $I$ is at most the `expected' one, namely $\ell(I)- \height I+1$, where $\ell(I)$ is the analytic spread of $I$. In this article we propose a generalization of balanced. We prove under suitable assumptions that if either $R$ is one-dimensional or the associated graded ring of $I$ is Cohen-Macaulay, then $J^{n+1}:I^n$ is independent of the choice of the minimal reduction $J$ of $I$ if and only if $r(I) \leq \ell(I)-\height I+n$. △ Less

Submitted 28 September, 2012; originally announced October 2012.

Comments: 9 pages, submitted for publication

Rees algebras of square-free monomial ideals

Authors: Louiza Fouli, Kuei-Nuan Lin

Abstract: We study the defining equations of the Rees algebra of square-free monomial ideals in a polynomial ring over a field. We determine that when an ideal $I$ is generated by $n$ square-free monomials of the same degree then $I$ has relation type at most $n-2$ as long as $n \leq 5$. In general, we establish the defining equations of the Rees algebra in this case. Furthermore, we give a class of example… ▽ More We study the defining equations of the Rees algebra of square-free monomial ideals in a polynomial ring over a field. We determine that when an ideal $I$ is generated by $n$ square-free monomials of the same degree then $I$ has relation type at most $n-2$ as long as $n \leq 5$. In general, we establish the defining equations of the Rees algebra in this case. Furthermore, we give a class of examples with relation type at least $n-2$, where $n=μ(I)$. We also provide new classes of ideals of linear type. We propose the construction of a graph, namely the generator graph of an ideal, where the monomial generators serve as vertices for the graph. We show that when $I$ is a square-free monomial ideal generated in the same degree that is at least 2 and the generator graph of $I$ is the graph of a disjoint union of trees and graphs with unique odd cycles then $I$ is an ideal of linear type. △ Less

Submitted 18 January, 2013; v1 submitted 14 May, 2012; originally announced May 2012.

Comments: 18 pages, revised version

Minimal Reductions and Cores of Edge Ideals

Authors: Louiza Fouli, Susan Morey

Abstract: We study minimal reductions of edge ideals of graphs and determine restrictions on the coefficients of the generators of these minimal reductions. We prove that when $I$ is not basic, then $\core{I}\subset \m I$, where $I$ is an edge ideal in the corresponding localized polynomial ring and $\m$ is the maximal ideal of this ring. We show that the inclusion is an equality for the edge ideal of an ev… ▽ More We study minimal reductions of edge ideals of graphs and determine restrictions on the coefficients of the generators of these minimal reductions. We prove that when $I$ is not basic, then $\core{I}\subset \m I$, where $I$ is an edge ideal in the corresponding localized polynomial ring and $\m$ is the maximal ideal of this ring. We show that the inclusion is an equality for the edge ideal of an even cycle with an arbitrary number of whiskers. Moreover, we show that the core is obtained as a finite intersection of homogeneous minimal reductions in the case of even cycles. The formula for the core does not hold in general for the edge ideal of any graph and we provide a counterexample. In particular, we show in this example that the core is not obtained as a finite intersection of general minimal reductions. △ Less

Submitted 27 April, 2012; v1 submitted 28 December, 2010; originally announced December 2010.

Comments: Final version, to appear in Journal of Algebra

MSC Class: 13A30; 13A15; 05E40

What is a system of parameters?

Authors: Louiza Fouli, Craig Huneke

Abstract: In this paper we discuss various refinements and generalizations of a theorem of Sankar Dutta and Paul Roberts. Their theorem gives a criterion for $d$ elements in a $d$-dimensional Noetherian Cohen-Macaulay local ring to be a system of parameters, i.e., to have height $d$. We chiefly remove the assumption that the ring be Cohen-Macaulay and discuss similar theorems. In this paper we discuss various refinements and generalizations of a theorem of Sankar Dutta and Paul Roberts. Their theorem gives a criterion for $d$ elements in a $d$-dimensional Noetherian Cohen-Macaulay local ring to be a system of parameters, i.e., to have height $d$. We chiefly remove the assumption that the ring be Cohen-Macaulay and discuss similar theorems. △ Less

Submitted 15 March, 2010; originally announced March 2010.

Comments: 15 pages, submitted for publication.

MSC Class: 13A35; 13C40; 13D45

A formula for the *-core of an ideal

Authors: Louiza Fouli, Janet C. Vassilev, Adela-N. Vraciu

Abstract: Expanding on the work of Fouli and Vassilev \cite{FV}, we determine a formula for the *-$\rm{core}$ of an ideal in two different settings: (1) in a Cohen--Macaulay local ring of characteristic $p>0$, perfect residue field and test ideal of depth at least two, where the ideal has a minimal *-reduction that is a parameter ideal and (2) in a normal local domain of characteristic $p>0$, perfect resi… ▽ More Expanding on the work of Fouli and Vassilev \cite{FV}, we determine a formula for the *-$\rm{core}$ of an ideal in two different settings: (1) in a Cohen--Macaulay local ring of characteristic $p>0$, perfect residue field and test ideal of depth at least two, where the ideal has a minimal *-reduction that is a parameter ideal and (2) in a normal local domain of characteristic $p>0$, perfect residue field and $\m$-primary test ideal, where the ideal is a sufficiently high Frobenius power of an ideal. We also exhibit some examples where our formula fails if our hypotheses are not met. △ Less

Submitted 23 October, 2009; originally announced October 2009.

Comments: 11 pages, submitted for publication

MSC Class: 13A30; 13A35; 13B22

Annihilators of Graded Components of the Canonical Module, and the Core of Standard Graded Algebras

Authors: Louiza Fouli, Claudia Polini, Bernd Ulrich

Abstract: We relate the annihilators of graded components of the canonical module of a graded Cohen-Macaulay ring to colon ideals of powers of the homogeneous maximal ideal. In particular, we connect them to the core of the maximal ideal. An application of our results characterizes Cayley-Bacharach sets of points in terms of the structure of the core of the maximal ideal of their homogeneous coordinate ri… ▽ More We relate the annihilators of graded components of the canonical module of a graded Cohen-Macaulay ring to colon ideals of powers of the homogeneous maximal ideal. In particular, we connect them to the core of the maximal ideal. An application of our results characterizes Cayley-Bacharach sets of points in terms of the structure of the core of the maximal ideal of their homogeneous coordinate ring. In particular, we show that a scheme is Cayley-Bacharach if and only if the core is a power of the maximal ideal. △ Less

Submitted 19 March, 2009; originally announced March 2009.

Comments: 21 pages, to appear in Transactions of the AMS

MSC Class: 13B21; 13A30; 13B22; 13C40

The $cl-core$ of an ideal

Authors: Louiza Fouli, Janet Vassilev

Abstract: We expand the notion of core to $cl$-core for Nakayama closures $cl$. In the characteristic $p>0$ setting, when $cl$ is the tight closure, denoted by *, we give some examples of ideals when the core and the *-core differ. We note that *-core$(I)=$ core$(I)$, if $I$ is an ideal in a one-dimensional domain with infinite residue field or if $I$ is an ideal generated by a system of parameters in any N… ▽ More We expand the notion of core to $cl$-core for Nakayama closures $cl$. In the characteristic $p>0$ setting, when $cl$ is the tight closure, denoted by *, we give some examples of ideals when the core and the *-core differ. We note that *-core$(I)=$ core$(I)$, if $I$ is an ideal in a one-dimensional domain with infinite residue field or if $I$ is an ideal generated by a system of parameters in any Noetherian ring. More generally, we show the same result in a Cohen--Macaulay normal local domain with infinite perfect residue field, if the analytic spread, $\ell$, is equal to the *-spread and $I$ is $G_{\ell}$ and weakly-$(\ell-1)$-residually $S_2$. This last is dependent on our result that generalizes the notion of general minimal reductions to general minimal *-reductions. We also determine that the *-core of a tightly closed ideal in certain one-dimensional semigroup rings is tightly closed and therefore integrally closed. △ Less

Submitted 17 September, 2010; v1 submitted 16 October, 2008; originally announced October 2008.

Comments: Final version. Math. Proc. Camb. Phil. Soc 149 (2010) 247-262

MSC Class: 13A30; 13A35; 13B22

Journal ref: Math. Proc. Camb. Phil. Soc 149 (2010) 247-262

The core of ideals in arbitrary characteristic

Authors: Louiza Fouli, Claudia Polini, Bernd Ulrich

Abstract: We prove formulas for the core of ideals that apply in arbitrary characteristic. We prove formulas for the core of ideals that apply in arbitrary characteristic. △ Less

Submitted 16 April, 2008; originally announced April 2008.

Comments: 14 pages, to appear in Michigan Math. J

MSC Class: 13

Computing the core of ideals in arbitrary characteristic

Authors: Louiza Fouli

Abstract: Let $R$ be a local Gorenstein ring with infinite residue field of arbitrary characteristic. Let $I$ be an $R$--ideal with $g=\height I >0$, analytic spread $\ell$, and let $J$ be a minimal reduction of $I$. We further assume that $I$ satisfies $G_{\ell}$ and ${\depth} R/I^j \geq \dim R/I -j+1$ for $1 \leq j \leq \ell-g$. The question we are interested in is whether… ▽ More Let $R$ be a local Gorenstein ring with infinite residue field of arbitrary characteristic. Let $I$ be an $R$--ideal with $g=\height I >0$, analytic spread $\ell$, and let $J$ be a minimal reduction of $I$. We further assume that $I$ satisfies $G_{\ell}$ and ${\depth} R/I^j \geq \dim R/I -j+1$ for $1 \leq j \leq \ell-g$. The question we are interested in is whether $\core{I}=J^{n+1}:\ds \sum_{b \in I} (J,b)^n$ for $n \gg 0$. In the case of analytic spread one Polini and Ulrich show that this is true with even weaker assumptions (\cite[Theorem 3.4]{PU}). We give a negative answer to this question for higher analytic spreads and suggest a formula for the core of such ideals. △ Less

Submitted 10 October, 2007; v1 submitted 12 May, 2007; originally announced May 2007.

Comments: 13 pages, revised. To appear in the Journal of Algebra

MSC Class: 13-xx