http://arxiv.org/api/Epsyl0VneYQXOtXPk3OiMQnTGag 2025-05-02T00:00:00-04:00 13658 345 15 http://arxiv.org/abs/2411.19260v2 2025-02-18T11:40:29Z 2024-11-28T16:49:15Z

The aim of this survey is to explore complete intersection monomial curves from a contemporary perspective. The main goal is to help readers understand the intricate connections within the field and its potential applications. The properties of any monomial curve singularity will be first reviewed, highlighting the interaction between combinatorial and algebraic properties. Next, we will revisit the two main characterizations of complete intersection monomial curves. One is based on deep algebraic properties given by Herzog and Kunz in 1971, while the other is based on a combinatorial approach given by Delorme in 1976. Our aim is to bridge the gap between these perspectives present in the current literature. Then, we will focus on recent advances that show an intriguing connection between numerical semigroups and Alexander polynomials of knots. Finally, we will revisit the deformation theory of these curves and provide an answer to a question posed by Buchweitz and Greuel regarding curve deformations.

Patricio Almirón v2: minor changes, improved redaction ; v1:42 pages, comments are very welcome! http://arxiv.org/abs/2502.11935v1 2025-02-17T15:48:19Z 2025-02-17T15:48:19Z

The general Nullstellensatz states that if $A$ is a Jacobson ring, $A[X]$ is Jacobson. We introduce the notion of an $\alpha$-Jacobson ring for an ordinal $\alpha$ and prove a quantitative version of the general Nullstellensatz: if $A$ is an $\alpha$-Jacobson ring, $A[X]$ is $(\alpha+1)$-Jacobson. The quantitative general Nullstellensatz implies that $K[X_1,\ldots,X_n]$ is not only Jacobson but also $(1+n)$-Jacobson for any field $K$. It also implies that $\mathbb{Z}[X_1,\ldots,X_n]$ is $(2+n)$-Jacobson.

Ryota Kuroki 8 pages http://arxiv.org/abs/2405.09606v2 2025-02-17T12:09:40Z 2024-05-15T17:34:03Z

We give a direct construction of the ring spectrum of spherical Witt vectors of a perfect $\mathbb{F}_p$-algebra R as the completion of the spherical monoid algebra $\mathbb{S}[R]$ of the multiplicative monoid $(R,\cdot)$ at the ideal $I = \mathrm{fib}(\mathbb{S}[R] \to R)$. This generalizes a construction of Cuntz and Deninger. We also use this to give a description of the category of p-complete modules over the spherical Witt vectors and a universal property for spherical Witt vectors as an $\mathbb{E}_1$-ring.

Thomas Nikolaus Maria Yakerson 7 pages; added Remark 3 that generalizes main results; final version to appear in the Proceedings of the American Mathematical Society http://arxiv.org/abs/2502.00155v2 2025-02-17T10:37:10Z 2025-01-31T20:45:39Z

Inspired by the Roller Coaster Theorem from graph theory, we prove the existence of artinian Gorenstein algebras with unconstrained Hilbert series, which we call Roller Coaster algebras. Our construction relies on Nagata idealization of quadratic monomial algebras defined by whiskered graphs. The monomial algebras are interesting in their own right, as our results suggest that artinian level algebras defined by quadratic monomial ideals rarely have the weak Lefschetz property. In addition, we discover a large family of G-quadratic Gorenstein algebras failing the weak Lefschetz property.

Thiago Holleben Lisa Nicklasson Comments are welcome! http://arxiv.org/abs/math/0505628v3 2025-02-17T08:34:47Z 2005-05-29T12:07:13Z

Ordered pairs of proper, non-empty real projective conics can be classified modulo rigid isotopy and ambient isotopy. We characterize the classes by equations, inequations and inequalities in the coefficients of the quadratic forms defining the conics. The results are well--adapted to the study of the relative position of two conics defined by equations depending on parameters.

Emmanuel Briand 10.1007/s00200-006-0023-8 31 pages. Related material at http://emmanuel.jean.briand.free.fr/publications/twoconics/. Version 2: Added references to important prior work on the subject. The title changed accordingly. Some typos and imprecisions corrected. Version 3: fix image formats that were not compatible anymore with compiling on arxiv. See errata at http://emmanuel.jean.briand.free.fr/publications/twoconics/errata.pdf Applicable Algebra in Engineering, Communication and Computing, Volume 18, Numbers 1-2 / february 2007, Page 21-52 http://arxiv.org/abs/2304.01459v2 2025-02-17T04:36:52Z 2023-04-04T01:59:52Z

