All Questions
Tagged with local-rings ag.algebraic-geometry
73 questions
0
votes
0
answers
96
views
Length of generic intersection in local ring
Let $(R, \mathfrak{m})$ be a regular local ring and let $I\subset R$ be an ideal of coheight 1. Let $a \in \mathfrak{m}\setminus \mathfrak{m}^2$.
If $a$ that is not a zero divisor of $R/I$ we have ...
1
vote
0
answers
187
views
Is it true that monomorphisms of local Artinian $\mathbb{R}$-algebras are regular?
A Weil algebra is a finite-dimensional real algebra, in which each element is the uniquely sum of a scalar and a nilpotent (so nilpotents constitute the only maximal ideal of codimension 1). In other ...
- 6,962
3
votes
1
answer
361
views
Diagonal morphism of henselization is an open immersion?
Let $(R,\mathfrak{m})$ be a local ring, denote by $R \rightarrow R^h$ its henselization. Write $S = \operatorname{Spec} R$ and $S^h = \operatorname{Spec} R^h$. Is it true that the diagonal morphism $\...
- 53
0
votes
0
answers
178
views
Finite monomorphism $A \to B$ with reduced $A$ and special fiber implies $B$ reduced
I have a question about correctness of following statement claimed here in $\boxed{2} \ $:
Let $k$ arbitrary field, let $f : X \longrightarrow Y$ be a finite dominant morphism between finite type $k$-...
- 5,966
2
votes
2
answers
262
views
Examples of stretched artinian local ring
In Sally's Paper stretched artinian local ring is defined as :
Let $(R, \mathfrak{m})$ be an Artin local ring of length $\lambda.$ If $\nu$ is the embedding dimension of $R$, that is, $\nu$ is the ...
- 81
5
votes
1
answer
482
views
Alternative description of strict henselization
Let $R$ be a local ring with field of fractions $K$, maximal ideal $\mathfrak{m}$ and residue field $\kappa = R/\mathfrak{m}$. Let $R^\mathrm{sh}$ be a strict henselization of $R$, and let $L$ be the ...
- 1,329
0
votes
0
answers
53
views
When a given set of primes of height 1 is a set associated primes of an element
Let $R$ be a Noetherian local ring of dimension $\geq 3$ and $\{p_1,\ldots , p_n\}$ be a collection of prime ideals of height $1$. Does there exist an element $x\in R$ such that $Ass(R/xR)=\{p_1,\...
- 1,713
1
vote
0
answers
132
views
A question concerning cancellation of ideals
I am working on a number theory project, and at one stage, I encounter a commutative algebra problem. Vaguely speaking, my hope is to show that two ideals are equal. Now I shall explain the data I am ...
- 11
0
votes
1
answer
295
views
Depth of almost complete intersection rings
Let $R$ be a regular local ring and let $I \subset R$ be an almost complete intersection ideal, that is, $\mu(I)=\text{ht}(I)+1$ where $\mu(I)$ is the number of minimal generators of $I$ and $ht(I)=\...
5
votes
1
answer
542
views
When is it possible to localize a scheme along a closed subscheme?
If we have $Z\subset X$ a closed irreducible subscheme of an integral scheme $X$ (which you can take to have various further niceness properties if you want), one can take its generic point $\eta_Z$ ...
- 2,054
5
votes
2
answers
237
views
An example of a local integral domain with special spectrum
I am looking for a local integral domain $(D, m)$ with $Spec(D)=\{0,m\}\cup\{ P_i\}_i$ such that $P_i's$ are incomparable (that is, $P_i\not\subseteq P_j$ and $P_j\not\subseteq P_i$ for $i\not= j$) ...
- 147
3
votes
4
answers
807
views
$R$ is a UFD iff $R_{\frak{m}}$ is a UFD?
Let $R$ be a graded ring such that $R_0$ is a field and let $\frak{m}$ be the maximal ideal generated by all the elements of positive degree. Then, is it true that $R$ is a UFD iff $R_{\frak{m}}$ is a ...
- 839
1
vote
0
answers
217
views
Artin-Winters proof of semi-stable reduction theorem: details
I've been reading through Artin-Winters proof of the semi-stable reduction theorem (Degenerate fibers and stable reduction of curves) and found myself confused about the following detail—
Let $\...
2
votes
1
answer
253
views
Strict henselianization and branches of explicit curve at singularity
Let $A$ be a local ring, which we can assume is reduced. Let $k$ be the residue field of $A$.
In the Stacks project (https://stacks.math.columbia.edu/tag/06DT), I have learned some notion of the ...
- 241
3
votes
1
answer
422
views
Vanishing of $\operatorname{Ext}_R(\operatorname{Tr} M,N)$ and freeness criteria
$\DeclareMathOperator\Ext{Ext}\DeclareMathOperator\Tr{Tr}\DeclareMathOperator\coker{coker}\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\Tor{Tor}$I am investigating the interplay between freeness ...
- 183
1
vote
1
answer
118
views
Symbolic power of an ideal associated to non-singular algebraic set
Let $Z\subset \mathbb P^n$ be a reduced non-singular algebraic set and $I$ denote the saturated homogeneous ideal of $Z$. I have seen the following result without proof:
For all $ n\geq 1$, $I^{(n)}=(...
- 1,713
2
votes
1
answer
348
views
Good prime ideals in tensor products of local rings
Let $L/K$ be a field extension.
Let $R,S$ be two local commutative $K$-algebras and let $\varphi : R \to S$ be a homomorphism of $K$-algebras, not assumed to be local. Let's call a prime ideal $\...
- 63.1k
1
vote
0
answers
194
views
Is the following local map unramified?
Let $(R,m)$ and $(S,n)$ be two local rings, $R \subseteq S$, $R$ regular, $S$ a finitely generated and flat $R$-algebra, and $mS=n$.
In comments to this question it was claimed that in such situation ...
- 2,837
1
vote
0
answers
117
views
$A \to B$ with $A$ regular imply that $B$ is CM
The answer to this question says the following:
"The general statement is if $A \to B$ is finite and injective, and $A$ is noetherian and regular, then $B$ is CM if and only if $A \to B$ is flat.
...
- 2,837
1
vote
1
answer
235
views
Local rings $R \subsetneq S$ with $R$ regular and $S$ Cohen-Macaulay, non-regular
Let $R \subseteq S$ be local rings with maximal ideals $m_R$ and $m_S$.
Assume that:
(1) $R$ and $S$ are (Noetherian) integral domains.
(2) $\dim(R)=\dim(S) < \infty$, where $\dim$ is the Krull ...
- 2,837
1
vote
1
answer
264
views
Flat and algebraic (non-integral) local rings extension $R \subseteq S$ with $m_RS=m_S$
Let $R \subseteq S$ be two Noetherian local rings, not necessarily regular, which are integral domains,
with $m_RS=m_S$, namely, the ideal in $S$ generated by $m_R$ (= the maximal ideal of $R$) is $...
- 2,837
6
votes
1
answer
318
views
Hakim's definition of a locally ringed topos
In Hakim's book "Topos annelés et schémas relatifs", Chap. III, Def. 2.3 states that a ringed topos $(X,A)$ is a locally ringed topos when two equivalent conditions are satisfied:
(i) For ...
- 63.1k
4
votes
0
answers
265
views
Sections of smooth morphisms over henselian rings
Let $(A,\mathfrak m)$ be a henselian local ring. Let $R$ and $S$ be $A$-algebras of finite type and $f\colon R\to S$ be a smooth morphism. Assume that the induced morphism $R/\mathfrak m R\to S/\...
- 1,590
8
votes
0
answers
221
views
Finitely generated commutative rings with the same profinite completion
Let $R_1$ and $R_2$ be two finitely generated commutative rings. Assume that their profinite completions are isomorphic: $\widehat{R_1}\cong \widehat{R_2}$.
Suppose that $R_1$ is a domain. Does ...
- 1,418
6
votes
2
answers
421
views
Does the category of local rings with residue field $F$ have an initial object?
Let $F$ be a field. Does the category $C_F$ of local rings $R$ equipped with a surjective morphism $R\longrightarrow F$ have an initial object?
This is, for instance, true if $F=\mathbb{F}_{p}$ for ...
- 1,805
3
votes
2
answers
338
views
Isomorphism between finite algebras over ${\Bbb Z}_p$
Let $\pi \colon R \twoheadrightarrow {\Bbb T}$ be a surjective ring homomorphism between finite algebras over ${\Bbb Z}_p$. Further, we suppose the following three conditions$\colon$
$R$ is a ...
- 563
10
votes
2
answers
1k
views
Krull dimension of a local ring and completion
Let $A$ be a local ring (not noetherian) of finite Krull dimension such that its maximal ideal $\mathfrak{m}$ is of finite type.
Let $\hat{A}$ be its $\mathfrak{m}$-adic completion.
Do we have that $\...
- 3,472
0
votes
0
answers
440
views
A question about strict henselian local rings
Let $f: X\to Y$ be a finite morphism of schemes, let $y\in Y, Y(\bar{y}):={\rm Spec}(\mathscr{O}_{Y, \bar{y}}), X_{\bar{y}}:=X\times_Y{\rm Spec}(\kappa_y^s)=X_y\otimes_{\kappa_y}\kappa_y^s, X({\bar{y}}...
- 1,906
0
votes
0
answers
287
views
On the product in the power series ring
Let $A_n \colon= K[[X_1,\ldots,X_n,Y_1,\ldots,Y_n]]$ be a power series ring over a field $K$ in $2n$ variables and ${\frak m}_{A_n}$ be the unique maximal ideal of $A_n$.
Suppose we have two ...
- 563
1
vote
0
answers
165
views
Structure of Complete Local Rings
Let $X$ be a proper $n$-dimensional $k$-scheme and $x \in X$ a closed point. Consider the stalk $\mathcal{O}_{X,x}$. We consider now it's completion $O_{X,x}^{\wedge}$ wrt it's maximal ideal $m_x$.
...
- 5,966
3
votes
1
answer
193
views
Complete local rings, automorphisms and approximation
Consider two local morphisms $f,g: B\rightarrow A$ of noetherian complete local rings and $f$ surjective.
Does there exist an integer $n\in\mathbb{N}$, such that if $f=g \mod \mathfrak{m}_{A}^{n}$ ...
- 3,472
1
vote
0
answers
138
views
Power series ring $R[[X_1,\ldots,X_d]]$ over a domain $R$
Let $R$ be a domain and
\begin{align*}
T \,\colon= R[[X_1,\ldots,X_d]].
\end{align*}
Suppose that we have $d$ elements $f_1,\ldots,f_d \in T$ and let us consider an ideal $J$ of $T$ such that $(f_1,\...
- 563
6
votes
0
answers
478
views
The Zariski Riemann Space, but with Local Rings
The Zariski Riemann space, while an abandoned approach, has lead to later developments and generalizations, including $\text{Spv}$ (the space of valuations) and Huber's work. In studying it, I would ...
user30211
1
vote
0
answers
78
views
Relation between lifts of simple roots and lifts of idempotents (Henselian property)
Let $f:A\to B$ be a morphism of commutative rings. Given a monic $\varphi\in A[x]$ write $Z(A,\varphi)$ for the set of simple roots of $\varphi$ in $A$. Consider the following properties of $f:A\to B$....
- 10.5k
3
votes
1
answer
239
views
commutative ring satisfying descending chain condition on radical ideals
Let $R$ be a commutative ring with unity which satisfies d.c.c. on radical ideals. then does $R$ satisfy a.c.c. on radical ideals ? If this is not true in general, then what happens if we also assume $...
- 1,209
8
votes
1
answer
257
views
Minimal resolution of local cohomology module
Let $(R,\mathfrak m)$ be a Noetherian local ring of dimension $d\geq 1.$ Suppose $\lambda(H_{\mathfrak m}^i(R))<\infty$ for some $0\leq i\leq d-1.$
Question Can we say anything about Betti numbers ...
- 1,713
12
votes
3
answers
790
views
$K[[X_1,...]]$ is a UFD (Nishimura's Theorem)
Let us define the infinitely-many-variable formal power series ring
$$
K[[X_1,\ldots]] \colon= \underset{m \geq 1}{\varprojlim}\,K[[X_1,\ldots,X_m]].
$$
$K[[X_1,\ldots]]$ is known to be a UFD by a ...
- 563
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
2
votes
0
answers
292
views
Local weak factorization
This is a follow-up to question Locally toric resolutions of compactifications, answered by Jason Starr.
In a series of papers (see https://arxiv.org/abs/math/9904076), Jaroslaw Wlodarczyk proves ...
- 7,972
4
votes
2
answers
353
views
Canonical module of a semigroup ring
Let $S$ be a numerical semigroup and $k[S]$ is the associated semigroup ring. I would like to compute canonical module $\omega$ of $k[S].$
I want to show that $\omega=k[t^{-n}:n\in\mathbb Z\setminus ...
- 1,713
2
votes
1
answer
195
views
Length of a module and Frobenius map
Let $(R,m)$ be a regular local ring of dimension $d$ and char $p>0.$ Let $F^e:R\longrightarrow R$ defined by $r\longrightarrow r^{p^e}$be the Frobenius map.
How to compute $l(R/m^{[p^e]})?.$
I ...
- 1,713
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
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
1
vote
1
answer
241
views
Localization of a maximal Cohen-Macaulay module
Let $(R,m)$ be a Cohen-Macaulay local ring of dimension $d\geq 2$ and $M$ an module with depth$M=d.$
Is there any example of $M$ such that
$(1)$ $M_p$ is not free for some $p\in Ass(R)$ and
$(2)$...
- 323
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
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
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
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
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
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