https://arxiv.org/api/cWLA220LkYvZ0ryBIaiQefEf0D4 2026-03-22T13:18:15Z 14563 165 15 http://arxiv.org/abs/2505.00521v3 2026-02-18T20:02:26Z

This is a two-part article. In the first part, we study an alternative notion to Nagata rings. A Nagata ring is a Noetherian ring $R$ such that every finite $R$-algebra that is an integral domain has finite normalization. We replace the normalization by an $(S_2)$-ification, study new phenomena, and prove parallel results. In particular, we show a Nagata domain has a finite $(S_2)$-ification. In the second part, we study the local lifting problem. We show that for a semilocal Noetherian ring $R$ that is $I$-adically complete for an ideal $I$, if $R/I$ has $(S_k)$ (resp. Cohen--Macaulay, Gorenstein, lci) formal fibers, so does $R$. As a consequence, we show if $R/I$ is a quotient of a Cohen--Macaulay ring, so is $R$. We also discuss difficulties in lifting geometrically $(R_k)$ formal fibers.

2025-05-01T13:43:41Z v3 - added a section at the end, discussing partial results and difficulties Shiji Lyu http://arxiv.org/abs/2602.16815v1 2026-02-18T19:24:19Z

We functorially identify similarity classes of line-bundle-valued quadratic forms on rank two vector bundles with isomorphism classes of pairs consisting of the degree zero and the degree one parts of the associated generalized Clifford algebras. As applications, we generalize the Gauss Composition and explore connections with Picard groups of quadratic algebras.

2026-02-18T19:24:19Z 43 pages, Accepted in Proceedings of the Indian Academy of Sciences: Mathematical Sciences Soham Mondal T. E. Venkata Balaji http://arxiv.org/abs/2602.16184v1 2026-02-18T05:07:18Z

We study certain groups and ideals arising from the chip-firing game on a generalisation of graphs called pargraphs. Several well-known families of toric ideals, including those defining rational normal curves and binomial edge ideals of complete graphs, arise as toppling ideals of pargraphs. We provide sufficient conditions under which the toppling ideal of a pargraph to be toric. In addition, we construct a Gröbner basis for the toppling ideal, a minimal cellular free resolution for a distinguished initial ideal known as the $G$-parking function ideal, and establish Cohen-Macaulay property for these ideals. We also study the Picard group of a pargraph and provide sufficient conditions ensuring its freeness.

2026-02-18T05:07:18Z Rahul Karki http://arxiv.org/abs/2510.25106v4 2026-02-17T22:14:06Z

For fixed positive integers $n,m$, let $\mathrm{Mat}_{n\times m}(\mathbb{C})$ be the affine space consisting of all $n\times m$ complex matrices, and let $\mathbb{C}[\mathbf{x}_{n\times m}]$ be its coordinate ring. For $0\le r\le\min\{m,n\}$, we apply the orbit harmonics method to the finite matrix loci $\mathcal{Z}_{n,m,r}$ of rook placements with exactly $r$ rooks, yielding a graded $\mathfrak{S}_n\times\mathfrak{S}_m$-module $R(\mathcal{Z}_{n,m,r})$. We find one signed and two sign-free graded character formulae for $R(\mathcal{Z}_{n,m,r})$. We also exhibit some applications of these formulae, such as proving a concise presentation of $R(\mathcal{Z}_{n,m,r})$, and proving some module injections and isomorphisms. Some of our techniques are still valid for involution matrix loci.

2025-10-29T02:17:16Z 44 pages Hai Zhu http://arxiv.org/abs/2504.05554v3 2026-02-17T19:07:16Z

