All Questions
Tagged with local-rings ag.algebraic-geometry
73 questions
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
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
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
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
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
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
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
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
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
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
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
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
10
votes
1
answer
2k
views
Etale cohomology of the completion of a Henselian local ring
Let $\pi: R\to S$ be a local morphism of Henselian local rings. Let $f: R \to \hat{R}$ and $g: S \to \hat{S}$ be their completions. Let $\mathcal F$ be a constructible $l$-adic sheaf on $\operatorname ...
- 149k
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
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
3
votes
3
answers
681
views
on the relative conductor of curve singularity and quotient of ideals
Let $R$ be the local ring of a complex curve singularity. (Can assume the singularity planar, the ring locally analytic or formal.) Let $\bar{R}$ be the normalization, let $R\subset R'\subset \bar{R}$ ...
- 2,232
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
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