Equality of DSER elementary orthogonal group and Eichler-Siegel-Dickson transvection group

2025-03-17T05:34:55Z

We prove the Dickson-Siegel-Eichler-Roy (DSER) elementary orthogonal group, which was introduced by Amit Roy in 1968 and the Eichler-Siegel-Dickson transvection group, which is in literature in the works of Dickson, Siegel and Eichler, are equal over a commutative ring in which $2$ is invertible. We prove the equality in the free case by considering the odd and even case separately and then generalize this result by using the local-global principle. This result generalizes previous results concerning the equality of elementary orthogonal transvection groups.

On the computation of Kähler differentials and characterizations of Galois extensions with independent defect

2025-03-16T09:03:06Z

For important cases of algebraic extensions of valued fields, we develop presentations of the associated K\"ahler differentials of the extensions of their valuation rings. We compute their annihilators as well as the associated Dedekind differentials. We then apply the results to Galois defect extensions of prime degree. Defects can appear in finite extensions of valued fields of positive residue characteristic and are serious obstructions to several problems in positive characteristic. A classification of defects (dependent vs.\ independent) has been introduced by the second and the third author. It has been shown that perfectoid fields and deeply ramified fields only admit extensions with independent defect. We give several characterizations of independent defect, using ramification ideals, K\"ahler differentials and traces of the maximal ideals of valuation rings. All of our results are for arbitrary valuations; in particular, we have no restrictions on their rank or value groups.

Kähler differentials of extensions of valuation rings and deeply ramified fields

2025-03-16T08:36:29Z

Assume that $(L,v)$ is a finite Galois extension of a valued field $(K,v)$. We give an explicit construction of the valuation ring $\mathcal O_L$ of $L$ as an $\mathcal O_K$-algebra, and an explicit description of the module of relative K\"ahler differentials $\Omega_{\mathcal O_L|\mathcal O_K}$ when $L|K$ is a Kummer extension of prime degree or an Artin-Schreier extension, in terms of invariants of the valuation and field extension. The case when this extension has nontrivial defect was solved in a recent paper by the authors with Anna Rzepka. The present paper deals with the complementary (defectless) case. The results are known classically for (rank 1) discrete valuations, but our systematic approach to non-discrete valuations (even of rank 1) is new. We also show that the annihilator of $\Omega_{\mathcal O_L|\mathcal O_K}$ can only be equal to the maximal ideal $\mathcal M_L$ of $\mathcal O_L$ if the extension is defectless and $\mathcal M_L$ is principal. Using our results from the prime degree case, we characterize when $\Omega_{\mathcal O_L|\mathcal O_K}=0$ holds for an arbitrary finite Galois extension of valued fields. As an application of these results, we give a simple proof of a theorem of Gabber and Ramero, which characterizes when a valued field is deeply ramified. We further give a simple characterization of deeply ramified fields with residue fields of characteristic $p>0$ in terms of the K\"ahler differentials of Galois extensions of degree $p$.

A characterization of binomial Macaulay dual generators for complete intersections

2025-03-16T08:19:42Z

We characterize a binomial such that the Artinian algebra whose Macaulay dual generator is the binomial is a complete intersection. As an application, we prove that the Artinian algebra with a binomial Macaulay dual generator has the strong Lefschetz property in characteristic 0 if the Artinian algebra is a complete intersection.

Cluster algebras and skein algebras for surfaces

2025-03-16T02:08:09Z

We consider two algebras of curves associated to an oriented surface of finite type - the cluster algebra from combinatorial algebra, and the skein algebra from quantum topology. We focus on generalizations of cluster algebras and generalizations of skein algebras that include arcs whose endpoints are marked points on the boundary or in the interior of the surface. We show that the generalizations are closely related by maps that can be explicitly defined, and we explore the structural implications, including (non-)finite generation. We also discuss open questions about the algebraic structure of the algebras.

On numerical semigroup elements and the $\ell_0$- and $\ell_\infty$-norms of their factorizations

2025-03-15T19:40:01Z

A numerical semigroup $S$ is a cofinite, additively-closed subset of $\mathbb Z_{\ge 0}$ that contains 0, and a factorization of $x \in S$ is a $k$-tuple $z = (z_1, \ldots, z_k)$ where $x = z_1a_1 + \cdots + z_ka_k$ expresses $x$ as a sum of generators of $S = \langle a_1, \ldots, a_k \rangle$. Much~of the study of non-unique factorization centers on factorization length $z_1 + \cdots + z_k$, which coincies with the $\ell_1$-norm of $z$ as the $k$-tuple. In this paper, we study the $\ell_\infty$-norm and $\ell_0$-norm of factorizations, viewed as alternative notions of length, with particular focus on the generalizations $\Delta_\infty(x)$ and $\Delta_0(x)$ of the delta set $\Delta(x)$ from classical factorization length. We prove that the $\infty$-delta set $\Delta_\infty(x)$ is eventually periodic as a function of $x \in S$, classify $\Delta_\infty(S)$ and the 0-delta set $\Delta_0(S)$ for several well-studied families of numerical semigroups, and identify families of numerical semigroups demonstrating $\Delta_\infty(S)$ and $\Delta_0(S)$ can be arbitrarily long intervals and can avoid arbitrarily long subintervals.

