Search

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$.

Let R be a commutative ring with identity, and let S be a multiplicative subset of R. Positselski and Sl\'avik introduced the concepts of S-strongly flat modules and S-weakly cotorsion R-modules, and they showed that these concepts are useful in describing flat modules and Enochs cotorsion modules over commutative rings (see the discussion in [13, Section 1.1]). In this paper, we introduce a homological dimension, called the S-strongly flat dimension, for modules and rings. These dimensions measure how far away a module M is from being S-strongly flat and how far a ring R is from being S-almost semisimple. The relations between the S-strongly flat dimension and other dimensions are discussed.

We study the variety $\rm{VAPS}_G(q_2^3, 10)$ (resp. $\rm{VAPS}_G(q_3^2, 10)$), a Grassmannian compactification of the variety of finite schemes of length $10$ apolar to $q_{2}^3$ (resp. $q_3^2$), where $\{q_{n} = 0\}\subset \mathbb P^{n} $ is a smooth quadric hypersurface. In particular, we show that $\rm{VAPS_G}(q_2^3, 10)$ is the tangent developable of a rational normal curve, while $\rm{VAPS}_G(q_3^2, 10)$ is reducible with three singular $5$-dimensional components., Comment: 53 pages, comments welcome

In this article we obtain uniform effective upper bounds for the projective dimension and the Castelnuovo-Mumford regularity of homogeneous ideals inside a standard graded polynomial ring $S$ over a field. Such bounds are independent of the number of variables of $S$, in the spirit of Stillman's conjecture and of the Ananyan-Hochster's theorem, and depend on partial data extracted from the beginning or the end of the resolution. In this direction, we extend a result of McCullough from 2012 regarding a bound on regularity in terms of half the syzygies to a bound on the projective dimension and the regularity of an ideal in terms of a fraction of the syzygies.

Famous results state that the classical MacWilliams identities fail for the Lee metric, the homogeneous metric and for the subfield metric, apart from some trivial cases. In this paper we change the classical idea of enumerating the codewords of the same weight and choose a finer way of partitioning the code that still contains all the information of the weight enumerator of the code. The considered decomposition allows for MacWilliams-type identities which hold for any additive weight over a finite chain ring. For the specific cases of the homogeneous and the subfield metric we then define a coarser partition for which the MacWilliams-type identities still hold. This result shows that one can, in fact, relate the code and the dual code in terms of their weights, even for these metrics. Finally, we derive Linear Programming bounds stemming from the MacWilliams-type identities presented.

Let $(Q, \mathfrak{n})$ be a regular local ring and let $f_1, \ldots, f_c \in \mathfrak{n}^2$ be a $Q$-regular sequence. Set $(A, \mathfrak{m}) = (Q/(\mathbf{f}), \mathfrak{n}/(\mathbf{f}))$. Further assume that the initial forms $f_1^*, \ldots, f_c^*$ form a $G(Q) = \bigoplus_{n \geq 0}\mathfrak{n}^i/\mathfrak{n}^{i+1}$-regular sequence. Without loss of any generality assume $ord_Q(f_1) \geq ord_Q(f_2) \geq \cdots \geq ord_Q(f_c)$. Let $M$ be a finitely generated $A$-module and let $(\mathbb{F}, \partial)$ be a minimal free resolution of $M$. Then we prove that $ord(\partial_i) \leq ord_Q(f_1) - 1$ for all $i \gg 0$. We also construct an MCM $A$-module $M$ such that $ord(\partial_{2i+1}) = ord_Q(f_1) - 1$ for all $i \geq 0$. We also give a considerably simpler proof regarding the periodicity of ideals of minors of maps in a minimal free resolution of modules over arbitrary complete intersection rings (not necessarily strict)., Comment: arXiv admin note: text overlap with arXiv:1109.5326

Let $K$ be a field and let $S = K[X_1, \ldots, X_n]$. Let $I$ be a graded ideal in $S$ and let $M$ be a finitely generated graded $S$-module. We give upper bounds on the regularity of Koszul homology modules $H_i(I, M)$ for several classes of $I$ and $M$.

