Herzog, Huneke, and Srinivasan have conjectured that for any homogeneous $k$-algebra, the multiplicity is bounded above by a function of the maximal degrees of the syzygies and below by a function of the minimal degrees of the syzygies. The goal of this paper is to establish the multiplicity conjecture of Herzog, Huneke, and Srinivasan about the multiplicity of graded Cohen-Macaulay algebras over a field $k$ for $k$-algebras $k[x_1, ..., x_n]/I$ being $I$ a determinantal ideal of arbitrary codimension.
In this paper, we derive several formulas of counting families of non-intersecting paths for two-sided ladder-shaped regions. As an application, we give a new proof to a combinatorial interpretation of Fibonacci numbers obtained by G. Andrews in 1974.
This article generalizes joint work of the first author and I. Swanson to the $s$-multiplicity recently introduced by the second author. For $k$ a field and $X = [ x_{i,j}]$ a $m \times n$-matrix of variables, we utilize Gröbner bases to give a closed form the length $λ( k[X] / (I_2(X) + \mathfrak{m}^{ \lceil sq \rceil} + \mathfrak{m}^{[q]} ))$ where $s \in \mathbf{Z}[p^{-1}]$, $q$ is a sufficiently large power of $p$, and $\mathfrak{m}$ is the homogeneous maximal ideal of $k[X]$. This shows this length is always eventually a {\it polynomial} function of $q$ for all $s$.
In this note we study standard and good determinantal schemes. We show that there exist arithmetically Cohen-Macaulay schemes that are not standard determinantal, and whose general hyperplane section is good determinantal. We prove that if a general hyperplane section of a scheme is standard (resp. good) determinantal, then the scheme is standard (resp. good) determinantal up to flat deformation. We also study the transfer of the property of being standard or good determinantal under basic double links.
Let $S=\mathbb{C}[x_{ij}]$ be a polynomial ring of $m\times n$ variables over $\mathbb{C}$ and let $I$ be the determinantal ideal of maximal minors of $S$. Using the representation theoretic techniques introduced in arXiv:1305.1719, arXiv:1309.0617 and arXiv:1611.00415, we prove the existence of the generalized $j$-multiplicities $ε^j(I)$ defined by Dao and Montaño in arXiv:1705.05033. We will also give a closed formula of $ε^j(I)$, which generalized the results in arXiv:1308.0582 and arXiv:1912.02917 in the maximal minors case.
One studies certain degenerations of the generic square matrix over a field $k$ along with its main related structures, such as the determinant of the matrix, the ideal generated by its partial derivatives, the polar map defined by these derivatives, the Hessian matrix and the ideal of the submaximal minors of the matrix. The main tool comes from commutative algebra, with emphasis on ideal theory and syzygy theory. The structure of the polar map is completely identified and the main properties of the ideal of submaximal minors are determined. Cases where the degenerated determinant has non-van…
We show that the ideal generated by maximal minors (i.e., $(k+1)$-minors) of a $(k+1) \times n$ Vandermonde matrix is radical and Cohen-Macaulay. Note that this ideal is generated by all Specht polynomials with shape $(n-k,1,...,1)$.
We give three determinantal expressions for the Hilbert series as well as the Hilbert function of a Pfaffian ring, and a closed form product formula for its multiplicity. An appendix outlining some basic facts about degeneracy loci and applications to multiplicity formulae for Pfaffian rings is also included.
The $j$-multiplicity plays an important role in the intersection theory of Stückrad-Vogel cycles, while recent developments confirm the connections between the $ε$-multiplicity and equisingularity theory. In this paper we establish, under some constraints, a relationship between the $j$-multiplicity of an ideal and the degree of its fiber cone. As a consequence, we are able to compute the $j$-multiplicity of all the ideals defining rational normal scrolls. By using the standard monomial theory, we can also compute the $j$- and $ε$-multiplicity of ideals defining determinantal varieties: The fo…
In this paper, we estimate the Hilbert-Kunz multiplicity of the (extended) Rees algebras in terms of some invariants of the base ring. Also, we give an explicit formula for the Hilbert-Kunz multiplicities of Rees algebras over Veronese subrings.
In this article we prove that the Buchsbaum-Rim multiplicity $e(F/N)$ of a parameter module $N$ in a free module $F=A^r$ is bounded above by the colength $\ell_A(F/N)$. Moreover, we prove that once the equality $\ell_A(F/N)=e(F/N)$ holds true for some parameter module $N$ in $F$, then the base ring $A$ is Cohen-Macaulay.
In this note we first give a new bound on $e_{HK}(\sim)$ the Hilbert-Kunz multiplicity of invariant rings, by the help of the Noether's bound. Then, we simplify, extend and present applications of the reciprocity formulae due to L. Smith. He proved the formula over polynomial rings and his result is tight in the following sense: Over complete intersection rings with isolated singularity we show that the reciprocity formulae "$e_{HK}(R/I)+ e_{HK}(R/J) = e_{HK}(R/\underline{f})$" is equivalent with $\pd(I)<\infty$ when $I$ is an $\fm$-primary unmixed ideal linked to $J$ along with a regular sequ…
The Multiplicity conjecture of Herzog, Huneke, and Srinivasan states an upper bound for the multiplicity of any graded $k$-algebra as well as a lower bound for Cohen-Macaulay algebras. In this note we extend this conjecture in several directions. We discuss when these bounds are sharp, find a sharp lower bound in case of not necessarily arithmetically Cohen-Macaulay one-dimensional schemes of 3-space, and we propose an upper bound for finitely generated graded torsion modules. We establish this bound for torsion modules whose codimension is at most two.
This paper establishes mixed multiplicity formulas concerning the relationship between mixed multiplicities of modules and mixed multiplicities of rings via rank of modules.
In this note we revisit the problem of determining combinatorially the multiplicity at the origin of a toric curve. In addition, we give the exact value of the regularity index of that point for plane toric curves and effective bounds for this number for arbitrary toric curves.
Let $(R,\mathfrak m)$ be a local ring of characteristic $p>0$ and $M$ a finitely generated $R$-module. In this note we consider the limit: $\lim_{n\to \infty} \frac{\ell(H^0_{\mathfrak m}(F^n(M)))}{p^{n\dim R}} $ where $F(-)$ is the Peskine-Szpiro functor. A consequence of our main results shows that the limit always exists when $R$ is excellent and has isolated singularity. Furthermore, if $R$ is a complete intersection, then the limit is 0 if and only if the projective dimension of $M$ is less than the Krull dimension of $R$. We exploit this fact to give a quick proof that if $R$ is a comple…
Kazhdan-Lusztig ideals, a family of generalized determinantal ideals investigated in [Woo-Yong '08], provide an explicit choice of coordinates and equations encoding a neighbourhood of a torus-fixed point of a Schubert variety on a type A flag variety. Our main result is a Grobner basis for these ideals. This provides a single geometric setting to transparently explain the naturality of pipe dreams on the Rothe diagram of a permutation, and their appearance in: * combinatorial formulas [Fomin-Kirillov '94] for Schubert and Grothendieck polynomials of [Lascoux-Schutzenberger '82]; * the equivar…
Consider a determinantal variety X of expected codimension definend by the maximal minors of a matrix M of linear forms. Eisenbud and Popescu have conjectured that 1-generic matrices M are characterised by the property that the syzygy ideals I(s) of all last syzygies s of X coincide with I_X. In this note we prove a geometric version of this characterization, i.e. that M is 1-generic if and only if the syzygy varieties Syz(s)=V(I(s)) of all last syzyzgies have the same support as X.
In this paper, we investigate the relationship between the index of reducibility and Chern coefficients for primary ideals. As an application, we give characterizations of a Cohen-Macaulay ring in terms of its type, irreducible multiplicity, and Chern coefficients with respect to certain parameter ideals in Noetherian local rings.
In this note we compare the a-invariant of a homogeneous algebra B to the a-invariant of a subalgebra A. In particular we show that if $A \subset B$ is a finite homogeneous inclusion of standard graded domains over an algebraically closed field with A normal and B of minimal multiplicity then A has minimal multiplicity. In some sense these results are algebraic generalizations of Hurwitz type theorems.
Let $(A, \frak m)$ be a noetherian local ring with maximal ideal $\frak{m}$ and infinite residue field $k = A/\frak{m}.$ Let $J$ be an $\frak m$-primary ideal, $I_1,...,I_s$ ideals of $A$, and $M$ a finitely generated $A$-module. In this paper, we interpret mixed multiplicities of $(I_1,..., I_s,J)$ with respect to $M$ as multiplicities of joint reductions of them. This generalizes the Rees's theorem on mixed multiplicity (Theorem 2.4). As an application we show that mixed multiplicities are also multiplicities of Rees's superficial sequences.
Let S=K[x_1,...,x_n] be a polynomial ring and R=S/I be a graded K-algebra where I is a graded ideal in S. Herzog, Huneke and Srinivasan have conjectured that the multiplicity of R is bounded above by a function of the maximal shifts in the minimal graded free resolution of R over S. We prove the conjecture in the case that codim(R)=2 which generalizes results in of Herzog, Srinivasan and Gold. We also give a proof for the bound in the case in which I is componentwise linear. For example, stable and squarefree stable ideals belong to this class of ideals.
