http://arxiv.org/api/6ZQcnpfyV3dTAh+A4V+3+E9nbxY 2025-05-06T00:00:00-04:00 13665 420 15 http://arxiv.org/abs/2209.04046v3 2025-02-05T02:12:32Z 2022-09-08T21:56:59Z

We define a (perfectoid) mixed characteristic version of $F$-signature and Hilbert-Kunz multiplicity by utilizing the perfectoidization functor of Bhatt-Scholze and Faltings' normalized length (also developed in the work of Gabber-Ramero). We show that these definitions coincide with the classical theory in equal characteristic $p > 0$. We prove that a ring is regular if and only if either its perfectoid signature or perfectoid Hilbert-Kunz multiplicity is 1 and we show that perfectoid Hilbert-Kunz multiplicity characterizes BCM closure and extended plus closure of $\mathfrak{m}$-primary ideals. We demonstrate that perfectoid signature detects BCM-regularity and transforms similarly to $F$-signature or normalized volume under quasi-\'etale maps. As a consequence, we prove that BCM-regular rings have finite local \'etale fundamental group and also finite torsion part of their divisor class groups. Finally, we also define a mixed characteristic version of relative rational signature, and show it characterizes BCM-rational singularities.

Hanlin Cai Seungsu Lee Linquan Ma Karl Schwede Kevin Tucker 75 pages, minor correction to the statement and proof of Proposition 6.3.1, Lemma 7.10 added, proof of Theorem 7.11 has been reorganized http://arxiv.org/abs/2502.02826v1 2025-02-05T02:07:41Z 2025-02-05T02:07:41Z

Let $\Gamma=(V,E)$ be a finite simple graph. A matching $M \subseteq E$ is positive if there exists a weight function on $V$ such that the matching $M$ is characterized by those edges with positive weights. A positive matching decomposition (pmd) of $\Gamma$ with $p$ parts is an ordered partition $E_1,\ldots,E_p$ of $E$ such that $E_i$ is a positive matching of $(V, E \setminus \bigcup_{j=1}^{i-1} E_j)$, for $i = 1, \ldots, p$. The smallest $p$ for which $\Gamma$ admits a pmd with $p$ parts is denoted by $\mathrm{pmd}(\Gamma)$. We study the pmd of the Cartesian product of graphs and give sharp upper bounds for them in terms of the pmds and chromatic numbers of their components. In special cases, we compute the pmd of grid graphs that is the Cartesian product of paths and cycles.

Mohammad Farrokhi Derakhshandeh Ghouchan Ali Akbar Yazdan Pour 23 pages, 7 figures http://arxiv.org/abs/2312.17422v2 2025-02-04T17:43:29Z 2023-12-29T01:29:51Z

A landmark theorem of Orlov relates the singularity category of a graded Gorenstein algebra to the derived category of the associated noncommutative projective scheme. We generalize this theorem to the setting of differential graded algebras. As an application, we obtain new cases of the Lattice Conjecture in noncommutative Hodge theory.

Michael K. Brown Prashanth Sridhar 23 pages Advances in Mathematics 460 (2025), 110035 http://arxiv.org/abs/2502.02168v1 2025-02-04T09:44:17Z 2025-02-04T09:44:17Z

This paper investigates the quasi-Gorenstein property of extended Rees algebras associated with the Hilbert filtrations on a Noetherian local ring. We provide necessary and sufficient conditions for the deformation of the quasi-Gorenstein property, characterized by the Cohen-Macaulayness of the Matlis dual of local cohomology modules. As a consequence, we offer a characterization of the quasi-Gorenstein property of extended Rees algebras in terms of conditions on the length of local cohomology.

Naoki Endo 14 pages http://arxiv.org/abs/2501.14415v3 2025-02-04T09:26:48Z 2025-01-24T11:28:51Z

Let $k$ be a field of characteristic zero. Let $m$ and $\alpha$ be positive integers. For $n\geq 2$, let $R_n=k[x_1,x_2,\dots,x_n]$ with the $k$-derivation $d_n$ given by $d_n=(1-x_1x_2^{\alpha})\partial_{x_1}+x_1^m\partial_{x_2}+x_2\partial_{x_3}+\dots+x_{n-1}\partial_{x_n}$. We prove that for integers $m\geq 2$ and $\alpha \geq 1$, $d_n$ is a simple derivation on $R_n$ and $d_n(R_n)$ contains no units. This generalizes a result of D. A. Jordan. We also show that the isotropy group of $d_n$ is conjugate to a subgroup of translations.

Sumit Chandra Mishra Dibyendu Mondal Pankaj Shukla 12 pages; Comments are welcome http://arxiv.org/abs/2502.02122v1 2025-02-04T08:57:51Z 2025-02-04T08:57:51Z

