http://arxiv.org/api/nDb1Olk4eScnXJG/mJ1t1MRVlYU 2025-05-01T00:00:00-04:00 13651 270 15 http://arxiv.org/abs/2503.00850v1 2025-03-02T11:02:21Z 2025-03-02T11:02:21Z

In this paper we develop the theory of the depth of a simple algebraic extension of valued fields $(L/K,v)$. This is defined as the minimal number of augmentations appearing in some Mac Lane-Vaqui\'e chain for the valuation on $K[x]$ determined by the choice of some generator of the extension. In the defectless and unibranched case, this concept leads to a generalization of a classical result of Ore about the existence of $p$-regular generators for number fields. Also, we find what valuation-theoretic conditions characterize the extensions having depth one.

Josnei Novacoski Enric Nart http://arxiv.org/abs/2503.00671v1 2025-03-02T00:08:45Z 2025-03-02T00:08:45Z

Using the Newton polytope and polyhedron, we study analytic spread and ideal reductions of monomial ideals. We determine a bound for analytic spread based on halfspaces and hyperplanes of the Newton polytope, and we classify basic monomial ideals. We then apply this method to calculate the analytic spread for a few families of monomial ideals.

Benjamin Drabkin Benjamin Oltsik http://arxiv.org/abs/2402.03444v3 2025-03-01T20:55:58Z 2024-02-05T19:00:22Z

We give elementary and non-inductive proofs of three fundamental theorems about Chow rings of matroids: the standard monomial basis, Poincare duality, and the dragon-Hall-Rado formula. Our approach, which also works for augmented Chow rings of matroids, is based on a straightening law. This approach also gives a decomposition of the Chow ring of a matroid into pieces indexed by flats.

Matt Larson To appear in Journal of Algebra http://arxiv.org/abs/2401.09152v3 2025-03-01T16:11:13Z 2024-01-17T11:54:38Z

In this paper we investigate Cohen-Macaulayness, Gorensteinness and the Hilbert-Poincar\'{e} series for some classes of non-prime collections of cells. In particular, we show that all closed path polyominoes are Cohen-Macaulay and we characterize those that are Gorenstein.

Carmelo Cisto Rizwan Jahangir Francesco Navarra 10.1080/00927872.2025.2462801 26 pages, 16 figures. To appear in Communications in Algebra http://arxiv.org/abs/2210.00566v2 2025-02-28T23:48:09Z 2022-10-02T16:30:45Z

For any fixed globally F-regular projective variety X over an algebraically closed field of positive characteristic, we study the F-signature of section rings of X with respect to the ample Cartier divisors on X. In particular, we define an F-signature function on the ample cone of X and show that it is locally Lipschitz continuous. We further prove that the F-signature function extends to the boundary of the ample cone. We also establish an effective comparison between the F-signature function and the volume function on the ample cone. As a consequence, we show that for divisors that are nef but not big, the extension of the F-signature is zero.

Seungsu Lee Suchitra Pande 10.1093/imrn/rnad174 30 pages, 1 figure, Final version, Appeared in IMRN Int. Math. Res. Not. IMRN (Issue 3, February 2024, Pages 2420-2460) http://arxiv.org/abs/2102.07080v3 2025-02-28T23:06:31Z 2021-02-14T05:52:21Z

We study multiplicities of jumping numbers of multiplier ideals in a smooth variety of arbitrary dimension. We prove that the multiplicity function is a quasi-polynomial, hence proving that the Poincar\'e series is a rational function. We further study when the various components of the quasi-polynomial have the highest possible degree and relate it to jumping numbers contributed by Rees valuations. Finally, we study the special case of monomial ideals.

Suchitra Pande 10.2140/ant.2023.17.83 24 pages, Final version, Appeared in Algebra & Number Theory. Minor changes in v3 :) Alg. Number Th. 17 (2023) 83-110 http://arxiv.org/abs/2208.11115v2 2025-02-28T17:36:44Z 2022-08-23T17:55:06Z

Multigraded Castelnuovo--Mumford regularity of a module $M$ over the total coordinate ring $S$ of a smooth projective toric variety $X$ is a region $\operatorname{reg} M \subset \operatorname{Pic} X$ invariant under translation by the nef cone $\operatorname{Nef} X$. We prove that the multigraded regularity of a finitely generated faithful module is contained in a translate of $\operatorname{Nef} X$ determined by the degrees of the generators of $M$, and thus contains only finitely many minimal elements. We show that this condition can fail even for cyclic modules if $M$ has torsion and the rank of the Picard group is at least two. As an application, we exhibit asymptotic bounds for the multigraded regularity of powers of ideals. For $I$ an ideal in $S$, we bound $\operatorname{reg}(I^n)$ by proving that it contains a translate of $\operatorname{reg} S$ and is contained in a translate of $\operatorname{Nef} X$, where each bound translates by a fixed vector as $n$ increases.

Juliette Bruce Lauren Cranton Heller Mahrud Sayrafi 11 pages, slight modification and reorganization of v1 http://arxiv.org/abs/2502.07768v4 2025-02-28T17:04:22Z 2025-02-11T18:51:14Z

