Showing 1–50 of 55 results for author: Zanello, F

Parity of the coefficients of certain eta-quotients, III: The case of pure eta-powers

Authors: William J. Keith, Fabrizio Zanello

Abstract: We continue a program of investigating the parity of the coefficients of eta-quotients, with the goal of elucidating the parity of the partition function. In this paper, we consider positive integer powers $t$ of the Dedekind eta-function. Previous work and conjectures suggest that arithmetic progressions in which the Fourier coefficients of these functions are even should be numerous. We explicit… ▽ More We continue a program of investigating the parity of the coefficients of eta-quotients, with the goal of elucidating the parity of the partition function. In this paper, we consider positive integer powers $t$ of the Dedekind eta-function. Previous work and conjectures suggest that arithmetic progressions in which the Fourier coefficients of these functions are even should be numerous. We explicitly identify infinite classes of such progressions modulo prime squares for several values of $t$, and we offer two broad conjectures concerning their existence in general. △ Less

Submitted 24 April, 2024; originally announced April 2024.

Comments: 11 pages

MSC Class: Primary: 11P83; Secondary: 05A17; 11P84; 11P82; 11F33

A special class of pure $O$-sequences

Authors: Tài Huy Hà, Takayuki Hibi, Fabrizio Zanello

Abstract: The pure $O$-sequences of the form $(1,a,a,\ldots)$ are classified. The pure $O$-sequences of the form $(1,a,a,\ldots)$ are classified. △ Less

Submitted 11 April, 2024; originally announced April 2024.

Comments: 5 pages

MSC Class: Primary: 05E40; Secondary: 13D40; 13H10

Renormalization of Higher Currents of the sine-Gordon Model in pAQFT

Authors: Fabrizio Zanello

Abstract: In this paper we show that the higher currents of the sine-Gordon model are super-renormalizable by power counting in the framework of pAQFT. First we obtain closed recursive formulas for the higher currents in the classical theory and introduce a suitable notion of degree for their components. We then move to the pAQFT setting and, by means of some technical results, we compute explicit formulas… ▽ More In this paper we show that the higher currents of the sine-Gordon model are super-renormalizable by power counting in the framework of pAQFT. First we obtain closed recursive formulas for the higher currents in the classical theory and introduce a suitable notion of degree for their components. We then move to the pAQFT setting and, by means of some technical results, we compute explicit formulas for the unrenormalized interacting currents. Finally, we perform what we call the piecewise renormalization of the interacting higher currents, showing that the renormalization process involves a number of steps which is bounded by the degree of the classical conserved currents. △ Less

Submitted 15 May, 2023; originally announced May 2023.

Parity of the coefficients of certain eta-quotients, II: The case of even-regular partitions

Authors: William J. Keith, Fabrizio Zanello

Abstract: We continue our study of the density of the odd values of eta-quotients, here focusing on the $m$-regular partition functions $b_m$ for $m$ even. Based on extensive computational evidence, we propose an elegant conjecture which, in particular, completely classifies such densities: Let $m = 2^j m_0$ with $m_0$ odd. If $2^j < m_0$, then the odd density of $b_m$ is $1/2$; moreover, such density is eq… ▽ More We continue our study of the density of the odd values of eta-quotients, here focusing on the $m$-regular partition functions $b_m$ for $m$ even. Based on extensive computational evidence, we propose an elegant conjecture which, in particular, completely classifies such densities: Let $m = 2^j m_0$ with $m_0$ odd. If $2^j < m_0$, then the odd density of $b_m$ is $1/2$; moreover, such density is equal to $1/2$ on every (nonconstant) subprogression $An+B$. If $2^j > m_0$, then $b_m$, which is already known to have density zero, is identically even on infinitely many non-nested subprogressions. This and all other conjectures of this paper are consistent with our ''master conjecture'' on eta-quotients presented in the previous work. In general, our results on $b_m$ for $m$ even determine behaviors considerably different from the case of $m$ odd. Also interesting, it frequently happens that on subprogressions $An+B$, $b_m$ matches the parity of the multipartition functions $p_t$, for certain values of $t$. We make a suitable use of Ramanujan-Kolberg identities to deduce a large class of such results; as an example, $b_{28}(49n+12) \equiv p_3(7n+2) \pmod{2}$. Additional consequences are several ''almost always congruences'' for various $b_m$, as well as new parity results specifically for $b_{11}$. We wrap up our work with a much simpler proof of the main result of a recent paper by Cherubini-Mercuri, which fully characterized the parity of $b_8$. △ Less

Submitted 16 May, 2023; v1 submitted 1 February, 2023; originally announced February 2023.

Comments: Minor revisions. To appear in the J. of Number Theory

MSC Class: Primary: 11P83; Secondary: 05A17; 11P84; 11P82; 11F33

Journal ref: J. Number Theory 251 (2023), 84--101

On the number of even values of an eta-quotient

Authors: Fabrizio Zanello

Abstract: The goal of this note is to provide a general lower bound on the number of even values of the Fourier coefficients of an arbitrary eta-quotient $F$, over any arithmetic progression. Namely, if $g_{a,b}(x)$ denotes the number of even coefficients of $F$ in degrees $n\equiv b$ (mod $a$) such that $n\le x$, then we show that $g_{a,b}(x) / \sqrt{x}$ is unbounded for $x$ large. Note that our result i… ▽ More The goal of this note is to provide a general lower bound on the number of even values of the Fourier coefficients of an arbitrary eta-quotient $F$, over any arithmetic progression. Namely, if $g_{a,b}(x)$ denotes the number of even coefficients of $F$ in degrees $n\equiv b$ (mod $a$) such that $n\le x$, then we show that $g_{a,b}(x) / \sqrt{x}$ is unbounded for $x$ large. Note that our result is very close to the best bound currently known even in the special case of the partition function $p(n)$ (namely, $\sqrt{x}\log \log x$, proven by Bellaïche and Nicolas in 2016). Our argument substantially relies upon, and generalizes, Serre's classical theorem on the number of even values of $p(n)$, combined with a recent modular-form result by Cotron \emph{et al.} on the lacunarity modulo 2 of certain eta-quotients. Interestingly, even in the case of $p(n)$ first shown by Serre, no elementary proof is known of this bound. At the end, we propose an elegant problem on quadratic representations, whose solution would finally yield a modular form-free proof of Serre's theorem. △ Less

Submitted 4 May, 2023; v1 submitted 17 October, 2022; originally announced October 2022.

Comments: Minor revisions. To appear in the Intern. J. Number Theory (IJNT)

MSC Class: Primary: 11P83; Secondary: 05A17; 11P82; 11F33

Journal ref: Int. J. Number Theory 19 (2023), no. 9, 2255--2262

Log-concavity of level Hilbert functions and pure $O$-sequences

Authors: Fabrizio Zanello

Abstract: We investigate log-concavity in the context of level Hilbert functions and pure $O$-sequences, two classes of numerical sequences introduced by Stanley in the late Seventies whose structural properties have since been the object of a remarkable amount of interest in combinatorial commutative algebra. However, a systematic study of the log-concavity of these sequences began only recently, thanks to… ▽ More We investigate log-concavity in the context of level Hilbert functions and pure $O$-sequences, two classes of numerical sequences introduced by Stanley in the late Seventies whose structural properties have since been the object of a remarkable amount of interest in combinatorial commutative algebra. However, a systematic study of the log-concavity of these sequences began only recently, thanks to a paper by Iarrobino. The goal of this note is to address two general questions left open by Iarrobino's work: 1) Given the integer pair $(r,t)$, are all level Hilbert functions of codimension $r$ and type $t$ log-concave? 2) How about pure $O$-sequences with the same parameters? Iarrobino's main results consisted of a positive answer to 1) for $r=2$ and any $t$, and for $(r,t)=(3,1)$. Further, he proved that the answer to 1) is negative for $(r,t)=(4,1)$. Our chief contribution to 1) is to provide a negative answer in all remaining cases, with the exception of $(r,t)=(3,2)$, which is still open in any characteristic. We then propose a few detailed conjectures specifically on level Hilbert functions of codimension 3 and type 2. As for question 2), we show that the answer is positive for all pairs $(r,1)$; negative for $(r,t)=(3,4)$; and negative for any pair $(r,t)$ with $r\ge 4$ and $2\le t\le r+1$. Interestingly, the main case that remains open is again $(r,t)=(3,2)$. Further, we conjecture that, in analogy with the behavior of arbitrary level Hilbert functions, log-concavity fails for pure $O$-sequences of any codimension $r\ge 3$ and type $t$ large enough. △ Less

Submitted 7 September, 2023; v1 submitted 17 October, 2022; originally announced October 2022.

Comments: Minor revisions. To appear in J. of Commutative Algebra

MSC Class: Primary: 13D40; Secondary: 05E40; 13E10; 13H10

Journal ref: J. Commut. Algebra 16 (2024), no. 2, 245--256

Deducing the positive odd density of $p(n)$ from that of a multipartition function: An unconditional proof

Authors: Fabrizio Zanello

Abstract: A famous conjecture of Parkin-Shanks predicts that $p(n)$ is odd with density $1/2$. Despite the remarkable amount of work of the last several decades, however, even showing this density is positive seems out of reach. In a 2018 paper with Judge, we introduced a different approach and conjectured the "striking" fact that, if for any $A \equiv \pm 1\ (\bmod 6)$ the multipartition function $p_A(n)$… ▽ More A famous conjecture of Parkin-Shanks predicts that $p(n)$ is odd with density $1/2$. Despite the remarkable amount of work of the last several decades, however, even showing this density is positive seems out of reach. In a 2018 paper with Judge, we introduced a different approach and conjectured the "striking" fact that, if for any $A \equiv \pm 1\ (\bmod 6)$ the multipartition function $p_A(n)$ has positive odd density, then so does $p(n)$. Similarly, the positive odd density of any $p_{A}(n)$ with $A\equiv 3\ (\bmod 6)$ would imply that of $p_3(n)$. Our conjecture was shown to be a corollary of an earlier conjecture of the same paper. In this brief note, we provide an unconditional proof of it. An important tool will be Chen's recent breakthrough on a special case of our earlier conjecture. △ Less