We use discrete Morse theory to study free resolutions of monomial ideals in combination with splitting techniques. We establish the minimality of such pruned resolutions for several classes of ideals, including stable and linear quotient ideals. In particular, we unify classical constructions such as the Eliahou-Kervaire and Herzog-Takayama resolutions within the pruned resolution framework. Additionally, we introduce methods to reduce the minimality study of a pruned resolution for an ideal to that of a smaller subideal and present a variant of our pruned resolution for powers of monomial ideals.

Josep Àlvarez Montaner María Lucía Aparicio García Amir Mafi 27 pages. Comments are welcome http://arxiv.org/abs/2502.01917v1 2025-02-04T01:22:02Z 2025-02-04T01:22:02Z

We demonstrate that the direct sum of ideals satisfying the strong $\ell$-exchange property is of fiber type. Furthermore, we provide Gr\"obner bases of the presentation ideals of multi-Rees algebras and the corresponding special fibers, when they are associated with an $n$-dimensional Ferrers diagram that is standardizable. In particular, we show that these blowup algebras are Koszul Cohen--Macaulay normal domains and classify their singularities.

Kuei-Nuan Lin Yi-Huang Shen 12 pages, 1 figure, to appear in Proceedings of the American Mathematical Society http://arxiv.org/abs/2502.01768v1 2025-02-03T19:13:52Z 2025-02-03T19:13:52Z

Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and let $I \subset S$ be a monomial ideal. For a vector $\mathfrak{c}\in\mathbb{N}^n$, we set $I_{\mathfrak{c}}$ to be the ideal generated by monomials belonging to $I$ whose exponent vectors are componentwise bounded above by $\mathfrak{c}$. Also, let $\delta_{\mathfrak{c}}(I)$ be the largest integer $k$ such that $(I^k)_{\mathfrak{c}}\neq 0$. It is shown that for every graph $G$ with edge ideal $I(G)$, the ideal $(I(G)^{\delta_{\mathfrak{c}}(I)})_{\mathfrak{c}}$ is a polymatroidal ideal. Moreover, we show that for each integer $s=1, \ldots \delta_{\mathfrak{c}}(I(G))$, the Castelnuovo--Mumford regularity of $(I(G)^s)_{\mathfrak{c}}$ is bounded above by $\delta_{\mathfrak{c}}(I(G))+s$.

Takayuki Hibi Seyed Amin Seyed Fakhari arXiv admin note: text overlap with arXiv:2207.08559 http://arxiv.org/abs/2502.00799v1 2025-02-02T13:39:45Z 2025-02-02T13:39:45Z

We study point-line configurations, their minimal matroids, and their associated circuit varieties. We present an algorithm for identifying the minimal matroids of these configurations with respect to dependency order, or equivalently, the maximal matroids with respect to weak order, and use it to determine the irreducible decomposition of their corresponding circuit varieties. Our algorithm is applied to several classical configurations, including the Fano matroid, affine plane of order three, MacLane, and Pappus configurations. Additionally, we explore the connection to a conjecture by Jackson and Tanigawa, which provides a criterion for the uniqueness of the minimal matroids.

Emiliano Liwski Fatemeh Mohammadi Comments are welcome! http://arxiv.org/abs/2502.00591v1 2025-02-01T23:11:23Z 2025-02-01T23:11:23Z

Given a squarefree monomial ideal $I$ of a polynomial ring $Q$, we show that if the minimal free resolution $\mathbb{F}$ of $Q/I$ admits the structure of a differential graded (dg) algebra, then so does any "pruning" of $\mathbb{F}$. As an application, we show that if $Q/\mathcal{F}(\Delta)$, the quotient of the ambient polynomial ring by the facet ideal $\mathcal{F}(\Delta)$ of a simplicial complex $\Delta$, is minimally resolved by a dg algebra, then so is the quotient by the facet ideal of each facet-induced subcomplex of $\Delta$ (over the smaller polynomial ring). Along with techniques from discrete Morse theory and homological algebra, this allows us to give complete classifications of the trees and cycles $G$ with $Q/I_G$ minimally resolved by a dg algebra in terms of the diameter of $G$, where $I_G$ is the edge ideal of $G$.

Hugh Geller Desiree Martin Henry Potts-Rubin 33 pages http://arxiv.org/abs/2502.00539v1 2025-02-01T19:38:05Z 2025-02-01T19:38:05Z

