http://arxiv.org/api/zM2c2B4ECulXV3ZOxx34tSdsR7Y 2025-04-30T00:00:00-04:00 13649 180 15 http://arxiv.org/abs/2503.16393v1 2025-03-20T17:53:11Z 2025-03-20T17:53:11Z

We develop the notions of Newton non-degenerate (NND) ideals and Newton polyhedra for regular local rings. These concepts were first defined in the context of complex analysis. We show that the characterization of NND ideals via their integral closures known in the analytical setting extends to regular local rings. We use the limiting body $\mathcal{C}(\mathcal{I})$ associated to a graded family $\mathcal{I}$ of ideals to provide a new understanding of the celebrated "Multiplicity $=$ Volume" formula. Particularly, we prove that, for a Noetherian graded family $\mathcal{I}$ of $\mathfrak{m}$-primary ideals in a regular local ring $(R,\mathfrak{m})$ of dimension $d$, the equality $$e(\mathcal{I}) = d!\text{co-vol}_d(\mathcal{C}(\mathcal{I}))$$ holds if and only if $\mathcal{I}$ contains certain subfamily of NND ideals.

Tài Huy Hà Thai Thanh Nguyen Vinh Anh Pham Comments are welcome http://arxiv.org/abs/2503.16226v1 2025-03-20T15:19:15Z 2025-03-20T15:19:15Z

Mutations occur in multiple algebraic contexts, often enjoying good combinatorial properties. In this paper we study mutations of pure-injective cosilting objects in compactly generated triangulated categories from a topological point of view. We consider the topologies studied by Gabriel, Burke and Prest on the set of indecomposable injective objects in a Grothendieck abelian category, transfer them to associated cosilting subcategories, and show that, in that context, right mutation induces a homeomorphism on two complementary subspaces. We then improve this result in the context of the derived category of a commutative noetherian ring, showing that right mutation is an open bijection. We end the paper with a detailed analysis of a range of cosilting subcategories over commutative noetherian rings for which the topology is completely known. As a byproduct of this analysis, we obtain that the category of modules over a commutative noetherian ring is the unique locally noetherian Grothendieck category in its derived-equivalence class.

Michal Hrbek Sergio Pavon Jorge Vitória 42 pages; 4 figures; comments are welcome! http://arxiv.org/abs/2503.16155v1 2025-03-20T13:55:41Z 2025-03-20T13:55:41Z

Very little is known on the Hilbert series of graded algebras $\mathbb C[x_1,\ldots,x_n]/(g_1,\ldots,g_r)$, $r>n$, $g_i$ generic form of degree $e_i$, in general. One instance when the series is known, is for $n+1$ forms in $n$ variables, \cite{St}. Of course even less is known about Betti numbers. There are some general results on the Betti table by Pardue and Richert in \cite{Pa-Ri,Pa-Ri1}, and by Diem in \cite{Di}. Then there are results on Betti numbers in the case $n+1$ relations in $n$ variables, described below, by Migliore and Mir\`o-Roig in \cite{Mi-Mi}, and more partial results in the general case by the same authors in \cite{Mi-Mi1}. In this paper we consider the same case as in \cite{Mi-Mi}, $n+1$ forms in $n$ variables. Our results can be described as follows. We can determine all graded Betti numbers of $\mathbb C[x_1,\ldots,x_n]/(g_1,\ldots,g_{n+1})$, $g_i$ generic, at least if $\sum_{i=1}^{n+1}\deg(g_i)-n$ is even, often in more cases. Thus, given {\em any} set $\{ e_1,\ldots,e_n\}$, $e_i\ge2$ for all $i$, such that $\deg(g_i)=e_i$, $i=1,\ldots,n$, we get many numbers $D_j$, so that we can determine all graded Betti numbers of $\mathbb C[x_1,\ldots,x_n]/(g_1,\ldots,g_{n+1})$, $\deg(g_i)=e_i$, $1\le i\le n$, $\deg(g_{n+1})=D_j$. The main ingredients of the proof is a theorem by Pardue and Richert, \cite{Pa-Ri,Pa-Ri1}, and later by Diem,\cite{Di}, and a new short proof of a theorem on Hilbert series of artinian complete intersections by Reid, Roberts, and Roitman, \cite{R-R-R}. We also give examples of algebras with many so called "ghost terms" in the minimal resolution.

Ralf Fröberg 6 pages http://arxiv.org/abs/2502.17031v2 2025-03-20T07:50:30Z 2025-02-24T10:31:16Z

Using an elementary technique, we construct a first example of Ziegler pairs of hyperplane arrangements in $\mathbb{P}^{3}$. Then, using this construction, we show how to obtain possible counterexamples to Terao's freeness conjecture in $\mathbb{P}^{n}$ with $n>2$ using arrangements of lines in $\mathbb{P}^{2}$.

Piotr Pokora 6 pages, Version 1.1, a new title and minor editorial changes have been made http://arxiv.org/abs/2406.02440v2 2025-03-20T04:17:12Z 2024-06-04T16:01:57Z

We investigate quotients by radical monomial ideals for which $T^2$, the second cotangent cohomology module, vanishes. The dimension of the graded components of $T^2$, and thus their vanishing, depends only on the combinatorics of the corresponding simplicial complex. We give both a complete characterization and a full list of one dimensional complexes with $T^2=0$. We characterize the graded components of $T^2$ when the simplicial complex is a uniform matroid. Finally, we show that $T^2$ vanishes for all matroids of corank at most two and conjecture that all connected matroids with vanishing $T^2$ are of corank at most two.

Alexandru Constantinescu Patricia Klein Thai Thanh Nguyen Anurag Singh Lorenzo Venturello To appear in the Electronic Journal of Combinatorics http://arxiv.org/abs/2503.03728v2 2025-03-19T13:40:26Z 2025-03-05T18:34:53Z

We consider classes of codimension two Cohen--Macaulay ideals over a standard graded polynomial ring over a field. We revisit Vasconcelos' problem on $3\times 2$ matrices with homogeneous entries and describe the homological details of Geramita's work on plane points. An additional topic is the homological discussion of minors fixing a submatrix in the context of a perfect codimension two ideal. A combinatorial outcome of the results is a proof of the conjecture on the Jacobian ideal of a hyperplane arrangement stated by Burity, Simis and Toh\v{a}neanu. The basic drive behind the present landscapes is a thorough analysis of the related Hilbert--Burch matrix, often without assuming equigeneration, linear presentation or even the popular $G_d$ condition of Artin--Nagata.

Dayane Lira Geisa Oliveira Zaqueu Ramos Aron Simis Some improvements to the exposition have been made. arXiv admin note: text overlap with arXiv:2406.04266 http://arxiv.org/abs/2503.15037v1 2025-03-19T09:27:33Z 2025-03-19T09:27:33Z

We prove the full Fock-Goncharov conjecture for $\mathcal{A}_{SL_2,\Sigma_{g,p}}$--the $\mathcal{A}$-cluster variety associated to representation of $SL_2$ local systems on most punctured surfaces with at least 2 punctures in the classical $q\to 1$ setting, that is, the tagged skein algebra coincides with the upper cluster algebra (namely $Sk^{ta}=U(\Sigma)$ or $mid(\mathcal{A})=up(\mathcal{A})$), with methods being potentially useful to tackle the quantum case. We deduce similar results for the Roger Yang skein algebra via a birational geometric description, obtaining $Sk^{RY}=U(\Sigma)[v_i^{\pm1}]$ as conjectured by Shen, Sun and Weng, proving important algebraic properties of $Sk^{RY}$ including normality and Cohen-Macaulayness. Our result is complementary to what and Mandel and Qin have shown in arXiv:2301.11101 for surface with marked points, based on arXiv:1411.1394 . The once-punctured case where cluster structures are significantly different is also discussed in the paper, and relevant conjectures are proposed (and proved in the once-punctured torus case). By contrast, we define the ordinary cluster algebra with potentials added $A(\Sigma)[v_i^{\pm1}]$, introduced by Shen, Sun and Weng, which is shown to be usually smaller than $Sk^{RY}$ and $U(\Sigma)[v_i^{\pm1}]$. This strengthen the result of arXiv:2201.08833 that the classical $A=U$ fails for $\Sigma_{g,p}$ with $g\geq 1, p\geq 1$.

Enhan Li University of Science and Technology of China http://arxiv.org/abs/2306.05538v2 2025-03-18T21:56:20Z 2023-06-08T20:20:39Z

Valuated term orders are studied for the purposes of Gr\"{o}bner theory over fields with valuation. The points of a usual tropical variety correspond to certain valuated terms preorders. Generalizing both of these, the set of all ``well-behaved'' valuated term preorders is canonically in bijection with the points of a space introduced in our previous work on tropical adic geometry. In this paper we interpret these points geometrically by explicitly characterizing them in terms of classical polyhedral geometry. This characterization gives a bijection with equivalence classes of flags of polyhedra as well as a bijection with a class of prime filters on a lattice of polyhedral sets. The first of these also classifies valuated term orders. The second bijection is of the same flavor as the bijections from [van der Put and Schneider, 1995] in non-archimedean analytic geometry and indicates that the results of that paper may have analogues in tropical adic geometry.

Netanel Friedenberg Kalina Mincheva This was originally the second half of arXiv:2209.15116v2; Fixed typos in this version http://arxiv.org/abs/2503.14715v1 2025-03-18T20:25:07Z 2025-03-18T20:25:07Z

This paper describes several new problems and ideas concerning algebraic geometry and complexity theory. It first uses the idea of coloring graphs with elements of finite fields. This procedure then shows that graph coloring problems can be converted into membership problems for a new family of algebraic varieties, coloring varieties, which are closely related to determinantal varieties. This in turn shows that the problem of NP vs P can be converted into questions of if certain polynomials of large degree over finite fields have low multiplicative complexity.

Paul Hriljac Proceedings of RIMS Symposium on Semigroups, Algebra, Languages and Related Areas of Computer Science, Kyoto,2024 http://arxiv.org/abs/2412.05945v3 2025-03-18T10:58:38Z 2024-12-08T13:56:08Z

Let $R = \mathbb{K}[x_1, \ldots, x_n]$ be a polynomial ring over a field $\mathbb{K}$, and let $I \subseteq R$ be a monomial ideal of height $h$. We provide a formula for the multiplicity of the powers of $I$ when all the primary ideals of height $h$ in the irredundant reduced primary decomposition of $I$ are irreducible. This is a generalization of \cite[Theorem 1.1]{TV}. Furthermore, we present a formula for the multiplicity of powers of special powers of monomial ideals that satisfy the aforementioned conditions. Here, for an integer $m>0$, the $m$-th special power of a monomial ideal refers to the ideal generated by the $m$-th powers of all its minimal generators. Finally, we explicitly provide a formula for the multiplicity of powers of special powers of edge ideals of weighted oriented graphs.

Liuqing Yang Zexin Wang 11 pages http://arxiv.org/abs/2502.02937v2 2025-03-18T09:58:39Z 2025-02-05T07:08:35Z

This is the third in a series of papers highlighting the applications of reduced and coreduced modules. Let $R$ be a commutative unital ring and $I$ be an ideal of $R$. We show in different settings that $I$-reduced (resp. $I$-coreduced) $R$-modules facilitate the computation of local cohomology (resp. local homology) and provide conditions under which the $I$-torsion functor as well as the $I$-transform functor (resp. their duals) become coherent. We show that whenever every $R$-module is $I$-reduced (resp. $I$-coreduced), the cohomological dimension (resp. dual of the cohomological dimension) of an ideal $I$ of a ring $R$ coincides with the projective (resp. flat) dimension of the $R$-module $R/I$.

David Ssevviiri 15 pages http://arxiv.org/abs/2503.13920v1 2025-03-18T05:36:39Z 2025-03-18T05:36:39Z

In this paper, we characterize all Artinian complete intersection $K$-algebras $A_F$ whose Macaulay dual generator $F$ is a binomial. In addition, we prove that such complete intersection Artinian $K$-algebras $A_F$ satisfy the Strong Lefschetz property.

Roberta Di Gennaro Rosa Maria Miró-Roig http://arxiv.org/abs/2503.13640v1 2025-03-17T18:43:10Z 2025-03-17T18:43:10Z

The matrix LU factorization algorithm is a fundamental algorithm in linear algebra. We propose a generalization of the LU and LEU algorithms to accommodate the case of a commutative domain and its field of quotients. This algorithm decomposes any matrix A into a product of three matrices A=LSU, where each element of the triangular matrices L and U is a minor of matrix A. The number of non-zero elements in matrix S is equal to rank(A), and each of them is the inverse of the product of a specific pair of matrix A minors. The algorithm's complexity is equivalent to that of matrix multiplication.

Gennadi Malaschonok 10.1109/CSCI62032.2023.00083 7 pages, 1 figures 2023 International Conference on Computational Science and Computational Intelligence (CSCI), Las Vegas, NV, USA, 2023, pp. 472-478 http://arxiv.org/abs/2503.01296v2 2025-03-17T13:31:20Z 2025-03-03T08:31:58Z

The separating Noether number $\beta_{\mathrm{sep}}(G)$ of a finite group $G$ is the minimal positive integer $d$ such that for every finite $G$-module $V$ there is a separating set consisting of invariant polynomials of degree at most $d$. In this paper we use methods from additive combinatorics to investigate the separating Noether number for finite abelian groups. Among others, we obtain the exact value of $\beta_{\mathrm{sep}}(G)$, provided that $G$ is either a $p$-group or has rank $2$, $3$ or $5$.

Barna Schefler Kevin Zhao Qinghai Zhong http://arxiv.org/abs/2503.11042v2 2025-03-17T12:24:15Z 2025-03-14T03:13:28Z

We introduce two sets of invariants for a line bundle at a point: infinitesimal successive minima and asymptotic partial jet separation. They are inspired by the local analogue of Ambro-Ito, and by the jet-theoretic interpretation of the Seshadri constant respectively. Under mild restrictions the two sets are equal. Moving to convex geometry, we prove that the lengths of the maximal simplex inside the generic infinitesimal Newton-Okounkov body (iNObody) of the line bundle at the point are precisely the successive minima. As application we characterize when this body is simplicial, and give examples when it is not. When the point is very general the convex body has a shape that we call Borel-fixed, a property inspired by generic initial ideals. Borel-fixed convex bodies satisfy simplicial lower bounds and polytopal upper bounds determined by their widths. For the generic iNObody of the line bundle at very general points these widths are again the infinitesimal successive minima.

Mihai Fulger Victor Lozovanu 49 pages, comments welcomed, v2. attempted to fix transparency issues pictures