Search

Motivated by results on the rationality of equivariant Hilbert series of some hierarchical models in algebraic statistics we introduce the Segre product of formal languages and apply it to establish rationality of equivariant Hilbert series in new cases. To this end we show that the Segre product of two regular languages is again regular. We also prove that every filtration of algebras given as a tensor product of families of algebras with rational equivariant Hilbert series has a rational equivariant Hilbert series. The term equivariant is used broadly to include the action of the monoid of nonnegative integers by shifting variables. Furthermore, we exhibit a filtration of shift invariant monomial algebras that has a rational equivariant Hilbert series, but whose presentation ideals do not stabilize., 26 pages, comments are welcome!

\emph{Proto-exact categories}, introduced by Dyckerhoff and Kapranov, are a generalization of Quillen exact categories which provide a framework for defining algebraic K-theory and Hall algebras in a \emph{non-additive} setting. This formalism is well-suited to the study of categories whose objects have strong combinatorial flavor. In this paper, we show that the categories of modules over semirings and hyperrings - algebraic structures which have gained prominence in tropical geometry - carry proto-exact structures. In the first part, we prove that the category of modules over a semiring is equipped with a proto-exact structure; modules over an idempotent semiring have a strong connection to matroids. We also prove that the category of algebraic lattices $\mathcal{L}$ has a proto-exact structure, and furthermore that the subcategory of $\mathcal{L}$ consisting of finite lattices is equivalent to the category of finite $\mathbb{B}$-modules as proto-exact categories, where $\mathbb{B}$ is the \emph{Boolean semifield}. We also discuss some relations between $\mathcal{L}$ and geometric lattices (simple matroids) from this perspective. In the second part, we prove that the category of modules over a hyperring has a proto-exact structure. In the case of finite modules over the \emph{Krasner hyperfield} $\mathbb{K}$, a well-known relation between finite $\mathbb{K}$-modules and finite incidence geometries yields a combinatorial interpretation of exact sequences.

It has been recently observed that fundamental aspects of the classical theory of factorization can be greatly generalized by combining the languages of monoids and preorders. This has led to various theorems on the existence of certain factorizations, herein called $\preceq$-factorizations, for the $\preceq$-non-units of a (multiplicatively written) monoid $H$ endowed with a preorder $\preceq$, where an element $u \in H$ is a $\preceq$-unit if $u \preceq 1_H \preceq u$ and a $\preceq$-non-unit otherwise. The ``building blocks'' of these factorizations are the $\preceq$-irreducibles of $H$ (i.e., the $\preceq$-non-units $a \in H$ that cannot be written as a product of two $\preceq$-non-units each of which is strictly $\preceq$-smaller than $a$); and it is interesting to look for sufficient conditions for the $\preceq$-factorizations of a $\preceq$-non-unit to be bounded in length or finite in number (if measured or counted in a suitable way). This is precisely the kind of questions addressed in the present work, whose main novelty is the study of the interaction between minimal $\preceq$-factorizations (i.e., a refinement of $\preceq$-factorizations used to counter the ``blow-up phenomena'' that are inherent to factorization in non-commutative or non-cancellative monoids) and some finiteness conditions describing the ``local behaviour'' of the pair $(H, \preceq)$. Besides a number of examples and remarks, the paper includes many arithmetic results, a part of which are new already in the basic case where $\preceq$ is the divisibility preorder on $H$ (and hence in the setup of the classical theory)., Comment: 27 pages, 2 figures. Final version to appear in Journal of Algebra

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

A splinter is a notion of singularity that has seen numerous recent applications, especially in connection with the direct summand theorem, the mixed characteristic minimal model program, Cohen-Macaulayness of absolute integral closures and cohomology vanishing theorems. Nevertheless, many basic questions about these singularities remain elusive. One outstanding problem is whether the splinter property spreads from a point to an open neighborhood of a noetherian scheme. Our paper addresses this problem in prime characteristic, where we show that a locally noetherian scheme that has finite Frobenius or that is locally essentially of finite type over a quasi-excellent local ring has an open splinter locus. In particular, all varieties over fields of positive characteristic have open splinter loci. Intimate connections are established between the openness of splinter loci and $F$-compatible ideals, which are prime characteristic analogues of log canonical centers. We prove the surprising fact that for a large class of noetherian rings with pure (aka universally injective) Frobenius, the splinter condition is detected by the splitting of a single generically \'etale finite extension. We also show that for a noetherian $\textbf{N}$-graded ring over a field, the homogeneous maximal ideal detects the splinter property., Comment: Comments welcome, minor updates in v2