The proportion of $d$-element subsets of $\mathbb{F}_2^d$ that are bases is asymptotic to $\prod_{j=1}^{\infty}(1-2^{-j}) \approx 0.29$ as $d \to \infty$. It is natural to ask whether there exists a (large) subset $\mathcal{F}$ of $\mathbb{F}_2^d$ such that the proportion of $d$-element subsets of $\mathcal{F}$ that are bases is (asymptotically) greater than this number. As well as being a natural question in its own right, this would imply better lower bounds on the Tur\'an densities of certain hypercubes and `daisy' hypergraphs. We give a negative answer to the above question. More generally, we obtain an asymptotically sharp upper bound on the proportion of linearly independent $r$-element subsets of a (large) family of vectors in $\mathbb{F}_2^d$, for $r \leq d$. This bound follows from an exact result concerning the probability of obtaining a linearly independent sequence when we randomly sample $r$ elements with replacement from our family of vectors: we show that this probability, for any family of vectors, is at most what it is when the family is the whole space $\mathbb{F}_2^d \setminus \{0\}$. Our results also go through when $\mathbb{F}_2$ is replaced by $\mathbb{F}_q$ for any prime power $q$.

David Ellis Maria-Romina Ivan Imre Leader It has been brought to our attention that the main result of this preprint had already been proven in [N. Alon, Erasure list-decodable codes and Turan hypercube problems, Finite Fields and Their Applications 100 (2024), 102513] http://arxiv.org/abs/2211.17103v2 2025-02-28T12:57:47Z 2022-11-17T09:20:21Z

Let $p$ be a prime and $n$ a positive integer. As the first main result, we present a deterministic algorithm for deciding whether the matrix algebra $\mathbb{F}_p[A_1,\dots,A_t]$ with $A_1,\dots,A_t \in \mathrm{GL}(n,\mathbb{F}_p)$ is a finite field, performing at most $\mathcal{O}(tn^6\log(p))$ elementary operations in $\mathbb{F}_p$. In the affirmative case, the algorithm returns a defining element $a$ so that $\mathbb{F}_p[A_1,\dots,A_t] = \mathbb{F}_p[a]$. We then study an invariant for the extended-affine equivalence of Dembowski-Ostrom (DO) polynomials. More precisely, for a DO polynomial $g \in \mathbb{F}_{p^n}[x]$, we associate to $g$ a set of $n \times n$ matrices with coefficients in $\mathbb{F}_p$, denoted $\mathrm{Quot}(\mathcal{D}_g)$, that stays invariant up to matrix similarity when applying extended-affine equivalence transformations to $g$. In the case where $g$ is a planar DO polynomial, $\mathrm{Quot}(\mathcal{D}_g)$ is the set of quotients $XY^{-1}$ with $Y \neq 0,X$ being elements from the spread set of the corresponding commutative presemifield, and $\mathrm{Quot}(\mathcal{D}_g)$ forms a field of order $p^n$ if and only if $g$ is equivalent to the planar monomial $x^2$, i.e., if and only if the commutative presemifield associated to $g$ is isotopic to a finite field. As the second main result, we analyze the structure of $\mathrm{Quot}(\mathcal{D}_g)$ for all planar DO monomials, i.e., for commutative presemifields of odd order being isotopic to a finite field or a commutative twisted field. More precisely, for $g$ being equivalent to a planar DO monomial, we show that every non-zero element $X \in \mathrm{Quot}(\mathcal{D}_g)$ generates a field $\mathbb{F}_p[X] \subseteq \mathrm{Quot}(\mathcal{D}_g)$ and $\mathrm{Quot}(\mathcal{D}_g)$ contains the field $\mathbb{F}_{p^n}$.

Christof Beierle Patrick Felke 10.1016/j.ffa.2025.102590 Finite Fields Appl. 103: 102590 (2025) http://arxiv.org/abs/2502.20987v1 2025-02-28T12:00:50Z 2025-02-28T12:00:50Z

We generalize the celebrated Fr\"{o}berg's theorem to embedded joins of copies of a simplicial complex, namely higher secant complexes to the simplicial complex, in terms of property $N_{q+1,p}$ due to Green and Lazarsfeld. Furthermore, we investigate combinatorial phenomena parallel to geometric ones observed for higher secant varieties of minimal degree.

Junho Choe Jaewoo Jung 28 pages, 5 figures, 9 tables http://arxiv.org/abs/2502.20649v1 2025-02-28T02:02:41Z 2025-02-28T02:02:41Z

In this paper, we study the Apery tables for the numerical semigroups given by Bresinsky and Arslan. Using the Apery tables we write the tangent cones of the Bresinsky and Arsalan curves at the origin. Further, we calculate Hilbert series of the tangent cone of the Bresinsky and Arslan curves. We prove that both classes of the curve have Cohen- Macaulay tangent cone.

Ranjana Mehta Joydip Saha 15 pages http://arxiv.org/abs/2111.02566v2 2025-02-27T22:46:05Z 2021-11-04T00:09:08Z