We define a \emph{residual function} on a topological space $X$ as a function $f:X\longrightarrow\mathbb{Z}$ such that $f^{-1}(0)$ contains an open dense set, and we use this notion to study the freeness of the group of divisorial ideals on a Pr\"ufer domain.

Greither and Kurihara proved a theorem about the commutativity of projective limits and Fitting ideals for modules over the classical equivariant Iwasawa algebra $\Lambda_G=\mathbb{Z}_p[[T]][G]$, where $G$ is a finite, abelian group and $\Bbb Z_p$ is the ring of $p$--adic integers, for some prime $p$. In this paper, we generalize their result first to the Noetherian Iwasawa algebra $\mathbb{Z}_p[[T_1, T_2, \cdots, T_n]][G]$ and, most importantly, to the non-Noetherian algebra $\mathbb{Z}_p[[T_1, T_2, \cdots, T_n, \cdots]][G]$ of countably many generators. The latter generalization is motivated by the recent work of Bley-Popescu on the geometric Equivariant Iwasawa Conjecture for function fields, where the Iwasawa algebra is not Noetherian, of the type described above. Applications of these results to the emerging field of non-Noetherian Iwasawa Theory will be given in an upcoming paper., Comment: 31 pages

We show that the prime spectrum of the complete integral closure $D^\ast$ of a Pr\"ufer domain $D$ is completely determined by the Zariski topology on the spectrum $\mathrm{Spec}(D)$ of $D$.

We study some representations of symmetric groups arising from a certain ideal in the coordinate ring of affine n-space. Our results give graded and representation-theoretic enhancements of sequence 337 of the Online Encyclopaedia of Integer Sequences, involving a symmetric version of the Bernoulli triangle., Comment: 8 pages. Main article by Nsibiet E. Udo, Praise Adeyemo and Balazs Szendroi; Appendix by Stavros Argyrios Papadakis

We generalize the theory of radical factorization from almost Dedekind domain to strongly discrete Pr\"ufer domains; we show that, for a fixed subset $X$ of maximal ideals, the finitely generated ideals with $\mathcal{V}(I)\subseteq X$ have radical factorization if and only if $X$ contains no critical maximal ideals with respect to $X$. We use these notions to prove that in the group $\mathrm{Inv}(D)$ of the invertible ideals of a strongly discrete Pr\"ufer domains is often free: in particular, we show it when the spectrum of $D$ is Noetherian or when $D$ is a ring of integer-valued polynomials on a subset over a Dedekind domain.

In this paper, we investigate some properties of symbolic powers and symbolic Rees algebras of binomial edge ideals associated with some classes of block graphs. First, it is shown that symbolic powers of binomial edge ideals of pendant cliques graphs coincide with the ordinary powers. Furthermore, we see that binomial edge ideals of a generalization of these graphs are symbolic $F$-split. Consequently, net-free generalized caterpillar graphs are also a class of block graphs with symbolic $F$-split binomial edge ideals. Finally, it turns out that symbolic Rees algebras of binomial edge ideals associated with these two classes, namely pendant cliques graphs and net-free generalized caterpillar graphs, are strongly $F$-regular.