Let $M$ be a module over a Noetherian local ring $A$. We study $M$-independent sequences of elements of $\mathfrak{m}_A$ in the sense of Lech and Hanes. The main tool is a new characterization of the $M$-independence of a sequence in terms of the associated Koszul complex. As applications, we give a result in linkage theory, a freeness criterion for $M$ in terms of the existence of a strongly $M$-independent sequence of length $edim(A)$, and another freeness criterion inspired from the patching method of Calegari and Geraghty for balanced modules in their 2018 paper., 17 pages

This paper describes the centers of the universal enveloping algebras and the invariant rings of the standard filiform Lie algebras over fields of characteristic zero and also over large enough prime characteristic. We determine explicit generators for the quotient fields and also a compact form for the generators for the invariants rings. We prove several combinatorial results concerning the Hilbert series of these algebras.

In this paper, we consider the homogeneous coordinate rings $A(Y_{n,d}) \cong \mathbb{K}[\Omega_{n,d}]$ of monomial projections $Y_{n,d}$ of Veronese varieties parameterized by subsets $\Omega_{n,d}$ of monomials of degree $d$ in $n+1$ variables where: (1) $\Omega_{n,d}$ contains all monomials supported in at most $s$ variables and, (2) $\Omega_{n,d}$ is a set of monomial invariants of a finite diagonal abelian group $G \subset GL(n+1,\mathbb{K})$ of order $d$. Our goal is to study when $\mathbb{K}[\Omega_{n,d}]$ is a quadratic algebra and, if so, when $\mathbb{K}[\Omega_{n,d}]$ is Koszul or G-quadratic. For the family (1), we prove that $\mathbb{K}[\Omega_{n,d}]$ is quadratic when $s \ge \lceil \frac{n+2}{2} \rceil$. For the family (2), we completely characterize when $\mathbb{K}[\Omega_{2,d}]$ is quadratic in terms of the group $G \subset GL(3,\mathbb{K})$, and we prove that $\mathbb{K}[\Omega_{2,d}]$ is quadratic if and only if it is Koszul. We also provide large families of examples where $\mathbb{K}[\Omega_{n,d}]$ is G-quadratic., Comment: To appear in Journal of Algebra

Codimension two Artinian algebras $A$ have the strong and weak Lefschetz properties provided the characteristic is zero or greater than the socle degree. It is open to what extent such results might extend to codimension three AG algebras - the most promising results so far have concerned the weak Lefschetz property for such algebras. We here show that every standard-graded codimension three Artinian Gorenstein algebra $A$ having low maximum value of the Hilbert function - at most six - has the strong Lefschetz property, provided that the characteristic is zero. When the characteristic is greater than the socle degree of $A$, we show that $A$ is almost strong Lefschetz. This quite modest result is nevertheless arguably the most encompassing so far concerning the strong Lefschetz property for graded codimension three AG algebras.

In this paper, we give the necessary and sufficient conditions for the Cohen-Macaulayness of the associated graded ring of a simplicial affine semigroups using Gr\"{o}bner basis. We generalize the concept of homogeneous numerical semigroup for the simplicial affine semigroup and show that the Betti numbers of the corresponding semigroup ring matches with the Betti numbers of the associated graded ring. We also define the nice extension for simplicial affine semigroups, motivated by the notion of a nice extension of the numerical semigroups.

Let $\mathbb{K}$ be a field and $I$ be a square-free monomial ideal in the polynomial ring $\mathbb{K}[x_1, \ldots, x_n]$. The Green-Lazarsfeld index, $\mathrm{index}(I)$, counts the number of steps to reach to a syzygy minimally generated by a nonlinear form in a graded minimal free resolution of $I$. In this paper, we study this invariant for $I$ and its powers from a combinatorial point of view. We characterize all square-free monomial ideals $I$ generated in degree $3$ such that $\mathrm{index}(I)>1$. Utilizing this result, we also characterize all square-free monomial ideals generated in degree $3$ such that $\mathrm{index}(I)>1$ and $\mathrm{index}(I^2)=1$. In case $n\leq5$, it is shown that $\mathrm{index}(I^k)>1$ for all $k$ if $I$ is any square-free monomial ideal with $\mathrm{index}(I)>1$., 14 pages, 4 figures