Let $G_1$ and $G_2$ be torsion groups. We prove that the monoids of product-one sequences over $G_1$ and over $G_2$ are isomorphic if and only if the groups $G_1$ and $G_2$ are isomorphic. This was known before for abelian groups.

Alfred Geroldinger Jun Seok Oh To appear in the Bulletin of the Lond. Math. Soc http://arxiv.org/abs/2411.11095v2 2025-02-16T19:34:47Z 2024-11-17T14:52:27Z

The coefficient algebra of a finite-dimensional Lie algebra on a finite-dimensional representation is defined as the subalgebra generated by all coefficients of the corresponding characteristic polynomial. We explore connections between classical invariant theory and the coefficient algebras of finite-dimensional complex Lie algebras on some representations. Specifically, we prove that with respect to any symmetric power of the standard representation: (a) the coefficient algebra of the upper triangular solvable complex Lie algebra is isomorphic to the ring of symmetric polynomials; (b) the coefficient algebra of the general linear complex Lie algebra is isomorphic to the invariant ring of the general linear group with the conjugacy action on the full space of matrices; and (c) the coefficient algebra of the special linear complex Lie algebra can be generated by classical trace functions. As an application, we determine the characteristic polynomial of the special linear complex Lie algebra on its standard representation.

Yin Chen Runxuan Zhang 19 pages; errors corrected and sections revised http://arxiv.org/abs/2408.09599v2 2025-02-16T12:38:25Z 2024-08-18T21:37:55Z

Motivated by the multi-reference alignment (MRA) problem we prove that for the natural action of the $2n$-element dihedral group $D_n$ on ${\mathbb C}^n$ the generic orbit is determined by invariants of degree at most three. This answers a question posed in a 2022 paper of Bendory et. al. and it implies that the sample complexity of the dihedral MRA problem with uniform distribution is $\sim \sigma^6$.

Dan Edidin Josh Katz 14 pages. The original version of this article contained two separate results: one about the regular representation of a finite group over an arbitrary field and one about the standard complex representation of the dihedral group. This revision contains the result about the dihedral group and the other result will be posted as a separate article http://arxiv.org/abs/1812.06277v6 2025-02-16T10:17:31Z 2018-12-15T12:13:14Z

The category of distributive lattices is, in classical mathematics, antiequivalent to the category of spectral spaces. We give here some examples and a short dictionary for this antiequivalence. We propose a translation of several abstract theorems (in classical mathematics) into constructive ones, even in the case where points of a spectral space have no clear constructive content. La cat\'egorie des treillis distributifs et celle des espaces spectraux sont anti\'equivalentes (en math\'ematiques classiques). Nous proposons ici un petit dictionnaire pour cette anti\'equivalence. Nous indiquons comment un certain nombre de th\'eor\`emes \'etranges des math\'ematiques classiques obtiennent un contenu constructif gr\^ace \`a cette anti\'equivalence, m\^eme dans le cas, fr\'equent, o\`u les points des espaces spectraux consid\'er\'es n'ont pas de contenu constructif clair.

Henri Lombardi 10.1007/978-3-030-43416-8 small typos have been fixed, references are improved, a french translation has been added. English version appeared p. 223--245 in: Advances in rings, modules and factorizations. Selected papers based on the presentations at the international conference on rings and factorizations, Graz, Austria, February 19--23, 2018. Cham: Springer (2020). ISBN 978-3-030-43415-1 http://arxiv.org/abs/2407.11584v3 2025-02-16T09:43:37Z 2024-07-16T10:47:06Z

In this article, we first prove that the type of an affine semigroup ring is equal to the number of maximal elements of the Ap\'ery set with respect to the set of exponents of the monomials, which form a maximal regular sequence. Further, we consider $\mathcal{C}$-semigroups in $\mathbb{N}^d$ and prove that the notions of symmetric and almost symmetric $\mathcal{C}$-semigroups are independent of term orders. We further investigate the conductor and the Ap\'ery set of a $\mathcal{C}$-semigroup with respect to a minimal extremal ray. Building upon this, we extend the notion of reduced type to $\mathcal{C}$-semigroups and study its extremal behavior. For all $d$ and fixed $e \geq 2d$, we give a class of $\mathcal{C}$-semigroups of embedding dimension $e$ such that both the type and the reduced type do not have any upper bound in terms of the embedding dimension. We further explore irreducible decompositions of a $\mathcal{C}$-semigroup and give a lower bound on the irreducible components in an irreducible decomposition. Consequently, we deduce that for each positive integer $k$, there exists a $\mathcal{C}$-semigroup $S$ such that the number of irreducible components of $S$ is at least $k$.