Submitted 11 May, 2021; v1 submitted 17 March, 2021; originally announced March 2021.

Comments: Minor updates. To appear in the J. of Number Theory

MSC Class: Primary: 11P83; Secondary: 05A17; 11P84; 11F33

Journal ref: J. Number Theory 229 (2021), 277--281

Geometric integration by parts and Lepage equivalents

Authors: Marcella Palese, Olga Rossi, Fabrizio Zanello

Abstract: We compare the integration by parts of contact forms - leading to the definition of the interior Euler operator - with the so-called canonical splittings of variational morphisms. In particular, we discuss the possibility of a generalization of the first method to contact forms of lower degree. We define a suitable Residual operator for this case and, working out an original conjecture by Olga Ros… ▽ More We compare the integration by parts of contact forms - leading to the definition of the interior Euler operator - with the so-called canonical splittings of variational morphisms. In particular, we discuss the possibility of a generalization of the first method to contact forms of lower degree. We define a suitable Residual operator for this case and, working out an original conjecture by Olga Rossi, we recover the Krupka-Betounes equivalent for first order field theories. A generalization to the second order case is discussed. △ Less

Submitted 27 October, 2021; v1 submitted 30 October, 2020; originally announced October 2020.

Comments: 37 pages, presentation changed, new results and example added, v3: equations numbering corrected

MSC Class: 53Z05; 58A20; 58Z05

Journal ref: Differential Geom. Appl. 81 (2022), 101866

Parity of the coefficients of certain eta-quotients

Authors: William J. Keith, Fabrizio Zanello

Abstract: We investigate the parity of the coefficients of certain eta-quotients, extensively examining the case of $m$-regular partitions. Our theorems concern the density of their odd values, in particular establishing lacunarity modulo 2 for specified coefficients; self-similarities modulo 2; and infinite families of congruences in arithmetic progressions. For all $m \leq 28$, we either establish new res… ▽ More We investigate the parity of the coefficients of certain eta-quotients, extensively examining the case of $m$-regular partitions. Our theorems concern the density of their odd values, in particular establishing lacunarity modulo 2 for specified coefficients; self-similarities modulo 2; and infinite families of congruences in arithmetic progressions. For all $m \leq 28$, we either establish new results of these types where none were known, extend previous ones, or conjecture that such results are impossible. All of our work is consistent with a new, overarching conjecture that we present for arbitrary eta-quotients, greatly extending Parkin-Shanks' classical conjecture for the partition function. We pose several other open questions throughout the paper, and conclude by suggesting a list of specific research directions for future investigations in this area. △ Less

Submitted 13 July, 2021; v1 submitted 19 October, 2020; originally announced October 2020.

Comments: Minor changes. To appear in the J. of Number Theory

MSC Class: Primary: 11P83; Secondary: 05A17; 11P84; 11P82; 11F33

Journal ref: J. Number Theory 235 (2022), 275--304

On the parity of the number of partitions with odd multiplicities

Authors: James A. Sellers, Fabrizio Zanello

Abstract: Recently, Hirschhorn and the first author considered the parity of the function $a(n)$ which counts the number of integer partitions of $n$ wherein each part appears with odd multiplicity. They derived an effective characterization of the parity of $a(2m)$ based solely on properties of $m.$ In this note, we quickly reprove their result, and then extend it to an explicit characterization of the par… ▽ More Recently, Hirschhorn and the first author considered the parity of the function $a(n)$ which counts the number of integer partitions of $n$ wherein each part appears with odd multiplicity. They derived an effective characterization of the parity of $a(2m)$ based solely on properties of $m.$ In this note, we quickly reprove their result, and then extend it to an explicit characterization of the parity of $a(n)$ for all $n\not\equiv 7 \pmod{8}.$ We also exhibit some infinite families of congruences modulo 2 which follow from these characterizations. We conclude by discussing the case $n\equiv 7 \pmod{8}$, where, interestingly, the behavior of $a(n)$ modulo 2 appears to be entirely different. In particular, we conjecture that, asymptotically, $a(8m+7)$ is odd precisely $50\%$ of the time. This conjecture, whose broad generalization to the context of eta-quotients will be the topic of a subsequent paper, remains wide open. △ Less

Submitted 16 December, 2020; v1 submitted 13 April, 2020; originally announced April 2020.

Comments: Minor revisions. To appear in the Int. J. Number Theory

MSC Class: Primary: 11P83; Secondary: 05A17; 11P84; 11E25

Journal ref: Int. J. Number Theory 17 (2021), no. 7, 1717--1728

A note on the asymptotics of the number of O-sequences of given length

Authors: Richard P. Stanley, Fabrizio Zanello

Abstract: We look at the number $L(n)$ of $O$-sequences of length $n$. Recall that an $O$-sequence can be defined algebraically as the Hilbert function of a standard graded $k$-algebra, or combinatorially as the $f$-vector of a multicomplex. The sequence $L(n)$ was first investigated in a recent paper by commutative algebraists Enkosky and Stone, inspired by Huneke. In this note, we significantly improve bo… ▽ More We look at the number $L(n)$ of $O$-sequences of length $n$. Recall that an $O$-sequence can be defined algebraically as the Hilbert function of a standard graded $k$-algebra, or combinatorially as the $f$-vector of a multicomplex. The sequence $L(n)$ was first investigated in a recent paper by commutative algebraists Enkosky and Stone, inspired by Huneke. In this note, we significantly improve both of their upper and lower bounds, by means of a very short partition-theoretic argument. In particular, it turns out that, for suitable positive constants $c_1$ and $c_2$ and all $n>2$, $$e^{c_1\sqrt{n}}\le L(n)\le e^{c_2\sqrt{n}\log n}.$$ It remains an open problem to determine an exact asymptotic estimate for $L(n)$. △ Less

Submitted 1 April, 2019; v1 submitted 16 October, 2018; originally announced October 2018.

Comments: Final version to appear in Discrete Mathematics. 2 pages

MSC Class: 13D40 (Primary); 13E10; 05E40; 05A16 (Secondary)

Journal ref: Discrete Math. 342 (2019), no. 7, 2033--2034

Proof of the Gorenstein Interval Conjecture in low socle degree

Authors: Sung Gi Park, Richard P. Stanley, Fabrizio Zanello

Abstract: Roughly ten years ago, the following "Gorenstein Interval Conjecture" (GIC) was proposed: Whenever $(1,h_1,\dots,h_i,\dots,h_{e-i},\dots,h_{e-1},1)$ and $(1,h_1,\dots,h_i+α,\dots,h_{e-i}+α,\dots,h_{e-1},1)$ are both Gorenstein Hilbert functions for some $α\geq 2$, then $(1,h_1,\dots,h_i+β,\dots,h_{e-i}+β,\dots,h_{e-1},1)$ is also Gorenstein, for all $β=1,2,\dots,α-1$. Since an explicit characteriz… ▽ More Roughly ten years ago, the following "Gorenstein Interval Conjecture" (GIC) was proposed: Whenever $(1,h_1,\dots,h_i,\dots,h_{e-i},\dots,h_{e-1},1)$ and $(1,h_1,\dots,h_i+α,\dots,h_{e-i}+α,\dots,h_{e-1},1)$ are both Gorenstein Hilbert functions for some $α\geq 2$, then $(1,h_1,\dots,h_i+β,\dots,h_{e-i}+β,\dots,h_{e-1},1)$ is also Gorenstein, for all $β=1,2,\dots,α-1$. Since an explicit characterization of which Hilbert functions are Gorenstein is widely believed to be hopeless, the GIC, if true, would at least provide the existence of a strong, and very natural, structural property for such basic functions in commutative algebra. Before now, very little progress was made on the GIC. The main goal of this note is to prove the case $e\le 5$, in arbitrary codimension. Our arguments will be in part constructive, and will combine several different tools of commutative algebra and classical algebraic geometry. △ Less

Submitted 9 January, 2019; v1 submitted 23 April, 2018; originally announced April 2018.

Comments: 8 pages, final version. To appear in the J. of Algebra

MSC Class: Primary: 13H10; Secondary: 13E10; 13D40; 05E40

Journal ref: Journal of Algebra 523 (2019), 192-200

A generalization of a 1998 unimodality conjecture of Reiner and Stanton

Authors: Richard P. Stanley, Fabrizio Zanello

