http://arxiv.org/api/AqOmxBqpNn3LiqcMhpPhxAkSTks 2025-05-01T00:00:00-04:00 13651 300 15 http://arxiv.org/abs/2206.00472v9 2025-02-25T09:02:28Z 2022-06-01T13:05:04Z

We show that a pure transcendental, immediate extension of valuation rings $V\subset V'$ containing a field is a filtered union of smooth $V$-subalgebras of $V'$.

Dorin Popescu This version will appear in Manuscripta Math http://arxiv.org/abs/2502.17965v1 2025-02-25T08:40:40Z 2025-02-25T08:40:40Z

Let $R$ be an associative ring with a nonzero ideal $I$ and a semiprime ideal $T$ such that $T\subsetneq I.$ Let $K$ be a nonempty subset of $R$ and $d:R\to R$ be a derivation of $R$, if $[d(x),x]\in T$ for all $x\in K,$ then $d$ is said to be a $T$-commuting derivation on $K.$ The main purpose of this paper is to show that if char$(R/T)\neq 2$ and any of ~$[[d(x),x],x]\in T,$~ $[d(x),x]d(x)\in T,$~ $d(x)[d(x),x]\in T$ holds on $I,$ then $d$ is $T$-commuting on $I$. Consequently, we extend some known results of Vukman \cite{Vukman1990}.

Gurninder Singh Sandhu http://arxiv.org/abs/2401.06025v3 2025-02-25T06:42:44Z 2024-01-11T16:33:45Z

A numerical semigroup is a cofinite subset of $\mathbb Z_{\ge 0}$ containing $0$ and closed under addition. Each numerical semigroup $S$ with smallest positive element $m$ corresponds to an integer point in the Kunz cone $\mathcal C_m \subseteq \mathbb R^{m-1}$, and the face of $\mathcal C_m$ containing that integer point determines certain algebraic properties of $S$. In this paper, we introduce the Kunz fan, a pure, polyhedral cone complex comprised of a faithful projection of certain faces of $\mathcal C_m$. We characterize several aspects of the Kunz fan in terms of the combinatorics of Kunz nilsemigroups, which are known to index the faces of $\mathcal C_m$, and our results culminate in a method of "walking" the face lattice of the Kunz cone in a manner analogous to that of a Gr\"obner walk. We apply our results in several contexts, including a wealth of computational data obtained from the aforementioned "walks" and a proof of a recent conjecture concerning which numerical semigroups achieve the highest minimal presentation cardinality when one fixes the smallest positive element and the number of generators.

Cole Brower Joseph McDonough Christopher O'Neill http://arxiv.org/abs/2502.17228v1 2025-02-24T15:07:57Z 2025-02-24T15:07:57Z

