Auswahl Schwarzes Brett Aktion im Forum Suche Kontakt Für Mitglieder Mathematisch für Anfänger Wer ist Online | |
Autor |
Invariantes Differential einer Formalen Gruppe |
|
xiao_shi_tou_
Senior  Dabei seit: 12.08.2014 Mitteilungen: 604
Aus: Bonn
 | \(\begingroup\)\(\newcommand{\N}{\mathbb{N}}
\newcommand{\units}[1]{(\Zx{#1})^\times}
\newcommand{\KX}{K[X]}
\newcommand{\ANF}{K/\Q}
\newcommand{\lineb}{\c{L}}
\newcommand{\cyclm}{\Q(\sqrt[m]{1})}
\newcommand{\cyclmK}{K(\sqrt[m]{1})}
\newcommand{\clKX}{\overline{K}[X]}
\newcommand{\LX}{L[X]}
\newcommand{\gfib}[2]{#1_{\cl{#2}}}
\newcommand{\OS}{\mathcal{O}_S}
\newcommand{\bb}[1]{\textbf{#1}}
\newcommand{\OY}{\mathcal{O}_Y}
\newcommand{\glX}{\Gamma(X,\mathcal{O}_X)}
\newcommand{\glY}{\Gamma(Y,\mathcal{O}_Y)}
\newcommand{\finKX}{f\in K[X]}
\newcommand{\ser}[1]{\sm{n=0}{\infty}{#1}}
\newcommand{\sm}[3]{\underset{#1}{\overset{#2}{\sum}} #3}
\newcommand{\cl}[1]{\overline{#1}}
\newcommand{\sube}{\subseteq}
\newcommand{\prou}{\text{ primitive }m \text{-th root of unity }}
\newcommand{\hk}{\hookrightarrow}
\newcommand{\OYy}{\mathcal{O}_{Y,y}}
\newcommand{\supe}{\supseteq}
\newcommand{\resy}{\kappa(y)}
\newcommand{\LK}{L/K}
\newcommand{\iso}{\overset{\sim}{\to}}
\newcommand{\kn}{k^n}
\newcommand{\kvec}{\textbf{vect}(k)}
\newcommand{\fkvec}{\textbf{vect}_{<\infty}(k)}
\newcommand{\fz}{f(X)=0}
\newcommand{\KIsom}{L\underset{K}{\overset{\sim}{\to}} L}
\newcommand{\simple}{\text{Let }K'=K(\alpha)\text{ be a simple extension of }K \text{ with minimal polynomial }\finKX}
\newcommand{\Q}{\mathbb{Q}}
\renewcommand{\S}{\mathbb{S}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\F}{\mathbb{F}}
\newcommand{\A}{\mathbb{A}}
\newcommand{\P}{\mathbb{P}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Zp}{\mathbb{Z}_p}
\newcommand{\Qp}{\mathbb{Q}_p}
\newcommand{\Qq}{\mathbb{Q}_q}
\newcommand{\Fp}{\mathbb{F}_p}
\newcommand{\I}{[0,1]}
\newcommand{\In}{[0,1]^n}
\newcommand{\Fpn}{\mathbb{F}_{p^n}}
\newcommand{\Fpm}{\mathbb{F}_{p^m}}
\newcommand{\Zn}{\mathbb{Z}/{n\mathbb{Z}}}
\newcommand{\Zx}[1]{\mathbb{Z}/{#1\mathbb{Z}}}
\newcommand{\md}[3]{#1\equiv #2\pmod{#3}}
\newcommand{\ga}{Gal(L/K)}
\newcommand{\aga}[1][k]{Gal(\overline{#1}/#1)}
\newcommand{\gal}[2]{Gal(#1/{#2})}
\newcommand{\c}[1]{\mathcal{#1}}
\newcommand{\lim}[1]{\underset{i\in I}{\varprojlim{#1_i}}}
\newcommand{\prp}{\text{ proper }}
\newcommand{\lnss}{\text{ locally noetherian Schemes}}
\newcommand{\lns}{\text{ locally noetherian Scheme }}
\newcommand{\ffe}{\text{ finite field extension }}
\newcommand{\fge}{\text{ finite Galois extension }}
\newcommand{\fne}{\text{ finite normal extension }}
\newcommand{\fse}{\text{ finite separable extension }}
\newcommand{\fure}{\text{ finite unramified extension }}
\newcommand{\frae}{\text{ finite ramified extension }}
\newcommand{\ure}{\text{ unramified extension }}
\newcommand{\rae}{\text{ ramified extension }}
\newcommand{\tarae}{\text{ tamely ramified extension }}
\newcommand{\rain}{\text{ ramification index }}
\newcommand{\indeg}{\text{ inertia index }}
\newcommand{\SS}[2]{E_2^{p,q}=#1\Longrightarrow #2}
\newcommand{\Co}[2]{H^p(#1,#2)}
\newcommand{\qcqs}{\text{ quasi-compact quasi-separated }}
\newcommand{\oft}{\text{ of finite type }}
\newcommand{\loft}{\text{ locally of finite type }}
\newcommand{\ofp}{\text{ of finite presentation }}
\newcommand{\SqcOX}{\text{ Let }\mathcal{M}\text{ be a quasi-coherent} \mathcal{O}_X-\text{module}}
\newcommand{\OX}{\mathcal{O}_X}
\newcommand{\OC}{\mathcal{O}_C}
\newcommand{\Ox}{\mathcal{O}_{X,x}}
\newcommand{\OCx}{\mathcal{O}_{C,x}}
\newcommand{\OYx}{\mathcal{O}_{Y,y}}
\newcommand{\OK}{\mathcal{O}_K}
\newcommand{\OL}{\mathcal{O}_L}
\newcommand{\res}[1]{\kappa_#1}
\newcommand{\resx}{\kappa(x)}
\newcommand{\pln}{\text{Let } X\overset{f}{\to} Y \text{ be a proper morphism between locally noetherian schemes. } }
\newcommand{\mor}[5]{\text{ Let } #1\overset{#2}{\to} #3 \text{ be a }#4 \text{morphism of }#5}
\newcommand{\let}[3]{\text{ Let } #1 \text{ be a } #2 \text{ of } #3}
\newcommand{\sk}{\{\tau\}}
\newcommand{\Te}{[T]}
\newcommand{\Tee}{[T_1,T_2]}
\newcommand{\Teee}{[T_1,T_2,T_3]}
\newcommand{\Ten}{[T_1,\cdots,T_n]}
\newcommand{\Tem}{[T_1,\cdots,T_m]}
\newcommand{\pts}{\cdots}
\newcommand{\pt}{\cdot}
\newcommand{\hm}[3]{Hom_{#1}(#2,#3)}
\newcommand{\hom}[2]{Hom(#1,#2)}
\newcommand{\Is}{\overset{\sim}{\to}}
\newcommand{\oIs}[1]{\overset{#1}{\overset{\sim}{\to}}}
\newcommand{\tx}[1]{\text{ #1 }}
\newcommand{\sp}[1]{Spec(#1)}
\newcommand{\prj}[1]{Proj(#1)}
\newcommand{\wlog}{\text{ without losing generality }}
\newcommand{\ffoc}{\text{ \text{Let } f\colon C\to S \text{ be a flat family of curves of genus } g}}
\newcommand{\arr}[3]{#1\overset{#2}{\to} #3}
\newcommand{\isom}[3]{#1\overset{#2}{\overset{\sim}{\to}}#3}
\newcommand{\nrm}[1]{\left\|#1\right\|}
\newcommand{\letgal}{\text{ Let } \ga \text{ be a finite Galois-Extension of degree }[L\colon K]}
\newcommand{\ext}[2]{#1/{#2}}
\newcommand{\a}{\alpha}
\newcommand{\be}{\beta}
\newcommand{\g}{\gamma}
\newcommand{\de}{\delta}
\newcommand{\vp}{\varphi}
\newcommand{\p}{\phi}
\newcommand{\bul}{\bullet}
\newcommand{\t}{\tau}
\newcommand{\s}{\sigma}
\newcommand{\ze}{\zeta}
\newcommand{\lmb}{\lambda}
\newcommand{\tm}{\times}
\newcommand{\tms}{\times\pts\times}
\newcommand{\ot}{\otimes}
\newcommand{\ots}{\otimes\pts\otimes}
\newcommand{\pls}{+\pts +}
\newcommand{\kms}{,\pts,}
\newcommand{\op}{\oplus}
\newcommand{\ops}{\oplus\pts\oplus}
\newcommand{\cr}{\circ}
\newcommand{\crs}{\circ\pts\circ}\)
Hallo zusammen.
Ich verstehe folgende Definition nicht:
\(R\) ist ein vollständiger Ring.
Ich nehme mal ohne Beweis an, dass die implizite Behauptung \(\Omega^1_{R[[t]]/R}\cong R[[t]]dt\) richtig ist (was eigentlich nicht ganz trivial ist..).
Was ist \(\omega\)?
Was bedeutet \(\omega\circ F(S,T)\)?
Das ist von Haus aus erstmal nicht definiert.
Kann jemand das erklären?
\(\mathcal{F}\) ist eine eindimensionale Formale Gruppe und \(F(X,Y)\) die definierende Formale Potenzreihe.
Grüße
----------------- "Jedes Gehirn kann Fragen beantworten. Es geht darum die richtigen Fragen zu finden."\(\endgroup\)
|
Profil
Quote
Link |
|