We show that a sufficiently general hypersurface of degree $d$ in $n$-dimensional projective space admits a toric Gr\"obner degeneration if and only if $d\leq 2n-1$., Comment: 6 pages; v2 minor revisions. To appear in Canadian Mathematical Bulletin

Given a simple undirected graph $G$ there is a simplicial complex $\mathrm{Ind}(G)$, called the independence complex, whose faces correspond to the independent sets of $G$. This is a well studied concept because it provides a fertile ground for interactions between commutative algebra, graph theory and algebraic topology. One of the line of research pursued by many authors is to determine the graph classes for which the associated independence complex is Cohen-Macaulay. For example, it is known that when $G$ is a chordal graph the complex $\mathrm{Ind}(G)$ is in fact vertex decomposable, the strongest condition in the Cohen-Macaulay ladder. In this article we consider a generalization of independence complex. Given $r\geq 1$, a subset of the vertex set is called $r$-independent if the connected components of the induced subgraph have cardinality at most $r$. The collection of all $r$-independent subsets of $G$ form a simplicial complex called the $r$-independence complex and is denoted by $\mathrm{Ind}_r(G)$. It is known that when $G$ is a chordal graph the complex $\mathrm{Ind}_r(G)$ has the homotopy type of a wedge of spheres. Hence it is natural to ask which of these complexes are shellable or even vertex decomposable. We prove, using Woodroofe's chordal hypergraph notion, that these complexes are always shellable when the underlying chordal graph is a tree. Further, using the notion of vertex splittable ideals we show that for caterpillar graphs the associated $r$-independence complex is vertex decomposable for all values of $r$. We also construct chordal graphs on $2r+2$ vertices such that their $r$-independence complexes are not sequentially Cohen-Macaulay for any $r \ge 2$., Final version. To appear in International Journal of Algebra and Computation

Let $S=\mathbb{K}[x_1,\ldots, x_n]$ be the polynomial ring over a field $\mathbb{K}$ and $\mathfrak{m}= (x_1, \ldots, x_n)$ be the irredundant maximal ideal of $S$. For an ideal $I \subset S$, let $\mathrm{sat}(I)$ be the minimum number $k$ for which $I \colon \mathfrak{m}^k = I \colon \mathfrak{m}^{k+1}$. In this paper, we compute the saturation number of irreducible monomial ideals and their powers. We apply this result to find the saturation number of the ordinary powers and symbolic powers of some families of monomial ideals in terms of the saturation number of irreducible components appearing in an irreducible decomposition of these ideals. Moreover, we give an explicit formula for the saturation number of monomial ideals in two variables.

Let $ e_1, ..., e_c $ be positive integers and let $ Y \subseteq \mathbb{P}^n$ be the monomial complete intersection defined by the vanishing of $x_1^{e_1}, ..., x_c^{e_c}$. In this paper we study sharp upper bounds on the number of equations and syzygies of subschemes parametrized by the Hilbert scheme of points $Hilb^d(Y)$, and discuss applications to the Hilbert scheme of points $Hilb^d(X)$ of arbitrary complete intersections $X \subseteq \mathbb{P}^n$., Final version

We study exceptional minuscule Schubert varieties and provide the defining equations of the defining ideals of their intersection with the big open cell. We also provide the resolutions of these ideals and characterize some of them in terms of fundamental examples of ideals in the theory of Gorenstein ideals., Comment: 21 pages, comments welcome

We investigate the Castelnuovo-Mumford regularity and the multiplicity of the toric ring associated with a three-dimensional Ferrers diagram. In particular, in the rectangular case, we provide direct formulas for these two important invariants. Then, we compare these invariants for an accompanying pair of Ferrers diagrams under some mild conditions and bound the Castelnuovo-Mumford regularity for more general cases., Comment: Revised following the reviewer's suggestions. 27 pages and 6 figures. Comments are welcome

