Related papers: Powers of ghost ideals

This article is concerned with the number of generators of perfect ideals J in regular local rings (R,m). If J is sufficiently large modulo $m^n$, a bound is established depending only on n and the projective dimension of J. More ambitious…

The containment problem for symbolic and ordinary powers of ideals asks for what values of $a$ and $b$ we have $I^{(a)} \subseteq I^b$. Over a regular ring, a result by Ein-Lazarsfeld-Smith, Hochster-Huneke, and Ma-Schwede partially answers…

The paper is devoted to construction of some closed inductive sequence of models of the generalized second-order Dedekind theory of real numbers with exponentially increasing powers. These models are not isomorphic whereas all models of the…

Let $p$ be a prime number, $\Bbbk$ a field of characteristic $p$ and $G$ a finite $p$-group. Let $V$ be a finite-dimensional linear representation of $G$ over $\Bbbk$. Write $S = \mathrm{Sym} V^*$. For a class of $p$-groups which we call…

For a submodule $N$ of an $R$-module $M$, a unique product of prime ideals in $R$ is assigned, which is called the generalized prime ideal factorization of $N$ in $M$, and denoted as ${\mathcal{P}}_M(N)$. But for a product of prime ideals…

For the module category of an Artin algebra, we generalize the notion of torsion pairs to ideal torsion pairs. Instead of full subcategories of modules, ideals of morphisms of the ambient category are considered. We characterize the…

Suppose that $G$ is a finite group and $k$ is a field of characteristic $p >0$. Let $\mathcal{M}$ be the thick tensor ideal of finitely generated modules whose support variety is in a fixed subvariety $V$ of the projectivized prime ideal…

For $X$ a pre-$\lambda$ random variable, we show the $\sigma$-moment generating function of $-X$ can be obtained from the $\sigma$-moment generating function of $X$ by applying the composition of the standard and degree flip involutions on…

To each finitely presented module M over a commutative ring R one can associate an R-ideal Fit_R(M) which is called the (zeroth) Fitting ideal of M over R and which is always contained in the R-annihilator of M. In an earlier article, the…

The main observational equivalences of the untyped lambda-calculus have been characterized in terms of extensional equalities between B\"ohm trees. It is well known that the lambda-theory H*, arising by taking as observables the head normal…

Let $\A$ be an abelian category having enough projective objects and enough injective objects. We prove that if $\A$ admits an additive generating object, then the extension dimension and the weak resolution dimension of $\A$ are identical,…

We associate to each $r$-multigraded, locally finitely generated ideal in the "large polynomial ring" on countably many indeterminates a power series in $r$ variables; this power series is the limit in the adic topology of the numerators of…

For many classes of models, there are universal members in any cardinal $\lambda$ which "essentially satisfies GCH", i.e. $\lambda = 2^{< \lambda}$, in particular for the class of a complete first order $T$ (well, if at least $\lambda >…

Suppose $\Lambda$ is a discrete infinite set of nonnegative real numbers. We say that $ {\Lambda}$ is of type 1 if the series $s(x)=\sum_{\lambda\in\Lambda}f(x+\lambda)$ satisfies a zero-one law. This means that for any non-negative…

Let R be a commutative ring. If P is a maximal ideal of R whose a power is finitely generated then we prove that P is finitely generated if R is either locally coherent or arithmetical or a polynomial ring over a ring of global dimension…

In the monograph arXiv:2108.03453, we define the notion of a unipotent representation of a complex reductive group. The representations we define include, as a proper subset, all special unipotent representations in the sense of…

We describe the prime ideals and, in particular, the maximal ideals in products $R = \prod D_\lambda$ of families $(D_\lambda)_{\lambda \in \Lambda}$ of commutative rings. We show that every maximal ideal is induced by an ultrafilter on the…

Let $p$ be an odd prime, $F/{\Bbb Q}$ an abelian totally real number field, $F_\infty/F$ its cyclotomic ${\Bbb Z}_p$-extension, $G_\infty = Gal (F_\infty / {\Bbb Q}),$ ${\Bbb A} = {\Bbb Z}_p [[G_\infty]].$ We give an explicit description of…

Let X\subset PP^n be a projective scheme over a field, and let phi:X --> Y be a finite morphism. Our main result is a formula in terms of global data for the maximum of the Castelnuovo-Mumford regularity of the fibers of \phi, considered as…

For an $(n-1)$-Auslander algebra $\Lambda$ with global dimension $n$, we give some necessary conditions for $\Lambda$ admitting a maximal $(n-1)$-orthogonal subcategory in terms of the properties of simple $\Lambda$-modules with projective…