All Questions
Tagged with local-rings ac.commutative-algebra
171 questions
1
vote
0
answers
133
views
Intersections of Noetherian regular local rings of finite Krull dimensions
Let us consider Noetherian regular local rings $R_i$ of finite Krull-dimensions for each $i \geq 1$ such that
\begin{equation*}
R_1 \supset R_2 \supset \cdots
\end{equation*}
Suppose each embedding $\...
- 781
0
votes
2
answers
524
views
Almost complete intersection ideal and $d$-sequence
In a Noetherian local ring $R$, an ideal $I$ is called an almost complete intersection ideal if $\mu(I)=\text{ht}(I)+1$.
Q) Is it true that $I$ is generated by a $d$-sequence?
- 1,713
2
votes
1
answer
585
views
Example of a locally complete intersection ideal
Let $(R,\mathfrak m)$ be a Noetherian local ring.
Definition: $I$ is called locally complete intersection ideal if $I_p$ is a complete intersection for all $p\in V(I)$.
I want an example of an ideal ...
- 323
2
votes
0
answers
78
views
Uniform Artin-Rees bound for annihilators in Noetherian local rings
Let $(A,\mathfrak{m})$ be a Noetherian local ring. If $I$ is an ideal of $A$, then by (a weak version of) the Artin-Rees lemma, there exists $j \geq 0$ such that for all $i \geq j$,
$$\mathfrak{m}^i \...
- 991
1
vote
1
answer
293
views
Properties of d-sequence
Let $x_1,\ldots,x_n$ is a sequence in a Noetherian local ring $R$. We say $x_1,\ldots,x_n$ is a $d$-sequence if
1) $x_i\notin (x_1,\ldots,\hat{x_i},\ldots,x_n),$
2) for all $k\geq i+1$ and all $i\...
- 1,713
3
votes
1
answer
358
views
uniqueness of uniformizers
Let R be a noetherian normal domain (if it makes any difference, I'm happy to assume R is also local).
If $p$ is a height one prime, then the localization $R_p$ is a dvr, hence the maximal ideal $...
- 1,889
1
vote
2
answers
748
views
Krull-dimension of local domain
Let $(R,{\frak m}_R)$ be a local domain (not necessarily Noetherian). That is, $R$ is integral and ${\frak m}_R$ is the unique maximal ideal of $R$. Suppose that ${\frak m}_R$ is finitely generated.
...
- 781
4
votes
1
answer
373
views
Can K[[T_1,...,T_∞]] be embedded into K[[X,Y]]?
In the MathOverflow question about common false beliefs, the following answer teaches us that there is an embedding $\iota_n \colon K[[T_1,...,T_n]] \hookrightarrow K[[X,Y]]$. Now let us define the ...
- 781
2
votes
1
answer
107
views
Is there a characterization of r(M) by local cohomology instead of Ext
For a Noetherian local ring $(R,m)$, and a finite $R$-module $M$ with $\operatorname{depth} M=t,$ type of $M$ is defined to be $r(M):=dim_{R/m}Ext^t \ (R/m, M).$
Is there a characterization of $...
- 1,355
1
vote
0
answers
166
views
Popescu-Neron Desingularization for K[[T_1,...,T_∞]]
Let $K[[T_1,...,T_n]]$ be a finitely many variables formal power series ring over a field $K$.
Dorin Popescu proved that there are smooth algebras $A_{\lambda}$'s which are of finite type over $K$ ...
- 781
3
votes
1
answer
283
views
Let $f:R\to S$ be a local finite monomorphism .If $M$ is an Artinian $S$-module, is it an Artinian $R$-module?
$(R,m)$ and $(S,n)$ are local rings (commutative Noetherian with 1).
Let $f:R\to S$ be a local homomorphism/monomorphism ($f(m)\subseteq n$), such that the natural induced homomorphism $R/m\to S/n$ ...
- 1,355
2
votes
1
answer
511
views
Structure theorem for non-Noetherian local rings
Is there a structure theorem (like Cohen 's structure theorem) for non-Noetherian local rings?
I am adding what I am looking for as someone asked in the comment.
If $R$ is a local domain (not ...
- 271
2
votes
1
answer
227
views
when there is an injection $0 \to R \to K_R$?
Let $(R,m)$ be a Cohen-Macaulay local ring which possesses the canonical module $K_R$. Then $R$ is said to be an almost Gorenstein local ring, if there is an exact sequence $0 \to R \to K_R \to C \to ...
- 1,355
7
votes
2
answers
736
views
invariants that can be measured by Local Cohomology
What invariants can be measured by Local Cohomology (and what application it has)?
As an example of what I mean:
Local Cohomology can measure invariants like depth and dim. So in some cases Local ...
- 1,355
10
votes
1
answer
818
views
Is $k(\!(x,y)\!)$ a topological field?
More generally, let $(R,m)$ be a Noetherian local domain with fraction field $K$. The $m$-adic topology turns $R$ into a topological ring. When $R$ is a discrete valuation ring, this topology extends ...
- 19.6k
4
votes
1
answer
168
views
Reference on the classification of (low rank) Gorenstein rings over $\mathbb{C}$
I am interested in the question of the classification of (low rank) Gorenstein rings over $\mathbb{C}$. The socle of a local algebra is the annihilator of its maximal ideal. A commutative local ring ...
- 41
3
votes
1
answer
133
views
Derivations annihilated by powers of the augmentation ideal
Consider an augmented commutative ring $R$, with augmentation ideal $\varpi$. Let $\delta$ be a derivation of $R$. The example I have in mind is $R=\mathbb F_p[x]/(x^{p^i})$ and $\delta=d/dx$, though ...
- 2,519
2
votes
0
answers
140
views
When does $R [x]/I $ have infinitely many idempotents in special case?
At < When does $R [x]/I $ has infinitely many idempotents? >, Er_Ro asked the following question.
Let $R $ be a commutative ring with identity and $R[x] $ its polynomial ring. I am looking for ...
- 21
4
votes
0
answers
155
views
rings with 'flat functions'
Let $(R,\mathfrak{m})$ be a local ring over a field. Suppose the ring has flat elements, i.e. $\mathfrak{m}^\infty\neq\{0\}$. (The prototype is of course $C^\infty(\Bbb{R}^p,0)$, or a quotient of it, ...
- 2,232
0
votes
1
answer
111
views
How to find ideals of finite length in a power series ring with special properties?
Let $A$ be the power series ring $\mathbb{C}[[x,y]]$.
Assume we are given two ideals $I,J$ of finite length in $A$ such that:
$xJ\subseteq I\subseteq J$
Is it possible to find ideals of finite ...
- 1,025
3
votes
1
answer
445
views
Castelnuovo-Mumford regularity in multigraded case
Let $R=\oplus_{n\geq 0}R_n$ be a standard Noetherian commuative graded ring over a local ring $(A,m)$ where $R_0=A.$ Put $R_+=\oplus_{n\geq 1}R_n.$ Let $M$ be a finitely generated $\mathbb Z$-graded $...
- 1,713
2
votes
2
answers
256
views
if $R$ is Noetherian local with a finite module of finite injective dimension and if "?" , then $R$ is "Gorenstein"
I know that if $R$ is Noetherian local with a finite module of finite injective dimension, then $R$ is Cohen-Macaulay.
Can one add assumptions on $M$, so that $R$ be Gorenstein or Complete ...
- 1,355
5
votes
0
answers
94
views
How far finiteness dimension can be from edges? Example for $f_m(S/I)\ge depth S/I+2$
Let $ (R,m) $ be a commutative unital noetherian local ring (with $m$ as its maximal ideal), $ I $ an ideal of $ R $, and $ M $ a finite $R$-module with $\dim M\gt 0$. $f_I(M) = \inf\ \{i : H_I^i(M)\ ...
- 1,355
1
vote
1
answer
557
views
Reducedness of a ring with prime nilradical
Let $A$ be a regular ring and $\mathfrak q$ be an ideal, such that $\sqrt{\mathfrak q}$ is prime. Further assume that $\mathfrak q$ is locally principal (i.e. $\mathfrak q$ is an irreducible divisor ...
- 33
2
votes
1
answer
288
views
finiteness dimension
$R$ is a local Noetherian ring. $f_I(M)$, the finiteness dimension of a module $M$ relative to $I$, is defined in ...
- 1,355
7
votes
1
answer
621
views
automorphisms of local rings vs local change of coordinates
Let $R$ be a local (commutative, associative) ring over a field of zero characteristic. (My typical examples are $k[[x_1,..,x_p]]/I$, $k\{x_1,.,x_p\}/I$, $C^\infty(\Bbb{R}^p,0)$. If it helps one can ...
- 2,232
17
votes
4
answers
4k
views
Completion of a local ring of a curve
Let $X$ be a smooth projective irreducible curve defined over an algebraically closed field $\mathbb{K}$ (of arbitrary characteristic), and let $p\in X$ be a closed point. Denote by $\mathcal{O}_p(X)$ ...
- 7,722
2
votes
1
answer
241
views
Hochschild cohomology of commutative quotients
Notation:
Let $k$ be a commutative local ring and let $HH^{i}(A,N)$ denote the $i^{th}$ Hochschild cohomology $k$-module of a $k$-algebra A with coefficients in an $(A,A)$-bi-module $N$.
If $x:=\{...
- 5,405
2
votes
1
answer
191
views
what are the possible approximations for ideals
(Fix some local ring $(R,\mathfrak{m})$ over a field of zero characteristic.)
Suppose an ideal $J$ is defined by some complicated formula/procedure. And there is no hope of computing it/or writing ...
- 2,232
2
votes
1
answer
134
views
Projecting solutions of Hermitian forms over local rings
Let $R$ be a local ring (commutative and with $1$) with maximal ideal $M$, with an involution $\theta$. Let $h$ be a Hermitian form on $R^n$, i.e. $h:R^n\times R^n\rightarrow R$ such that $h$ is $R$-...
- 218
8
votes
2
answers
423
views
What is the probability that a random sequence of polynomials is regular?
Let $k$ be a finite field or a field with a height function, such as a number field.
Consider the ring $k[[x_1,\dots, x_n]]$ and let $\mathfrak{m}$ be its maximal ideal.
What is the asymptotic ...
- 635
7
votes
1
answer
1k
views
formally smooth functor
Let $p$ be a prime number, $\mathcal{O}$ the integers of a finite extension of $\mathbb{Q}_p$ with residue field $k$. Let $\mathcal{C}$ be the category of complete, local, noetherian $\mathcal{O}$-...
- 657
4
votes
2
answers
414
views
Maximal Cohen-Macaulay modules of type one
Does anybody know an example of a Noetherian local ring $(R,m)$ which admits a maximal Cohen-Macaulay module of type one, but the ring $R$ itself is not CM?
If $C$ is a maximal CM module then the ...
2
votes
1
answer
771
views
Does the normalization morphism induce isomorphism on residue fields?
The question is basically coming from the following situation:
Let $C$ be an integral curve over a field $k$ (EDIT and assume that $k$ is not algebraically closed) and let $\phi\colon C^N\to C$ be the ...
- 165
7
votes
2
answers
4k
views
Condition for a local ring whose maximal ideal is principal to be Noetherian
The statement "a local ring whose maximal ideal is principal is Noetherian" is (I think) false. The ring of germs about $0$ of $C^\infty$ functions on the real line seems to be a counterexample since ...
- 1,173
1
vote
0
answers
143
views
Automorphism on F_2[[X,S]]
Let us define the automorphism $\sigma$ on ${\Bbb F}_2[[X,S]]$ such that
$\sigma \colon S \mapsto S + S^2 + S^3$
$\sigma \colon X \mapsto X + S$.
It is easy to see that the ideal $(S)$ is stable ...
- 19
5
votes
1
answer
415
views
Inverse limit of Gorenstein local rings is again Gorenstein?
If we have the system of surjective ring homomorphisms
$f_{i,i+1}: R_{i+1} \twoheadrightarrow R_i$
for an arbitrary $i \geq 0$ such that all $R_i$ are Gorenstein local ring. Let us put
$R^{\...
- 51
3
votes
1
answer
420
views
Automorphisms of complete discrete valuation ring
Let ${\Bbb F}_2[[T]]$ be a c.d.v.r over ${\Bbb F}_2$. We consider the automorphism $\sigma$ of ${\Bbb F}_2[[T]]$ such that $\sigma \colon T \mapsto T + c_2T^2 + c_3T^3 + \cdots$ with $c_i \in {\Bbb F}...
- 87
1
vote
0
answers
148
views
Super-Gorenstein ideal of ${\Bbb F}_p[[X_1,\ldots,X_n]]$
Let $A \colon= {\Bbb F}_p[[X_1,\ldots,X_n]]$ be a $n$-variable power series ring over a finite field ${\Bbb F}_p$. We put ${\frak m}_A \colon= (X_1,\ldots,X_n)$.
Definition(Super-Gorenstein ideal): $...
- 87
1
vote
0
answers
155
views
Universally catenary and all its formal fibers over minimal members are Cohen-Macaulay but it has a nonCohen-Macaulay formal fiber
Please help me to find a Noetherian local ring $R$ such that: $R$ is universally catenary and all its formal fibers over minimal members of $Spec(R)$ are Cohen-Macaulay but $R$ has a nonCohen-Macaulay ...
- 89
2
votes
0
answers
327
views
PAC field : Algebraically closed field :: ? : Henselian local ring
I'm wondering if the following exists in the world as a definition. I'll use the word "pseudo-Henselian." I'll restrict to DVRs for simplicity.
I'd want to call a DVR $(R,\mathfrak{m})$ pseudo-...
- 1,499
0
votes
0
answers
259
views
Ring algebraically closed in its completion.
First I would like to be clear about the definition, which I am having trouble finding.
What does: The local ring $A$ is algebraically closed in $B\supset A$. (e.g. for $B:=\hat{A}$, the completion ...
- 807
1
vote
1
answer
211
views
Is there a prime of height $i$ in support of $H^i_I(R)$?
$I$ is an ideal of a local Noetherian ring $R$ and $i>0$ .
Clearly the height of primes in support of $H^i_I(R)$ is at least $i$
The question is if it
contains a prime of height $i$, specially ...
- 189
0
votes
0
answers
99
views
Example of a ring whose minimals are annihilators of idempotents?
I'm looking for examples† of rings with the property that for each
$P={\rm Ann}_R(a)\in{\rm Min}(R)$ then $a\in R$ is idempotent (ie $a^2=a$)
† other than domains!
- 189
1
vote
1
answer
147
views
An example of a ring $R$ with the property that for each $P=Ann_R(r)\in {\rm Min}(R)$ we have $Ann_R(P)=Rr$.
I'm looking for an example of a commutative (preferably local) ring $R$ such that ${\rm dim}R>0$ and $R$ has the property that for each $P=Ann_R(r)\in {\rm Min}(R)$ we have $Ann_R(P)=Rr$.
This ...
- 189
2
votes
1
answer
169
views
Open idempotents in modules over a local ring
Let $R$ be a local ring. By an open idempotent I mean an $R$-module $F$ equipped with a homomorphism $e : F \to R$ such that $e \otimes F = F \otimes e$ is an isomorphism $F \otimes F \cong F$ (this ...
- 63.1k
4
votes
1
answer
499
views
Artin approximation theorems over non-regular rings/non-Noetherian rings
In Artin1968 he considers $\underline{analytic}$ equations, but over the ring $R=k\{x_1,..,x_n\}$. In Artin1969 he works with $R=k\{x_1,..,x_n\}/I$, not necessarily regular, but considers $\underline{...
- 2,232
3
votes
1
answer
614
views
working with local rings: "abstract" vs "geometric" proofs
Let $R$ be a local ring (commutative, Noetherian, over an algebraically closed field; if needed Henselian). Suppose one wants to prove some statement.
Suppose $R$ happens to be the ring of "functions"...
- 2,232
0
votes
1
answer
508
views
"thematic" algebras
I scoured what I could in the literature but I have yet to find the information that should be out there. Consider the property
(P1) Every local subalgebra can be embedded in a local ideal ...
- 103
3
votes
2
answers
438
views
Can a zerodivisor reduce both the depth and the dimension?
In this question $R$ is a commutative noetherian local ring with unity.
One can construct examples of rings $R$ and zerodivisors $z$ such that $\dim R/(z)=\dim R-1$, e.g., $S\colon=k[a,b,c],\ \...
- 3,101