Let $(R,\mathfrak{m}, k)$ be a strictly local normal $k$-domain of positive characteristic and $P$ be a prime divisor on $X=\text{Spec } R$. We study the Galois category of finite covers over $X$ that are at worst tamely ramified over $P$ in the sense of Grothendieck--Murre. Assuming that $(X,P)$ is a purely $F$-regular pair, our main result is that every Galois cover $f \: Y \to X$ in that Galois category satisfies that $\bigl(f^{-1}(P)\bigr)_{\text{red}}$ is a prime divisor. We shall explain why this should be thought as a (partial) generalization of a classical theorem due to S.S.~Abhyankar regarding the \'etale-local structure of tamely ramified covers between normal schemes with respect to a divisor with normal crossings. Additionally, we investigate the formal consequences this result has on the structure of the fundamental group representing the Galois category. We also obtain a characteristic zero analog by reduction to positive characteristics following Bhatt--Gabber--Olsson's methods., Comment: 45 pages, comments are welcome, typos fixed, shortened down, some parts were rewritten to improve exposition, Proposition 4.8 was removed as it was flawed v3: Major revision, to apper in ANT

In this paper we examine some natural ideal conditions and show how graphs can be defined that give a visualization of these conditions. We examine the interplay between the multiplicative ideal theory and the graph theoretic structure of the associated graph. Behavior of these graphs under standard ring extensions are studied, and in conjunction with the theory, some classical results and connections are made., Comment: 24 pages

We give degree formulas for Grothendieck polynomials indexed by vexillary permutations and $1432$-avoiding permutations via tableau combinatorics. These formulas generalize a formula for degrees of symmetric Grothendieck polynomials which appeared in previous joint work of the authors with Y. Ren and A. St. Dizier. We apply our formulas to compute Castelnuovo-Mumford regularity of classes of generalized determinantal ideals. In particular, we give combinatorial formulas for the regularities of all one-sided mixed ladder determinantal ideals. We also derive formulas for the regularities of certain Kazhdan-Lusztig ideals, including those coming from open patches of Schubert varieties in Grassmannians. This provides a correction to a conjecture of Kummini-Lakshmibai-Sastry-Seshadri (2015)., 26 pages, revised version corrects compilation errors affecting Examples 3.1, 3.3, and 7.1

We characterize Hilbert polynomials that give rise to Hilbert schemes with two Borel-fixed points and determine when the associated Hilbert schemes or their irreducible components are smooth. In particular, we show that the Hilbert scheme is reduced and has at most two irreducible components. By describing the singularities in a neighbourhood of the Borel-fixed points, we prove that the irreducible components are Cohen-Macaulay and normal. We end by giving many examples of Hilbert schemes with three Borel-fixed points., Comment: To appear in Journal of Algebra

Over a $d$-dimensional Cohen-Macaulay local ring admitting a canonical module the definable closure of the class of balanced big Cohen-Macaulay modules is $d$-cotilting and is the smallest such class containing the maximal Cohen-Macaulay modules. We describe its cotilting structure and contrast it to the largest $d$-cotilting class containing the maximal Cohen-Macaulay modules. The enables an implicit classification of all $d$-cotilting classes containing the maximal Cohen-Macaulay modules., Comment: 13 pages, typos corrected, slightly expanded

We show that the hessian map of quartic plane curves is a birational morphism onto its image, thus bringing new evidence for a very interesting conjecture of Ciro Ciliberto and Giorgio Ottaviani. Our new approach also yields a simpler proof of the similar property for cubic surfaces, which is already known by the work of these two authors.

Let $C:f=0$ be a reduced curve in the complex projective plane. The minimal degree $mdr(f)$ of a Jacobian syzygy for $f$, which is the same as the minimal degree of a derivation killing $f$, is an important invariant of the curve $C$, for instance it can be used to determined whether $C$ is free or nearly free. In this note we study the relations of this invariant $mdr(f)$ with a decomposition of $C$ as a union of two curves $C_1$ and $C_2$, without common irreducible components. When all the singularities that occur are quasihomogeneous, a result by Schenck, Terao and Yoshinaga yields finer information on this invariant in this setting. Using this, we give some geometrical criteria, the first ones of this type in the existing literature as far as we know, for a line to be a jumping line for the rank 2 vector bundle of logarithmic vector fields along a reduced curve $C$., Comment: v4. Proposition 5.5 modified, one reference updated, the rest unchanged