Abstract: An interesting, and still wide open, conjecture of Reiner and Stanton predicts that certain "strange" symmetric differences of $q$-binomial coefficients are always nonnegative and unimodal. We extend their conjecture to a broader, and perhaps more natural, framework, by conjecturing that, for each $k\ge 5$, the polynomials… ▽ More An interesting, and still wide open, conjecture of Reiner and Stanton predicts that certain "strange" symmetric differences of $q$-binomial coefficients are always nonnegative and unimodal. We extend their conjecture to a broader, and perhaps more natural, framework, by conjecturing that, for each $k\ge 5$, the polynomials $$f(k,m,b)(q)=\binom{m}{k}_q-q^{\frac{k(m-b)}{2}+b-2k+2}\cdot\binom{b}{k-2}_q$$ are nonnegative and unimodal for all $m\gg_k 0$ and $b\le \frac{km-4k+4}{k-2}$ such that $kb\equiv km$ (mod 2), with the only exception of $b=\frac{km-4k+2}{k-2}$ when this is an integer. Using the KOH theorem, we combinatorially show the case $k=5$. In fact, we completely characterize the nonnegativity and unimodality of $f(k,m,b)$ for $k\le 5$. (This also provides an isolated counterexample to Reiner-Stanton's conjecture when $k=3$.) Further, we prove that, for each $k$ and $m$, it suffices to show our conjecture for the largest $2k-6$ values of $b$. △ Less

Submitted 28 June, 2018; v1 submitted 27 November, 2017; originally announced November 2017.

Comments: Final version. To appear in the Journal of Combinatorics

MSC Class: Primary: 05A15; Secondary: 05A19; 05A17

Journal ref: Journal of Combinatorics, Vol. 11, no. 1 (2020), 111--126

On the density of the odd values of the partition function, II: An infinite conjectural framework

Authors: Samuel D. Judge, Fabrizio Zanello

Abstract: We continue our study of a basic but seemingly intractable problem in integer partition theory, namely the conjecture that $p(n)$ is odd exactly $50\%$ of the time. Here, we greatly extend on our previous paper by providing a doubly-indexed, infinite framework of conjectural identities modulo 2, and show how to, in principle, prove each such identity. However, our conjecture remains open in full g… ▽ More We continue our study of a basic but seemingly intractable problem in integer partition theory, namely the conjecture that $p(n)$ is odd exactly $50\%$ of the time. Here, we greatly extend on our previous paper by providing a doubly-indexed, infinite framework of conjectural identities modulo 2, and show how to, in principle, prove each such identity. However, our conjecture remains open in full generality. A striking consequence is that, under suitable existence conditions, if any $t$-multipartition function is odd with positive density and $t\not \equiv 0$ (mod 3), then $p(n)$ is also odd with positive density. These are all facts that appear virtually impossible to show unconditionally today. Our arguments employ a combination of algebraic and analytic methods, including certain technical tools recently developed by Radu in his study of the parity of the Fourier coefficients of modular forms. △ Less

Submitted 13 February, 2018; v1 submitted 27 October, 2017; originally announced October 2017.

Comments: 14 pages. To appear in the J. of Number Theory

MSC Class: 11P83 (Primary) 05A17; 11P84; 11P82; 11F33 (Secondary)

Journal ref: J. of Number Theory 188 (2018), 357--370

On Bergeron's positivity problem for $q$-binomial coefficients

Authors: Fabrizio Zanello

Abstract: F. Bergeron recently asked the intriguing question whether $\binom{b+c}{b}_q -\binom{a+d}{d}_q$ has nonnegative coefficients as a polynomial in $q$, whenever $a,b,c,d$ are positive integers, $a$ is the smallest, and $ad=bc$. We conjecture that, in fact, this polynomial is also always unimodal, and combinatorially show our conjecture for $a\le 3$ and any $b,c\ge 4$. The main ingredient will be a no… ▽ More F. Bergeron recently asked the intriguing question whether $\binom{b+c}{b}_q -\binom{a+d}{d}_q$ has nonnegative coefficients as a polynomial in $q$, whenever $a,b,c,d$ are positive integers, $a$ is the smallest, and $ad=bc$. We conjecture that, in fact, this polynomial is also always unimodal, and combinatorially show our conjecture for $a\le 3$ and any $b,c\ge 4$. The main ingredient will be a novel (and rather technical) application of Zeilberger's KOH theorem. △ Less

Submitted 11 April, 2018; v1 submitted 18 September, 2017; originally announced September 2017.

Comments: Final version. To appear in the Electronic J. Combinatorics

MSC Class: Primary: 05A15; Secondary: 05A17; 05A20

Journal ref: Electron. J. Combin. 25 (2018), no. 2, Paper P2.17

Unimodal Gorenstein h-vectors without the Stanley-Iarrobino property

Authors: Juan Migliore, Fabrizio Zanello

Abstract: The study of the $h$-vectors of graded Gorenstein algebras is an important topic in combinatorial commutative algebra, which despite the large amount of literature produced during the last several years, still presents many interesting open questions. In this note, we commence a study of those unimodal Gorenstein $h$-vectors that do \emph{not} satisfy the Stanley-Iarrobino property. Our main resul… ▽ More The study of the $h$-vectors of graded Gorenstein algebras is an important topic in combinatorial commutative algebra, which despite the large amount of literature produced during the last several years, still presents many interesting open questions. In this note, we commence a study of those unimodal Gorenstein $h$-vectors that do \emph{not} satisfy the Stanley-Iarrobino property. Our main results, which are characteristic free, show that such $h$-vectors exist: 1) In socle degree $e$ if and only if $e\ge 6$; and 2) In every codimension five or greater. The main case that remains open is that of codimension four, where no Gorenstein $h$-vector is known without the Stanley-Iarrobino property. We conclude by proposing the following very general conjecture: The existence of any arbitrary level $h$-vector is \emph{independent} of the characteristic of the base field. △ Less

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

Comments: A few minor revisions. Final version to appear in Comm. Algebra

MSC Class: Primary: 13D40; Secondary: 13H10; 13E10; 05E40

Journal ref: Comm. Algebra 46 (2018), no. 5, 2054--2062

Stanley's nonunimodal Gorenstein h-vector is optimal

Authors: Juan Migliore, Fabrizio Zanello

Abstract: We classify all possible $h$-vectors of graded artinian Gorenstein algebras in socle degree 4 and codimension $\leq 17$, and in socle degree 5 and codimension $\leq 25$. We obtain as a consequence that the least number of variables allowing the existence of a nonunimodal Gorenstein $h$-vector is 13 for socle degree 4, and 17 for socle degree 5. In particular, the smallest nonunimodal Gorenstein… ▽ More We classify all possible $h$-vectors of graded artinian Gorenstein algebras in socle degree 4 and codimension $\leq 17$, and in socle degree 5 and codimension $\leq 25$. We obtain as a consequence that the least number of variables allowing the existence of a nonunimodal Gorenstein $h$-vector is 13 for socle degree 4, and 17 for socle degree 5. In particular, the smallest nonunimodal Gorenstein $h$-vector is $(1,13,12,13,1)$, which was constructed by Stanley in his 1978 seminal paper on level algebras. This solves a long-standing open question in this area. All of our results are characteristic free. △ Less

Submitted 4 December, 2015; originally announced December 2015.

Comments: 9 pages

MSC Class: Primary: 13D40; Secondary: 13H10; 13E10; 05E40

Journal ref: Proc. AMS 145 (2017), no. 1, 1--9

On the density of the odd values of the partition function

Authors: Samuel D. Judge, William J. Keith, Fabrizio Zanello

Abstract: The purpose of this note is to introduce a new approach to the study of one of the most basic and seemingly intractable problems in partition theory, namely the conjecture that the partition function $p(n)$ is equidistributed modulo 2. Our main result will relate the densities, say $δ_t$, of the odd values of the $t$-multipartition functions $p_t(n)$, for several integers $t$. In particular, we… ▽ More The purpose of this note is to introduce a new approach to the study of one of the most basic and seemingly intractable problems in partition theory, namely the conjecture that the partition function $p(n)$ is equidistributed modulo 2. Our main result will relate the densities, say $δ_t$, of the odd values of the $t$-multipartition functions $p_t(n)$, for several integers $t$. In particular, we will show that if $δ_t>0$ for some $t\in \{5,7,11,13,17,19,23,25\}$, then (assuming it exists) $δ_1>0$; that is, $p(n)$ itself is odd with positive density. Notice that, currently, the best unconditional result does not even imply that $p(n)$ is odd for $\sqrt{x}$ values of $n\le x$. In general, we conjecture that $δ_t=1/2$ for all $t$ odd, i.e., that similarly to the case of $p(n)$, all multipartition functions are in fact equidistributed modulo 2. Our arguments will employ a number of algebraic and analytic methods, ranging from an investigation modulo 2 of some classical Ramanujan identities and several other eta product results, to a unified approach that studies the parity of the Fourier coefficients of a broad class of modular form identities recently introduced by Radu. △ Less

Submitted 13 September, 2017; v1 submitted 17 November, 2015; originally announced November 2015.

Comments: Several changes with respect to the 2015 version. 18 pages. To appear in the Annals of Combinatorics

MSC Class: 11P83 (Primary); 05A17; 11P84; 11P82; 11F33 (Secondary)

Journal ref: Annals of Combinatorics 22 (2018), no. 3, 583--600

Some asymptotic results on q-binomial coefficients

Authors: Richard P. Stanley, Fabrizio Zanello

Abstract: We look at the asymptotic behavior of the coefficients of the $q$-binomial coefficients (or Gaussian polynomials) $\binom{a+k}{k}_q$, when $k$ is fixed. We give a number of results in this direction, some of which involve Eulerian polynomials and their generalizations. We look at the asymptotic behavior of the coefficients of the $q$-binomial coefficients (or Gaussian polynomials) $\binom{a+k}{k}_q$, when $k$ is fixed. We give a number of results in this direction, some of which involve Eulerian polynomials and their generalizations. △ Less

Submitted 8 November, 2015; v1 submitted 21 March, 2015; originally announced March 2015.

Comments: A few revisions in response to the referee's comments. 12 pages. To appear in the Annals of Combinatorics

MSC Class: Primary: 05A16; Secondary: 05A17

Journal ref: Annals of Comb. 20 (2016), no. 3, 623--634

An algebraic approach to finite projective planes

Authors: David Cook II, Juan Migliore, Uwe Nagel, Fabrizio Zanello