Let $R\ $be an integral domain and $R^{\#}$ the set of all nonzero nonunits of $R.\ $For every elements $a,b\in R^{\#},$ we define $a\sim b$ if and only if $aR=bR,$ that is, $a$ and $b$ are associated elements. Suppose that $EC(R^{\#})$ is the set of all equivalence classes of $R^{\#}\ $according to $\sim$.$\ $Let $U_{a}=\{[b]\in EC(R^{\#}):b\ $divides $a\}$ for every $a\in R^{\#}.$ Then we prove that the family $\{U_{a}\}_{a\in R^{\#}}$ becomes a basis for a topology on $EC(R^{\#}).\ $This topology is called divisor topology of $R\ $and denoted by $D(R).\ $We investigate the connections between the algebraic properties of $R\ $and the topological properties of$\ D(R)$. In particular, we investigate the seperation axioms on $D(R)$, first and second countability axioms, connectivity and compactness on $D(R)$. We prove that for atomic domains $R,\ $the divisor topology $D(R)\ $is a Baire space. Also, we characterize valution domains $R$ in terms of nested property of $D(R).$ In the last section, we introduce a new topological proof of the infinitude of prime elements in a UFD and integers by using the topology $D(R)$., Comment: Comments welcome

In this paper, we associate a new topology to a nonzero unital module $M$ over a commutative $R$, which is called Golomb topology of the $R$-module $M$. Let $M\ $be an\ $R$-module and $B_{M}$ be the family of coprime cosets $\{m+N\}$ where $m\in M$ and $N\ $is a nonzero submodule of $M\ $such that $N+Rm=M$. We prove that if $M\ $is a meet irreducible multiplication module or $M\ $is a meet irreducible finitely generated module in which every maximal submodule is strongly irreducible, then $B_{M}\ $is the basis for a topology on $M\ $which is denoted by $\widetilde{G(M)}.$ In particular, the subspace topology on $M-\{0\}$ is called the Golomb topology of the $R$-module $M\ $and denoted by $G(M)$. We investigate the relations between topological properties of $G(M)\ $and algebraic properties of $M.\ $In particular, we characterize some important classes of modules such as simple modules, Jacobson semisimple modules in terms of Golomb topology., Comment: Comments welcome!

Let $R=\oplus_{m\geq 0}R_m$ be a standard graded Noetherian domain over a field $R_0$ and $I\subseteq J$ be two graded ideals in $R$ such that $0<\mbox{height}\;I\leq \mbox{height}\;J {\bf d}$. The statement $(2)$ generalizes the classical result of Rees. The statement $(3)$ gives the integral dependence criteria in terms of the Hilbert-Samuel multiplicities of certain standard graded domains over $R_0$. As a consequence of $(3)$, we also get an equivalent statement in terms of (Teissier) mixed multiplicities. Apart from several well-established results, the proofs of these results use the theory of density functions which was developed recently by the authors., Comment: 25 pages

Recently, Gheibi, Jorgensen, and Takahashi introduced a new homological invariant called quasi-projective dimension, which is a generalization of projective dimension. They proved that the depth formula holds for two finitely gene\-rated Tor-independent modules over a Noetherian local ring when one of the modules has finite quasi-projective dimension. In this paper, we extend this result by pro\-ving that for finitely generated modules \( M \) and \( N \) over a Noetherian local ring \( R \) with \( \operatorname{qpd}_R M < \infty \), the equality \( \operatorname{depth} N = \operatorname{depth}(\operatorname{Tor}_q^R(M,N)) + \operatorname{qpd}_R M - q \) holds, where \( q := \sup\{ i \geq 0 : \operatorname{Tor}_i^R(M,N) \neq 0 \} \), provided that \( q < \infty \), and either \( q = 0 \) or \( \operatorname{depth}(\operatorname{Tor}_q^R(M,N)) \leq 1 \). This outcome generalizes a celebrated theorem by Auslander and allows us to derive new consequences and applications, for instance, we recover an important theorem of Araya and Yoshino., Comment: 10 pages, comments and suggestions are welcome. In this new version, Corollary 4.4 has been added, which recover a theorem of Araya and Yoshino

We prove that at least $\left( \dfrac{(1+\epsilon)2m}{N-1}+1+\epsilon \right)^N$, where $0\leqslant \epsilon <1$, many general points, satisfy Demailly's conjecture. Previously, it was known to be true for at least $(2m+2)^N$ many general points in arxiv.org/abs/2009.05022. We also study Demailly's conjecture for $m=3$ for ideal defining general and very general points., Comment: Comments are welcome

This is a survey of noncommutative generalizations of the spectrum of a ring, written for the Notices of the American Mathematical Society., Comment: 12 pages

We show that Iacob-Iyengar's answer to a question of Avromov-Foxby extends from Noetherian to coherent rings. In particular, a coherent ring R is regular if and only if the injective (resp. projective) dimension of each complex X of R-modules agrees with its graded-injective (resp. graded-projective) dimension. The same is shown for the analogous dimensions based on FP-injective R-modules, and on flat R-modules.

In this paper we study monomial cycles in Koszul homology over a monomial ring. The main result is that a monomial cycle is a boundary precisely when the monomial representing that cycle is contained in an ideal we introduce called the boundary ideal. As a consequence, we obtain necessary ideal-theoretic conditions for a monomial ideal to be Golod. We classify Golod monomial ideals in four variables in terms of these conditions. We further apply these conditions to symmetric monomial ideals, allowing us to classify Golod ideals generated by the permutations of one monomial. Lastly, we show that a class of ideals with linear quotients admit a basis for Koszul homology consisting of monomial cycles. This class includes the famous case of stable monomial ideals as well as new cases, such as symmetric shifted ideals., Comment: 21 pages

For the action of the orthogonal group or euclidean group on k-tuples of vectors we construct a bi-Lipschitz embedding from the orbit space into euclidean space.This embedding has distortion sqrt(2)., Comment: 13 pages

Generalizing the notion of a multiplicative inequality among minors of a totally positive matrix, we describe, over full rank cluster algebras of finite type, the cone of Laurent monomials in cluster variables that are bounded as a real-valued function on the positive locus of the cluster variety. We prove that the extreme rays of this cone are the u-variables of the cluster algebra. Using this description, we prove that all bounded ratios are bounded by 1 and give a sufficient condition for all such ratios to be subtraction free. This allows us to show in Gr(2, n), Gr(3, 6), Gr(3, 7), Gr(3, 8) that every bounded Laurent monomial in Pl\"ucker coordinates factors into a positive integer combination of so-called primitive ratios. In Gr(4, 8) this factorization does not exists, but we provide the full list of extreme rays of the cone of bounded Laurent monomials in Pl\"ucker coordinates., Comment: 20 pages, 11 figures

In this paper, we introduce the notions of tight closure of ideals on Witt rings and quasi-tightly closedness of system of parameters. By using the notions, we obtain a characterization of quasi-$F$-rationality. Furthermore, we study the relationship between the closure operator and integrally closure., Comment: 15 pages

Let $\mathcal{C}\subseteq \mathbb{N}^p$ be an integer cone. A $\mathcal{C}$-semigroup $S\subseteq \mathcal{C}$ is an affine semigroup such that the set $\mathcal{C}\setminus S$ is finite. Such $\mathcal{C}$-semigroups are central to our study. We develop new algorithms for computing $\mathcal{C}$-semigroups with specified invariants, including genus, Frobenius element, and their combinations, among other invariants. To achieve this, we introduce a new class of $\mathcal{C}$-semigroups, termed $\mathcal{B}$-semigroups. By fixing the degree lexicographic order, we also research the embedding dimension for both ordinary and mult-embedded $\mathbb{N}^2$-semigroups. These results are applied to test some generalizations of Wilf's conjecture.

We completely determine the asymptotic depth, equivalently, the asymptotic projective dimension of a chain of edge ideals that is invariant under the action of the monoid Inc of increasing functions on the positive integers. Our results and their proofs also reveal surprising combinatorial and topological properties of corresponding graphs and their independence complexes. In particular, we are able to determine the asymptotic behavior of all reduced homology groups of these independence complexes., Comment: 33 pages

We give a self-contained classification of $1_*$-generic minimal border rank tensors in $C^m \otimes C^m \otimes C^m$ for $m \leq 5$. Together with previous results, this gives a classification of all minimal border rank tensors in $C^m \otimes C^m \otimes C^m$ for $m \leq 5$: there are $37$ isomorphism classes. We fully describe possible degenerations among the tensors. We prove that there are no $1$-degenerate minimal border rank tensors in $C^m \otimes C^m \otimes C^m $ for $m \leq 4$., Comment: comments welcome!

Let $I(G)^{[k]}$ denote the $k^{th}$ square-free power of the edge ideal $I(G)$ of a graph $G$. In this article, we provide a precise formula for the depth of $I(G)^{[k]}$ when $G$ is a Cohen-Macaulay forest. Using this, we show that for a Cohen-Macaualy forest $G$, the $k^{th}$ square-free power of $I(G)$ is always Cohen-Macaulay, which is quite surprising since all ordinary powers of $I(G)$ can never be Cohen-Macaulay unless $G$ is a disjoint union of edges. Additionally, we provide tight bounds for the regularity and depth of $I(G)^{[k]}$ when $G$ is either a cycle or a whiskered cycle, which aids in identifying when such ideals have linear resolution. Furthermore, we provide combinatorial formulas for the depth of second square-free powers of edge ideals of cycles and whiskered cycles. We also obtained an explicit formula of the regularity of second square-free power for whiskered cycles., Comment: Comments are welcome

This paper studies algebraic residual intersections in rings with Serre's condition \( S_{s} \). It demonstrates that residual intersections admit free approaches i.e. perfect subideal with the same radical. This fact leads to determining a uniform upper bound for the multiplicity of residual intersections. In positive characteristic, it follows that residual intersections are cohomologically complete intersection and, hence, their variety is connected in codimension one., Comment: 28 pages

This paper investgates Stanley-Reisner ideals with pure resolutions. We first describe two infinite families of such ideals associated to highly symmetric complexes. We then prove a partial analogue to the first Boij-S\"oderberg Conjecture for Stanley-Reisner ideals, by detailing an algorithm for constructing Stanley-Reisner ideals with pure Betti diagrams of any given shape, save for an initial shift., Comment: 55 pages

Let $n$ be a non-negative integer, $R$ a commutative Noetherian ring, $\mathfrak{a}$ an ideal of $R$, $M$ and $N$ two finitely generated $R$-modules, and $X$ an arbitrary $R$-module. In this paper, we study cofiniteness and finiteness of associated prime ideals of generalized local cohomology modules. In some cases, we show that $\operatorname{H}^{i}_{\mathfrak{a}}(M,X)$ is an $(\operatorname{FD}_{

Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring, and suppose $R$ is Cohen-Macaulay with canonical module $\omega_R$. We develop new tools for analyzing questions involving annihilators of several homologically defined objects. Using these, we study a generalization introduced by Dao-Kobayashi-Takahashi of the famous Tachikawa conjecture, asking in particular whether the vanishing of $\mathfrak{m} \operatorname{Ext}_R^i(\omega_R,R)$ should force the trace ideal of $\omega_R$ to contain $\mathfrak{m}$, i.e., for $R$ to be nearly Gorenstein. We show this question has an affirmative answer for numerical semigroup rings of minimal multiplicity, but that the answer is negative in general. Our proofs involve a technical analysis of homogeneous ideals in a numerical semigroup ring, and exploit the behavior of Ulrich modules in this setting., Comment: 24 Pages

This note presents a generalisation of Tressl's structure theorem for differentially finitely generated algebras over differential rings of characteristic 0 to the case of separable algebras over differential rings of arbitrary characteristic., Comment: 6 pages

We use Gr\"obner bases to compute the Sinkhorn limit of a positive $3 \times 3$ matrix $A$, showing that the entries are algebraic numbers with degree at most 6. The polynomial equation satisfied by each entry is large, but we show that it has a natural representation in terms of linear combinations of products of minors of $A$. We then use this representation to interpolate a polynomial equation satisfied by an entry of the Sinkhorn limit of a positive $4 \times 4$ matrix. Finally, we use the PSLQ algorithm and 1.5 years of CPU time to formulate a conjecture, up to certain signs that we have not been able to identify, for a polynomial equation satisfied by an entry of the Sinkhorn limit of a positive $m \times n$ matrix. In particular, we conjecture that the entries are algebraic numbers with degree at most $\binom{m + n - 2}{m - 1}$. This degree has a combinatorial interpretation as the number of minors of an $(m - 1) \times (n - 1)$ matrix, and the coefficients reflect new combinatorial structure on sets of minor specifications., Comment: 25 pages; Mathematica package and documentation available as ancillary files

An important classical result in ZFC asserts that every infinite cardinal number is idempotent. Using this fact, we obtain several algebraic results in this article. The first result asserts that an infinite Abelian group has a proper subgroup with the same cardinality if and only if it is not a Pr\"ufer group. In the second result, the cardinality of any monoid-ring $R[M]$ (not necessarily commutative) is calculated. In particular, the cardinality of every polynomial ring with any number of variables (possibly infinite) is easily computed. Next, it is shown that every commutative ring and its total ring of fractions have the same cardinality. This set-theoretic observation leads us to a notion in ring theory that we call a balanced ring (i.e. a ring that is canonically isomorphic to its total ring of fractions). Every zero-dimensional ring is a balanced ring. Then we show that a Noetherian ring is a balanced ring if and only if its localization at every maximal ideal has zero depth. It is also proved that every self-injective ring (injective as a module over itself) is a balanced ring., Comment: 9 pages

In this paper, we study edge rings and their $h$-polynomials. We investigate when edge rings are pseudo-Gorenstein, which means that the leading coefficients of the $h$-polynomials of edge rings are equal to $1$. Moreover, we compute the $h$-polynomials of a special family of edge rings and show that some of them are almost Gorenstein., Comment: 15 pages, 7 figures

This article presents a heuristic view that shows that the inner states of consciousness experienced by every human being have a physical but imaginary hypercomplex basis. The hypercomplex description is necessary because certain processes of consciousness cannot be physically measured in principle, but nevertheless exist. Based on theoretical considerations, it could be possible - as a result of mathematical investigations into a so-called bicomplex algebra - to generate and use hypercomplex system states on machines in a targeted manner. The hypothesis of the existence of hypercomplex system states on machines is already supported by the surprising performance of highly complex AI systems. However, this has yet to be proven. In particular, there is a lack of experimental data that distinguishes such systems from other systems, which is why this question will be addressed in later articles. This paper describes the developed bicomplex algebra and possible applications of these findings to generate hypercomplex energy states on machines. In the literature, such system states are often referred to as machine consciousness. The article uses mathematical considerations to explain how artificial consciousness could be generated and what advantages this would have for such AI systems., Comment: 7 pages, in German language. 1 figure

Let $F$ be a field. Following the resolution of Milnor's conjecture relating the graded Witt ring of $F$ to its mod-2 Milnor $K$-theory, a major problem in the theory of symmetric bilinear forms is to understand, for any positive integer $n$, the low-dimensional part of $I^n(F)$, the $n$th power of the fundamental ideal in the Witt ring of $F$. In a 2004 paper, Karpenko used methods from the theory of algebraic cycles to show that if $\mathfrak{b}$ is a non-zero anisotropic symmetric bilinear form of dimension $< 2^{n+1}$ representing an element of $I^n(F)$, then $\mathfrak{b}$ has dimension $2^{n+1} - 2^i$ for some $1 \leq i \leq n$. When $i = n$, a classical result of Arason and Pfister says that $\mathfrak{b}$ is similar to an $n$-fold Pfister form. At the next level, it has been conjectured that if $n \geq 2$ and $i= n-1$, then $\mathfrak{b}$ is isometric to the tensor product of an $(n-2)$-fold Pfister form and a $6$-dimensional form of trivial discriminant. This has only been shown to be true, however, when $n = 2$, or when $n = 3$ and $\mathrm{char}(F) \neq 2$ (another result of Pfister). In the present article, we prove the conjecture for all values of $n$ in the case where $\mathrm{char}(F) =2$. In addition, we give a short and elementary proof of Karpenko's theorem in the characteristic-2 case, rendering it free from the use of subtle algebraic-geometric tools. Finally, we consider the question of whether additional dimension gaps can appear among the anisotropic forms of dimension $\geq 2^{n+1}$ representing an element of $I^n(F)$. When $\mathrm{char}(F) \neq 2$, a result of Vishik asserts that there are no such gaps, but the situation seems to be less clear when $\mathrm{char}(F) = 2$.

We explain a derived version of the basic construction of localisations of module categories by means of idempotent ideals, which lie at the heart of Faltings' almost ring theory., Comment: 9 pages

Gcd-graphs over the ring of integers modulo $n$ are a natural generalization of unitary Cayley graphs. The study of these graphs has foundations in various mathematical fields, including number theory, ring theory, and representation theory. Using the theory of Ramanujan sums, it is known that these gcd-graphs have integral spectra; i.e., all their eigenvalues are integers. In this work, inspired by the analogy between number fields and function fields, we define and study gcd-graphs over polynomial rings with coefficients in finite fields. We establish some fundamental properties of these graphs, emphasizing their analogy to their counterparts over $\mathbb{Z}.$, Comment: Comments are welcome!

We study the geometry of spaces of fitrations on a Noetherian local domain. We introduce a metric $d_1$ on the space of saturated filtrations, inspired by the Darvas metric in complex geometry, such that it is a geodesic metric space. In the toric case, using Newton-Okounkov bodies, we identify the space of saturated monomial filtrations with a subspace of $L^1_\mathrm{loc}$. We also consider several other topologies on such spaces and study the semi-continuity of the log canonical threshold function in the spirit of Koll\'ar-Demailly. Moreover, there is a natural lattice structure on the space of saturated filtrations, which is a generalization of the classical result that the ideals of a ring form a lattice., Comment: 40 pages, comments are welcome!

Some recent investigations indicate that for the classification of Cohen-Macaulay binomial edge ideals, it suffices to consider biconnected graphs with some whiskers attached (in short, `block with whiskers'). This paper provides explicit combinatorial formulae for the Castelnuovo-Mumford regularity of two specific classes of Cohen-Macaulay binomial edge ideals: (i) chain of cycles with whiskers and (ii) $r$-regular $r$-connected block with whiskers. For the first type, we introduce a new invariant of graphs in terms of the number of blocks in certain induced block graphs, and this invariant may help determine the regularity of other classes of binomial edge ideals. For the second type, we present the formula as a linear function of $r$., Comment: Comments are welcome

Let $C\subset\mathbb{N}^p$ be an integer polyhedral cone. An affine semigroup $S\subset C$ is a $ C$-semigroup if $| C\setminus S|<+\infty$. This structure has always been studied using a monomial order. The main issue is that the choice of these orders is arbitrary. In the present work we choose the order given by the semigroup itself, which is a more natural order. This allows us to generalise some of the definitions and results known from numerical semigroup theory to $C$-semigroups., Comment: 10 pages

We define and study a multiplicity free covering of a graded manifold. As an application of our research we give a new conceptual proof of the theorem about equivalence of categories of graded manifolds and symmetric $n$-fold vector bundles., Comment: 17 pages

In 2019, Kaveh and Manon introduced Khovanskii bases as a special 'Gr\"obner-like' generating system of an algebra. We extend their work by considering an arbitrary grading on the algebra and propose a definition for a 'homogeneous Khovanskii basis' that respects this grading. We generalize Khovanskii bases further by taking multiple valuations into account (MUVAK bases). We give algorithms in both cases. MUVAK bases appear in the computation of the Cox ring of a minimal model of a quotient singularity. Our algorithm is an improvement of an algorithm by Yamagishi in this situation.

An integral domain $R$ is called atomic if every nonzero nonunit of $R$ factors into irreducibles, while $R$ satisfies the ascending chain condition on principal ideals if every ascending chain of principal ideals of $R$ stabilizes. It is well known and not hard to verify that if an integral domain satisfies the ACCP, then it must be atomic. The converse does not hold in general, but examples are hard to come by and most of them are the result of crafty and technical constructions. Sporadic constructions of such atomic domains have appeared in the literature in the last five decades, including the first example of a finite-dimensional atomic monoid algebra not satisfying the ACCP recently constructed by the second and third authors. Here we construct the first known one-dimensional monoid algebras satisfying the almost ACCP but not the ACCP (the almost ACCP is a notion weaker than the ACCP but still stronger than atomicity). Although the two constructions we provide here are rather technical, the corresponding monoid algebras are perhaps the most elementary known examples of atomic domains not satisfying the ACCP., Comment: 31 pages

Let $G$ be a finite group. By a sequence over $G$, we mean a finite unordered string of terms from $G$ with repetition allowed, and we say that it is a product-one sequence if its terms can be ordered so that their product is the identity element of $G$. Then, the Davenport constant $\mathsf D (G)$ is the maximal length of a minimal product-one sequence, that is a product-one sequence which cannot be partitioned into two non-trivial product-one subsequences. The Davenport constant is a combinatorial group invariant that has been studied fruitfully over several decades in additive combinatorics, invariant theory, and factorization theory, etc. Apart from a few cases of finite groups, the precise value of the Davenport constant is unknown. Even in the abelian case, little is known beyond groups of rank at most two. On the other hand, for a fixed positive integer $r$, structural results characterizing which groups $G$ satisfy $\mathsf D (G) = r$ are rare. We only know that there are finitely many such groups. In this paper, we study the classification of finite groups based on the Davenport constant.

Generalizing the strong Lefschetz property for an $\mathbb{N}$-graded algebra, we introduce the multigraded strong Lefschetz property for an $\mathbb{N}^m$-graded algebra. We show that, for $\bm{a} \in \mathbb{N}^m_+$, the generic $\mathbb{N}^m$-graded Artinian reduction of the Stanley-Reisner ring of an $\bm{a}$-balanced homology sphere over a field of characteristic $2$ satisfies the multigraded strong Lefschetz property. A corollary is the inequality $h_{\bm{b}} \leq h_{\bm{c}}$ for $\bm{b} \leq \bm{c} \leq \bm{a}-\bm{b}$ among the flag $h$-numbers of an $\bm{a}$-balanced simplicial sphere. This can be seen as a common generalization of the unimodality of the $h$-vector of a simplicial sphere by Adiprasito and the balanced generalized lower bound inequality by Juhnke-Kubitzke and Murai. We further generalize these results to $\bm{a}$-balanced homology manifolds and $\bm{a}$-balanced simplicial cycles over a field of characteristic $2$., Comment: 19 pages

Let $R$ be a commutative unital ring and $N$ be a submodule of an $R$-module $M$. The submodule $\langle E_M(N)\rangle$ generated by the envelope $E_M(N)$ of $N$ is instrumental in studying rings and modules that satisfy the radical formula. We show that: 1) the semiprime radical is an invariant on all the submodules which are respectively generated by envelopes in the ascending chain of envelopes of a given submodule; 2) for rings that satisfy the radical formula, $\langle E_M(0)\rangle$ is an idempotent radical and it induces a torsion theory whose torsion class consists of all nil $R$-modules and the torsionfree class consists of all reduced $R$-modules; 3) Noetherian uniserial modules satisfy the semiprime radical formula and their semiprime radical is a nil module; and lastly, 4) we construct a sheaf of nil $R$-modules on $\text{Spec}(R)$., Comment: 11 pages

We introduce surfaces at infinity, a class of rational surfaces linked to curves with only one place at infinity. The cone of curves of these surfaces is finite polyhedral and minimally generated. We also introduce the $\delta$-semigroup of a surface at infinity and consider the set $\mathcal{S}$ of surfaces at infinity having the same $\delta$-semigroup. We study how the generators of the cone of curves of surfaces in $\mathcal{S}$ behave., Comment: Comments are welcome