交换代数

In this paper, we compare the regularities of symbolic and ordinary powers of edge ideals of weighted oriented graphs. For any weighted oriented complete graph $K_n$, we show that $\reg(I(K_n)^{(k)})\leq \reg(I(K_n)^k)$ for all $k\geq 1$.…

This paper presents a technique for viewing quasi-coherent sheaves of ideals of a given blowup as regular ideals of a ring. In the paper, we first describe (Zariski) models as integral schemes that are separated and of finite type over an…

The graded M\"{o}bius algebra of a matroid is a commutative graded algebra which encodes the combinatorics of the lattice of flats of the matroid. As a special subalgebra of the augmented Chow ring of the matroid, it plays an important role…

In this paper we continue the development of a new technique for computing elimination ideals by substitution which has been called $Z$-separating re-embeddings. Given an ideal $I$ in the polynomial ring $K[x_1,\dots,x_n]$ over a field $K$,…

What are the subcomplexes of a free resolution? This question is simple to state, but the naive approach leads to a computational quagmire that is infeasible even in small cases. In this paper, we invoke the Bernstein--Gelfand--Gelfand…

The class of semi-hereditary rings is an important class of rings in theories that do not assume the Noetherian condition, such as perfectoid ring theory. We prove several results concerning the structure theory of this class, focusing on…

This is mainly a small exposition on extensions of valuation rings

Let $I(G)$ be the edge ideal of a gapfree graph $G$. An open conjecture of Nevo and Peeva states that $I(G)^q$ has linear resolution for $q\gg 0$. We present a promising approach to this challenging conjecture by investigating the stronger…

A semidomain is a subsemiring of an integral domain. We call a semidomain $S$ additively reduced if $0$ is the only invertible element of the monoid $(S, +)$, while we say that $S$ is additively Furstenberg if every non-invertible element…

Consider a group acting on a polynomial ring S over a field K by degree-preserving K-algebra automorphisms. Several key properties of the invariant ring can be deduced by studying the nullcone of the action, that is, the vanishing locus of…

We extend the notion of F-rationality to other closure operations, inspired by the work of Smith, Epstein and Schwede, and Ma and Schwede, which describe F-rationality in terms of the canonical module and top local cohomology module. We…

We prove that $F$-injectivity localizes, descends under faithfully flat homomorphisms, and ascends under flat homomorphisms with Cohen-Macaulay and geometrically $F$-injective fibers, all for arbitrary Noetherian rings of prime…

Let $(R, \m, k)$ be a complete Cohen-Macaulay local ring. In this paper, we assign a numerical invariant, for any balanced big Cohen-Macaulay module, called $\uh$-length. Among other results, it is proved that, for a given balanced big…

Let $I$ be a monomial ideal in a polynomial ring. In this paper, we study the asymptotic behavior of the set of associated radical ideals of the (symbolic) powers of $I$. We show that both $\asr(I^s)$ and $\asr(I^{(s)})$ need not stabilize…

Let $A$ be a retract of the polynomial ring in three variables over a field $k$. It is known that if ${\rm char}\: (k) = 0$ or ${\rm tr.deg}\:_k A \not= 2$ then $A$ is a polynomial ring. In this paper, we give some sufficient conditions for…

In this paper we prove that nearly Gorenstein Stanley-Reisner rings of dimension at least 3 are indeed Gorenstein. By previous work of the first author this yields a complete characterization of nearly Gorenstein Stanley-Reisner rings. We…

Let $k$ be a field of arbitrary characteristic, $A$ be a domain and $K=\mathrm{frac}(A)$. Then (1) All exponential maps of $k^{[3]}$ are rigid, and we give a necessary and sufficient condition for the triangularity of $\delta \in…

Since the 1974 paper by Peskine and Szpiro, liaison theory via complete intersections, and more generally via Gorenstein varieties, has become a standard tool kit in commutative algebra and algebraic geometry, allowing to compare algebraic…

Let $M$ be a cancellative and commutative monoid. A submonoid $N$ of $M$ is called an undermonoid if the Grothendieck groups of $M$ and $N$ coincide. For a given property $\mathfrak{p}$, we are interested in providing an answer to the…

V.I. Kopeiko proved that over a euclidean ring, the symplectic group defined with respect to the standard skew-symmetric matrix is same as the elementary symplectic group. Here we generalise the result of Kopeiko for a symplectic group…