Abstract: A finite projective plane, or more generally a finite linear space, has an associated incidence complex that gives rise to two natural algebras: the Stanley-Reisner ring $R/I_Λ$ and the inverse system algebra $R/I_Δ$. We give a careful study of both of these algebras. Our main results are a full description of the graded Betti numbers of both algebras in the more general setting of linear spaces (… ▽ More A finite projective plane, or more generally a finite linear space, has an associated incidence complex that gives rise to two natural algebras: the Stanley-Reisner ring $R/I_Λ$ and the inverse system algebra $R/I_Δ$. We give a careful study of both of these algebras. Our main results are a full description of the graded Betti numbers of both algebras in the more general setting of linear spaces (giving the result for the projective planes as a special case), and a classification of the characteristics in which the inverse system algebra associated to a finite projective plane has the Weak or Strong Lefschetz Property. △ Less

Submitted 19 October, 2015; v1 submitted 14 March, 2015; originally announced March 2015.

Comments: A few minor revisions in response to the referees' comments. 22 pages. To appear in the J. of Algebraic Combinatorics

MSC Class: Primary: 05E40; Secondary: 05B25; 05E45; 13D02; 13E10; 13H10; 51E15

Journal ref: J. of Algebraic Combinatorics 43 (2016), no. 3, 495--519

Odd values of the Klein j-function and the cubic partition function

Authors: Fabrizio Zanello

Abstract: In this note, using entirely algebraic or elementary methods, we determine a new asymptotic lower bound for the number of odd values of one of the most important modular functions in number theory, the Klein $j$-function. Namely, we show that the number of integers $n\le x$ such that the Klein $j$-function --- or equivalently, the cubic partition function --- is odd is at least of the order of… ▽ More In this note, using entirely algebraic or elementary methods, we determine a new asymptotic lower bound for the number of odd values of one of the most important modular functions in number theory, the Klein $j$-function. Namely, we show that the number of integers $n\le x$ such that the Klein $j$-function --- or equivalently, the cubic partition function --- is odd is at least of the order of $$\frac{\sqrt{x} \log \log x}{\log x},$$ for $x$ large. This improves recent results of Berndt-Yee-Zaharescu and Chen-Lin, and approaches significantly the best lower bound currently known for the ordinary partition function, obtained using the theory of modular forms. Unlike many works in this area, our techniques to show the above result, that have in part been inspired by some recent ideas of P. Monsky on quadratic representations, do not involve the use of modular forms. Then, in the second part of the article, we show how to employ modular forms in order to slightly refine our bound. In fact, our brief argument, which combines a recent result of J.-L. Nicolas and J.-P. Serre with a classical theorem of J.-P. Serre on the asymptotics of the Fourier coefficients of certain level 1 modular forms, will more generally apply to provide a lower bound for the number of odd values of any positive power of the generating function of the partition function. △ Less

Submitted 30 January, 2015; v1 submitted 22 September, 2014; originally announced September 2014.

Comments: A few minor revisions in response to the referees' comments. To appear in the J. of Number Theory

MSC Class: Primary: 11P83; Secondary: 05A17; 11F03; 11F33; 11N37

Journal ref: J. Number Theory 151 (2015), 107--115

The Catalan case of Armstrong's conjecture on simultaneous core partitions

Authors: Richard P. Stanley, Fabrizio Zanello

Abstract: A beautiful recent conjecture of D. Armstrong predicts the average size of a partition that is simultaneously an $s$-core and a $t$-core, where $s$ and $t$ are coprime. Our goal is to prove this conjecture when $t=s+1$. These simultaneous $(s,s+1)$-core partitions, which are enumerated by Catalan numbers, have average size $\binom{s+1}{3}/2$. A beautiful recent conjecture of D. Armstrong predicts the average size of a partition that is simultaneously an $s$-core and a $t$-core, where $s$ and $t$ are coprime. Our goal is to prove this conjecture when $t=s+1$. These simultaneous $(s,s+1)$-core partitions, which are enumerated by Catalan numbers, have average size $\binom{s+1}{3}/2$. △ Less

Submitted 23 December, 2014; v1 submitted 16 December, 2013; originally announced December 2013.

Comments: Some changes in response to the referee's comments. To appear in the SIAM J. on Discrete Math

MSC Class: Primary: 05A15; Secondary: 05A17; 05A19; 20M99

Journal ref: SIAM J. Discrete Math. 29 (2015), no. 1, 658--666

Zeilberger's KOH theorem and the strict unimodality of q-binomial coefficients

Authors: Fabrizio Zanello

Abstract: A recent nice result due to I. Pak and G. Panova is the strict unimodality of the $q$-binomial coefficients $\binom{a+b}{b}_q$ (see \cite{PP} and also \cite{PP2} for a slightly revised version of their theorem). Since their proof used representation theory and Kronecker coefficients, the authors also asked for an argument that would employ Zeilberger's KOH theorem. In this note, we give such a pro… ▽ More A recent nice result due to I. Pak and G. Panova is the strict unimodality of the $q$-binomial coefficients $\binom{a+b}{b}_q$ (see \cite{PP} and also \cite{PP2} for a slightly revised version of their theorem). Since their proof used representation theory and Kronecker coefficients, the authors also asked for an argument that would employ Zeilberger's KOH theorem. In this note, we give such a proof. Then, as a further application of our method, we also provide a short proof of their conjecture that the difference between consecutive coefficients of $\binom{a+b}{b}_q$ can get arbitrarily large, when we assume that $b$ is fixed and $a$ is large enough. △ Less

Submitted 1 April, 2014; v1 submitted 18 November, 2013; originally announced November 2013.

Comments: A few changes to address the referee's suggestions. To appear in the Proc. of the AMS

MSC Class: Primary: 05A15; Secondary: 05A17

Journal ref: Proc. Amer. Math. Soc. 143 (2015), no. 7, 2795--2799

Unimodality of partitions with distinct parts inside Ferrers shapes

Authors: Richard P. Stanley, Fabrizio Zanello

Abstract: We investigate the rank-generating function $F_λ$ of the poset of partitions contained inside a given shifted Ferrers shape $λ$. When $λ$ has four parts, we show that $F_λ$ is unimodal when $λ=\langle n,n-1,n-2,n-3 \rangle$, for any $n\ge 4$, and that unimodality fails for the doubly-indexed, infinite family of partitions of the form $λ=\langle n,n-t,n-2t,n-3t \rangle$, for any given $t\ge 2$ and… ▽ More We investigate the rank-generating function $F_λ$ of the poset of partitions contained inside a given shifted Ferrers shape $λ$. When $λ$ has four parts, we show that $F_λ$ is unimodal when $λ=\langle n,n-1,n-2,n-3 \rangle$, for any $n\ge 4$, and that unimodality fails for the doubly-indexed, infinite family of partitions of the form $λ=\langle n,n-t,n-2t,n-3t \rangle$, for any given $t\ge 2$ and $n$ large enough with respect to $t$. When $λ$ has $b\le 3$ parts, we show that our rank-generating functions $F_λ$ are all unimodal. However, the situation remains mostly obscure for $b\ge 5$. In general, the type of results that we obtain present some remarkable similarities with those of the 1990 paper of D. Stanton, who considered the case of partitions inside ordinary (straight) Ferrers shapes. Along the way, we also determine some interesting $q$-analogs of the binomial coefficients, which in certain instances we conjecture to be unimodal. We state several other conjectures throughout this note, in the hopes to stimulate further work in this area. In particular, one of these will attempt to place into a much broader context the unimodality of the posets $M(n)$ of staircase partitions, for which determining a combinatorial proof remains an outstanding open problem. △ Less

Submitted 21 March, 2015; v1 submitted 26 May, 2013; originally announced May 2013.

Comments: The original version of the manuscript has now become two distinct papers. The present version contains (a revision of) the material of the first three sections, and is to appear in the European J. Combin.. The paper containing the material of former Section 4, which is currently under review, has been posted on this arXiv under the title "Some asymptotic results on $q$-binomial coefficients" [arXiv:1503.06367]

MSC Class: Primary: 05A17; Secondary: 05A15; 05A16; 05A19

Journal ref: European J. Combin. 49 (2015), 194--202

On the Weak Lefschetz Property for Artinian Gorenstein algebras of codimension three

Authors: Mats Boij, Juan Migliore, Rosa M. Miro'-Roig, Uwe Nagel, Fabrizio Zanello

Abstract: We study the problem of whether an arbitrary codimension three graded artinian Gorenstein algebra has the Weak Lefschetz Property. We reduce this problem to checking whether it holds for all compressed Gorenstein algebras of odd socle degree. In the first open case, namely Hilbert function (1,3,6,6,3,1), we give a complete answer in every characteristic by translating the problem to one of studyin… ▽ More We study the problem of whether an arbitrary codimension three graded artinian Gorenstein algebra has the Weak Lefschetz Property. We reduce this problem to checking whether it holds for all compressed Gorenstein algebras of odd socle degree. In the first open case, namely Hilbert function (1,3,6,6,3,1), we give a complete answer in every characteristic by translating the problem to one of studying geometric aspects of certain morphisms from $\mathbb P^2$ to $\mathbb P^3$, and Hesse configurations in $\mathbb P^2$. △ Less

Submitted 1 January, 2014; v1 submitted 22 February, 2013; originally announced February 2013.

Comments: A few changes with respect to the previous version. 17 pages. To appear in the J. of Algebra

MSC Class: Primary: 13E10; 13H10; Secondary: 13D40; 14A10; 14G17; 14N05

Journal ref: Journal of Algebra 403 (2014), no. 1, 48--68

Two unfortunate properties of pure f-vectors

Authors: Adrian Pastine, Fabrizio Zanello

Abstract: The set of f-vectors of pure simplicial complexes is an important but little understood object in combinatorics and combinatorial commutative algebra. Unfortunately, its explicit characterization appears to be a virtually intractable problem, and its structure very irregular and complicated. The purpose of this note, where we combine a few different algebraic and combinatorial techniques, is to le… ▽ More The set of f-vectors of pure simplicial complexes is an important but little understood object in combinatorics and combinatorial commutative algebra. Unfortunately, its explicit characterization appears to be a virtually intractable problem, and its structure very irregular and complicated. The purpose of this note, where we combine a few different algebraic and combinatorial techniques, is to lend some further evidence to this fact. We first show that pure (in fact, Cohen-Macaulay) f-vectors can be nonunimodal with arbitrarily many peaks, thus improving the corresponding results known for level Hilbert functions and pure O-sequences. We provide both an algebraic and a combinatorial argument for this result. Then, answering negatively a question of the second author and collaborators posed in the recent AMS Memoir on pure O-sequences, we show that the Interval Property fails for the set of pure f-vectors, even in dimension 2. △ Less

Submitted 21 August, 2013; v1 submitted 15 November, 2012; originally announced November 2012.

Comments: A few minor changes. To appear in the Proc. of the AMS

MSC Class: Primary: 05E40; Secondary: 13F55; 05E45; 05B07; 13H10

Journal ref: Proc. Amer. Math. Soc. 143 (2015), 955--964

Pure O-sequences: known results, applications, and open problems

Authors: Juan Migliore, Uwe Nagel, Fabrizio Zanello

Abstract: This note presents a discussion of the algebraic and combinatorial aspects of the theory of pure O-sequences. Various instances where pure O-sequences appear are described. Several open problems that deserve further investigation are also presented. This note presents a discussion of the algebraic and combinatorial aspects of the theory of pure O-sequences. Various instances where pure O-sequences appear are described. Several open problems that deserve further investigation are also presented. △ Less

Submitted 18 February, 2013; v1 submitted 23 April, 2012; originally announced April 2012.

Comments: Some minor revisions with respect to the previous version. 20 pages. To appear in a Springer volume edited by Irena Peeva and dedicated to David Eisenbud on the occasion of his 65th birthday

MSC Class: Primary: 05E40. Secondary: 13E10; 13D40; 13H10; 05A16; 06A07

Journal ref: "Commutative Algebra. Expository Papers Dedicated to David Eisenbud on the Occasion of His 65th Birthday'' (I. Peeva, Ed.), Springer, 715 pp. (2013)

Warnaar's bijection and colored partition identities, II

Authors: Colin Sandon, Fabrizio Zanello

Abstract: In our previous paper, we determined a unified combinatorial framework to look at a large number of colored partition identities, and studied the five identities corresponding to the exceptional modular equations of prime degree of the Schroeter, Russell and Ramanujan type. The goal of this paper is to use the master bijection of our previous work to show combinatorially several new and highly non… ▽ More In our previous paper, we determined a unified combinatorial framework to look at a large number of colored partition identities, and studied the five identities corresponding to the exceptional modular equations of prime degree of the Schroeter, Russell and Ramanujan type. The goal of this paper is to use the master bijection of our previous work to show combinatorially several new and highly nontrivial colored partition identities. We conclude by listing a number of further interesting identities of the same type as conjectures. △ Less

Submitted 17 January, 2013; v1 submitted 4 February, 2012; originally announced February 2012.

Comments: Contains the second portion of the first author's MIT senior thesis (2011). Some minor revisions with respect to the previous version. 34 pages. To appear in the Ramanujan Journal

MSC Class: 05A17 (Primary) 05A19; 11P83; 05A15 (Secondary)

Journal ref: Ramanujan J. 33 (2014), no. 1, 83--120

Warnaar's bijection and colored partition identities, I

Authors: Colin Sandon, Fabrizio Zanello

Abstract: We provide a general and unified combinatorial framework for a number of colored partition identities, which include the five, recently proved analytically by B. Berndt, that correspond to the exceptional modular equations of prime degree due to H. Schroeter, R. Russell and S. Ramanujan. Our approach generalizes that of S. Kim, who has given a bijective proof for two of these five identities, name… ▽ More We provide a general and unified combinatorial framework for a number of colored partition identities, which include the five, recently proved analytically by B. Berndt, that correspond to the exceptional modular equations of prime degree due to H. Schroeter, R. Russell and S. Ramanujan. Our approach generalizes that of S. Kim, who has given a bijective proof for two of these five identities, namely the ones modulo 7 (also known as the Farkas-Kra identity) and modulo 3. As a consequence of our method, we determine bijective proofs also for the two highly nontrivial identities modulo 5 and 11, thus leaving open combinatorially only the one modulo 23. △ Less

Submitted 28 June, 2012; v1 submitted 12 December, 2011; originally announced December 2011.

Comments: Contains the first portion of the first author's MIT senior thesis (2011). Some minor revisions with respect to the previous version. To appear in JCTA

MSC Class: 05A17 (Primary) 05A19; 11P83; 05A15 (Secondary)

Journal ref: J. Combin. Theory Ser. A 120 (2013), no. 1, 28--38

On the rank function of a differential poset

Authors: Richard P. Stanley, Fabrizio Zanello

Abstract: We study $r$-differential posets, a class of combinatorial objects introduced in 1988 by the first author, which gathers together a number of remarkable combinatorial and algebraic properties, and generalizes important examples of ranked posets, including the Young lattice. We first provide a simple bijection relating differential posets to a certain class of hypergraphs, including all finite proj… ▽ More We study $r$-differential posets, a class of combinatorial objects introduced in 1988 by the first author, which gathers together a number of remarkable combinatorial and algebraic properties, and generalizes important examples of ranked posets, including the Young lattice. We first provide a simple bijection relating differential posets to a certain class of hypergraphs, including all finite projective planes, which are shown to be naturally embedded in the initial ranks of some differential poset. As a byproduct, we prove the existence, if and only if $r\geq 6$, of $r$-differential posets nonisomorphic in any two consecutive ranks but having the same rank function. We also show that the Interval Property, conjectured by the second author and collaborators for several sequences of interest in combinatorics and combinatorial algebra, in general fails for differential posets. In the second part, we prove that the rank function $p_n$ of any arbitrary $r$-differential poset has nonpolynomial growth; namely, $p_n\gg n^ae^{2\sqrt{rn}},$ a bound very close to the Hardy-Ramanujan asymptotic formula that holds in the special case of Young's lattice. We conclude by posing several open questions. △ Less

Submitted 28 April, 2012; v1 submitted 18 November, 2011; originally announced November 2011.

Comments: A few minor revisions/updates. Published in the Electron. J. Combin. (vol. 19, issue 2, 2012)

MSC Class: Primary: 06A07; Secondary: 06A11; 51E15; 05C05

Journal ref: Electron. J. Combin. 19 (2012), no. 2, P13, 17 pages

The KOH terms and classes of unimodal N-modular diagrams

Authors: Fabrizio Zanello

Abstract: We show how certain suitably modified N-modular diagrams of integer partitions provide a nice combinatorial interpretation for the general term of Zeilberger's KOH identity. This identity is the reformulation of O'Hara's famous proof of the unimodality of the Gaussian polynomial as a combinatorial identity. In particular, we determine, using different bijections, two main natural classes of modula… ▽ More We show how certain suitably modified N-modular diagrams of integer partitions provide a nice combinatorial interpretation for the general term of Zeilberger's KOH identity. This identity is the reformulation of O'Hara's famous proof of the unimodality of the Gaussian polynomial as a combinatorial identity. In particular, we determine, using different bijections, two main natural classes of modular diagrams of partitions with bounded parts and length, having the KOH terms as their generating functions. One of our results greatly extends recent theorems of J. Quinn et al., which presented striking applications to quantum physics. △ Less

Submitted 22 June, 2011; v1 submitted 7 January, 2011; originally announced January 2011.

Comments: Several mostly minor or notational changes with respect to the first version, in response to the referees' comments. 13 pages, 3 figures. To appear in JCTA

MSC Class: Primary: 05A17; Secondary: 05A19; 05A15

Journal ref: J. Combin. Theory Ser. A 118 (2011), no. 8, 2498-2510

Pure O-sequences and matroid h-vectors

Authors: Huy Tài Hà, Erik Stokes, Fabrizio Zanello

Abstract: We study Stanley's long-standing conjecture that the h-vectors of matroid simplicial complexes are pure O-sequences. Our method consists of a new and more abstract approach, which shifts the focus from working on constructing suitable artinian level monomial ideals, as often done in the past, to the study of properties of pure O-sequences. We propose a conjecture on pure O-sequences and settle it… ▽ More We study Stanley's long-standing conjecture that the h-vectors of matroid simplicial complexes are pure O-sequences. Our method consists of a new and more abstract approach, which shifts the focus from working on constructing suitable artinian level monomial ideals, as often done in the past, to the study of properties of pure O-sequences. We propose a conjecture on pure O-sequences and settle it in small socle degrees. This allows us to prove Stanley's conjecture for all matroids of rank 3. At the end of the paper, using our method, we discuss a first possible approach to Stanley's conjecture in full generality. Our technical work on pure O-sequences also uses very recent results of the third author and collaborators. △ Less

Submitted 24 May, 2012; v1 submitted 2 June, 2010; originally announced June 2010.

Comments: Contains several changes/updates with respect to the previous version. In particular, a discussion of a possible approach to the general case is included at the end. 13 pages. To appear in the Annals of Combinatorics

MSC Class: 05B35 (Primary); 05E45; 05E40; 13H10; 13D40 (Secondary)

Journal ref: Annals of Comb. 17 (2013), no. 3, 495--508

On the shape of a pure O-sequence

Authors: M. Boij, J. Migliore, R. Miro'-Roig, U. Nagel, F. Zanello

Abstract: An order ideal is a finite poset X of (monic) monomials such that, whenever M is in X and N divides M, then N is in X. If all, say t, maximal monomials of X have the same degree, then X is pure (of type t). A pure O-sequence is the vector, h=(1,h_1,...,h_e), counting the monomials of X in each degree. Equivalently, in the language of commutative algebra, pure O-sequences are the h-vectors of monom… ▽ More An order ideal is a finite poset X of (monic) monomials such that, whenever M is in X and N divides M, then N is in X. If all, say t, maximal monomials of X have the same degree, then X is pure (of type t). A pure O-sequence is the vector, h=(1,h_1,...,h_e), counting the monomials of X in each degree. Equivalently, in the language of commutative algebra, pure O-sequences are the h-vectors of monomial Artinian level algebras. Pure O-sequences had their origin in one of Richard Stanley's early works in this area, and have since played a significant role in at least three disciplines: the study of simplicial complexes and their f-vectors, level algebras, and matroids. This monograph is intended to be the first systematic study of the theory of pure O-sequences. Our work, making an extensive use of algebraic and combinatorial techniques, includes: (i) A characterization of the first half of a pure O-sequence, which gives the exact converse to an algebraic g-theorem of Hausel; (ii) A study of (the failing of) the unimodality property; (iii) The problem of enumerating pure O-sequences, including a proof that almost all O-sequences are pure, and the asymptotic enumeration of socle degree 3 pure O-sequences of type t; (iv) The Interval Conjecture for Pure O-sequences (ICP), which represents perhaps the strongest possible structural result short of an (impossible?) characterization; (v) A pithy connection of the ICP with Stanley's matroid h-vector conjecture; (vi) A specific study of pure O-sequences of type 2, including a proof of the Weak Lefschetz Property in codimension 3 in characteristic zero. As a corollary, pure O-sequences of codimension 3 and type 2 are unimodal (over any field); (vii) An analysis of the extent to which the Weak and Strong Lefschetz Properties can fail for monomial algebras; (viii) Some observations about pure f-vectors, an important special case of pure O-sequences. △ Less

Submitted 25 March, 2011; v1 submitted 19 March, 2010; originally announced March 2010.

Comments: iii + 77 pages monograph, to appear as an AMS Memoir. Several, mostly minor revisions with respect to last year's version

MSC Class: Primary: 13D40; 05E40; 06A07; 13E10; 13H10. Secondary: 05A16; 05B35; 14M05; 13F20

Journal ref: Memoirs AMS 218 (2012), no. 2024, vii + 78 pp

Monomial Complete Intersections, The Weak Lefschetz Property and Plane Partitions

Authors: Jizhou Li, Fabrizio Zanello

Abstract: We characterize the monomial complete intersections in three variables satisfying the Weak Lefschetz Property (WLP), as a function of the characteristic of the base field. Our result presents a surprising, and still combinatorially obscure, connection with the enumeration of plane partitions. It turns out that the rational primes p dividing the number, M(a,b,c), of plane partitions contained insid… ▽ More We characterize the monomial complete intersections in three variables satisfying the Weak Lefschetz Property (WLP), as a function of the characteristic of the base field. Our result presents a surprising, and still combinatorially obscure, connection with the enumeration of plane partitions. It turns out that the rational primes p dividing the number, M(a,b,c), of plane partitions contained inside an arbitrary box of given sides a,b,c are precisely those for which a suitable monomial complete intersection (explicitly constructed as a bijective function of a,b,c) fails to have the WLP in characteristic p. We wonder how powerful can be this connection between combinatorial commutative algebra and partition theory. We present a first result in this direction, by deducing, using our algebraic techniques for the WLP, some explicit information on the rational primes dividing M(a,b,c). △ Less

Submitted 6 September, 2010; v1 submitted 23 February, 2010; originally announced February 2010.

Comments: 16 pages. Minor revisions, mainly to keep track of two interesting developments following the original posting. Final version to appear in Discrete Math

MSC Class: Primary: 13E10. Secondary: 13C40; 05E40; 05A17; 11P83

Journal ref: Discrete Math. 310 (2010), no. 24, 3558-3570

Some algebraic consequences of Green's hyperplane restriction theorems

Authors: Mats Boij, Fabrizio Zanello

Abstract: We discuss a paper of M. Green from a new algebraic perspective, and provide applications of its results to level and Gorenstein algebras, concerning their Hilbert functions and the weak Lefschetz property. In particular, we will determine a new infinite class of symmetric $h$-vectors that cannot be Gorenstein $h$-vectors, which was left open in a recent work of Migliore-Nagel-Zanello. This incl… ▽ More We discuss a paper of M. Green from a new algebraic perspective, and provide applications of its results to level and Gorenstein algebras, concerning their Hilbert functions and the weak Lefschetz property. In particular, we will determine a new infinite class of symmetric $h$-vectors that cannot be Gorenstein $h$-vectors, which was left open in a recent work of Migliore-Nagel-Zanello. This includes the smallest example previously unknown, $h=(1,10,9,10,1)$. As M. Green's results depend heavily on the characteristic of the base field, so will ours. The appendix will contain a new argument, kindly provided to us by M. Green, for Theorems 3 and 4 of his paper, since we had found a gap in the original proof of those results during the preparation of this manuscript. △ Less

Submitted 9 October, 2009; v1 submitted 22 July, 2009; originally announced July 2009.

Comments: A few revisions. Final version to appear in JPAA

MSC Class: 13H10 (Primary); 14M05 (Secondary); 13D40

Journal ref: JPAA 214 (2010), no. 7, 1263-1270

Forcing the Strong Lefschetz and the Maximal Rank Properties

Authors: Fabrizio Zanello, Jeffery V. Zylinski

Abstract: Three basic properties that standard graded artinian $k$-algebras may or may not enjoy are the Weak and Strong Lefschetz Properties and the Maximal Rank Property (respectively WLP, SLP, and MRP). In this paper we will assume that the base field $k$ has characteristic zero. It is known that SLP implies MRP, which in turn implies WLP, but that both implications are strict. However, it surprising… ▽ More Three basic properties that standard graded artinian $k$-algebras may or may not enjoy are the Weak and Strong Lefschetz Properties and the Maximal Rank Property (respectively WLP, SLP, and MRP). In this paper we will assume that the base field $k$ has characteristic zero. It is known that SLP implies MRP, which in turn implies WLP, but that both implications are strict. However, it surprisingly turned out that the set of Hilbert functions admitting any algebras with WLP coincides with the corresponding set for SLP (and therefore with that for MRP). J. Migliore and the first author, using Green's theorem and a result of Wiebe, characterized the Hilbert functions forcing all algebras to enjoy WLP. The purpose of this note is to prove the corresponding characterizations for both SLP and MRP. Unsurprisingly (or surprisingly??), the two characterizations coincide, but they define a class of Hilbert functions strictly smaller than that determined for WLP. Our methods include the Herzog-Popescu theorem on quotients of $k$-algebras modulo a general form, a result of Wiebe, and gins and stable ideals. At the end, we will also discuss the importance of assuming that the characteristic be zero, and we will exhibit a class of codimension 2 monomial complete intersections for which SLP (but not MRP) fails in positive characteristic. △ Less

Submitted 9 October, 2008; v1 submitted 17 April, 2008; originally announced April 2008.

Comments: 8 pages; minor revisions; to appear in J. Pure Appl. Algebra

MSC Class: 13D40 (Primary) 13E10 (Secondary)

Journal ref: J. Pure Appl. Algebra 213 (2009), No. 6, 1026-1030

The strength of the Weak Lefschetz Property

Authors: Juan C. Migliore, Fabrizio Zanello

Abstract: We study a number of conditions on the Hilbert function of a level artinian algebra which imply the Weak Lefschetz Property (WLP). Possibly the most important open case is whether a codimension 3 SI-sequence forces the WLP for level algebras. In other words, does every codimension 3 Gorenstein algebra have the WLP? We give some new partial answers to this old question: we prove an affirmative an… ▽ More We study a number of conditions on the Hilbert function of a level artinian algebra which imply the Weak Lefschetz Property (WLP). Possibly the most important open case is whether a codimension 3 SI-sequence forces the WLP for level algebras. In other words, does every codimension 3 Gorenstein algebra have the WLP? We give some new partial answers to this old question: we prove an affirmative answer when the initial degree is 2, or when the Hilbert function is relatively small. Then we give a complete answer to the question of what is the largest socle degree forcing the WLP. △ Less

Submitted 14 August, 2008; v1 submitted 24 March, 2008; originally announced March 2008.

Comments: A few minor corrections; to appear in the Illinois J. Math

MSC Class: 13E10 (Primary); 13H10; 13D40 (Secondary)

Journal ref: Illinois J. Math. 52 (2008), no. 4, 1417-1433

Bounds and asymptotic minimal growth for Gorenstein Hilbert functions

Authors: Juan C. Migliore, Uwe Nagel, Fabrizio Zanello

Abstract: We determine new bounds on the entries of Gorenstein Hilbert functions, both in any fixed codimension and asymptotically. Our first main theorem is a lower bound for the degree $i+1$ entry of a Gorenstein $h$-vector, in terms of its entry in degree $i$. This result carries interesting applications concerning unimodality: indeed, an important consequence is that, given $r$ and $i$, all Gorenste… ▽ More We determine new bounds on the entries of Gorenstein Hilbert functions, both in any fixed codimension and asymptotically. Our first main theorem is a lower bound for the degree $i+1$ entry of a Gorenstein $h$-vector, in terms of its entry in degree $i$. This result carries interesting applications concerning unimodality: indeed, an important consequence is that, given $r$ and $i$, all Gorenstein $h$-vectors of codimension $r$ and socle degree $e\geq e_0=e_0(r,i)$ (this function being explicitly computed) are unimodal up to degree $i+1$. This immediately gives a new proof of a theorem of Stanley that all Gorenstein $h$-vectors in codimension three are unimodal. Our second main theorem is an asymptotic formula for the least value that the $i$-th entry of a Gorenstein $h$-vector may assume, in terms of codimension, $r$, and socle degree, $e$. This theorem broadly generalizes a recent result of ours, where we proved a conjecture of Stanley predicting that asymptotic value in the specific case $e=4$ and $i=2$, as well as a result of Kleinschmidt which concerned the logarithmic asymptotic behavior in degree $i= \lfloor \frac{e}{2} \rfloor $. △ Less

Submitted 29 November, 2008; v1 submitted 10 January, 2008; originally announced January 2008.

Comments: Several minor changes; to appear in J. Algebra

MSC Class: 13E10 (Primary); 13H10; 13D40 (Secondary)

Journal ref: J. Algebra 321 (2009), No. 5, 1510-1521

Simplicial complexes and Macaulay's inverse systems

Authors: Adam Van Tuyl, Fabrizio Zanello

Abstract: Let $Δ$ be a simplicial complex on $V = \{x_1,...,x_n\}$, with Stanley-Reisner ideal $I_Δ\subseteq R = k[x_1,...,x_n]$. The goal of this paper is to investigate the class of artinian algebras $A=A(Δ,a_1,...,a_n)= R/(I_Δ,x_1^{a_1},...,x_n^{a_n})$, where each $a_i \geq 2$. By utilizing the technique of Macaulay's inverse systems, we can explicitly describe the socle of $A$ in terms of $Δ$. As a co… ▽ More Let $Δ$ be a simplicial complex on $V = \{x_1,...,x_n\}$, with Stanley-Reisner ideal $I_Δ\subseteq R = k[x_1,...,x_n]$. The goal of this paper is to investigate the class of artinian algebras $A=A(Δ,a_1,...,a_n)= R/(I_Δ,x_1^{a_1},...,x_n^{a_n})$, where each $a_i \geq 2$. By utilizing the technique of Macaulay's inverse systems, we can explicitly describe the socle of $A$ in terms of $Δ$. As a consequence, we determine the simplicial complexes, that we will call {\em levelable}, for which there exists a tuple $(a_1,...,a_n)$ such that $A(Δ,a_1,...,a_n)$ is a level algebra. △ Less

Submitted 21 February, 2009; v1 submitted 11 December, 2007; originally announced December 2007.

Comments: Very minor changes. To appear in Math. Z

MSC Class: 13F55 (Primary); 13H10; 13E10; 05E99 (Secondary)

Journal ref: Math. Z. 265 (2010), no. 1, 151-160

Interval Conjectures for level Hilbert functions

Authors: Fabrizio Zanello

Abstract: We conjecture that the set of all Hilbert functions of (artinian) level algebras enjoys a very natural form of regularity, which we call the {\em Interval Conjecture} (IC): If, for some positive integer $α$, $(1,h_1,...,h_i,...,h_e)$ and $(1,h_1,...,h_i+α,...,h_e)$ are both level $h$-vectors, then $(1,h_1,...,h_i+β,...,h_e)$ is also level for each integer $β=0,1,..., α.$ In the Gorenstein case,… ▽ More We conjecture that the set of all Hilbert functions of (artinian) level algebras enjoys a very natural form of regularity, which we call the {\em Interval Conjecture} (IC): If, for some positive integer $α$, $(1,h_1,...,h_i,...,h_e)$ and $(1,h_1,...,h_i+α,...,h_e)$ are both level $h$-vectors, then $(1,h_1,...,h_i+β,...,h_e)$ is also level for each integer $β=0,1,..., α.$ In the Gorenstein case, i.e. when $h_e=1$, we also supply the {\em Gorenstein Interval Conjecture} (GIC), which naturally generalizes the IC, and basically states that the same property simultaneously holds for any two symmetric entries, say $h_i$ and $h_{e-i}$, of a Gorenstein $h$-vector. These conjectures are inspired by the research performed in this area over the last few years. A series of recent results seems to indicate that it will be nearly impossible to characterize explicitly the sets of all Gorenstein or of all level Hilbert functions. Therefore, our conjectures would at least provide the existence of a very strong - and natural - form of order in the structure of such important and complicated sets. We are still far from proving the conjectures at this point. However, we will already solve a few interesting cases, especially when it comes to the IC, in this paper. Among them, that of Gorenstein $h$-vectors of socle degree 4, that of level $h$-vectors of socle degree 2, and that of non-unimodal level $h$-vectors of socle degree 3 and any given codimension. △ Less

Submitted 25 September, 2007; v1 submitted 6 May, 2007; originally announced May 2007.

Comments: Several changes. In particular, the conjecture has been extended (and the title of the article has been modified). To appear in the J. of Algebra

MSC Class: 13E10 (primary) 13D40; 13H10 (secondary)

Journal ref: J. Algebra 321 (2009), No. 10, 2705-2715

A characterization of Gorenstein Hilbert functions in codimension four with small initial degree

Authors: Juan C. Migliore, Uwe Nagel, Fabrizio Zanello

Abstract: The main goal of this paper is to characterize the Hilbert functions of all (artinian) codimension 4 Gorenstein algebras that have at least two independent relations of degree four. This includes all codimension 4 Gorenstein algebras whose initial relation is of degree at most 3. Our result shows that those Hilbert functions are exactly the so-called {\em SI-sequences} starting with (1,4,h_2,h_3… ▽ More The main goal of this paper is to characterize the Hilbert functions of all (artinian) codimension 4 Gorenstein algebras that have at least two independent relations of degree four. This includes all codimension 4 Gorenstein algebras whose initial relation is of degree at most 3. Our result shows that those Hilbert functions are exactly the so-called {\em SI-sequences} starting with (1,4,h_2,h_3,...), where $h_4 \leq 33$. In particular, these Hilbert functions are all unimodal. We also establish a more general unimodality result, which relies on the values of the Hilbert function not being too big, but is independent of the initial degree. △ Less

Submitted 13 July, 2007; v1 submitted 29 March, 2007; originally announced March 2007.

Comments: A few changes. Final version, to appear in Math. Res. Lett

MSC Class: 13E10 (primary); 13H10; 13D40 (secondary)

Journal ref: Math. Res. Lett. 15 (2008), 331-349

On the degree two entry of a Gorenstein $h$-vector and a conjecture of Stanley

Authors: Juan C. Migliore, Uwe Nagel, Fabrizio Zanello

Abstract: In this note we establish a (non-trivial) lower bound on the degree two entry $h_2$ of a Gorenstein $h$-vector of any given socle degree $e$ and any codimension $r$. In particular, when $e=4$, that is for Gorenstein $h$-vectors of the form $h=(1,r,h_2,r,1)$, our lower bound allows us to prove a conjecture of Stanley on the order of magnitude of the minimum value, say $f(r)$, that $h_2$ may ass… ▽ More In this note we establish a (non-trivial) lower bound on the degree two entry $h_2$ of a Gorenstein $h$-vector of any given socle degree $e$ and any codimension $r$. In particular, when $e=4$, that is for Gorenstein $h$-vectors of the form $h=(1,r,h_2,r,1)$, our lower bound allows us to prove a conjecture of Stanley on the order of magnitude of the minimum value, say $f(r)$, that $h_2$ may assume. In fact, we show that $$\lim_{r\to \infty} {f(r)\over r^{2/3}}= 6^{2/3}.$$ In general, we wonder whether our lower bound is sharp for all integers $e\geq 4$ and $r\geq 2$. △ Less

Submitted 27 November, 2007; v1 submitted 14 September, 2006; originally announced September 2006.

Comments: A few minor changes. To appear in Proc. of the AMS

MSC Class: 13E10 (Primary); 13H10; 13D40 (Secondary)

Journal ref: Proc. Amer. Math. Soc. 136 (2008), No. 8, 2755-2762

The Hilbert functions which force the Weak Lefschetz Property

Authors: Juan C. Migliore, Fabrizio Zanello

Abstract: The purpose of this note is to characterize the finite Hilbert functions which force all of their artinian algebras to enjoy the Weak Lefschetz Property (WLP). Curiously, they turn out to be exactly those (characterized by Wiebe in $[Wi]$) whose Gotzmann ideals have the WLP. This implies that, if a Gotzmann ideal has the WLP, then all algebras with the same Hilbert function (and hence lower Be… ▽ More The purpose of this note is to characterize the finite Hilbert functions which force all of their artinian algebras to enjoy the Weak Lefschetz Property (WLP). Curiously, they turn out to be exactly those (characterized by Wiebe in $[Wi]$) whose Gotzmann ideals have the WLP. This implies that, if a Gotzmann ideal has the WLP, then all algebras with the same Hilbert function (and hence lower Betti numbers) have the WLP as well. However, we will answer in the negative, even in the case of level algebras, the most natural question that one might ask after reading the previous sentence: If $A$ is an artinian algebra enjoying the WLP, do all artinian algebras with the same Hilbert function as $A$ and Betti numbers lower than those of $A$ have the WLP as well? Also, as a consequence of our result, we have another (simpler) proof of the fact that all codimension 2 algebras enjoy the WLP (this fact was first proven in $[HMNW]$, where it was shown that even the Strong Lefschetz Property holds). △ Less

Submitted 26 September, 2006; v1 submitted 5 September, 2006; originally announced September 2006.

Comments: A few minor changes. To appear in JPAA

MSC Class: 13E10 (primary); 13D40; 14M05 (secondary)

Journal ref: JPAA 210 (2007), No. 2, 465-471

An improved Multiplicity Conjecture for codimension three Gorenstein algebras

Authors: Juan C. Migliore, Uwe Nagel, Fabrizio Zanello

Abstract: The Multiplicity Conjecture is a deep problem relating the multiplicity (or degree) of a Cohen-Macaulay standard graded algebra with certain extremal graded Betti numbers in its minimal free resolution. In the case of level algebras of codimension three, Zanello has proposed a stronger conjecture. We prove this conjecture for the case of codimension three graded Gorenstein algebras. The Multiplicity Conjecture is a deep problem relating the multiplicity (or degree) of a Cohen-Macaulay standard graded algebra with certain extremal graded Betti numbers in its minimal free resolution. In the case of level algebras of codimension three, Zanello has proposed a stronger conjecture. We prove this conjecture for the case of codimension three graded Gorenstein algebras. △ Less

Submitted 9 January, 2007; v1 submitted 22 April, 2006; originally announced April 2006.

Comments: A few minor revisions. To appear in Comm. in Algebra

MSC Class: 13H15 (primary); 13D02; 13D40; 13E10 (secondary)

Journal ref: Comm. Algebra 36 (2008), no. 1, 112-119

Level algebras with bad properties

Authors: Mats Boij, Fabrizio Zanello

Abstract: This paper can be seen as a continuation of the works contained in the recent preprints [Za], of the second author, and [Mi], of Juan Migliore. Our results are: 1). There exist codimension three artinian level algebras of type two which do not enjoy the Weak Lefschetz Property (WLP). In fact, for $e\gg 0$, we will construct a codimension three, type two $h$-vector of socle degree $e$ such that… ▽ More This paper can be seen as a continuation of the works contained in the recent preprints [Za], of the second author, and [Mi], of Juan Migliore. Our results are: 1). There exist codimension three artinian level algebras of type two which do not enjoy the Weak Lefschetz Property (WLP). In fact, for $e\gg 0$, we will construct a codimension three, type two $h$-vector of socle degree $e$ such that {\em all} the level algebras with that $h$-vector do not have the WLP. We will also describe the family of those algebras and compute its dimension, for each $e\gg 0$. 2). There exist reduced level sets of points in ${\mathbf P}^3$ of type two whose artinian reductions all fail to have the WLP. Indeed, the examples constructed here have the same $h$-vectors we mentioned in 1). 3). For any integer $r\geq 3$, there exist non-unimodal monomial artinian level algebras of codimension $r$. As an immediate consequence of this result, we obtain another proof of the fact (first shown by Migliore in [Mi], Theorem 4.3) that, for any $r\geq 3$, there exist reduced level sets of points in ${\mathbf P}^r$ whose artinian reductions are non-unimodal. △ Less

