All Questions
Tagged with local-rings ag.algebraic-geometry
73 questions
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
0
answers
294
views
Is it true that the functor of completion of a module over a local ring is injective on isomorphism classes?
Let $A$ be a commutative Noetherian local ring and $\hat A$ be its completion. Then we have the functor of completion from the category of finitely generated $A$-modules to the category of finitely ...
- 1,484
0
votes
1
answer
260
views
Analytic spread of localization of an ideal
Let $J$ be an ideal in a Noetherian local ring $(R,m)$. It is well known that for any prime ideal $p\in Spec(R)$, $l(J_p)\leq l(J)$, where $l(J)$ is the analytic spread of $J$.
Q) Are there ...
- 1,713
1
vote
0
answers
285
views
Analytic spread of an ideal
How to calculate analytic spread of the ideal $I=\left<xyw^2,xyz^2,xw^2+yz^2\right>$ in $\mathbb Q[x,y,z,w]?$
I think it is 3.
- 1,713
0
votes
1
answer
300
views
Behaviour of length function under faithfully flat extension
Let $(R,m)$ and $(S,n)$ be local Noetherian rings such that $S$ is a faithfully flat extension of $R$. Let $J\subsetneq I $ ideals of $R$.
Can we relate $l_R(I/J)$ and $l_S(IS/JS)$?
PS: Here $l(-)$ ...
- 1,713
2
votes
0
answers
221
views
Meaning of the statement "$a\in I$ is a general element of $I$"
Suppose $I$ is an ideal in a Noetherian local ring $(R,m)$. In some papers I have seen the following statement:
"$a\in I$ is a general element of $I$".
What is the definition of general element ...
- 1,713
2
votes
0
answers
178
views
Modern dictionary for "old" homological terms
I'm trying to build a little dictionary between old Homological algebra for local rings and the slightly more modern approach via derived functors.
Let $X = SpecA$ be a spectrum of a local ring $(A,...
- 7,799
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
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
2
votes
0
answers
77
views
Analytic spread of an ideal after reduction
Let $(R,m)$ be a local ring and $I$ an ideal in $R.$ Let $l(I):=\dim \bigoplus_{n\geq 0}(I^n/mI^n)$ and $x\in R\setminus I.$
My question is
what is the relation between $l(I)$ anf $l(I+(x)/(x))?$
- 323
1
vote
0
answers
112
views
Asymptotic stability of prime divisors
Suppose $I$ is an ideal in a formally equidimensional local ring $R.$ Let $A(I)$ and $\overline A(I)$ denote Ass$R/I^n$ and Ass$R/\overline{I^n}$ for all large $n$ respectively.
My question is
What ...
- 1,713
1
vote
0
answers
46
views
Integral closure of lexsegment ideal
Let $R=k[x_1,\ldots,x_d]$ where $k$ is a field and $I$ be a lexsegment ideal of $R$ and $l(I)=d$ (where $l(I)$ is analytic spread of $I$).
Is $I$ integrally closed?
If I is generated by elements ...
- 1,713
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
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
3
votes
1
answer
422
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
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
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
5
votes
1
answer
679
views
On the functoriality of scalar extensions of local rings (edited)
Note. I have edited my question to make it more transparent, following some very good comments that I received. I am sorry if it is a bit long.
A local homomorphism of local rings $(A,\mathfrak{m})\...
- 3,101
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
2
votes
1
answer
575
views
Can you suggest a good name for a local homomorphism φ:(R,m)->(S,n) of local rings with the property that φ(m)S is n-primary?
Can you suggest a good name for a local homomorphism $(R,\mathfrak{m})\stackrel{\varphi}{\rightarrow}(S,\mathfrak{n})$ of local rings with the property that $\varphi(m)S$ is $\mathfrak{n}$-primary?
...
- 3,101
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
3
votes
0
answers
1k
views
Etale cohomology of regular local rings
Let $R$ be a regular local ring (I am particularly interested in the case when $R$ is the local ring of a point on a smooth scheme of finite type over a field). Let $G$ be the etale fundamental group ...
- 15.6k
1
vote
1
answer
320
views
covers of complete regular local rings
It is well-known that if one assumes algebraic closedness and characteristic 0 of the residue field then finite covers of complete DVRs are all of the form $A[x]/(x^m-a)$ for some $a \in A$ (direct ...
- 4,070