We study the deformation theory of the Stanley-Reisner rings associated to cluster complexes for skew-symmetrizable cluster algebras of geometric and finite cluster type. In particular, we show that in the skew-symmetric case, these cluster complexes are unobstructed, generalizing a result of Ilten and Christophersen in the $A_n$ case. We also study the connection between cluster algebras with universal coefficients and cluster complexes. We show that for a full rank positively graded cluster algebra $\mathcal{A}$ of geometric and finite cluster type, the cluster algebra $\mathcal{A}^{\mathrm{univ}}$ with universal coefficients may be recovered as the universal family over a partial closure of a torus orbit in a multigraded Hilbert scheme. Likewise, we show that under suitable hypotheses, the cluster algebra $\mathcal{A}^{\mathrm{univ}}$ may be recovered as the coordinate ring for a certain torus-invariant semiuniversal deformation of the Stanley-Reisner ring of the cluster complex. We apply these results to show that for any cluster algebra $\mathcal{A}$ of geometric and finite cluster type, $\mathcal{A}$ is Gorenstein, and $\mathcal{A}$ is unobstructed if it is skew-symmetric. Moreover, if $\mathcal{A}$ has enough frozen variables then it has no non-trivial torus-invariant deformations. We also study the Gr\"obner theory of the ideal of relations among cluster and frozen variables of $\mathcal{A}$. As a byproduct we generalize previous results in this setting obtained by Bossinger, Mohammadi and N\'ajera Ch\'avez for Grassmannians of planes and $\text{Gr}(3,6)$.

Nathan Ilten Alfredo Nájera Chávez Hipolito Treffinger 10.1007/s00209-025-03691-0 57 pages. v2: minor changes. Resolved one conjecture from v1 Math. Z. 309, 66 (2025) http://arxiv.org/abs/2502.20544v1 2025-02-27T21:41:39Z 2025-02-27T21:41:39Z

The Fundamental Theorem of Algebra can be thought of as a statement about the real numbers as a space, considered as an algebraic set over the real numbers as a field. In this paper, I introduce what it means for an algebraic set or affine variety over a field to be fundamental, in a way that encompasses the classical case. I also introduce the related concept of local fundamentality and develop its behavior. On the algebraic side, I introduce the notions of locally, geometrically, and generically unit-additive rings, thus complementing unit-additivity as previously defined by myself and Jay Shapiro. I extend a number of results from the previous joint paper to local unit-additivity. I show that an affine variety is (locally) fundamental if and only if its coordinate ring is (locally) unit-additive. To do so, I first prove a theorem showing that there are many equivalent definitions of local unit-additivity. Illustrative examples are sprinkled throughout.

Neil Epstein 24 pages. Comments welcome! http://arxiv.org/abs/2502.20043v1 2025-02-27T12:33:31Z 2025-02-27T12:33:31Z

Let $R=K[x_1,\ldots, x_n]$ be the polynomial ring in $n$ variables over a field $K$ and $I$ be monomial ideal of $R$. In this paper, we show that if $I$ is a generic monomial ideal, then $R/I$ is pretty clean if and only if $R/I$ is sequentially Cohen-Macaulay. Furthermore, we prove that this equivalence remains unchanged for some special monomial ideals. Moreover, we provide an example that disproves the conjecture raised in \cite[p. 123]{S1} regarding generic monomial ideals.

Amir Mafi Rando Rasul Qadir Hero Saremi 7 pages. Comments welcome http://arxiv.org/abs/2502.19998v1 2025-02-27T11:23:30Z 2025-02-27T11:23:30Z

In this paper, we investigate the componentwise linearity and the Castelnuovo-Mumford regularity of symbolic powers of polymatroidal ideals. For a polymatroidal ideal $I$, we conjecture that every symbolic power $I^{(k)}$ is componentwise linear and $$ \text{reg}\,I^{(k)}=\text{reg}\,I^k $$ for all $k \ge 1$. We prove that $\text{reg}\,I^{(k)}\ge\text{reg}\,I^k$ for all $k \ge 1$ when $I$ has no embedded associated primes, for instance if $I$ is a matroidal ideal. Moreover, we establish a criterion on the symbolic Rees algebra $\mathcal{R}_s(I)$ of a monomial ideal of minimal intersection type which guarantees that every symbolic power $I^{(k)}$ has linear quotients and, hence, is componentwise linear for all $k\ge1$. By applying our criterion to squarefree Veronese ideals and certain matching-matroidal ideals, we verify both conjectures for these families. We establish the Conforti-Cornu\'ejols conjecture for any matroidal ideal, and we show that a matroidal ideal is packed if and only if it is the product of monomial prime ideals with pairwise disjoint supports. Furthermore, we identify several classes of non-squarefree polymatroidal ideals for which the ordinary and symbolic powers coincide. Hence, we confirm our conjectures for transversal polymatroidal ideals and principal Borel ideals. Finally, we verify our conjectures for all polymatroidal ideals either generated in small degrees or in a small number of variables.

Antonino Ficarra Somayeh Moradi Dedicated to the memory of J\"urgen Herzog, whose passion for mathematics continues to inspire