On binomial edge ideals of corona of graphs

2025-03-15T12:50:11Z

For a simple graph $G$, let $J_G$ denote the corresponding binomial edge ideal. This article considers the binomial edge ideal of the corona product of two connected graphs $G$ and $H$. The corona product of $G$ and $H$, denoted by $G\circ H$, is a construction where each vertex of $G$ is connected (via the coning-off) to an entire copy of $H$. This is a direct generalization of a cone construction. Previous studies have shown that for $J_{G \circ H}$ to be Cohen-Macaulay, both $G$ and $H$ must be complete graphs. However, there are no general formulae for the dimension, depth, or Castelnuovo-Mumford regularity of $J_{G\circ H}$ for all graphs $G$ and $H$. In this article, we provide a general formula for the dimension, depth and Castelnuovo-Mumford regularity of the binomial edge ideals of certain corona and corona-type (somewhat a generalization of corona) products of special interests. Additionally, we study the Cohen-Macaulayness, unmixedness and related properties of binomial edge ideals corresponding to above class of graphs. We have also added a short note on the reduction of the Bolognini-Macchia-Strazzanti Conjecture to all graphs with a diameter of $3$.

Regularity of $3$-Path Ideals of Trees and Unicyclic Graphs

2025-03-15T12:41:00Z

Let $G$ be a simple graph and $I_3(G)$ be its $3$-path ideal in the corresponding polynomial ring $R$. In this article, we prove that for an arbitrary graph $G$, $reg(R/I_3(G))$ is bounded below by $2\nu_3(G)$, where $\nu_3(G)$ denotes the $3$-path induced matching number of $G$. We give a class of graphs, namely, trees for which the lower bound is attained. Also, for a unicyclic graph $G$, we show that $reg(R/I_3(G))\leq 2\nu_3(G)+2$ and provide an example that shows that the given upper bound is sharp.

Recursive Koszul flattenings of determinant and permanent tensors

2025-03-15T07:49:17Z

We investigate new lower bounds on the tensor rank of the determinant and the permanent tensors via recursive usage of the Koszul flattening method introduced by Landsberg-Ottaviani and Hauenstein-Oeding-Ottaviani-Sommese. Our lower bounds on $\mathbf{R} (\det_n)$ completely separate the determinant and the permanent tensors by their tensor ranks. Furthermore, we determine the exact tensor ranks $\mathbf{R} (\det_4) = 12$ and $\mathbf{R} (\operatorname{perm}_4) = 8$ over arbitrary field of characteristic $\neq 2$.

Simplicial generation of Chow rings of matroids

2025-03-15T05:02:46Z

We introduce a presentation of the Chow ring of a matroid by a new set of generators, called "simplicial generators." These generators are analogous to nef divisors on projective toric varieties, and admit a combinatorial interpretation via the theory of matroid quotients. Using this combinatorial interpretation, we (i) produce a bijection between a monomial basis of the Chow ring and a relative generalization of Schubert matroids, (ii) recover the Poincar\'e duality property, (iii) give a formula for the volume polynomial, which we show is log-concave in the positive orthant, and (iv) recover the validity of Hodge-Riemann relations in degree 1, which is the part of the Hodge theory of matroids that currently accounts for all combinatorial applications of [AHK18]. Our work avoids the use of "flips," the key technical tool employed in [AHK18].

Betti Numbers for Modules Over Artinian Local Rings

2025-03-14T20:51:56Z

We introduce a new numerical invariant $\gamma_I(M)$ associated to a finite-length $R$-module $M$ and an ideal $I$ in an Artinian local ring $R$. This invariant measures the ratio between $\lambda(IM)$ and $\lambda(M/IM)$. We establish fundamental relationships between this invariant and the Betti numbers of the module under the assumption of the $\operatorname{Tor}$ modules vanishing. In particular, we use this invariant to establish a freeness criterion for modules under certain $\operatorname{Tor}$ vanishing conditions. The criterion applies specifically to the class of $I$-free modules -- those modules $M$ for which $M/IM$ is isomorphic to a direct sum of copies of $R/I$. Lastly, we apply these results to the canonical module, proving that, under certain conditions on the ring structure, when the zeroth Betti number is greater than or equal to the first Betti number of the canonical module, then the ring is Gorenstein. This partially answers a question posed by Jorgensen and Leuschke concerning the relationship between Betti numbers of the canonical module and Gorenstein properties.

