1
$\begingroup$

Suppose $R$ is a local Noetherian complete intersection ring that is a finite $A$-algebra, where $A$ is a DVR.

If the module of differentials of $R$ is free as an $R/\mathfrak a$-module for some ideal $\mathfrak a$ of $R$, and if i take $a_1,...,a_n \in m_R$ (where $m_R$ is the maximal ideal of $R$) such that $da_1,...,da_n$ is a basis, is it true that $A[[a_1,...,a_n]]=R$? And suppose this holds: is it true that the map $x_i \to a_i$ induces an isomorphism $A[[a_1,...,a_n]]\simeq A[[x_1,...,x_n]]/(p_1,...,p_n)$ for some $p_1,...,p_n \in A[[x_1,....,x_n]]$?

$\endgroup$
10
  • $\begingroup$ What is "the" maximal ideal of $R$? Is $R$ local or graded? $\endgroup$
    – Jesko Hüttenhain
    Sep 9, 2014 at 17:45
  • $\begingroup$ Yes sorry i forgot to say R local $\endgroup$
    – user174627
    Sep 9, 2014 at 19:07
  • $\begingroup$ What exactly do you mean by $A[[a_1, \ldots, a_n]]$? Also what does the ideal $\mathfrak{a}$ have to do with $a_1, \ldots, a_n \in m_R$? $\endgroup$
    – zcn
    Sep 9, 2014 at 20:05
  • $\begingroup$ I mean the ring of power series in $a_1,...,a_n$. It is well defined since they live in the maximal ideal and you have that the ring is complete(so all the series are converging and to something in the ring). The connection between the variable and the ideal is that $da_1,...,da_n$ is a $A/a$ basis for the differentials $\endgroup$
    – user174627
    Sep 9, 2014 at 20:35
  • $\begingroup$ @user174627: There seems to be some duplication of this question - I assume you are the same asker of this question, which I have answered. You may ask the moderators to merge your accounts. Also, you can use the @ symbol to reply directly to a comment $\endgroup$
    – zcn
    Sep 9, 2014 at 20:57

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .