http://arxiv.org/api/tXEdITOS7yn7njrrmFBF0pdNfus 2025-05-06T00:00:00-04:00 13665 435 15 http://arxiv.org/abs/2501.18507v1 2025-01-30T17:16:12Z 2025-01-30T17:16:12Z

In this note we explicit the notion of Hermite interpolant of a multivariate symmetric polynomial, generalizing the notion of Lagrange interpolant to the case when there are roots coalescence, an extension of the results on the symmetric Hermite interpolation basis by M.-F. Roy and A. Szpirglas.

Teresa Krick Agnes Szanto 16 pages http://arxiv.org/abs/2501.18053v1 2025-01-29T23:30:03Z 2025-01-29T23:30:03Z

In this note we study the relationship between ideals and congruences of the tropical polynomial and Laurent polynomial semirings. We show that the variety of a non-zero prime ideal of the tropical (Laurent) polynomial semiring consists of at most one point. We also prove a result relating the dimension of an affine tropical variety and the dimension of its coordinate semiring.

Dániel Joó Kalina Mincheva 15 pages. Comments welcome! http://arxiv.org/abs/2501.17738v1 2025-01-29T16:24:55Z 2025-01-29T16:24:55Z

White's conjecture predicts quadratic generators for the ideal of any matroid base polytope. We prove that White's conjecture for any matroid $M$ implies it also for any matroid $M'$, where $M$ and $M'$ differ by one basis. Our study is motivated by inner projections of algebraic varieties.

Kangjin Han Mateusz Michałek Julian Weigert http://arxiv.org/abs/2501.17426v1 2025-01-29T05:49:14Z 2025-01-29T05:49:14Z

This paper presents a novel approach to constructing finite generating sets for infinitely generated ideals. By integrating algebraic and computational techniques, we provide a method to identify finite generators, demonstrated through illustrative examples.

Takafumi Shibuta 9pages, 4 figures http://arxiv.org/abs/2501.17383v1 2025-01-29T02:29:37Z 2025-01-29T02:29:37Z

It is known that the initial ideals of generic ideals are the same. Moreno-Soc\'{i}as conjectured that the initial ideal of generic ideals with respect to the degree reverse lexicographic order is weakly reverse lexicographic. In the first half of this paper, we study the initial ideal of generic ideals for arbitrary monomial order and prove that the initial ideal of generic ideals is Borel-fixed. It can be considered as a weakened version of Moreno-Soc\'{i}as conjecture. In the second half, we propose a new method of the computation of the initial ideal of generic ideals using stability condition of Gr\"{o}bner bases. We apply the method in the case of lexicographic order and study the relationship between the lexsegment ideal and the initial ideal of generic ideals. This study aims to bound the maximal degree of Gr\"{o}bner basis. At the last, we propose questions that can be considered as a lexicographic analogue of Moreno-Soc\'{i}as conjecture.

Koichiro Tani 12 pages http://arxiv.org/abs/2409.13553v2 2025-01-28T20:30:26Z 2024-09-20T14:52:32Z

An $n\times n$ nilpotent matrix $B$ is determined up to conjugacy by a partition $P_B$ of $n$, its Jordan type given by the sizes of its Jordan blocks. The Jordan type $\mathfrak D(P)$ of a nilpotent matrix in the dense orbit of the nilpotent commutator of a given nilpotent matrix of Jordan type $P$ is stable - has parts differing pairwise by at least two - and was determined by R. Basili. The second two authors, with B. Van Steirteghem and R. Zhao determined a rectangular table of partitions $\mathfrak D^{-1}(Q)$ having a given stable partition $Q$ as the Jordan type of its maximum nilpotent commutator. They proposed a box conjecture, that would generalize the answer to stable partitions $Q$ having $\ell$ parts: it was proven recently by J.~Irving, T. Ko\v{s}ir and M. Mastnak. Using this result and also some tropical calculations, the authors here determine equations defining the loci of each partition in $\mathfrak D^{-1}(Q)$, when $Q$ is stable with two parts. The equations for each locus form a complete intersection. The authors propose a conjecture generalizing their result to arbitrary stable $Q$.

Mats Boij Anthony Iarrobino Leila Khatami http://arxiv.org/abs/2306.17076v2 2025-01-28T19:06:21Z 2023-06-29T16:27:53Z

Several algebraic properties of a binomial edge ideal $J_G$ can be interpreted in terms of combinatorial properties of its associated graph $G$. In particular, the so-called cut sets of a graph $G$, special sets of vertices that disconnect $G$ in a minimal way, play an important role since they are in bijection with the minimal prime ideals of $J_G$. In this paper we establish the first graph-theoretical characterization of binomial edge ideals $J_G$ satisfying Serre's condition $(S_2)$ by proving that this is equivalent to having $G$ accessible, which means that $J_G$ is unmixed and the cut sets of $G$ form an accessible set system. The proof relies on the combinatorial structure of the Stanley-Reisner simplicial complex of a multigraded generic initial ideal of $J_G$, whose facets can be described in terms of cut sets. Another key step in the proof consists in proving the equivalence between accessibility and strong accessibility for the collection of cut sets of $G$ with $J_G$ unmixed. This result, interesting on its own, provides the first relevant class of set systems for which the previous two notions are equivalent.

Davide Bolognini Antonio Macchia Giancarlo Rinaldo Francesco Strazzanti 10.1016/j.ejc.2025.104123 European Journal of Combinatorics 125 (2025), 104123 http://arxiv.org/abs/2501.03442v2 2025-01-28T17:13:29Z 2025-01-07T00:07:21Z

In this paper, we consider whether parameter test ideals, conductors, $F$-ideals, and trace ideals are contained in an ideal whose quotient ring has finite phantom projective dimension (for example, ideals generated by a system of parameters or ideals with finite projective dimension). One of the main results asserts that such inclusions do not exist in quasi-Gorenstein complete local domains. We also provide examples of Cohen-Macaulay local rings with good properties where such inclusions occur, thus answering negatively a question of Huneke-Swanson.

Kaito Kimura 14 pages http://arxiv.org/abs/2404.10729v4 2025-01-28T10:58:12Z 2024-04-16T17:02:05Z

We study a family of monomial ideals, called block diagonal matching field ideals, which arise as monomial Gr\"obner degenerations of determinantal ideals. Our focus is on the minimal free resolutions of these ideals and all of their powers. Initially, we establish their linear quotient property and compute their Betti numbers, illustrating that their minimal free resolution is supported on a regular CW complex. Our proof relies on the results of Herzog and Takayama, demonstrating that ideals with a linear quotient property have a minimal free resolution, and on the construction by Dochtermann and Mohammadi of cellular realizations of these resolutions. We begin by proving the linear quotient property for each power of such an ideal. Subsequently, we show that their corresponding decomposition map is regular, resulting in a minimal cellular resolution. Finally, we demonstrate that distinct decomposition maps lead to different cellular complexes with the same face numbers.

Oliver Clarke Fatemeh Mohammadi 10.1016/j.jpaa.2025.107893 Journal of Pure and Applied Algebra 229 (2025) 107893 http://arxiv.org/abs/2501.16849v1 2025-01-28T10:47:17Z 2025-01-28T10:47:17Z

We study the postulation of 0-dimensional schemes given by unions of 2-superfat points in general position in the plane, i.e., the union of local schemes defined by the intersection of two distinct double lines. We prove that such schemes have good postulation, i.e., they have the expected Hilbert function. We also show the good postulation of such schemes when we add a general 3-fat point. Finally, we use these results to answer a peculiar kind of interpolation problem.

Stefano Canino Maria Virginia Catalisano Alessandro Gimigliano Monica Ida Alessandro Oneto 12 pages http://arxiv.org/abs/2501.16742v1 2025-01-28T06:39:43Z 2025-01-28T06:39:43Z

Let $S_n=K[x_1,\ldots,x_n,y]$ and $I_n=(x_1y,x_2y,\ldots,x_ny)\subset S_n$ be the edge ideal of star graph. We prove that $\operatorname{hdepth}(S_n/I_n)\geq \left\lceil \frac{n}{2} \right\rceil + \left\lfloor \sqrt{n} \right\rfloor - 2$. Also, we show that for any $\varepsilon>0$, there exists some integer $A=A(\varepsilon)\geq 0$ such that $\operatorname{hdepth}(S_n/I_n)\leq \left\lceil \frac{n}{2} \right\rceil + \left\lfloor \varepsilon n \right\rfloor + A - 2$. We deduce that $\lim\limits_{n\to\infty} \frac{1}{n}\operatorname{hdepth}(S_n/I_n) = \frac{1}{2}$.