A cancellative commutative monoid is atomic if every non-invertible element factors into irreducibles. Under certain mild conditions on a positive algebraic number $\alpha$, the additive monoid $M_\alpha$ of the evaluation semiring $\mathbb{N}_0[\alpha]$ is atomic. The atomic structure of both the additive and the multiplicative monoids of $\mathbb{N}_0[\alpha]$ has been the subject of several recent papers. Here we focus on the monoids $M_\alpha$, and we study its omega-primality and elasticity, aiming to better understand some fundamental questions about their atomic decompositions. We prove that when $\alpha$ is less than 1, the atoms of $M_\alpha$ are as far from being prime as they can possibly be. Then we establish some results about the elasticity of $M_\alpha$, including that when $\alpha$ is rational, the elasticity of $M_\alpha$ is full (this was previously conjectured by S. T. Chapman, F. Gotti, and M. Gotti)., 14 pages

Given a generically finite local extension of valuation rings $V \subset W$, the question of whether $W$ is the localization of a finitely generated $V$-algebra is significant for approaches to the problem of local uniformization of valuations using ramification theory. Hagen Knaf proposed a characterization of when $W$ is essentially of finite type over $V$ in terms of classical invariants of the extension of associated valuations. Knaf's conjecture has been verified in important special cases by Cutkosky and Novacoski using local uniformization of Abhyankar valuations and resolution of singularities of excellent surfaces in arbitrary characteristic, and by Cutkosky for valuation rings of function fields of characteristic $0$ using embedded resolution of singularities. In this paper we prove Knaf's conjecture in full generality., Comments very welcome!

A set of polynomials $M$ is called a {\it submodule} of $\mathbb{C} [x_1, \dots, x_n ]$ if $M$ is a translation invariant linear subspace of $\mathbb{C} [x_1, \dots, x_n ]$. We present a description of the submodules of $\mathbb{C} [x,y]$ in terms of a special type of submodules. We say that the submodule $M$ of $\mathbb{C} [x,y]$ is an {\it L-module of order} $s$ if, whenever $F(x,y)=\sum_{n=0}^N f_n (x) \cdot y^n \in M$ is such that $f_0 =\ldots = f_{s-1}=0$, then $F=0$. We show that the proper submodules of $\mathbb{C} [x,y]$ are the sums $M_d +M$, where $M_d =\{ F\in \mathbb{C} [x,y] \colon \textit{deg}_x F, Comment: 22 pages

In this paper we present a simple technique to derive certificates of non-realizability for a combinatorial polytope. Our approach uses a variant of the classical algebraic certificates introduced by Bokowski and Sturmfels (1989), the final polynomials. More specifically we reduce the problem of finding a realization to that of finding a positive point in a variety and try to find a polynomial with positive coefficients in the generating ideal (a positive polynomial), showing that such point does not exist. Many, if not most, of the techniques for proving non-realizability developed in the last three decades can be seen as following this framework, using more or less elaborate ways of constructing such positive polynomials. Our proposal is more straightforward as we simply use linear programming to exhaustively search for such positive polynomials in the ideal restricted to some linear subspace. Somewhat surprisingly, this elementary strategy yields results that are competitive with more elaborate alternatives, and allows us to derive new examples of non-realizable combinatorial polytopes Gouveia was partially supported by the Centre for Mathematics of the University of Coimbra - UIDB/00324/2020 , funded by the Portuguese Government through FCT/MCTES . Macchia was supported by the Einstein Foundation Berlin under Francisco Santos grant EVF-2015-230 and by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) – project number 454595616 . Wiebe was supported by Natural Sciences and Engineering Research Council of Canada (NSERC) [ PDF - 557980 - 2021 ], and by the Pacific Institute for the Mathematical Sciences (PIMS). The research and findings may not reflect those of the Institute.

This paper describes the RationalMaps package for Macaulay2. This package provides functionality for computing several aspects of rational maps such as whether a map is birational, or a closed embedding., Comment: 9 pages. The current version of the package (and other necessary files, such as the latest version of FastMinors.m2) can be accessed at https://github.com/Macaulay2/Workshop-2016-Utah/tree/master/RationalMaps

