English
Related papers

Related papers: Adic Finiteness: Bounding Homology and Application…

200 papers

We prove that the local etale fundamental group of a strongly $F$-regular singularity is finite (and likewise for the \'etale fundamental group of the complement of a codimension $\geq 2$ set), analogous to results of Xu and…

Algebraic Geometry · Mathematics 2019-06-25 Javier Carvajal-Rojas , Karl Schwede , Kevin Tucker

Let $R$ be a commutative (Noetherian) local ring of prime characteristic $p$ that is $F$-pure. This paper is concerned with comparison of three finite sets of radical ideals of $R$, one of which is only defined in the case when $R$ is…

Commutative Algebra · Mathematics 2014-09-09 Rodney Y. Sharp

Let $R$ be commutative Noetherian ring and let $\fa$ be an ideal of $R$. For complexes $X$ and $Y$ of $R$--modules we investigate the invariant $\inf{\mathbf R}\Gamma_{\fa}({\mathbf R}\Hom_R(X,Y))$ in certain cases. It is shown that, for…

Commutative Algebra · Mathematics 2007-05-23 Mohammad T. Dibaei , Siamak Yassemi

We define a (perfectoid) mixed characteristic version of $F$-signature and Hilbert-Kunz multiplicity by utilizing the perfectoidization functor of Bhatt-Scholze and Faltings' normalized length (also developed in the work of Gabber-Ramero).…

Commutative Algebra · Mathematics 2025-07-08 Hanlin Cai , Seungsu Lee , Linquan Ma , Karl Schwede , Kevin Tucker

In this paper, we examine the behavior of ideal-adic separatedness and completeness under certain ring extensions using trace map. Then we prove that adic completeness of a base ring is hereditary to its ring extension under reasonable…

Commutative Algebra · Mathematics 2021-05-25 Kei Nakazato , Kazuma Shimomoto

We give an elementary proof prove of the preservation of the Noetherian condition for commutative rings with unity $R$ having at least one finitely generated ideal $I$ such that the quotient ring is again finitely generated, and $R$ is…

Commutative Algebra · Mathematics 2017-09-11 Danny A. J. Gomez-Ramirez , Juan D. Velez , Edisson Gallego

We prove a couple of results on local continuous extension of proper holomorphic maps $F:D \rightarrow \Omega$, $D, \Omega \varsubsetneq \mathbb{C}^n$, making local assumptions on $\partial{D}$ and $\partial{\Omega}$. The first result…

Complex Variables · Mathematics 2024-04-25 Annapurna Banik

The existence of an equidimensional morphism f with etale local sections from a regular algebraic space X to a locally noetherian normal algebraic space S of characteristic zero with excellent local rings implies that S is regular and f…

Algebraic Geometry · Mathematics 2018-02-14 Ying Zong

Let $A$ be an excellent two-dimensional normal local ring containing an algebraically closed field and let $X\to \mathrm{Spec} (A)$ be a resolution of singularity. We prove a theorem giving a condition under which the dimension of the…

Algebraic Geometry · Mathematics 2025-12-16 Tomohiro Okuma , Kei-ichi Watanabe , Ken-ichi Yoshida

Let $(R, {\frak m})$ be a local ring, $I$ a proper ideal of $R$ and $M$ a finitely generated $R$-module of dimension $d$. We discuss the local homology modules of $H^d_I(M)$. When $M$ is Cohen-Macaulay, it is proved that $H^d_{{\frak…

Commutative Algebra · Mathematics 2007-05-23 Zhongming Tang

Let R be a (not necessarily local) Noetherian ring and M a finitely generated R-module of finite dimension d. Let \fa be an ideal of R and \fM denote the intersection of all prime ideals \fp in Supp_RH^d_{\fa}(M). It is shown that…

Commutative Algebra · Mathematics 2007-05-23 Kamran Divaani-Aazar

Let $R$ be a commutative noetherian ring, and $\mathcal{Z}$ a stable under specialization subset of $\Spec(R)$. We introduce a notion of $\mathcal{Z}$-cofiniteness and study its main properties. In the case $\dim(\mathcal{Z})\leq 1$, or…

Commutative Algebra · Mathematics 2018-04-27 Kamran Divaani-Aazar , Hossein Faridian , Massoud Tousi

We study the relation type question, raised by C. Huneke, which asks whether for a complete equidimensional local ring R there exists a uniform bound for the relation type of parameter ideals. Wang gave a positive answer to this question…

Commutative Algebra · Mathematics 2007-05-23 Ian M. Aberbach , Laura Ghezzi , Huy Tai Ha

This paper establishes the equivalence of the Aubin property and the strong regularity for generalized equations over $C^2$-cone reducible sets. This result resolves a long-standing question in variational analysis and extends the…

Optimization and Control · Mathematics 2025-10-14 Jiaming Ma , Defeng Sun

Let $I$ be an ideal of a local ring $(R,\mathfrak m)$ with $d = \dim R.$ For the local cohomology module $H^i_I(R)$ it is a well-known fact that it vanishes for $i > d$ and is an Artinian $R$-module for $i = d.$ In the case that the…

Commutative Algebra · Mathematics 2012-08-13 Majid Eghbali , Peter Schenzel

We show that a noetherian ring graded by an abelian group of finite rank satisfies the Auslander condition if and only if it satisfies the graded Auslander condition. In addition, we also study the injective dimension, the global dimension…

Rings and Algebras · Mathematics 2017-04-05 G. -S. Zhou , Y. Shen , D. -M. Lu

Let $(R,\fm)$ be a local ring, and let $C$ be a semidualizing complex. We establish the equality $r_R(Z) = \nu(\Ext^{g-\inf C}_R(Z,C))\mu^{\depth C}_R(\mathfrak{m}, C)$ for a homologically finite and bounded complex $Z$ with finite…

Commutative Algebra · Mathematics 2023-05-23 Majid Rahro Zargar , Mohsen Gheibi

In this paper we give several classes of Non-Gorenstein local rings $A$ which satisfy the property that $\text{Ext}^i_A(M, A) = 0$ for $i \gg 0$ then $\text{projdim}_A M$ is finite. We also show that if $\text{injdim}_A M = \infty$ then…

Commutative Algebra · Mathematics 2023-09-28 Tony J. Puthenpurakal

Let (R,m) -> (S,n) be a flat local homomorphism of excellent local rings. We investigate the conditions under which the weak or strong F-regularity of R passes to S. We show that is suffices that the closed fiber S/mS be Gorenstein and…

Commutative Algebra · Mathematics 2007-05-23 Ian M. Aberbach

Let $\mathbf{k}$ be a field which is either finite or algebraically closed and let $R = \mathbf{k}[x_1,\ldots,x_n].$ We prove that any $g_1,\ldots,g_s\in R$ homogeneous of positive degrees $\le d$ are contained in an ideal generated by an…

Commutative Algebra · Mathematics 2023-10-02 Amichai Lampert