Using the fact that the structure sheaf of a resolution of singularities, or regular alteration, pushes forward to a Cohen-Macaulay complex in equal characteristic zero with a differential graded algebra structure, we introduce a tight-closure-like operation on ideals in equal characteristic zero using the Koszul complex, which we call KH (Koszul-Hironaka). We prove it satisfies various strong colon capturing properties, a substantial case of the Briançon-Skoda theorem, and it behaves well under finite extensions. It detects rational singularities and is tighter than tight closure in equal characteristic zero. Furthermore, its formation commutes with localization and it can be computed effectively. On the other hand, the product of the KH closures of ideals is not always contained in the KH of the product, as one might expect. We also explore a related closure operation (canonical alteration closure), induced by canonical modules of regular alterations, which detects KLT-type singularities in equal characteristic zero and which is closely related to tight closure in characteristic $p > 0$. For parameter ideals we show both these closure operations coincide and reduce modulo $p \gg 0$ to tight closure. Finally, we explore an intermediate operation (Hironaka pre-closure) which which satisfies numerous desired properties, but for which we have not been able to prove idempotence.

2025-04-07T23:05:39Z 45 pages. Numerous changes and updates throughout Neil Epstein Peter M. McDonald Rebecca R. G. Karl Schwede http://arxiv.org/abs/2410.17102v2 2026-02-17T17:57:56Z

For an endofunctor $F\colon\mathcal{C}\to\mathcal{C}$ on an ($\infty$-)category $\mathcal{C}$ we define the $\infty$-category $\operatorname{Cart}(\mathcal{C},F)$ of generalized Cartier modules as the lax equalizer of $F$ and the identity. This generalizes the notion of Cartier modules on $\mathbb{F}_p$-schemes considered in the literature. We show that in favorable cases $\operatorname{Cart}(\mathcal{C},F)$ is monadic over $\mathcal{C}$. If $\mathcal{A}$ is a Grothendieck abelian category and $F\colon\mathcal{A}\to\mathcal{A}$ is an exact and colimit-preserving endofunctor, we use this fact to construct an equivalence $\mathcal{D}(\operatorname{Cart}(\mathcal{A},F)) \simeq \operatorname{Cart}(\mathcal{D}(\mathcal{A}),\mathcal{D}(F))$ of stable $\infty$-categories. We use this equivalence to construct a perverse t-structure on $\mathcal{D}(\operatorname{Cart}(\operatorname{Mod}(X), F_*))$ for any Noetherian $\mathbb{F}_p$-scheme $X$ with absolute Frobenius $F$. If $F$ is finite, this coincides with the perverse t-structure constructed by Baudin.

2024-10-22T15:28:36Z 37 pages, final published version Journal of Pure and Applied Algebra 230 (2025), 108150 Klaus Mattis Timo Weiß 10.1016/j.jpaa.2025.108150 http://arxiv.org/abs/2404.08294v4 2026-02-17T13:12:50Z

In this article, we investigate the strongly robust property of toric ideals associated with weighted oriented graphs. We establish that the toric ideals of a broad class of monomial ideals are strongly robust; this class encompasses the edge ideals of weighted oriented graphs in which every edge is incident to a vertex of degree $2$.

2024-04-12T07:31:48Z Revised version after all corrections Ramakrishna Nanduri Tapas Kumar Roy http://arxiv.org/abs/2312.07197v5 2026-02-17T11:35:09Z

A general principle suggests that "anything flat is a directed colimit of countably presentable flats". In this paper, we consider resolutions and coresolutions of modules over a countably coherent ring $R$ (e.g., any coherent ring or any countably Noetherian ring). We show that any $R$-module of flat dimension $n$ is a directed colimit of countably presentable $R$-modules of flat dimension at most $n$, and any flatly coresolved $R$-module is a directed colimit of countably presentable flatly coresolved $R$-modules. If $R$ is a countably coherent ring with a dualizing complex, then any F-totally acyclic complex of flat $R$-modules is a directed colimit of F-totally acyclic complexes of countably presentable flat $R$-modules. The proofs are applications of an even more general category-theoretic principle going back to an unpublished 1977 preprint of Ulmer. Our proof of the assertion that every Gorenstein-flat module over a countably coherent ring is a directed colimit of countably presentable Gorenstein-flat modules uses a different technique, based on results of Saroch and Stovicek. We also discuss totally acyclic complexes of injectives and Gorenstein-injective modules, obtaining various cardinality estimates for the accessibility rank under various assumptions.