Silviu Balanescu Mircea Cimpoeas Mihai Cipu 10 pages http://arxiv.org/abs/2403.19282v2 2025-01-28T05:23:50Z 2024-03-28T10:05:04Z

We classify two-dimensional complete local rings $(R,\mathfrak{m},k)$ of finite Cohen-Macaulay type where $k$ is an arbitrary field of characteristic zero, generalizing works of Auslander and Esnault for algebraically closed case. Our main result shows that they are precisely of the form $R=l[[x_1,x_2]]^G$ where $l/k$ is a finite Galois extension and $G$ is a finite group acting on $l[[x_1,x_2]]$ as a $k$-algebra. In fact, $G$ can be linearized to become a subgroup of $GL_2(l)\rtimes{\rm Gal}(l/k)$. Moreover, we establish algebraic McKay correspondence in this general setting and completely describe its McKay quiver, which is often non-simply laced, as a quotient of another certain McKay quiver. Combining these results, we classify the quivers that may arise as the Auslander-Reiten quivers of two-dimensional Gorenstein rings of finite Cohen-Macaulay type of equicharacteristic zero. These are shown to be either doubles of (not necessarily simply-laced!) extended Dynkin diagrams or of type $\widetilde{A}_0$ or $\widetilde{CL}_n$ having loops. More generally, we consider higher dimensional $R=l[[x_1,\cdots,x_d]]^G\ (G\subseteq GL_d(l)\rtimes{\rm Gal}(l/k))$ and show they have non-commutative crepant resolutions (NCCRs). Furthermore, we explicitely determine the quivers of the NCCRs as quotients of another certain quivers. To accomplish these, we establish two results which are of independent interest. First, we prove the existence of $(d-1)$-almost split sequences for arbitrary $d$-dimensional Cohen-Macaulay rings having NCCR, even when their singularities are not isolated. Second, we give an explicit recipe to determine irreducible representations of skew group algebras $l*G$ in terms of those over the group algebras $lH$ where $H$ is the kernel of the action of $G$ on $l$.

Ryu Tomonaga 44 pages http://arxiv.org/abs/2501.16198v1 2025-01-27T16:49:02Z 2025-01-27T16:49:02Z

We show that the intersection of the irreducible components of a hypersurface defined by a polynomial with square-free support has F-rational singularities in characteristic $p>0$. As a consequence, we obtain that hypersurfaces defined by irreducible polynomials with square-free support have F-rational singularities, positively answering a question of Bath, Musta\c{t}\u{a}, and Walther.

Aldo Conca Alessandro De Stefani Luis Núñez-Betancourt Ilya Smirnov http://arxiv.org/abs/2501.16042v1 2025-01-27T13:36:27Z 2025-01-27T13:36:27Z

Suppose a system of partial differential equations with constant coefficients describes a classical field theory. Einstein proposed a definition of the strength of such a theory and its degrees of freedom (DoF) based on the asymptotic number of free Taylor series coefficients of bounded degree in the general solution of the system. however, direct calculating the DoF is a nontrivial task. Here, we apply commutative algebra methods to this problem. We begin by interpreting the matrix of the system as a linear map between polynomial modules. First, we derive an explicit formula for the DoF as the multiplicity of a certain extension module. Second, we prove (for homogeneous and certain more general systems) another explicit formula for the DoF in terms of gauge symmetries and identities. A notable consequence of this formula is that two Hermitian conjugate systems have identical DoF.

Simon Lyakhovich Dmitri Piontkovski 23 pages http://arxiv.org/abs/2501.15367v1 2025-01-26T02:05:09Z 2025-01-26T02:05:09Z

This paper gives some exact formulas for the depth of powers of the edge ideal of an edge-weighted integrally closed cycle.

Guangjun Zhu Jiaxin Li Yijun Cui Yi Yang