交换代数

Let $F$ be a field of characteristic $p>0$ and let $\Omega^n(F)$ be the $F$-vector space of $n$-differential forms over $F$. In this work we will study the behaviour of $\Omega^n(F)$ under iterated function field extensions of $p$-forms. We…

For any finitely generated module $M$ with non-zero rank over a commutative one dimensional Noetherian local domain, the numerical invariant $h(M)$ was introduced and studied in the author's previous work "Partial Trace Ideals and Berger's…

Describing observations or objects in non-mathematical disciplines can often be accomplished by answering a list of questions. These questions can be formulated in such a way that the only possible answers always are ``yes'' or ``no''. This…

Let $a$ and $d$ be two linearly independent vectors in $\mathbb{N}^2$, over the field of rational numbers. For a positive integer $k \geq 2$, consider the sequence $a, a+d, \ldots, a+kd$ such that the affine semigroup $S_{a,d,k} = \langle…

We show that a modification of the proof of a result of Gulliksen gives an elementary proof of the following important theorem by Avramov: if $(A,k) \to (B,l)$ is a homomorphism of noetherian local rings and $B$ is of finite flat dimension…

Given a valued field $(K,v)$ and an irreducible polynomial $g\in K[x]$, we survey the ideas of Ore, Maclane, Okutsu, Montes, Vaqui\'e and Herrera-Olalla-Mahboub-Spivakovsky, leading (under certain conditions) to an algorithm to find the…

Let $R$ be a commutative ring with unity $(1\not=0)$ and let $\mathfrak{J}(R)$ be the set of all ideals of $R$. Let $\phi:\mathfrak{J}(R)\rightarrow\mathfrak{J}(R)\cup\{\emptyset\}$ be a reduction function of ideals of $R$ and let…

Let $\mathfrak{a}$ be a proper ideal of a commutative noetherian ring $R$ and $d$ a positive integer. We answer Hartshorne's question on cofinite complexes completely in the cases $\mathrm{dim}R=d$ or $\mathrm{dim}R/\mathfrak{a}=d-1$ or…

Schemes defined by residual intersections have been extensively studied in the case when they are Cohen-Macaulay, but this is a very restrictive condition. In this paper we make the first study of a class of natural examples far from…

It is well-known that for any commutative unitary ring $\mathbf{R}$, the Serre conjecture ring $\mathbf{R}\langle X \rangle$, i.e., the localization of the univariate polynomial ring $\mathbf{R}[X]$ at monic polynomials, is a B\'ezout…

In this paper we study the equations of the elimination ideal associated with $n+1$ generic multihomogeneous polynomials defined over a product of projective spaces of dimension $n$. We first prove a duality property and then make this…

Krasner F^{(m,n)}-hyperring were introduced and investigated by Farshi and Davvaz. In this paper, our purpose is to define and characterize three classes of F-hyperideals in a Krasner F^{(m,n)}-hyperring, namely, prime F-hyperideals,…

A staged tree model is a discrete statistical model encoding relationships between events. These models are realised by directed trees with coloured vertices. In algebro-geometric terms, the model consists of points inside a toric variety.…

In this note, we study substructures of generalised power series fields induced by families of well-ordered subsets of the group of exponents. We characterise the set-theoretic and algebraic properties of the induced substructures in terms…

Let $A$ be a Noetherian flat $K[t]$-algebra, $h$ an integer and let $N$ be a graded $K[t]$-module, we introduce and study "$N$-fiber-full up to $h$" $A$-modules. We prove that an $A$-module $M$ is $N$-fiber-full up to $h$ if and only if…

In our previous work with Grifo and H\`a, we showed the stable Harbourne-Huneke containment and Chudnovsky's conjecture for the defining ideal of sufficiently many general points in $\mathbb{P}^N$. In this paper, we establish the…

We extend the theory of Koszul and Buchsbaum-Eisenbud complexes to modules over commutative OI-algebras and show that they still have the familiar properties of the classical complexes. In particular, the OI-complexes are generically…

In this paper we study a generalization of K\"ahler differentials, which correspond to the secondary Hochschild homology associated to a triple $(A,B,\varepsilon)$. We establish computations in low dimension, while also showing how this…

The main goal of this paper is to size up the minimal graded free resolution of a homogeneous ideal in terms of its generating degrees. By and large, this is too ambitious an objective. As understood, sizing up means looking closely at the…

In this paper, we carry out a fairly comprehensive study of special classes of numerical semigroups, and their tangent cones, generated by the sequence of partial sums of an arithmetic progression, in embedding dimension $5$. These classes…