We introduce a method for associating a chain complex to a module over a combinatorial category, such that if the complex is exact then the module has a rational Hilbert series. We prove homology--vanishing theorems for these complexes for several combinatorial categories including: the category of finite sets and injections, the opposite of the category of finite sets and surjections, and the category of finite dimensional vector spaces over a finite field and injections. Our main applications are to modules over the opposite of the category of finite sets and surjections, known as $FS^{op}$ modules. We obtain many constraints on the sequence of symmetric group representations underlying a finitely generated $FS^{op}$ module. In particular, we describe its character in terms of functions that we call character exponentials. Our results have new consequences for the character of the homology of the moduli space of stable marked curves, and for the equivariant Kazhdan-Luzstig polynomial of the braid matroid., Comment: Corrections to definitions in Section 9, to appear in Alg. & Number Thy

We show that the number of non-isotopic commutative semifields of odd order $p^{n}$ is exponential in $n$ when $n = 4t$ and $t$ is not a power of $2$. We introduce a new family of commutative semifields and a method for proving isotopy results on commutative semifields that we use to deduce the aforementioned bound. The previous best bound on the number of non-isotopic commutative semifields of odd order was quadratic in $n$ and given by Zhou and Pott [Adv. Math. 234 (2013)]. Similar bounds in the case of even order were given in Kantor [J. Algebra 270 (2003)] and Kantor and Williams [Trans. Amer. Math. Soc. 356 (2004)]., 27 pages. Incorporates reviewer comments. To appear in Transactions of the American Mathematical Society

We introduce and study the set of radical stable operations of an integral domain $D$. We show that their set is a complete lattice that is the join-completion of the set of spectral semistar operations, and we characterize when every radical operation is spectral (under the hypothesis that $D$ is rad-colon coherent). When $D$ is a Pr\"ufer domain such that every set of minimal prime ideals is scattered, we completely classify stable semistar operations.

International audience; We address the description of the tropicalization of families of rational varieties under parametrizations with prescribed support, via curve valuations. We recover and extend results by Sturmfels, Tevelev and Yu for generic coefficients, considering rational parametrizations with non-trivial denominator. The advantage of our point of view is that it can be generalized to deal with non-generic parametrizations. We provide a detailed analysis of the degree of the closed image, based on combinatorial conditions on the relative positions of the supports of the polynomials defining the parametrization. We obtain a new formula and finer bounds on the degree, when the supports of the polynomials are different. We also present a new formula and bounds for the order at the origin in case the closed image is a hypersurface.

We introduce and study in detail the notion of compatibility between valuations and orderings in real hyperfields. We investigate their relation with valuations and orderings induced on factor and residue hyperfields. Much of the theory from real fields can be generalized to real hyperfields; we point out facts that cannot. We generalize the Baer-Krull theorem to real hyperfields.

We show that the second power of the cover ideal of a path graph has linear quotients. To prove our result we construct a recursively defined order on the generators of the ideal which yields linear quotients. Our construction has a natural generalization to the larger class of chordal graphs. This generalization allows us to raise some questions that are related to some open problems about powers of cover ideals of chordal graphs., revised, 19 pages, 3 figures

Let $I$ be a matroidal ideal of degrre $d$ of a polynomial ring $R=K[x_1,...,x_n]$, where $K$ is a field. Let astab$(I)$ and dstab$(I)$ be the smallest integer $n$ for which Ass$(I^n)$ and depth$(I^n)$ stabilize, respectively. In this paper, we show that astab$(I)=1$ if and only if dstab$(I)=1$. Moreover, we prove that if $d=3$, then ${\rm astab}(I)={\rm dstab}(I)$. Furthermore, we show that if $I$ is an almost square-free Veronese type ideal of degree $d$, then ${\rm astab}(I)={\rm dstab}(I)=\lceil\frac{n-1}{n-d}\rceil$., Comment: 9 pages. to appear in BIMS. arXiv admin note: text overlap with arXiv:1803.00730

