交换代数

Generalized splines are a simultaneous generalization of GKM theory -- which studies equivariant cohomology -- and classical splines, which provide piecewise approximations of functions. Generalized splines can also be understood via…

Consider a standard graded artinian $k$-algebra $B$ and an extension of $B$ by a new variable, $A=B\otimes_k k[x]/(x^d)$ for some $d\geq 1$. We will show how maximal rank properties for powers of a general linear form on $A$ can be…

We study GL-equivariant modules over the infinite variable polynomial ring $S = k[x_1, x_2, ..., x_n, ...]$ with $k$ an infinite field of characteristic $p > 0$. We extend many of Sam--Snowden's far-reaching results from characteristic zero…

We obtain a recursive formula for the Gotzmann threshold of a power of a variable. Consequently, we give an affirmative answer to a conjecture of Bonanzinga and Eliahou.

In this work we give direct proofs of two theorems concerning explicitly defined polynomial vector fields connected to differentiation of hyperelliptic functions of any genus. We prove that the operators determining the fields commute, and…

We introduce and study the defect function associated to a pair of filtrations of ideals, which generalizes the symbolic defect of ideals. Under the assumption that the Rees algebra of one filtration is Noetherian and that a natural graded…

In this paper, we introduce the concept of nonnil-S-Laskerian rings, which generalize both nonnil-Laskerian rings and S-Laskerian rings. A ring R is said to be nonnil-S-Laskerian if every nonnil ideal I (disjoint from S) of R is…

In this paper, we study defining ideals of numerical semigroup rings. Let $H$ be a numerical semigroup with multiplicity $a_0$ and embedding dimension $n$. Assuming $a_0/2+1\leq n$, we prove that the defining ideal of $H$ is determinantal…

Let $\mathbb{K}$ be a field and let $f,g \in \mathbb{K}[x,y]$ be such that the ideal $\langle f,g \rangle$ is zero-dimensional. We study the Sylvester and B\'{e}zout resultant polynomial matrices, built by interpreting $f$ and $g$ as…

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…

We introduce the tame isotropy group of a derivation of a polynomial ring. We study this group for certain triangular derivations up to three variables, for simple derivations in two variables, and for simple Shamsuddin derivations in any…

This article investigates the splitting problem for finitely generated projective modules $P$ over affine algebras over algebraically closed fields and their polynomial extensions. We then address an open question due to M. Roitman on monic…

We consider the action of a permutation group $G$ of order $k$ on the tropical polynomial semiring in $n$ variables. We prove that the sub-semiring of invariant polynomials is finitely generated if and only if $G$ is generated by…

A lattice polytope $\mathcal{P} \subset \mathbb{R}^n$ of dimension $n$ is called level* if (i) $\mathcal{P}$ is normal, (ii) $(\mathcal{P} \setminus \partial \mathcal{P}) \cap \mathbb{Z}^n \neq \emptyset$ and (iii) for each $N = 2,3,…

A field extension $L/K$ of characteristic $p > 0$ is formally \'etale if and only if the relative Frobenius of $L/K$ is an isomorphism. Inspired by this classical result, we explore whether the formally \'etale property for a map $R \to S$…

Let $X \subseteq \mathbb{P}^n, n \geq 4$ be a codimension-two subcanonical local complete intersection variety with ideal sheaf $\mathcal{I}_X$. Let $a_X \in \mathbb{Z}$ be such that $\omega_X = \mathscr{O}_X(a_X)$. Assume that there exists…

Let $A$ be a two-dimensional excellent normal Gorenstein local domain. In this paper, we characterize elliptic ideals $I \subset A$ for its normal tangent cone $\overline{G}(I)$ to be Gorenstein. Moreover, we classify all those ideals in a…

Let $(A,\mathfrak m)$ be an excellent two-dimensional normal local domain. In this paper we study the elliptic and the strongly elliptic ideals of $A$ with the aim to characterize elliptic and strongly elliptic singularities, according to…

Let $A$ be the polynomial algebra in $r$ variables with coefficients in an algebraically closed field $k$. When the characteristic of $k$ is $2$, Carlsson conjectured that any $\mathrm{dg}$-$A$-module that is free of rank $N$ as an…

Let $(A, \mathfrak m)$ be a normal two-dimensional local ring and $I$ an $\mathfrak m$-primary integrally closed ideal with a minimal reduction $Q$. Then we calculate the numbers: $\mathrm{nr}(I) = \min\{n \;|\; \overline{I^{n+1}} =…