Maximal ideal space of some Banach algebras of Dirichlet series

2025-03-14T17:01:19Z

Let $\mathscr{H}^\infty$ be the set of all Dirichlet series $f=\sum\limits_{n=1}^\infty \frac{a_n}{n^s}$ (where $a_n\in \mathbb{C}$ for each $n$) that converge at each $s\in {\mathbb{C}}_+$, such that $\|f\|_{\infty}:=\sup_{s\in {\mathbb{C}}_+}|f(s)|<\infty$. Let $\mathscr{B}\subset \mathscr{H}^\infty$ be a Banach algebra containing the Dirichlet polynomials (Dirichlet series with finitely many nonzero terms) with a norm $\|\cdot\|_{\mathscr{B}}$ such that the inclusion $\mathscr{B} \subset \mathscr{H}^\infty$ is continuous. For $m\in \mathbb{N}=\{1,2,3,\cdots\}$, let $\partial^{-m}\mathscr{B}$ denote the Banach algebra consisting of all $f\in \mathscr{B}$ such that $f',\cdots, f^{(m)}\in \mathscr{B}$, with pointwise operations and the norm $\|f\|_{\partial^{-m}\mathscr{B}}=\sum_{\ell=0}^m \frac{1}{\ell!}\|f^{(\ell)}\|_{\mathscr{B}}$. Assuming that the Wiener $1/f$ property holds for $\mathscr{B}$ (that is, $\inf_{s\in {\mathbb{C}}_+} |f(s)|>0$ implies $\frac{1}{f}\in \mathscr{B}$), it is shown that for all $m\in \mathbb{N}$, the maximal ideal space $M(\partial^{-m}\mathscr{B})$ of $\partial^{-m}\mathscr{B}$ is homeomorphic to $\overline{\mathbb{D}}^{\mathbb{N}}$, where $\overline{\mathbb{D}}=\{z\in \mathbb{C}:|z|\le 1\}$. Examples of such Banach algebras are $\mathscr{H}^\infty$, the subalgebra $\mathscr{A}_u$ of $\mathscr{H}^\infty$ consisting of uniformly continuous functions in ${\mathbb{C}}_+$, and the Wiener algebra $\mathscr{W}$ of Dirichlet series with $\|f\|_{\mathscr{W}}:=\sum_{n=1}^\infty |a_n|<\infty$. Some consequences (existence of logarithms, projective freeness, infinite Bass stable rank) are given as applications.

Local cohomology tables of sequentially almost Cohen-Macaulay modules

2025-03-14T15:13:48Z

Let $R$ be a polynomial ring over a field. We introduce the concept of sequentially almost Cohen-Macaulay modules and describe the extremal rays of the cone of local cohomology tables of finitely generated graded $R$-modules which are sequentially almost Cohen-Macaulay, and describe some cases when the local cohomology table of a module of dimension 3 has a nontrivial decomposition.

Edge ideals with linear quotients and without homological linear quotients

2025-03-14T14:11:18Z

A monomial ideal $I$ is said to have homological linear quotients if for each $k\geq 0$, the homological shift ideal $\mathrm{HS}_k(I)$ has linear quotients. It is a well-known fact that if an edge ideal $I(G)$ has homological linear quotients, then $G$ is co-chordal. We construct a family of co-chordal graphs $\{\mathrm{H}_n^c\}_{n\geq 6}$ and propose a conjecture that an edge ideal $I(G)$ has homological linear quotients if and only if $G$ is co-chordal and $\mathrm{H}_n^c$-free for any $n\geq 6$. In this paper, we prove one direction of the conjecture. Moreover, we study possible patterns of pairs $(G,k)$ of a co-chordal graph $G$ and integer $k$ such that $\mathrm{HS}_k(I(G))$ has linear quotients.

On Some Hereditary and Super Classes of Directly Finite Abelian Groups

2025-03-14T11:51:20Z

Continuing recent studies of both the hereditary and super properties of certain classes of Abelian groups, we explore in-depth what is the situation in the quite large class consisting of directly finite Abelian groups. Trying to connect some of these classes, we specifically succeeded to prove the surprising criteria that a relatively Hopfian group is hereditarily only when it is extended Bassian, as well as that, a relatively Hopfian group is super only when it is extended Bassian. In this aspect, additional relevant necessary and sufficient conditions in a slightly more general context are also proved.