Let $R$ be a commutative ring and $I\subset R$ a finitely generated ideal. We discuss two definitions of derived $I$-adically complete (also derived $I$-torsion) complexes of $R$-modules which appear in the literature: the idealistic and the sequential one. The two definitions are known to be equivalent for a weakly proregular ideal $I$; we show that they are different otherwise. We argue that the sequential approach works well, but the idealistic one needs to be reinterpreted or properly understood. We also consider $I$-adically flat $R$-modules., Comment: LaTeX 2e with xy-pic and tikz-cd; 40 pages, 3+2 commutative diagrams; v.3: abstract rewritten, last section "Conclusion" expanded with two commutative diagrams inserted; v.4: Proposition 1.3(d), Lemma 1.4, Examples 1.8, Remarks 2.4, 5.6, 6.1, 7.3 inserted, the definition of a contraherent cosheaf spelled out in Section 2; v.5: references updated

We consider the set of all the ideals of a ring, endowed with the coarse lower topology. The aim of this paper is to study the topological properties of distinguished subspaces of this space and detect the spectrality of some of them.

Let $\mathcal{P}$ be a simple thin polyomino and $\Bbbk$ a field. Let $R$ be the toric $\Bbbk$-algebra associated to $\mathcal{P}$. Write the Hilbert series of $R$ as $h_{R}(t)/(1-t)^{\dim(R)}$. We show that $$(-1)^{\left\lfloor{\frac{\mathrm{deg} h_R(t)}{2}}\right\rfloor}h_{R}(-1) \geq 0$$ if $R$ is Gorenstein. This shows that the Gorenstein rings associated to simple thin polyominoes satisfy the Charney-Davis conjecture., Comment: To appear in Communications in Algebra

Motivated by the Poisson Dixmier-Moeglin equivalence problem, a systematic study of commutative unitary rings equipped with a {\em biderivation}, namely a binary operation that is a derivation in each argument, is here begun, with an eye toward the geometry of the corresponding {\em $B$-varieties}. Foundational results about extending biderivations to localisations, algebraic extensions and transcendental extensions are established. Resolving a deficiency in Poisson algebraic geometry, a theory of base extension is achieved, and it is shown that dominant $B$-morphisms admit generic $B$-fibres. A bidifferential version of the Dixmier-Moeglin equivalence problem is articulated.

We describe new classes of noetherian local rings $R$ whose finitely generated modules $M$ have the property that $Tor_i^R(M,M)=0$ for $i\gg 0$ implies that $M$ has finite projective dimension, or $Ext^i_R(M,M)=0$ for $i\gg 0$ implies that $M$ has finite projective dimension or finite injective dimension., 23 pages

We prove that if $f$ is a reduced homogenous polynomial of degree $d$, then its $F$-pure threshold at the unique homogeneous maximal ideal is at least $\frac{1}{d-1}$. We show, furthermore, that its $F$-pure threshold equals $\frac{1}{d-1}$ if and only if $f\in \mathfrak m^{[q]}$ and $d=q+1$, where $q$ is a power of $p$. Up to linear changes of coordinates (over a fixed algebraically closed field), we classify such "extremal singularities," and show that there is at most one with isolated singularity. Finally, we indicate several ways in which the projective hypersurfaces defined by such forms are "extremal," for example, in terms of the configurations of lines they can contain., to appear in Transactions of the AMS

We study multivariate polynomials over ‘structured’ grids. Firstly, we propose an interpretation as to what it means for a finite subset of a field to be structured; we do so by means of a numerical parameter, the nullity. We then extend several results – notably, the Combinatorial Nullstellensatz and the Coefficient Theorem – to polynomials over structured grids. The main point is that the structure of a grid allows the degree constraints on polynomials to be relaxed.

A matching $M$ in a graph $\Gamma$ is positive if $\Gamma$ has a vertex-labeling such that $M$ coincides with the set of edges with positive weights. A positive matching decomposition (pmd) of $\Gamma$ is an edge-partition $M_1,\ldots,M_p$ of $\Gamma$ such that $M_i$ is a positive matching in $\Gamma-M_1\cup\cdots\cup M_{i-1}$, for $i=1,\ldots,p$. The pmds of graphs are used to study algebraic properties of the Lov\'{a}sz-Saks-Schrijver ideals arising from orthogonal representations of graphs. We give a characterization of pmds of graphs in terms of alternating closed walks and apply it to study pmds of various classes of graphs including complete multipartite graphs, (regular) bipartite graphs, cacti, generalized Petersen graphs, etc. We further show that computation of pmds of a graph can be reduced to that of its maximum pendant-free subgraph., Comment: 16 pages, 2 figures

