Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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)$ ...
Jérémy Blanc's user avatar
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}...
Pierre's user avatar
  • 87
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 ...
user237522's user avatar
  • 2,837
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 ...
Sergei Ivanov's user avatar
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 $...
user237522's user avatar
  • 2,837