2023-12-12T12:05:57Z LaTeX 2e, 37 pages; v.2: several misprints corrected, references added and updated; v.3: small additions and corrections; v.4: small corrections, references updated; v.5: a misprint corrected Rendiconti Semin. Matem. Univ. Padova 155 (2026), p.41-83 Leonid Positselski 10.4171/rsmup/166 http://arxiv.org/abs/2507.07220v2 2026-02-17T04:15:42Z

Although algebraic matroids were discovered in the 1930s, interest in them was largely dormant until their recent use in applications of algebraic geometry. Because nonlinear algebra is computationally challenging, it is easier to work with an isomorphic linear matroid if one exists. We describe an explicit construction that produces a linear representation over an algebraically closed field of characteristic zero starting with the data used in applications. We will also discuss classical examples of algebraic matroids in the modern language of polynomial ideals, illustrating how the existence of an isomorphic linear matroid depends on properties of the field.

2025-07-09T18:47:03Z 15 pages, 2 figures Zvi Rosen Jessica Sidman Louis Theran http://arxiv.org/abs/2509.20470v2 2026-02-17T03:28:29Z

We compute the arithmetic rank as well as the local/étale cohomological dimension of nullcone ideals arising from the classical actions of the symplectic group, the general linear group, and the orthogonal group. We use these calculations to establish striking vanishing results for local cohomology modules supported at these nullcone ideals; this is achieved via a careful analysis of the critical local cohomology modules. The vanishing theorems that we prove are sharp in various respects.

2025-09-24T18:39:46Z Substantially improved results on symmetric determinantal nullcones (Section 5); new techniques added in Section 2 that streamline several proofs Jack Jeffries Vaibhav Pandey Anurag K. Singh Uli Walther http://arxiv.org/abs/2506.14060v15 2026-02-16T22:59:44Z

Linear Geometry studies geometric properties which can be expressed via the notion of a line. All information about lines is encoded in a ternary relation called a line relation. A set endowed with a line relation is called a liner. So, Linear Geometry studies liners. Imposing some additional axioms on a liner, we obtain some special classes of liners: regular, projective, affine, proaffine, etc. Linear Geometry includes Affine and Projective Geometries and is a part of Incidence Geometry. The aim of this book is to present a self-contained logical development of Linear Geometry, starting with some intuitive acceptable geometric axioms and ending with algebraic structures that necessarily arise from studying the structure of geometric objects that satisfy those simple and intuitive geometric axioms. We shall meet many quite exotic algebraic structures that arise this way: magmas, loops, ternars, quasi-fields, alternative rings, procorps, profields, etc. The notion of area also belongs to Linear Geometry and can be defined and studied using only lines and their parallelity. We strongly prefer (synthetic) geometric proofs and use tools of analytic geometry only when no purely geometric proof is available. Liner Geometry has been developed by many great mathematicians since times of Antiquity (Thales, Euclides, Proclus, Pappus), through Renaissance (Descartes, Desargues), Early Modernity (Playfair, Gauss, Lobachevski, Bolyai, Poncelet, Steiner, Möbius), Late Modernity Times (Steinitz, Klein, Hilbert, Moufang, Hessenberg, Jordan, Beltrami, Fano, Gallucci, Veblen, Wedderburn, Lenz, Barlotti) till our contempories (Hartshorne, Hall, Buekenhout, Gleason, Kantor, Doyen, Hubault, Dembowski, Klingenberg, Grundhöfer, Müller, Nagy).

2025-06-16T23:44:20Z 50 chapters, 925 pages; the last chapter contains a list of selected open problems in Linear Geometry Taras Banakh http://arxiv.org/abs/2602.15175v1 2026-02-16T20:26:02Z

