Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeNov 13th 2013
   • PermaLink
   Author: Urs
   Format: MarkdownItexam splitting-off _[[Lubin-Tate formal group]]_ from _[[Lubin-Tate theory]]_ (but as of yet neither entry states the full definition, to be expanded...)

   am splitting-off Lubin-Tate formal group from Lubin-Tate theory

   (but as of yet neither entry states the full definition, to be expanded…)

2. • CommentRowNumber2.
   • CommentAuthorDavid_Corfield
   • CommentTimeNov 13th 2013
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexNot that I understand, but in >The [[stratum]] $\mathcal{M}_{FG}^n$ can be identified with the [[homotopy quotient]] $\overline{\mathbb{F}}_{\mathrm{p}_p}// \mathbb{G}$, where the [[group]] $\mathbb{G}$ is the _[[Morava stabilizer group]]_. ([Lurie 10, lect. 19](#LurieLect19)) where's the dependence on $n$ in $\overline{\mathbb{F}}_{\mathrm{p}_p}// \mathbb{G}$, and what is that second $p$ subscript anyway. And did you mean lecture 19, when it's 21 that you get sent to?

   Not that I understand, but in

   The stratum $\mathcal{M}_{FG}^n$ can be identified with the homotopy quotient $\overline{\mathbb{F}}_{\mathrm{p}_p}// \mathbb{G}$, where the group $\mathbb{G}$ is the Morava stabilizer group. (Lurie 10, lect. 19)

   where’s the dependence on $n$ in $\overline{\mathbb{F}}_{\mathrm{p}_p}// \mathbb{G}$, and what is that second $p$ subscript anyway.

   And did you mean lecture 19, when it’s 21 that you get sent to?

3. • CommentRowNumber3.
   • CommentAuthorDavid_Corfield
   • CommentTimeNov 13th 2013
   • (edited Nov 13th 2013)
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexHmm, shouldn't it say $Spec \overline{\mathbb{F}}_{\mathrm{p}_p}$?

   Hmm, shouldn’t it say $Spec \overline{\mathbb{F}}_{\mathrm{p}_p}$?

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeNov 13th 2013
   • PermaLink
   Author: Urs
   Format: MarkdownItexThanks for catching this. I have now fixed it to read as follows: *** Write $\overline{\mathbb{F}_{\mathrm{p}}}$ for the [[algebraic closure]] of $\mathbb{F}_p$. The [[stratum]] $\mathcal{M}_{FG}^n$ can be identified with the [[homotopy quotient]] $Spec (\overline{\mathbb{F}}_{\mathrm{p}})// \mathbb{G}$, where the [[group]] $\mathbb{G}$ is the _Morava stabilizer group_. This is ([Lurie 10, lect. 19, prop. 1](#LurieLect19)) See also the beginning of [Lurie 10, lect 21](#LurieLect21).

   Thanks for catching this. I have now fixed it to read as follows:

   ---

   Write $\overline{\mathbb{F}_{\mathrm{p}}}$ for the algebraic closure of $\mathbb{F}_p$.

   The stratum $\mathcal{M}_{FG}^n$ can be identified with the homotopy quotient $Spec (\overline{\mathbb{F}}_{\mathrm{p}})// \mathbb{G}$, where the group $\mathbb{G}$ is the Morava stabilizer group.

   This is (Lurie 10, lect. 19, prop. 1) See also the beginning of Lurie 10, lect 21.

5. • CommentRowNumber5.
   • CommentAuthorDavid_Corfield
   • CommentTimeNov 13th 2013
   • PermaLink
   Author: David_Corfield
   Format: MarkdownItexYou changed it at [[Morava stabilizer group]], but it has it the old way at [[Lubin-Tate+theory]]. Did you want that repetition between the pages? Anyway, somewhere it should point out that $\mathbb{G} = Aut(\overline{\mathbb{F}}_{\mathrm{p}}, f)$, so I've added that to [[Morava stabilizer group]]. Should I now copy all that over to [[Lubin-Tate+theory]]? Oh, so the dependence on $n$ comes in through the height of $f$, the unique formal group law of that height $n$.

   You changed it at Morava stabilizer group, but it has it the old way at Lubin-Tate+theory. Did you want that repetition between the pages?

   Anyway, somewhere it should point out that $\mathbb{G} = Aut(\overline{\mathbb{F}}_{\mathrm{p}}, f)$, so I’ve added that to Morava stabilizer group. Should I now copy all that over to Lubin-Tate+theory?

   Oh, so the dependence on $n$ comes in through the height of $f$, the unique formal group law of that height $n$.

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeNov 13th 2013
   • PermaLink
   Author: Urs
   Format: MarkdownItexThanks for adding! Right, we don't need not say this at "Lubi-Tate theory" (and should not, since there it's a distraction, at least in the Idea section), have removed it there.

   Thanks for adding!

   Right, we don’t need not say this at “Lubi-Tate theory” (and should not, since there it’s a distraction, at least in the Idea section), have removed it there.

7. • CommentRowNumber7.
   • CommentAuthornLab edit announcer
   • CommentTimeJun 11th 2022
   • PermaLink
   Author: nLab edit announcer
   Format: MarkdownItexFix broken page. Christian <a href="https://ncatlab.org/nlab/revision/diff/Lubin-Tate+formal+group/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/Lubin-Tate+formal+group/3">v3</a>, <a href="https://ncatlab.org/nlab/show/Lubin-Tate+formal+group">current</a>

   Fix broken page.

   Christian

   diff, v3, current