Submitted 18 May, 2006; v1 submitted 9 December, 2005; originally announced December 2005.

Comments: 10 pages; a few minor changes; to appear in the Proc. of the AMS

MSC Class: Primary: 13H10; Secondary: 13D40; 13E10; 14M05

Journal ref: Proc. Amer. Math. Soc. 135 (2007), no. 9, 2713-2722

Improving the bounds of the Multiplicity Conjecture: the codimension 3 level case

Authors: Fabrizio Zanello

Abstract: The Multiplicity Conjecture (MC) of Huneke and Srinivasan provides upper and lower bounds for the multiplicity of a Cohen-Macaulay algebra $A$ in terms of the shifts appearing in the modules of the minimal free resolution (MFR) of $A$. All the examples studied so far have lead to conjecture (see $[HZ]$ and $[MNR2]$) that, moreover, the bounds of the MC are sharp if and only if $A$ has a pure MFR… ▽ More The Multiplicity Conjecture (MC) of Huneke and Srinivasan provides upper and lower bounds for the multiplicity of a Cohen-Macaulay algebra $A$ in terms of the shifts appearing in the modules of the minimal free resolution (MFR) of $A$. All the examples studied so far have lead to conjecture (see $[HZ]$ and $[MNR2]$) that, moreover, the bounds of the MC are sharp if and only if $A$ has a pure MFR. Therefore, it seems a reasonable - and useful - idea to seek better, if possibly {\it ad hoc}, bounds for particular classes of Cohen-Macaulay algebras. In this work we will only consider the codimension 3 case. In the first part we will stick to the bounds of the MC, and show that they hold for those algebras whose $h$-vector is that of a compressed algebra. In the second part, we will (mainly) focus on the level case: we will construct new conjectural upper and lower bounds for the multiplicity of a codimension 3 level algebra $A$, which can be expressed exclusively in terms of the $h$-vector of $A$, and which are better than (or equal to) those provided by the MC. Also, our bounds can be sharp even when the MFR of $A$ is not pure. Even though proving our bounds still appears too difficult a task in general, we are already able to show them for some interesting classes of codimension 3 level algebras $A$: namely, when $A$ is compressed, or when its $h$-vector $h(A)$ ends with $(...,3,2)$. Also, we will prove our lower bound when $h(A)$ begins with $(1,3,h_2,...)$, where $h_2\leq 4$, and our upper bound when $h(A)$ ends with $(...,h_{c-1},h_c)$, where $h_{c-1}\leq h_c+1$. △ Less

