To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
We investigate arithmetic, geometric and combinatorial properties of symmetric edge polytopes. We give a complete combinatorial description of their facets. By combining Gröbner basis techniques, half-open decompositions and methods for interlacing polynomials we provide an explicit formula for the $h^{\ast }$-polynomial in case of complete bipartite graphs. In particular, we show that the $h^{\ast }$-polynomial is $\unicode[STIX]{x1D6FE}$-positive and real-rooted. This proves Gal’s conjecture for arbitrary flag unimodular triangulations in this case, and, beyond that, we prove a strengthening due to Nevo and Petersen [On $\unicode[STIX]{x1D6FE}$-vectors satisfying the Kruskal–Katona inequalities. Discrete Comput. Geom.45(3) (2011), 503–521].
We establish the continuity of Hilbert–Kunz multiplicity and F-signature as functions from a Cohen–Macaulay local ring $(R,\mathfrak{m},k)$ of prime characteristic to the real numbers at reduced parameter elements with respect to the $\mathfrak{m}$-adic topology.
A number field K with a ring of integers 𝒪K is called a Pólya field, if the 𝒪K-module of integer-valued polynomials on 𝒪K has a regular basis, or equivalently all its Bhargava factorial ideals are principal [1]. We generalize Leriche's criterion [8] for Pólya-ness of Galois closures of pure cubic fields, to general S3-extensions of ℚ. Also, we prove for a real (resp. imaginary) Pólya S3-extension L of ℚ, at most four (resp. three) primes can be ramified. Moreover, depending on the solvability of unit norm equation over the quadratic subfield of L, we determine when these sharp upper bounds can occur.
In this paper, we will prove that any $\mathbb{A}^{3}$-form over a field $k$ of characteristic zero is trivial provided it has a locally nilpotent derivation satisfying certain properties. We will also show that the result of Kambayashi on the triviality of separable $\mathbb{A}^{2}$-forms over a field $k$ extends to $\mathbb{A}^{2}$-forms over any one-dimensional Noetherian domain containing $\mathbb{Q}$.
Let 𝔭 be a prime ideal in a commutative noetherian ring R. It is proved that if an R-module M satisfies ${\rm Tor}_n^R $(k (𝔭), M) = 0 for some n ⩾ R𝔭, where k(𝔭) is the residue field at 𝔭, then ${\rm Tor}_i^R $(k (𝔭), M) = 0 holds for all i ⩾ n. Similar rigidity results concerning ${\rm Tor}_R^{\ast} $(k (𝔭), M) are proved, and applications to the theory of homological dimensions are explored.
A square-free monomial ideal $I$ of $k[x_{1},\ldots ,x_{n}]$ is said to be an $f$-ideal if the facet complex and non-face complex associated with $I$ have the same $f$-vector. We show that $I$ is an $f$-ideal if and only if its Newton complementary dual $\widehat{I}$ is also an $f$-ideal. Because of this duality, previous results about some classes of $f$-ideals can be extended to a much larger class of $f$-ideals. An interesting by-product of our work is an alternative formulation of the Kruskal–Katona theorem for $f$-vectors of simplicial complexes.
Let R be a d-dimensional Cohen–Macaulay (CM) local ring of minimal multiplicity. Set S := R/(f), where f := f1,. . .,fc is an R-regular sequence. Suppose M and N are maximal CM S-modules. It is shown that if ExtSi(M, N) = 0 for some (d + c + 1) consecutive values of i ⩾ 2, then ExtSi(M, N) = 0 for all i ⩾ 1. Moreover, if this holds true, then either projdimR(M) or injdimR(N) is finite. In addition, a counterpart of this result for Tor-modules is provided. Furthermore, we give a number of necessary and sufficient conditions for a CM local ring of minimal multiplicity to be regular or Gorenstein. These conditions are based on vanishing of certain Exts or Tors involving homomorphic images of syzygy modules of the residue field.
Boij–Söderberg theory characterizes syzygies of graded modules and sheaves on projective space. This paper continues earlier work with Sam, extending the theory to the setting of $\text{GL}_{k}$-equivariant modules and sheaves on Grassmannians. Algebraically, we study modules over a polynomial ring in $kn$ variables, thought of as the entries of a $k\times n$ matrix. We give equivariant analogs of two important features of the ordinary theory: the Herzog–Kühl equations and the pairing between Betti and cohomology tables. As a necessary step, we also extend previous results, concerning the base case of square matrices, to cover complexes other than free resolutions. Our statements specialize to those of ordinary Boij–Söderberg theory when $k=1$. Our proof of the equivariant pairing gives a new proof in the graded setting: it relies on finding perfect matchings on certain graphs associated to Betti tables and to spectral sequences. As an application, we construct three families of extremal rays on the Betti cone for $2\times 3$ matrices.
We propose here a generalization of the problem addressed by the SHGH conjecture. The SHGH conjecture posits a solution to the question of how many conditions a general union $X$ of fat points imposes on the complete linear system of curves in $\mathbb{P}^{2}$ of fixed degree $d$, in terms of the occurrence of certain rational curves in the base locus of the linear subsystem defined by $X$. As a first step towards a new theory, we show that rational curves play a similar role in a special case of a generalized problem, which asks how many conditions are imposed by a general union of fat points on linear subsystems defined by imposed base points. Moreover, motivated by work of Di Gennaro, Ilardi and Vallès and of Faenzi and Vallès, we relate our results to the failure of a strong Lefschetz property, and we give a Lefschetz-like criterion for Terao’s conjecture on the freeness of line arrangements.
We compute Betti numbers for a Cohen–Macaulay tangent cone of a monomial curve in the affine $4$-space corresponding to a pseudo-symmetric numerical semigroup. As a byproduct, we also show that for these semigroups, being of homogeneous type and homogeneous are equivalent properties.
We study the decompositions of Hilbert schemes induced by the Schubert cell decomposition of the Grassmannian variety and show that Hilbert schemes admit a stratification into locally closed subschemes along which the generic initial ideals remain the same. We give two applications. First, we give completely geometric proofs of the existence of the generic initial ideals and of their Borel fixed properties. Second, we prove that when a Hilbert scheme of non-constant Hilbert polynomial is embedded by the Grothendieck–Plücker embedding of a high enough degree, it must be degenerate.
Let A ⊂ B be an integral ring extension of integral domains with fields of fractions K and L, respectively. The integral degree of A ⊂ B, denoted by dA(B), is defined as the supremum of the degrees of minimal integral equations of elements of B over A. It is an invariant that lies in between dK(L) and μA(B), the minimal number of generators of the A-module B. Our purpose is to study this invariant. We prove that it is sub-multiplicative and upper-semicontinuous in the following three cases: if A ⊂ B is simple; if A ⊂ B is projective and finite and K ⊂ L is a simple algebraic field extension; or if A is integrally closed. Furthermore, d is upper-semicontinuous if A is noetherian of dimension 1 and with finite integral closure. In general, however, d is neither sub-multiplicative nor upper-semicontinuous.
We consider a family of nonlinear rational recurrences of odd order which was introduced by Heideman and Hogan, and recently rediscovered in the theory of Laurent phenomenon algebras (a generalization of cluster algebras). All of these recurrences have the Laurent property, implying that for a particular choice of initial data (all initial values set to 1) they generate an integer sequence. For these particular sequences, Heideman and Hogan gave a direct proof of integrality by showing that the terms of the sequence also satisfy a linear recurrence relation with constant coefficients. Here we present an analogous result for the general solution of each of these recurrences.
We upper-bound the number of common zeros over a finite grid of multivariate polynomials and an arbitrary finite collection of their consecutive Hasse derivatives (in a coordinate-wise sense). To that end, we make use of the tool from Gröbner basis theory known as footprint. Then we establish and prove extensions in this context of a family of well-known results in algebra and combinatorics. These include Alon's combinatorial Nullstellensatz [1], existence and uniqueness of Hermite interpolating polynomials over a grid, estimations of the parameters of evaluation codes with consecutive derivatives [20], and bounds on the number of zeros of a polynomial by DeMillo and Lipton [8], Schwartz [25], Zippel [26, 27] and Alon and Füredi [2]. As an alternative, we also extend the Schwartz-Zippel bound to weighted multiplicities and discuss its connection to our extension of the footprint bound.
We study an operation, that we call lifting, creating nonisomorphic monomial curves from a single monomial curve. Our main result says that all but finitely many liftings of a monomial curve have Cohen–Macaulay tangent cones even if the tangent cone of the original curve is not Cohen–Macaulay. This implies that the Betti sequence of the tangent cone is eventually constant under this operation. Moreover, all liftings have Cohen–Macaulay tangent cones when the original monomial curve has a Cohen–Macaulay tangent cone. In this case, all the Betti sequences are just the Betti sequence of the original curve.
For a skew-symmetrizable cluster algebra ${\mathcal{A}}_{t_{0}}$ with principal coefficients at $t_{0}$, we prove that each seed $\unicode[STIX]{x1D6F4}_{t}$ of ${\mathcal{A}}_{t_{0}}$ is uniquely determined by its $C$-matrix, which was proposed by Fomin and Zelevinsky (Compos. Math. 143 (2007), 112–164) as a conjecture. Our proof is based on the fact that the positivity of cluster variables and sign coherence of $c$-vectors hold for ${\mathcal{A}}_{t_{0}}$, which was actually verified in Gross et al. (Canonical bases for cluster algebras, J. Amer. Math. Soc. 31(2) (2018), 497–608). Further discussion is provided in the sign-skew-symmetric case so as to obtain a weak version of the conjecture in this general case.
Let $k$ be a field and $R$ a standard graded $k$-algebra. We denote by $\operatorname{H}^{R}$ the homology algebra of the Koszul complex on a minimal set of generators of the irrelevant ideal of $R$. We discuss the relationship between the multiplicative structure of $\operatorname{H}^{R}$ and the property that $R$ is a Koszul algebra. More generally, we work in the setting of local rings and we show that certain conditions on the multiplicative structure of Koszul homology imply strong homological properties, such as existence of certain Golod homomorphisms, leading to explicit computations of Poincaré series. As an application, we show that the Poincaré series of all finitely generated modules over a stretched Cohen–Macaulay local ring are rational, sharing a common denominator.
In this paper, we study the singularities of a general hyperplane section $H$ of a three-dimensional quasi-projective variety $X$ over an algebraically closed field of characteristic $p>0$. We prove that if $X$ has only canonical singularities, then $H$ has only rational double points. We also prove, under the assumption that $p>5$, that if $X$ has only klt singularities, then so does $H$.
For a pair $(R,I)$, where $R$ is a standard graded domain of dimension $d$ over an algebraically closed field of characteristic 0, and $I$ is a graded ideal of finite colength, we prove that the existence of $\lim _{p\rightarrow \infty }e_{HK}(R_{p},I_{p})$ is equivalent, for any fixed $m\geqslant d-1$, to the existence of $\lim _{p\rightarrow \infty }\ell (R_{p}/I_{p}^{[p^{m}]})/p^{md}$. This we get as a consequence of Theorem 1.1: as $p\longrightarrow \infty$, the convergence of the Hilbert–Kunz (HK) density function $f(R_{p},I_{p})$ is equivalent to the convergence of the truncated HK density functions $f_{m}(R_{p},I_{p})$ (in $L^{\infty }$ norm) of the mod$p$reductions$(R_{p},I_{p})$, for any fixed $m\geqslant d-1$. In particular, to define the HK density function $f_{R,I}^{\infty }$ in char 0, it is enough to prove the existence of $\lim _{p\rightarrow \infty }f_{m}(R_{p},I_{p})$, for any fixed $m\geqslant d-1$. This allows us to prove the existence of $e_{HK}^{\infty }(R,I)$ in many new cases, for example, when Proj R is a Segre product of curves.
Let $R$ be a commutative Noetherian ring of prime characteristic $p$. In this paper, we give a short proof using filter regular sequences that the set of associated prime ideals of $H_{I}^{t}(R)$ is finite for any ideal $I$ and for any $t\geqslant 0$ when $R$ has finite $F$-representation type or finite singular locus. This extends a previous result by Takagi–Takahashi and gives affirmative answers for a problem of Huneke in many new classes of rings in positive characteristic. We also give a criterion about the singularities of $R$ (in any characteristic) to guarantee that the set $\operatorname{Ass}H_{I}^{2}(R)$ is always finite.