http://arxiv.org/api/Mf+ObveVpJw8csfXP7U4QSPkGfg 2025-05-02T00:00:00-04:00 13658 330 15 http://arxiv.org/abs/2502.15048v1 2025-02-20T21:13:08Z 2025-02-20T21:13:08Z

In this paper, we prove two theorems concerning the test properties of the Frobenius endomorphism over commutative Noetherian local rings of prime characteristic $p$. Our first theorem generalizes a result of Funk-Marley on the vanishing of Ext and Tor modules, while our second theorem generalizes one of our previous results on maximal Cohen-Macaulay tensor products. In these earlier results, we replace $^{e}R$ with a more general module $^{e}M$, where $R$ is a Cohen-Macaulay ring, $M$ is a Cohen-Macaulay $R$-module with full support, and $^{e}M$ is the module viewed as an $R$-module via the $e$-th iteration of the Frobenius endomorphism. We also provide examples and present applications of our results, yielding new characterizations of the regularity of local rings.

Olgur Celikbas Arash Sadeghi Yongwei Yao http://arxiv.org/abs/2502.14858v1 2025-02-20T18:59:07Z 2025-02-20T18:59:07Z

We compute the Galois cohomology of any $p$-adic valuation field extension of a pre-perfectoid field. Moreover, we obtain a generalization and also a new proof of the classical results of Tate and Hyodo on discrete valuation fields, without using higher ramification group, local class field theory or Epp's elimination of ramifications. A key ingredient is Gabber-Ramero's computation of cotangent complexes for valuation rings.

Tongmu He 45 pages http://arxiv.org/abs/2209.09851v3 2025-02-20T15:04:51Z 2022-09-20T16:52:22Z

We consider arrangements of tropical hyperplanes where the apices of the hyperplanes are taken to infinity in certain directions. Such an arrangement defines a decomposition of Euclidean space where a cell is determined by its `type' data, analogous to the covectors of an oriented matroid. By work of Develin-Sturmfels and Fink-Rinc\'{o}n, these `tropical complexes' are dual to (regular) subdivisions of root polytopes, which in turn are in bijection with mixed subdivisions of certain generalized permutohedra. Extending previous work with Joswig-Sanyal, we show how a natural monomial labeling of these complexes describes polynomial relations (syzygies) among `type ideals' which arise naturally from the combinatorial data of the arrangement. In particular, we show that the cotype ideal is Alexander dual to a corresponding initial ideal of the lattice ideal of the underlying root polytope. This leads to novel ways of studying algebraic properties of various monomial and toric ideals, as well as relating them to combinatorial and geometric properties. In particular, our methods of studying the dimension of the tropical complex leads to new formulas for homological invariants of toric edge ideals of bipartite graphs, which have been extensively studied in the commutative algebra community.

Ayah Almousa Anton Dochtermann Ben Smith Final version, to appear in Algebraic Combinatorics http://arxiv.org/abs/2502.14306v1 2025-02-20T06:41:57Z 2025-02-20T06:41:57Z

Let $k$ be a commutative Noetherian ring, and $k[S]$ the polynomial ring with indeterminates parameterized by elements in a set $S$. We show that $k[S]$ is Noetherian up to actions of permutation groups on $S$ satisfying certain combinatorial conditions. Moreover, there is a special linear order on every infinite $S$ such that $k[S]$ is Noetherian up to the action of the order-preserving permutation group, and the existence of such a linear order is equivalent to the Axiom of Choice. These Noetherian results are proved via a sheaf theoretic approach and the work of Nagel-R\"{o}mer.

Liping Li Yinhe Peng Zhengjun Yuan http://arxiv.org/abs/2502.14266v1 2025-02-20T05:06:40Z 2025-02-20T05:06:40Z

In this article, we delve into the intricate relationship between the number of ring homomorphisms and surjective group homomorphisms between two finite cyclic structures, specifically $\mathbb{Z}_m$ and $\mathbb{Z}_n$. We demonstrate that the number of ring homomorphisms from $\mathbb{Z}_m$ to $\mathbb{Z}_n$ is a divisor of the number of surjective group homomorphisms from $\mathbb{Z}_m$ to $\mathbb{Z}_n$, provided that $n$ is not of the form $2 \cdot \alpha$, where each prime factor $p$ of $\alpha$ satisfies $p \equiv 3 \pmod{4}$.

Sonu Kumar Priyabrata Mandal 7 pages http://arxiv.org/abs/2404.10858v3 2025-02-20T00:39:17Z 2024-04-16T19:16:44Z

Supersolvable hyperplane arrangements and matroids are known to give rise to certain Koszul algebras, namely their Orlik-Solomon algebras and graded Varchenko-Gel'fand algebras. We explore how this interacts with group actions, particularly for the braid arrangement and the action of the symmetric group, where the Hilbert functions of the algebras and their Koszul duals are given by Stirling numbers of the first and second kinds, respectively. The corresponding symmetric group representations exhibit branching rules that interpret Stirling number recurrences, which are shown to apply to all supersolvable arrangements. They also enjoy representation stability properties that follow from Koszul duality.

Ayah Almousa Victor Reiner Sheila Sundaram v3: final version, to appear in Annals of Representation Theory http://arxiv.org/abs/2502.14159v1 2025-02-20T00:06:52Z 2025-02-20T00:06:52Z