Om Prakash Bhardwaj Carmelo Cisto Last section removed. Small changes in section 3 http://arxiv.org/abs/2212.09528v4 2025-02-16T09:11:11Z 2022-12-19T15:17:08Z

We show that any polarization of an Artin monomial ideal defines a triangulated ball. This proves a conjecture of A.Almousa, H.Lohne and the first author. Geometrically, polarizations of ideals containing $(x_1^{a_1}, \ldots, x_n^{a_n})$ define full-dimensional triangulated balls on the sphere which is the join of boundaries of simplices of dimensions $a_1-1, \cdots, a_n-1$. Every full-dimensional Cohen-Macaulay sub-complex of this joined sphere is of this kind, and these balls are constructible. Such a triangulated ball has a dual cell complex which is a sub-complex of the product of simplices of dimensions $a_1-1, \cdots a_n-1$. The associated cellular complex of this gives the minimal free resolution of the Alexander dual ideal of the triangulated ball. When the product of simplices is a hypercube, in many examples these dual cell complexes enables a classification of the range of polarizations of the Artin monomial ideal. We also show that the squeezed balls of G.Kalai \cite{Ka} derive from polarizations of Artin monomial ideals.

Gunnar Fløystad Ine Gabrielsen Amir Mafi In a previous version there was an error in the argument of the main theorem. This is now fixed. The present version is expanded with new material giving a considerably richer insight. Section 7 contains many examples of how polarizations are constructed from their dual cell complexes. Some references added. 46 pages http://arxiv.org/abs/2502.10769v1 2025-02-15T11:22:02Z 2025-02-15T11:22:02Z

This paper investigates a Tate algebra version of the Jacobian conjecture, referred to as the Tate-Jacobian conjecture, for commutative rings $R$ equipped with an $I$-adic topology. We show that if the $I$-adic topology on $R$ is Hausdorff and $R/I$ is a subring of a $\mathbb{Q}$-algebra, then the Tate-Jacobian conjecture is equivalent to the Jacobian conjecture. Conversely, if $R/I$ has positive characteristic, the Tate-Jacobian conjecture fails. Furthermore, we establish that the Jacobian conjecture for $\mathbb{C}$ is equivalent to the following statement: for all but finitely many primes $p$, the inverse of a polynomial map over $\mathbb{C}_p$ whose Jacobian determinant is an element of $\mathbb{C}_p^\times$ lies in the Tate algebra over $\mathbb{C}_p$.

Lucas Hamada Kazuki Kato Ryo Komiya 7 pages http://arxiv.org/abs/2311.00404v2 2025-02-15T06:54:26Z 2023-11-01T09:56:27Z

We study birational quasi-isomorphisms between normal Noetherian domains endowed with cluster structures of geometric type. We prove an analogue of the Starfish lemma that allows one to transfer various cluster and algebraic properties of one variety onto another. In particular, we develop tools for proving that an upper cluster algebra equals the given commutative ring.

Dmitriy Voloshyn 20 pages, 1 figure http://arxiv.org/abs/2312.05477v2 2025-02-15T01:42:10Z 2023-12-09T06:08:54Z

The aim of this article is to investigate interrelated structures lying among three notable problems in commutative algebra. These are Lifting problem, Ascent/descent along associated graded rings, and Matijevic-Roberts type problem.

Jun Horiuchi Kazuma Shimomoto Final version; accepted by Mathematical Journal of Okayama University http://arxiv.org/abs/2401.03318v4 2025-02-15T00:03:17Z 2024-01-06T22:33:39Z

The set $S(n)$ of all elementary symmetric polynomials in $n$ variables is a minimal generating set for the algebra of symmetric polynomials in $n$ variables, but over a finite field ${\mathbb F}_q$ the set $S(n)$ is not a minimal separating set for symmetric polynomials in general. We determined when $S(n)$ is a minimal separating set for the algebra of symmetric polynomials having the least possible number of elements.

Artem Lopatin Pedro Antonio Muniz Martins Lael Viana Lima 10.46298/cm.14627 11 pages Communications in Mathematics, Volume 33 (2025), Issue 1 (February 18, 2025) cm:14627