English
Related papers

Related papers: A connectedness result in positive characteristic

200 papers

Let $I\subseteq S=K[x_1,\ldots,x_n]$ be a homogeneous ideal equipped with a monomial order $<$. We show that if $\operatorname{in}_<(I)$ is a square-free monomial ideal, then $S/I$ and $S/\operatorname{in}_<(I)$ have the same connectedness…

Commutative Algebra · Mathematics 2020-05-08 Lilia Alanís-López , Luis Núñez-Betancourt , Pedro Ramírez-Moreno

Let $R$ be a commutative Noetherian local ring of prime characteristic $p$ and $f:R\to R$ the Frobenius ring homomorphism. For $e\ge 1$ let $R^{(e)}$ denote the ring $R$ viewed as an $R$-module via $f^e$. Results of Peskine, Szpiro, and…

Commutative Algebra · Mathematics 2015-01-06 Thomas Marley , Marcus Webb

Let $F$ be a field, let $D$ be a local subring of $F$, and let Val$_F(D)$ be the space of valuation rings of $F$ that dominate $D$. We lift Zariski's connectedness theorem for fibers of a projective morphism to the Zariski-Riemann space of…

Commutative Algebra · Mathematics 2023-06-27 William Heinzer , K. Alan Loper , Bruce Olberding , Matt Toeniskoetter

Let $R$ be a commutative $F$-algebra, where $F$ is a field of characteristic 0, satisfying the following conditions: $R$ is equidimensional of dimension $n$, every residual field with respect to a maximal ideal is an algebraic extension of…

Commutative Algebra · Mathematics 2012-02-17 Luis Nunez-Betancourt

In this paper we prove an explicit, computable upper bound on the Hartshorne-Speiser-Lyubeznik number of the local cohomology of a pointed, affine semigroup ring over a perfect field of positive characteristic. This bound depends only on…

Commutative Algebra · Mathematics 2025-01-07 Havi Ellers

We construct normal hypersurfaces whose local cohomology modules have infinitely many associated primes. These include unique factorization domains of characteristic zero with rational singularities, as well as F-regular unique…

Commutative Algebra · Mathematics 2007-05-23 Anurag K. Singh , Irena Swanson

Let $I$ denote an ideal of a local Gorenstein ring $(R, \mathfrak m)$. Then we show that the local cohomology module $H^c_I(R), c = \height I,$ is indecomposable if and only if $V(I_d)$ is connected in codimension one. Here $I_d$ denotes…

Commutative Algebra · Mathematics 2008-10-28 Peter Schenzel

Let $R$ be a commutative Noetherian ring of prime characteristic $p$. The main goal of this paper is to study in some detail when \[ \overline{W^R}:=\{\mathfrak{p}\in\operatorname{Spec} (R):\ \mathcal{F}^{E_{\mathfrak{p}}}\text{ is finitely…

Commutative Algebra · Mathematics 2023-08-21 Alberto F. Boix , Danny A. J. Gómez--Ramírez , Santiago Zarzuela

For a Noetherian commutative ring $R$, let $H^i_I(R)$ be the $ i$-th local cohomology module of $R$ with respect to $I$. In \cite{Hel-08}, Hellus posed the question of identifying rings $R$ such that $\operatorname{injdim}_R…

Commutative Algebra · Mathematics 2025-11-11 Sayed Sadiqul Islam

Let $D$ be the ring of Grothendieck differential operators of the ring $R$ of polynomials in $d\geq3$ variables with coefficients in a perfect field of positive characteristic $p.$ We compute the $D$-module length of the first local…

Algebraic Geometry · Mathematics 2018-11-06 Thomas Bitoun

Let $R$ be an excellent regular ring of dimension $d$ containing a field $K$ of characteristic zero. Let $I$ be an ideal in $R$. We show that $Ass \ H^{d-1}_I(R)$ is a finite set. As an application we show that if $I$ is an ideal of height…

Commutative Algebra · Mathematics 2016-03-09 Tony J. Puthenpurakal

Our main goal in this paper is to answer new positive cases of the natural generalized version of Hartshorne's celebrated question on cofiniteness of local cohomology modules, and consequently of Huneke's conjecture on the finiteness of…

Commutative Algebra · Mathematics 2023-04-25 André Dosea , Rafael Holanda , Cleto B. Miranda-Neto

We describe the support of $F$-finite $F$-modules over polynomial rings $R$ of prime characteristic. Our description yields an algorithm to compute the support of such modules; the complexity of our algorithm is also analyzed. To the best…

Commutative Algebra · Mathematics 2017-05-05 Mordechai Katzman , Wenliang Zhang

We prove that the top mixed characteristic Lyubeznik number of a ring $S$ that is a quotient of a complete unramified regular local ring of mixed characteristc with algebraically closed residue field is $1$ provided that depth $S \geq 2$…

Commutative Algebra · Mathematics 2017-07-06 Axel Stäbler

Let $p$ be a fixed prime number, and $q$ a power of $p$. For any curve over $\mathbb{F}_q$ and any local system on it, we have a number field generated by the traces of Frobenii at closed points, known as the trace field. We show that as we…

Number Theory · Mathematics 2024-11-28 Yeuk Hay Joshua Lam

The paper shows that if the set of associated primes of Frobenius powers of ideals or a closely related set of primes is finite then if tight closure does not commute with localisation one can find a counter-example where $R$ is complete…

Commutative Algebra · Mathematics 2007-05-23 Mordechai Katzman

Let $A$ be a $d$-dimensional local ring containing a field. We will prove that the highest Lyubeznik number $\lambda_{d,d}(A)$ (defined in \cite{l1}) is equal to the number of connected components of the Hochster-Huneke graph (defined in…

Commutative Algebra · Mathematics 2007-05-23 Wenliang Zhang

In this note I give a description of Lyubeznik's local cohomology invariants for a certain natural class of local rings, namely the ones which have the same local cohomology vanishing as one expects from an isolated singularity. This…

Algebraic Geometry · Mathematics 2011-02-18 Manuel Blickle

In this paper we present a condition on a local Cohen-Macaulay F-injective ring of positive characteristic $p > 2$ which implies that its top local cohomology module with support in the maximal ideal has finitely many Frobenius compatible…

Commutative Algebra · Mathematics 2011-04-26 Florian Enescu

Let $(R, \mathfrak m)$ denote an $n$-dimensional Gorenstein ring. For an ideal $I \subset R$ of height $c$ we are interested in the endomorphism ring $B = \Hom_R(H^c_I(R), H^c_I(R)).$ It turns out that $B$ is a commutative ring. In the case…

Commutative Algebra · Mathematics 2009-05-07 Peter Schenzel