相关论文: Descent of Flatness and the Direct Summand Conject…

Let R be a local Noetherian domain of positive characteristic. A theorem of Hochster and Huneke (1992) states that if R is excellent, then the absolute integral closure of R is a big Cohen-Macaulay algebra. We prove that if R is the…

The direct summand conjecture asserts that if R is a regular local ring and S is a module-finite R-algebra containing R, then R is a direct summand of S as an R-module. It was previously known to be true if R contains a field or if dim R is…

Valuation rings and perfectoid rings are examples of (usually non-noetherian) rings that behave in some sense like regular rings. We give and study an extension of the concept of regular local rings to non-noetherian rings so that it…

We show that a ring $R$ is regular if $Tor_{i}^{R}(R^{+},k) = 0$ for some $i\geq 1$ assuming further that $R$ is a $\mathbb{N}$-graded ring of dimension $2$ finitely generated over an equi-characteristic zero field $k$. This answers a…

We say an excellent local domain $(S,n)$ satisfies the vanishing conditions for maps of Tor, if for every $A\to R\to S$ with $A$ regular and $A\to R$ module-finite torsion-free extension, and every $A$-module $M$, the map $Tor^A_i(M, R)\to…

Let u be a local homomorphism of noetherian local rings forming part of a commutative square vf=gu. We give some conditions on the square which imply that u is formally smooth. This result encapsulates a variety of (apparently unrelated)…

It is proved that if one of the finite modules M and N, over a local ring R, has reducible complexity and has finite Gorenstein dimension then the depth formula holds, provided TorR_i(M,N) = 0 for i>>0. We also study the vanishing of…

Let (A,m_A) -> (B,m_B) be a local morphism of local noetherian rings and M a finitely generated B-module. Then it follows from Tor^A_1(M,A/m_A) = 0 that M is a flat A-module. This is usually called the "local criterion of flatness". We give…

The aim of this paper is to extend the main result of C. Huneke and G. Lyubeznik in [Adv. Math. 210 (2007), 498--504] to the class of rings that are images of Cohen-Macaulay local rings. Namely, let $R$ be a local Noetherian domain of…

Let $p$ be a prime number. We define the notion of $F$-finiteness of homomorphisms of $\mathbb F_p$-algebras, and discuss some basic properties. In particular, we prove a sort of descent theorem on $F$-finiteness of homomorphisms of…

An integral domain R is said to be a splinter if it is a direct summand, as an R-module, of every module-finite extension ring. Hochster's direct summand conjecture is precisely the conjecture that every regular local ring is a splinter. An…

In this article, we prove that if $R\to S$ is a homomorphism of Noetherian rings that splits, then for every $i\geq 0$ and ideal $I\subset R$, $\Ass_R H^i_I(R)$ is finite when $\Ass_S H^i_{IS}(S)$ is finite. In addition, if $S$ is a…

Let $(R,\fm,k)$ be a commutative noetherian local ring with dualizing complex $\dua R$, normalized by $\Ext^{\depth(R)}_R(k,\dua R)\cong k$. Partly motivated by a long standing conjecture of Tachikawa on (not necessarily commutative)…

For a local system and a function on a smooth complex algebraic variety, we give a proof of a conjecture of M. Kontsevich on a formula for the vanishing cycles using the twisted de Rham complex of the formal microlocalization of the…

Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring which contains a regular sequence $ \underline{x} = x_1,\ldots,x_d \in \mathfrak{m} \smallsetminus \mathfrak{m}^2 $ such that $ \mathfrak{m}^3 \subseteq (\underline{x}) $. Let $…

In this article, we study the behaviour of smooth algebra $R$ over local Noetherian local ring $A$. At first, we observe that for every $f\in R$, $R_f$ has finite length in the category of $D(R,A)$-module if dimension of $A$ is zero. This…

It is a well-known result that, in projective space over a field, every set-theoretical complete intersection of positive dimension in connected in codimension one (Hartshorne [H1,3.4.6] or [H2, Theorem 1.3]). Another important…

Let R be a commutative ring and S be an R-algebra. It is well-known that if N is an injective R-module, then Hom(S,N) is an injective S-module. The converse is not true, not even if R is a commutative noetherian local ring and S is its…

We show that the property of F-regularity does not deform, and thereby settle this longstanding open question in the theory of tight closure. Specifically, we construct a three dimensional domain R which is not F-regular (or even F-pure),…

Let $R$ be a commutative Noetherian ring. We give criteria for flatness of $R$-modules in terms of associated primes and torsion-freeness of certain tensor products. This allows us to develop a criterion for regularity if $R$ has…