Let $G$ be an additive finite abelian group and $\Gamma \subset \operatorname{End} (G)$ be a subset of the endomorphism group of $G$. A sequence $S = g_1 \cdot \ldots \cdot g_{\ell}$ over $G$ is a ($\Gamma$-)weighted zero-sum sequence if there are $\gamma_1, \ldots, \gamma_{\ell} \in \Gamma$ such that $\gamma_1 (g_1) + \ldots + \gamma_{\ell} (g_{\ell})=0$. We construct transfer homomorphisms from norm monoids (of Galois algebraic number fields with Galois group $\Gamma$) and from monoids of positive integers, represented by binary quadratic forms, to monoids of weighted zero-sum sequences. Then we study algebraic and arithmetic properties of monoids of weighted zero-sum sequences., Comment: To appear in Acta Math. Hungar

Let $\mathbb{K}$ be a field and $R = \mathbb{K}[x_1, \ldots, x_n]$. We obtain an improved upper bound for asymptotic resurgence of squarefree monomial ideals in $R$. We study the effect on the resurgence when sum, product and intersection of ideals are taken. We obtain sharp upper and lower bounds for the resurgence and asymptotic resurgence of cover ideals of finite simple graphs in terms of associated combinatorial invariants. We also explicitly compute the resurgence and asymptotic resurgence of cover ideals of several classes of graphs. We characterize a graph being bipartite in terms of the resurgence and asymptotic resurgence of edge and cover ideals. We also compute explicitly the resurgence and asymptotic resurgence of edge ideals of some classes of graphs., Accepted for publication in Mathematische Zeitschrift(Math Z.)

The space of $n \times m$ complex matrices can be regarded as an algebraic variety on which the group ${\bf GL}_n \times {\bf GL}_m$ acts. There is a rich interaction between geometry and representation theory in this example. In an important paper, de Concini, Eisenbud, and Procesi classified the equivariant ideals in the coordinate ring. More recently, we proved a noetherian result for families of equivariant modules as $n$ and $m$ vary. In this paper, we establish analogs of these results for the space of $(n|n) \times (m|m)$ isomeric matrices with respect to the action of ${\bf Q}_n \times {\bf Q}_m$, where ${\bf Q}_n$ is the automorphism group of the isomeric structure (commonly known as the "queer supergroup"). Our work is motivated by connections to the Brauer category and the theory of twisted commutative algebras., 27 pages

This paper considers the problems of finite determinacy and approximation of flat analytic maps from germs of real or complex analytic spaces. It is shown that the flatness of analytic maps from germs of real or complex analytic spaces whose local rings are Cohen-Macaulay is finitely determined. Further, it is shown that flat maps from complete intersection and Cohen-Macaulay analytic germs can be arbitrarily closely approximated by algebraic and Nash maps respectively in such a way that the Hilbert-Samuel function of the special fibre is preserved. It is also proved that in the complex case the preservation of the Hilbert-Samuel function implies the preservation of Whitney's tangent cone., Comment: 13 pages. Substantial improvements in writing, existing theorems strengthened, several results added. arXiv admin note: text overlap with arXiv:1910.11498

This paper investigates when local cohomology modules have an annihilator that does not depend on the choice of an ideal. Takahashi classified the dominant resolving subcategories of the category of finitely generated modules over a commutative Noetherian ring. We show that his classification theorem describes annihilation results of local cohomology modules over a finite-dimensional ring with certain assumptions or a Cohen-Macaulay ring., Comment: 10 pages; In the second version, minor revisions were made, including Remark 5.5

Let $M$ and $N$ be finitely generated graded modules over a graded complete intersection $R$ such that $\operatorname{Ext}_R^i(M,N)$ has finite length for all $i\gg 0$. We show that the even and odd Hilbert polynomials, which give the lengths of $\operatorname{Ext}^i_R(M,N)$ for all large even $i$ and all large odd $i$, have the same degree and leading coefficient whenever the highest degree of these polynomials is at least the dimension of $M$ or $N$. Refinements of this result are given when $R$ is regular in small codimensions., Minor edits. Final version, to appear in Mathematische Zeitschrift; 23 pages