For $a,b \ge 1$, Hilbert found in 1886 a collection of polynomial equations that cut out set-theoretically the variety X parametrizing a-th powers of binary forms of degree b. We determine the ideal of all polynomials vanishing on X, showing that it is generated in degree b+1 and that it has a linear minimal free resolution. We do this by generalizing results of Abdesselam and Chipalkatti on an analogue of the Foulkes--Howe map and by establishing a derived analogue of the classical Hermite reciprocity theorem for complexes of ${\rm SL}_2$-representations. In our investigation, we are led to the ideal generated by the subrepresentation ${\rm Sym}^{ab}({\Bbb C}^2) \subset {\rm Sym}^a({\rm Sym}^b {\Bbb C}^2)$. We determine its Castelnuovo--Mumford regularity in general and the minimal free resolution for small values of b.

2026-02-16T20:26:02Z 18 pages Claudiu Raicu Steven V Sam Jerzy Weyman Fuxiang Yang http://arxiv.org/abs/2602.15017v1 2026-02-16T18:56:51Z

This paper studies a flat degeneration P_n of the classical coinvariant algebra R_n, a bigraded Artinian Gorenstein algebra that arises from the coordinate ring of the Segre embedding of the n-fold self-product of the projective line. The Frobenius character of P_n is computed by a natural bigraded refinement of the classical Lusztig--Stanley formula for the character of the coinvariant algebra. Young invariants in P_n get related to coordinate rings of general Segre embeddings of products of projective spaces; their bigraded Hilbert polynomials get expressed in terms of major-descent generating functions of words in multisets. Relations to the diagonal coinvariant algebra, cohomological interpretations including quantum cohomology, and Garsia-Stanton-style bases are also explored.

2026-02-16T18:56:51Z 18 pages Balázs Szendrői http://arxiv.org/abs/2601.16729v2 2026-02-16T13:38:59Z

For a Serre subcategory $\mathscr L$ and a resolving subcategory $\mathscr A$ of an abelian category, we show that the derived equivalence $D^b(\overline{\mathscr A} \cap \mathscr L) \simeq D^b_{\mathscr L}(\mathscr A)$ holds under certain conditions. We apply this to obtain derived equivalences in the contexts of chain complexes of graded modules or coherent sheaves, with finite $\mathscr A$-dimension, supported on closed sets having eventually finite $\mathscr A$-dimension. Using this, we obtain descriptions of the homotopy fibers in (hermitian) K theory of the restriction maps to certain open sets.

2026-01-23T13:22:38Z 27 pages. final section added Ganapathy Krishnamoorthy Sarang Sane http://arxiv.org/abs/2409.14452v2 2026-02-16T12:40:56Z

The notion of faithful flatness of a module over a commutative ring is studied for two $R$-modules $M$ arising in functional analysis, where $R$ is a Banach algebra and $M$ is a Hilbert space. The following results are shown: If $X$ is a locally compact Hausdorff topological space, and $μ$ is a positive Radon measure on $X$, then $L^2(X,μ)$ is a flat $L^\infty(X,μ)$-module. Moreover: (1) If $μ$ is $σ$-finite, then for every finitely generated, nonzero, proper ideal $\mathfrak{n}$ of $L^\infty(X,μ)$, there holds $\mathfrak{n}L^2(X,μ)\subsetneq L^2(X,μ)$. (2) If $X$ is the union of an increasing family of Borel sets $U_n$, $n\in \mathbb{N}$, such that for each $n\in \mathbb{N}$, $\overline{U_n}$ is compact and $μ(U_{n+1}\setminus U_n)>0$, then $L^2(X,μ)$ is not a faithfully flat $L^\infty(X,μ)$-module. It is shown that the Hardy space $H^2$ is a flat, but not a faithfully flat $H^\infty$-module (answering a 2005 question of Alban Quadrat).

2024-09-22T14:05:38Z 17 pages, 0 figures. The new version corrects typos detected in the previous version. To appear in the Nagoya Mathematical Journal Nagoya Math. J. 261 (2026) e19 Amol Sasane 10.1017/nmj.2026.10103