These notes were produced by J\"urgen Herzog to accompany his lectures in Recife, Brazil, in 1980, on the homological algebra of noetherian local rings. They are are concerned with two conjectures made by Wolmer Vasconcelos: if the conormal module of a local ring has finite projective dimension, or if the module of differentials, taken over an appropriate field, has finite projective dimension, then the ring must be complete intersection. The notes present an accessible and self-contained account of the strongest results known at the time in connection with these problems; this includes a number of ideas that have not appeared elsewhere. In the last section, Herzog turns his attention to the cotangent complex, and conjectures himself that if the cotangent complex of a local ring has bounded homology groups, then the ring must be complete intersection. Among other results, he proves that the conjecture holds for local rings of characteristic zero over which all modules have rational Poincar\'e series. Sadly J\"urgen Herzog passed away in April of 2024. The notes in this form have been prepared in his memory, newly typeset and lightly edited. A short appendix has been added to survey some of the results of the intervening decades.

Jürgen Herzog Benjamin Briggs Srikanth B. Iyengar To appear in a volume dedicated to Wolmer Vasconcelos http://arxiv.org/abs/2502.13903v1 2025-02-19T17:37:58Z 2025-02-19T17:37:58Z

Let $B$ be an affine $k$-domain which admits a nontrivial fundamental pair $(D,U)$ of locally nilpotent derivations, i.e., if $E=[D,U]$ then $(D,U,E)$ is an $\mathfrak{sl}_2$-triple. We prove an algebraic criterion, characterizing under which conditions the fundamental pair $(D,U)$ resp. the triple $(D,U,E)$ is compatible in a technical sense that allows us to construct many vector fields on the spectrum of $B$ from the complete ones. This criterion enables us to prove the algebraic density property for the following widely studied classes of $\mathrm{SL}_2$-varieties arising in physics: Classical Calogero--Moser spaces, Calogero--Moser spaces with "inner degrees of freedom'' and smooth cyclic quiver varieties.

Rafael B. Andrist Jan Draisma Gene Freudenburg Gaofeng Huang Frank Kutzschebauch 26 pages http://arxiv.org/abs/2502.12428v2 2025-02-19T15:20:10Z 2025-02-18T01:56:25Z

We develop a fast algorithm to calculate the Artin-Mazur height (equivalently, the quasi-$F$-split height) of a Calabi-Yau hypersurface, building on the work in arXiv:2204.10076. We provide a implementation of our approach, and use it to show that there are quartic K3 surfaces of any Artin-Mazur height over $\mathbb{F}_{5}$ and $\mathbb{F}_7$.

Ryan Batubara Jack J Garzella Alex Pan 18 Pages, 7 figures http://arxiv.org/abs/2502.13806v1 2025-02-19T15:16:27Z 2025-02-19T15:16:27Z

In this work we classify the thick subcategories of the bounded derived category of dg modules over a Koszul complex on any list of elements in a regular ring. This simultaneously recovers a theorem of Stevenson when the list of elements is a regular sequence and the classification of thick subcategories for an exterior algebra over a field (via the BGG correspondence). One of the major ingredients is a classification of thick tensor submodules of perfect curved dg modules over a commutative noetherian graded ring concentrated in even degrees, recovering a theorem of Hopkins and Neeman. We give several consequences of the classification result over a Koszul complex, one being that the lattice of thick subcategories of the bounded derived category is fixed by Grothendieck duality.

Jian Liu Josh Pollitz 20 pages http://arxiv.org/abs/2407.20527v3 2025-02-19T14:19:51Z 2024-07-30T04:00:11Z

Let $R=K[x_1,\ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I$ be a polymatroidal ideal of $R$. In this paper, we provide a comprehensive classification of all unmixed polymatroidal ideals. This work addresses a question raised by Herzog and Hibi in [10]

Mozghan Koolani Amir Mafi Hero Saremi 9 pages. To appear in Archive der Math http://arxiv.org/abs/2303.00350v3 2025-02-19T07:18:06Z 2023-03-01T09:24:17Z

Given a graded ring $A$ and a homogeneous ideal $I$, the ideal is said to be of linear type if the Rees algebra of $I$ is isomorphic to the symmetric algebra of $I$. In general, $y$-regularity of Rees algebra of $I$ is $0 \Rightarrow$ $I$ is generated by a $d$-sequence $\Rightarrow I$ is of linear type. We show that $d$-sequence ideals represent a significantly smaller subset of ideals of linear type in terms of $y$-regularity. Moreover, we identify a class of $d$-sequences whose arbitrary powers generate ideals of Gr\"obner linear type. Notably, while $d$-sequences are inherently weak $d$-sequences, we highlight a specific class of algebras where weak $d$-sequences are indeed $d$-sequences.

Neeraj Kumar Chitra Venugopal Comments and suggestions are welcome http://arxiv.org/abs/2502.13276v1 2025-02-18T20:48:16Z 2025-02-18T20:48:16Z

I associate to any homogeneous polynomial a topological space, which is a CW-complex. Using these spaces, I describe a combinatorial approach to compute the Hilbert vector of standard graded Artinian Gorenstein algebras. Moreover, I apply this association to Full Perazzo Conjecture and I prove it.

Armando Capasso arXiv admin note: text overlap with arXiv:2005.01501 http://arxiv.org/abs/2502.13273v1 2025-02-18T20:45:06Z 2025-02-18T20:45:06Z

We give a new proof of the fundamental theorem of algebra. It is entirely elementary, focused on using long division to its fullest extent. Further, the method quickly recovers a more general version of the theorem recently obtained by Joseph Shipman.

Katelyn S. Clark Pace P. Nielsen http://arxiv.org/abs/2502.12868v1 2025-02-18T13:55:11Z 2025-02-18T13:55:11Z

Inspired by the patching method of Calegari and Geraghty, and a conjecture of de Smit that has been proved by the first author, we present a conjectural freeness criterion without patching for complexes over commutative noetherian local rings with derived actions, and verify it in several cases.

Sylvain Brochard Srikanth B. Iyengar Chandrashekhar B. Khare 17 pages