Let $R$ be a commutative ring with identity, and let $\R(R)$ denote the semiring of radical ideals of $R$. The radical functor $\R$, from the category of $R$-modules $R{-}\boldsymbol{\sf{Mod}}$ to the category of $\R(R)$-semimodules $\R(R){-}\boldsymbol{\sf{Semod}}$, maps any complex $\M=(M_n, f_n)_{n\geq 0}$ of $R$-modules to a complex $\R(\M)=(\R(M_n), \R(f_n))_{n\geq 0}$ of $\R(R)$-semimodules, where $\R(M_n)$ consists of radical submodules of $M_n$, and the $\R(R)$-semimodule homomorphisms $\R(f_n):\R(M_n)\rightarrow \R(M_{n-1})$ are defined by $\R(f_n)(N)=\rad(f_n(N))$. The $n$-th radical homology of the complex $(\R(M_n), \R(f_n))_{n\geq 0}$, denoted $H_n(\R(\M))$, consists of radical submodules $N$ of $M_n$ such that $f_n(N)$ is contained in the radical of the zero submodule of $M_{n-1}$, and two such radical submodules are equivalent under the Bourne relation modulo the image of $\R(f_{n+1})$. $H_n(\R(-))$ is regarded as a covariant functor from the category $\boldsymbol{\sf{Ch}}(R{-}\boldsymbol{\sf{Mod}})$ of chain complexes of $R$-modules to $\R(R){-}\boldsymbol{\sf{Semod}}$, which acts identically on any pair of homotopic maps of complexes of $R$-modules. In particular, if $\M$ and $\M'$ are homotopically equivalent, then $H_n(\R(\M))$ and $H_n(\R(\M'))$ are isomorphic $\R(R)$-semimodules. We provide conditions under which $H_n(\R(-))$ induces a long exact sequence of radical homology modules for any short exact sequence of complexes of $R$-modules, and satisfies the naturality condition for exact homology sequences. Finally, we introduce a projective resolution for an $R$-module $M$ based on $\R(R)$-semimodules and give conditions under which such a projective resolution exists and is unique up to a homotopy.

Mahboubeh Safaeipour Hosein Fazaeli Moghimi Fatemeh Rashedi http://arxiv.org/abs/2501.05375v2 2025-02-01T16:52:53Z 2025-01-09T16:58:40Z

In this paper, we obtain some factorization results on formal power series over principle ideal domains with sharp bounds on number of irreducible factors. These factorization results correspondingly lead to irreducibility criteria for formal power series. The information about prime factorization of the constant term up to a unit and that of some higher order terms is utilized for the purpose. Further, using theory of Newton polygons for power series, we extend the classical Dumas irreducibility criterion to formal power series over discrete valuation domains, which in particular, yields several irreducibility criteria.

Rishu Garg Jitender Singh 13 pages. The second updated version is rewritten in more general setting (e.g. formal power series over PIDs and over Discrete valuation domains) where as previous version the study was restricted to $\mathbb{Z}[[z]]$. Title and abstract are alightly changed http://arxiv.org/abs/2501.19209v1 2025-01-31T15:16:30Z 2025-01-31T15:16:30Z

In the present paper, we investigate the maximal degree of minimal generators of the toric ideal of the matching polytope of a graph. It is known that the toric ideal associated to a bipartite graph is generated by binomials of degree at most $3$. We show that this fact is equivalent to a result in the theory of edge colorings of bipartite multigraphs. Moreover, a characterization of bipartite graphs whose toric ideals are generated by quadratic binomials is given. Finally, we discuss the maximal degree of minimal generators of the toric ideal associated to a general graph and give a conjecture.

Kenta Mori Ryo Motomura Hidefumi Ohsugi Akiyoshi Tsuchiya 14 pages, 9 figures http://arxiv.org/abs/2501.18926v1 2025-01-31T07:14:56Z 2025-01-31T07:14:56Z

We study the matrix factorizations defined by the generic plane projections of a curve singularity of $\mathbb{C}^3$. On the other hand, given a plane curve singularity $Y\subset \mathbb{C}^2$ we study the family of matrix factorizations defined by the space curve singularities $X\subset \mathbb{C}^3$ such that $Y$ is the generic plane projection of $X$.

Joan Elias To appear in Vietnam Journal of Mathematics http://arxiv.org/abs/2501.18847v1 2025-01-31T01:58:16Z 2025-01-31T01:58:16Z

We give a complete classification to when a finite group of outer automorphisms preserves a bi-order on a non-abelian free group and bi-orderable surface groups. We also give another new criterion for an outer automorphism of $F_n$ induced by action of an $n$-strand braid to preserve a bi-order on $F_n.$ Using the new criterion, we produce examples of order-preserving whose underlying permutation is a full cycle which answers in affirmative a question of Kin and Rolfsen.

Jonathan Johnson Khanh Le 22 pages. Comments are welcome!