Submitted 30 April, 2006; v1 submitted 11 November, 2005; originally announced November 2005.

Comments: 22 pages. A few (non-substantial) changes. To appear in J. of Pure and Appl. Algebra

MSC Class: 13H15 primary; 13D02; 13D40; 13E10 secondary

Journal ref: JPAA 209 (2007), No. 1, 79-89

A non-unimodal codimension 3 level $h$-vector

Authors: Fabrizio Zanello

Abstract: $(1,3,6,10,15,21,28,27,27,28)$ is a level $h$-vector! This example answers negatively the open question as to whether all codimension 3 level $h$-vectors are unimodal. Moreover, using the same (simple) technique, we are able to construct level algebras of codimension 3 whose $h$-vectors have exactly $N$ ` ` maxima", for any positive integer $N$. These non-unimodal $h$-vectors, in particular, pro… ▽ More $(1,3,6,10,15,21,28,27,27,28)$ is a level $h$-vector! This example answers negatively the open question as to whether all codimension 3 level $h$-vectors are unimodal. Moreover, using the same (simple) technique, we are able to construct level algebras of codimension 3 whose $h$-vectors have exactly $N$ ` ` maxima", for any positive integer $N$. These non-unimodal $h$-vectors, in particular, provide examples of codimension 3 level algebras not enjoying the Weak Lefschetz Property (WLP). Their existence was also an open problem before. In the second part of the paper we further investigate this fundamental property, and show that there even exist codimension 3 level algebras of type 3 without the WLP. △ Less