Let $p$ be a prime number, $\Bbbk$ a field of characteristic $p$ and $G$ a finite $p$-group acting on a standard graded polynomial ring $S = \Bbbk[x_1, \ldots, x_n]$ as degree-preserving $\Bbbk$-algebra automorphisms. Assume that $G$ is generated by pseudo-reflections. In our earlier work (\emph{J. Pure Appl. Algebra}, vol. 228, no. 12, 2024) we introduced a composition series of $G$. In this note, we study the height-one ramification for the invariant rings at the consecutive stages of this composition series. We prove a condition for the extension $S^{G}\subseteq S^{G'}$ to split in terms of the Dedekind different $\mathscr{D}_D(S^{G'}/S^G)$. We construct an example illustrating that $\mathscr{D}_D(S^{G'}/S^G)$ need not have `expected' generators.

Manoj Kummini Mandira Mondal http://arxiv.org/abs/2502.17148v1 2025-02-24T13:39:13Z 2025-02-24T13:39:13Z

We prove the logarithmic extension theorem for one-forms on strongly $F$-regular singularities. Additionally, we establish the logarithmic extension theorem for one-forms on three-dimensional klt singularities in characteristic $p>41$. To this end, we reduce the problem to the logarithmic extension theorem for two-dimensional klt singularities with imperfect residue fields using a technique based on Cartier operators.

Tatsuro Kawakami Kenta Sato 53 pages http://arxiv.org/abs/2410.18008v2 2025-02-24T09:52:40Z 2024-10-23T16:34:09Z

We study the birational geometry of $X^n_s$, the blow-up of $\mathbb{P}^n_\mathbb{C}$ at $s$ points in general position. We identify a set of subvarieties, which we call Weyl $r$-planes, that belong to an orbit for the action of the Weyl group on $r$-cycles. They satisfy the following properties: they appear as stable base locus of divisors; each Weyl $r$-plane is swept out by an $(n-r)$-moving curve class; moreover, if $s\ge n+3$, for any fixed $r$ all these curve classes belong to the same orbit for the Weyl action. For Mori dream spaces of type $X^n_s$, all such orbits are finite and they allow to reinterpret Mukai's description of the Mori chamber decomposition of the effective cone in terms of $(n-r)$-moving curve classes, unifying previous different approaches. If $X^n_s$ is not a Mori dream space, there are infinitely many Weyl $r$-planes. These yields the definition of the Weyl chamber decomposition of the pseudoeffective cone of divisors, that is a coarsening of the Mori chamber decomposition, wherever the latter is defined. We conjecture that, for $s=n+4$, the Mori and the Weyl chamber decompositions coincide within the negative part of the effective cone. Moreover, we describe the pseudoeffective cone of $X^5_9$ via its infinitely many extremal rays.

Maria Chiara Brambilla Olivia Dumitrescu Elisa Postinghel Luis José Santana Sánchez 34 pages http://arxiv.org/abs/2205.08889v2 2025-02-24T09:11:00Z 2022-05-18T12:22:28Z

An oriented graph is said positively multiplicative when its adjacency matrix $A$ embeds in a matrix algebra admitting a basis $\mathsf{B}$ with nonnegative structure constants in which the matrix of the multiplication by $A$ coincides with $A$. The goal of this paper is to present basic properties of this notion and explain, through various simple examples, how it relates to highly non trivial problems like the combinatorial description of fusion rules, the description of the minimal boundary of graded graphs or the study of random walks on alcove tilings.

Jérémie Guilhot Cédric Lecouvey Pierre Tarrago All comments are welcome! http://arxiv.org/abs/2409.19950v3 2025-02-24T04:58:02Z 2024-09-30T05:10:16Z

Let R be a commutative ring with identity and N(R) be the set of all nilpotent elements of R. The aim of this paper is to introduce and study the notion of nil-prime ideals as a generalization of prime ideals. We say that a proper ideal P of R is a nil-prime ideal if there exists x \in N(R) and whenever ab \in P, then a \in P or b \in P or a+x \in P or b+x \in P for each a,b \in R. Also, we introduce nil versions of some algebraic concepts in ring theory such as nil-maximal ideal, nil-minimal ideal, nil-principal ideal and investigate some nil-version of a well-known results about them.

Faranak Farshadifar http://arxiv.org/abs/2502.16687v1 2025-02-23T19:00:44Z 2025-02-23T19:00:44Z

We construct new families of Artinian Gorenstein graded $K$-algebras of arbitrary codimension having binomial Macaulay dual generators and satisfying the weak or the strong Lefschetz property. This is a companion paper to \cite{ADFMMSV}, which studies codimension three algebras having binomial Macaulay dual generators in great depth, establishing in particular that they enjoy the strong Lefschetz property.

Nasrin Altafi Rodica Dinu Shreedevi K. Masuti Rosa M. Miró-Roig Alexandra Seceleanu Nelly Villamizar Comments are welcome http://arxiv.org/abs/2502.16675v1 2025-02-23T18:23:30Z 2025-02-23T18:23:30Z

Given a faithful representation $W$ of a finite group $G$, we classify when the invariant subring of the tensor algebra $T(W)$ is noetherian/finitely generated as a twisted commutative algebra (tca). For a representation $W$ of a classical group $G_{\mathbb{Z}}$, we show that the invariant subring $T(W_k)^{G_k}$ is a finitely generated tca for $k$ algebraically closed of sufficiently large characteristics, assuming $W$ admits a good filtration over $\mathbb{Z}$. Finally, we introduce a categorical variant of the Gelfand--Kirillov dimension and compute its value to be $\binom{n+1}{2}$ for $T(\mathbb{C}^n)$ as a tca.

Karthik Ganapathy 10 pages, no figures; comments welcome http://arxiv.org/abs/2401.00783v2 2025-02-23T13:01:34Z 2024-01-01T15:09:15Z

The notion of Frobenius Betti numbers generalizes the Hilbert-Kunz multiplicity theory and serves as an invariant that measures singularity. However, the explicit computation of the Frobenius Betti numbers of rings has been limited to very few specific cases. This article focuses on the explicit computation of Frobenius Betti numbers of Cohen-Macaulay graded rings of finite Cohen-Macaulay type.

Nirmal Kotal 10.1080/00927872.2025.2451084 Updated with minor revisions Communications in Algebra (2025) http://arxiv.org/abs/2502.16494v1 2025-02-23T08:14:25Z 2025-02-23T08:14:25Z

Let $(A,\mathfrak{m})$ be a complete intersection of dimension $d \geq 1$ and codimension $c \geq 1$. Let $I$ be an $\mathfrak{m}$-primary ideal and let $M$ be a finitely generated $A$-module. For $i \geq 1$ let $\psi_i^I(M)$ be the degree of the polynomial type function $n \rightarrow \ell(Ext^i_A(M, A/I^n))$. We show that for $j = 0, 1$ and for all $i \gg 0$ we have $\psi_{2i +j}^I(M)$ is a constant and let $r_0^I(M)$ and $r_1^I(M)$ denote these constant values. Set $r^I(M) = \max\{ r_0^I(M), r_1^I(M) \}$. We show that $r^I(M)$ is an invariant of $I, A$ and the support variety of $M$. We set the degree of the zero polynomial to be $-\infty$. If $r^I(M) \leq 0$ then we show that $reg \ G_I(\Omega^i(M))$ for $i \geq 0$ is bounded. We give an application of this result to syzgetic Artin-Rees property of $M$. We also give several examples which illustrate our results.

Tony J. Puthenpurakal http://arxiv.org/abs/2502.16480v1 2025-02-23T07:45:54Z 2025-02-23T07:45:54Z

We geometrize the constructions of twisted Poisson modules introduced by Luo-Wang-Wu, and Poisson chain complexes with coefficients in Poisson modules defined in the algebraic setting to the geometric setting of Poisson manifolds. We then prove that for any orientable Poisson manifold $M$, there is an explicit chain isomorphism between the Poisson cochain complex with coefficients in any Poisson geometric module and the Poisson chain complex with coefficients in the corresponding twisted Poisson geometric module, induced by a modular vector field of $M$. These are the geometric analogues of results obtained by Luo-Wang-Wu for smooth Poisson algebras with trivial canonical bundle. In particular, a version of twisted Poincar\'e duality is established between the Poisson homologies and the Poisson cohomologies of an orientable Poisson manifold with coefficients in an arbitrary vector bundle with a flat contravariant connection. This generalizes the duality theorems for orientable Poisson manifolds established by Evens-Lu-Weinstein, and by Xu.

Tiancheng Qi Quanshui Wu 29 pages http://arxiv.org/abs/2404.08183v2 2025-02-22T13:31:18Z 2024-04-12T01:10:42Z

The pure $O$-sequences of the form $(1,a,a,\ldots)$ are classified.

Tài Huy Hà Takayuki Hibi Fabrizio Zanello Minor revisions. To appear in Electr. J. Combinatorics Electron. J. Combin. 32 (2025), no. 1, Paper P1.48 http://arxiv.org/abs/2210.13579v3 2025-02-22T09:19:35Z 2022-10-24T20:00:16Z

We investigate the question whether a given homogeneous ideal is a limit of saturated ones. We provide cohomological necessary criteria for this to hold and apply them to a range of examples. Our motivation comes from the theory of border apolarity and varieties of sums of powers, where the question above is tightly connected to proving new lower bounds for border ranks of tensors.

Joachim Jelisiejew Tomasz Mańdziuk v3, minor corrections