Submitted 26 July, 2006; v1 submitted 31 May, 2005; originally announced May 2005.

Comments: 12 pages, a few minor changes. To appear in the J. of Algebra

MSC Class: 13E10 (primary); 13D40; 13H10 (secondary)

Journal ref: J. of Algebra 305 (2006), No. 2, 949-956.

The $h$-vector of a relatively compressed level algebra

Authors: Fabrizio Zanello

Abstract: The purpose of this note is to supply an upper and a lower bound (which are in general sharp) for the $h$-vector of a level algebra which is relatively compressed with respect to any arbitrary level algebra $A$. The useful concept of relatively compressed algebra was recently introduced in $[MMN]$ by Migliore {\it et al.} (whose investigations mainly focused on the particular case of $A$ a compl… ▽ More The purpose of this note is to supply an upper and a lower bound (which are in general sharp) for the $h$-vector of a level algebra which is relatively compressed with respect to any arbitrary level algebra $A$. The useful concept of relatively compressed algebra was recently introduced in $[MMN]$ by Migliore {\it et al.} (whose investigations mainly focused on the particular case of $A$ a complete intersection). The key idea of this note is the simple observation that the level algebras which are relatively compressed with respect to $A$ coincide (after an obvious isomorphism) with the generic level quotients of suitable truncations of $A$. Therefore, we are able to apply to relatively compressed algebras the main result of our recent work $[Za3]$. △ Less

Submitted 31 October, 2005; v1 submitted 24 March, 2005; originally announced March 2005.

Comments: 7 pages. A few minor changes. To appear in Comm. in Algebra

MSC Class: 13E10 (primary); 13D40; 13H10 (secondary)

Journal ref: Comm. in Algebra 35 (2007), No. 4, 1087-1091

Partial derivatives of a generic subspace of a vector space of forms: quotients of level algebras of arbitrary type

Authors: Fabrizio Zanello

Abstract: Given a vector space $V$ of homogeneous polynomials of the same degree over an infinite field, consider a generic subspace $W$ of $V$. The main result of this paper is a lower-bound (in general sharp) for the dimensions of the spaces spanned in each degree by the partial derivatives of the forms generating $W$, in terms of the dimensions of the spaces spanned by the partial derivatives of the fo… ▽ More Given a vector space $V$ of homogeneous polynomials of the same degree over an infinite field, consider a generic subspace $W$ of $V$. The main result of this paper is a lower-bound (in general sharp) for the dimensions of the spaces spanned in each degree by the partial derivatives of the forms generating $W$, in terms of the dimensions of the spaces spanned by the partial derivatives of the forms generating the original space $V$. Rephrasing our result in the language of commutative algebra (where this result finds its most important applications), we have: let $A$ be a type $t$ artinian level algebra with $h$-vector $h=(1,h_1,h_2,...,h_e)$, and let, for $c=1,2,...,t-1$, $H^{c,gen}=(1,H_1^{c,gen},H_2^{c,gen},...,H_e^{c,gen})$ be the $h$-vector of the generic type $c$ level quotient of $A$ having the same socle degree $e$. Then we supply a lower-bound (in general sharp) for the $h$-vector $H^{c,gen}$. Explicitly, we will show that, for any $u\in \lbrace 1,...,e\rbrace $, $$H_u^{c,gen}\geq {1\over t^2-1}((t-c)h_{e-u}+(ct-1)h_u).$$ This result generalizes a recent theorem of Iarrobino (which treats the case $t=2$). Finally, we begin to obtain, as a consequence, some structure theorems for level $h$-vectors of type bigger than 2, which is, at this time, a very little explored topic. △ Less

Submitted 17 March, 2005; v1 submitted 22 February, 2005; originally announced February 2005.

Comments: 18 pages. To appear in the Trans. of the A.M.S

MSC Class: 13E10 (primary); 13H10 (secondary)

Journal ref: Trans. of the A.M.S. 359 (2007), No. 2, 2675-2686

Extending the idea of compressed algebra to arbitrary socle-vectors, II: cases of non-existence

Authors: Fabrizio Zanello

Abstract: This paper is the continuation of the previous work on generalized compressed algebras (GCA's). First we exhibit a new class of socle-vectors $s$ which admit a GCA (whose $h$-vector is lower than the upper-bound $H$ of Theorem A of the previous paper). In particular, it follows that for every socle-vector $s$ of type 2 there exists a GCA (in any codimension $r$). The main result of this paper is… ▽ More This paper is the continuation of the previous work on generalized compressed algebras (GCA's). First we exhibit a new class of socle-vectors $s$ which admit a GCA (whose $h$-vector is lower than the upper-bound $H$ of Theorem A of the previous paper). In particular, it follows that for every socle-vector $s$ of type 2 there exists a GCA (in any codimension $r$). The main result of this paper is the following: there exist pairs $(r,s)$ which do not admit a GCA. Moreover, the way this pathology occurs may be "arbitrarily bad" (even in codimension 3). Finally, we start considering the difficult problem of characterizing the pairs $(r,s)$ which admit a GCA, focusing on a particular class of socle-vectors of codimension 3. △ Less

Submitted 24 November, 2004; originally announced November 2004.

Comments: 34 pages (19 in the journal). With permission from Elsevier

MSC Class: 13E10

Journal ref: J. of Algebra 275 (2004), No. 2, 730-748