Formal group laws and genera
Taras Panov (Talk | contribs) (→Formal group law of geometric cobordisms) |
m (→Hirzebruch genera) |
||
(96 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
− | |||
− | |||
== Introduction == | == Introduction == | ||
− | The theory of <i>formal group laws</i>, originally appeared in | + | The theory of <i>formal group laws</i>, which originally appeared in |
− | algebraic geometry, | + | algebraic geometry, was brought into [[Bordism|bordism theory]] in |
the pioneering work \cite{Novikov1967}. The applications of | the pioneering work \cite{Novikov1967}. The applications of | ||
− | formal group laws in algebraic topology are closely connected with | + | formal group laws in algebraic topology are closely connected with <i>Hirzebruch genera</i> \cite{Hirzebruch1966}, which are important invariants of bordism classes of manifolds. |
− | + | ||
− | important | + | |
== Elements of the theory of formal group laws == | == Elements of the theory of formal group laws == | ||
Line 27: | Line 23: | ||
A formal group law $F$ over $R$ is called <i>linearisable</i> if | A formal group law $F$ over $R$ is called <i>linearisable</i> if | ||
there exists a coordinate change $u\mapsto | there exists a coordinate change $u\mapsto | ||
− | g_F(u)=u+\sum_{i> | + | g_F(u)=u+\sum_{i>1}g_iu^i\in R[[u]]$ such that |
$$ | $$ | ||
g_F(F(u,v))=g_F(u)+g_F(v). | g_F(F(u,v))=g_F(u)+g_F(v). | ||
Line 54: | Line 50: | ||
$g(F(u,v))=g(u)+g(v)$. $\square$ | $g(F(u,v))=g(u)+g(v)$. $\square$ | ||
− | A series $g(u)$ satisfying the equation $g(F(u,v))=g(u)+g(v)$ is called | + | A series $g(u)=u+\sum_{i>1}g_iu^i$ satisfying the equation $g(F(u,v))=g(u)+g(v)$ is called |
− | + | a <i>logarithm</i> of the formal group law $F$; the above Theorem | |
shows that a formal group law over $R\otimes\mathbb Q$ always has a logarithm. Its functional inverse series | shows that a formal group law over $R\otimes\mathbb Q$ always has a logarithm. Its functional inverse series | ||
− | $f(t)\in R\otimes\mathbb Q[[t]]$ is called | + | $f(t)\in R\otimes\mathbb Q[[t]]$ is called an <i>exponential</i> of |
the formal group law, so that we have $F(u,v)=f(g(u)+g(v))$ | the formal group law, so that we have $F(u,v)=f(g(u)+g(v))$ | ||
over $R\otimes\mathbb Q$. If $R$ does not have torsion (i.e. $R\to | over $R\otimes\mathbb Q$. If $R$ does not have torsion (i.e. $R\to | ||
Line 68: | Line 64: | ||
$r(F)$ is a formal group law over $R'$. | $r(F)$ is a formal group law over $R'$. | ||
− | A formal group law $ | + | A formal group law $\mathcal F$ over a ring $A$ is <i>universal</i> if |
for any formal group law $F$ over any ring $R$ there exists a | for any formal group law $F$ over any ring $R$ there exists a | ||
− | unique homomorphism $r\colon A\to R$ such that $F=r( | + | unique homomorphism $r\colon A\to R$ such that $F=r(\mathcal F)$. |
{{beginthm|Proposition}} | {{beginthm|Proposition}} | ||
− | Assume that | + | Assume that a universal formal group law $\mathcal F$ over $A$ exists. |
Then | Then | ||
− | # The ring $A$ is multiplicatively generated by the coefficients of the series $ | + | # The ring $A$ is multiplicatively generated by the coefficients of the series $\mathcal F$; |
− | # The universal formal group law is unique: if $F' | + | # The universal formal group law is unique: if $\mathcal F'$ is another universal formal group law over $A'$, then there is an isomorphism $r\colon A\to A'$ such that $\mathcal F'=r(\mathcal F)$. |
{{endthm}} | {{endthm}} | ||
<i>Proof.</i> To prove the first statement, denote by $A'$ the subring in $A$ | <i>Proof.</i> To prove the first statement, denote by $A'$ the subring in $A$ | ||
− | generated by the coefficients of $ | + | generated by the coefficients of $\mathcal F$. Then there is a |
− | monomorphism $i\colon A'\to A$ satisfying $i( | + | monomorphism $i\colon A'\to A$ satisfying $i(\mathcal F)=\mathcal F$. On the |
other hand, by universality there exists a homomorphism $r\colon | other hand, by universality there exists a homomorphism $r\colon | ||
− | A\to A'$ satisfying $r( | + | A\to A'$ satisfying $r(\mathcal F)=\mathcal F$. It follows that $ir(\mathcal F)=\mathcal F$. |
This implies that $ir=\mathrm{id}\colon A\to A$ by the uniqueness | This implies that $ir=\mathrm{id}\colon A\to A$ by the uniqueness | ||
− | requirement in the definition of $ | + | requirement in the definition of $\mathcal F$. Thus $A'=A$. The second |
statement is proved similarly. $\square$ | statement is proved similarly. $\square$ | ||
{{beginthm|Theorem|(\cite{Lazard1955})}} | {{beginthm|Theorem|(\cite{Lazard1955})}} | ||
− | The universal formal group law $ | + | The universal formal group law $\mathcal F$ exists, and its coefficient |
ring $A$ is isomorphic to the polynomial ring $\mathbb Z[a_1,a_2,\ldots]$ | ring $A$ is isomorphic to the polynomial ring $\mathbb Z[a_1,a_2,\ldots]$ | ||
on an infinite number of generators. | on an infinite number of generators. | ||
Line 96: | Line 92: | ||
== Formal group law of geometric cobordisms == | == Formal group law of geometric cobordisms == | ||
<wikitex>; | <wikitex>; | ||
− | The applications of | + | The applications of formal group laws in [[Bordism|cobordism theory]] |
build upon the following basic example. | build upon the following basic example. | ||
Line 107: | Line 103: | ||
The following relation holds in $U^2(X)$: | The following relation holds in $U^2(X)$: | ||
$$ | $$ | ||
− | u+_{\!{}_H}\!v= | + | u+_{\!{}_H}\!v=F_U(u,v)=u+v+\sum_{k\ge1,\,l\ge1}\alpha_{kl}\,u^kv^l, |
$$ | $$ | ||
where the coefficients $\alpha_{kl}\in\varOmega_U^{-2(k+l-1)}$ do | where the coefficients $\alpha_{kl}\in\varOmega_U^{-2(k+l-1)}$ do | ||
− | not depend on $X$. The series $ | + | not depend on $X$. The series $F_U(u,v)$ is a formal group law over the [[Complex bordism|complex bordism]] |
− | ring $\varOmega_U | + | ring $\varOmega_U$. |
{{endthm}} | {{endthm}} | ||
− | + | {{beginproof}} | |
+ | [[Media:proof-fglgc31.pdf|Click here - opens a separate pdf file]]. | ||
+ | {{endproof}} | ||
<!-- | <!-- | ||
<i>Proof.</i> | <i>Proof.</i> | ||
Line 122: | Line 120: | ||
$$ | $$ | ||
where $\underline u,\underline v$ are canonical geometric | where $\underline u,\underline v$ are canonical geometric | ||
− | cobordisms given by the projections of $\mathbb C P^\infty\times\mathbb C | + | cobordisms given by the projections of the space $\mathbb C P^\infty\times\mathbb C |
P^\infty$ onto its factors. We therefore have the following | P^\infty$ onto its factors. We therefore have the following | ||
− | relation in $U^2(\mathbb C P^\infty\times\mathbb C P^\infty)$: | + | relation in the group $U^2(\mathbb C P^\infty\times\mathbb C P^\infty)$: |
$$ | $$ | ||
\underline u+_{\!{}_H}\!\underline v= | \underline u+_{\!{}_H}\!\underline v= | ||
Line 138: | Line 136: | ||
P^\infty\times\mathbb C P^\infty$. Applying the $\varOmega^*_U$-module | P^\infty\times\mathbb C P^\infty$. Applying the $\varOmega^*_U$-module | ||
map $(f_u\times f_v)^*$ to the universal formula for $\underline u+_{\!{}_H}\!\underline v$ above gives | map $(f_u\times f_v)^*$ to the universal formula for $\underline u+_{\!{}_H}\!\underline v$ above gives | ||
− | the required expression. The fact that $ | + | the required expression. The fact that $F_U(u,v)$ is a formal |
group law follows directly from the properties of the group | group law follows directly from the properties of the group | ||
multiplication $\mathbb C P^\infty\times\mathbb C P^\infty\to \mathbb C P^\infty$. $\square$ | multiplication $\mathbb C P^\infty\times\mathbb C P^\infty\to \mathbb C P^\infty$. $\square$ | ||
--> | --> | ||
− | The series $ | + | The series $F_U(u,v)$ is called the <i>formal group law of |
− | geometric cobordisms</i>. | + | geometric cobordisms</i>; nowadays it is also usually referred to as the <i>"formal group law of complex cobordism"</i>. |
The geometric cobordism $u\in U^2(X)$ is the | The geometric cobordism $u\in U^2(X)$ is the | ||
− | first <i> | + | first <i>Conner-Floyd Chern class</i> of the complex line bundle |
$\xi$ over $X$ obtained by pulling back the canonical bundle along | $\xi$ over $X$ obtained by pulling back the canonical bundle along | ||
the map $f_u\colon X\to\mathbb C P^\infty$. It follows that the formal | the map $f_u\colon X\to\mathbb C P^\infty$. It follows that the formal | ||
Line 155: | Line 153: | ||
$u=c_1^U(\xi)$ and $v=c_1^U(\eta)$ of the factors: | $u=c_1^U(\xi)$ and $v=c_1^U(\eta)$ of the factors: | ||
$$ | $$ | ||
− | c_1^U(\xi\otimes\eta)= | + | c_1^U(\xi\otimes\eta)=F_U(u,v). |
$$ | $$ | ||
− | The | + | The coefficients of the formal group law of geometric cobordisms |
− | coefficients of the formal group law of geometric cobordisms. | + | and its logarithm may be described geometrically by the following results. |
{{beginthm|Theorem|(\cite{Buchstaber1970})}} | {{beginthm|Theorem|(\cite{Buchstaber1970})}} | ||
$$ | $$ | ||
− | + | F_U(u,v)=\frac{\sum_{i,j\ge0}[H_{ij}]u^iv^j} | |
{\bigl(\sum_{r\ge0}[\mathbb C P^r]u^r\bigr)\bigl(\sum_{s\ge0}[\mathbb C | {\bigl(\sum_{r\ge0}[\mathbb C P^r]u^r\bigr)\bigl(\sum_{s\ge0}[\mathbb C | ||
P^s]v^s\bigr)}, | P^s]v^s\bigr)}, | ||
Line 169: | Line 167: | ||
where $H_{ij}$ ($0\le i\le j$) are [[Complex bordism#Multiplicative generators|Milnor hypersurfaces]] and $H_{ji}=H_{ij}$. | where $H_{ij}$ ($0\le i\le j$) are [[Complex bordism#Multiplicative generators|Milnor hypersurfaces]] and $H_{ji}=H_{ij}$. | ||
{{endthm}} | {{endthm}} | ||
− | + | {{beginproof}} | |
+ | [[Media:proof-fglgc32.pdf|Click here - opens a separate pdf file]]. | ||
+ | {{endproof}} | ||
{{beginthm|Theorem|(Mishchenko, see \cite{Novikov1967})}} | {{beginthm|Theorem|(Mishchenko, see \cite{Novikov1967})}} | ||
Line 175: | Line 175: | ||
given by the series | given by the series | ||
$$ | $$ | ||
− | + | g_U(u)=u+\sum_{k\ge1}\frac{[\mathbb C P^k]}{k+1}u^{k+1} | |
\in\varOmega_U\otimes\mathbb Q[[u]]. | \in\varOmega_U\otimes\mathbb Q[[u]]. | ||
$$ | $$ | ||
{{endthm}} | {{endthm}} | ||
− | + | {{beginproof}} | |
+ | [[Media:proof-fglgc33.pdf|Click here - opens a separate pdf file]]. | ||
+ | {{endproof}} | ||
+ | |||
+ | Using these calculations the following most important property of the formal group law $F_U$ can be easily established: | ||
{{beginthm|Theorem|(\cite{Quillen1969})}} | {{beginthm|Theorem|(\cite{Quillen1969})}} | ||
− | The formal group law $ | + | The formal group law $F_U$ of geometric cobordisms is universal. |
− | + | ||
{{endthm}} | {{endthm}} | ||
− | + | {{beginproof}} | |
+ | [[Media:proof-fglgc34.pdf|Click here - opens a separate pdf file]]. | ||
+ | {{endproof}} | ||
− | The earliest applications of | + | The earliest applications of formal group laws in cobordism concerned finite group actions on manifolds, or "differentiable periodic maps", see \cite{Novikov1967}, \cite{Buchstaber&Novikov1971}, \cite{Buchstaber&Mishchenko&Novikov1971}. For instance, a theorem of \cite{Novikov1967} describes the complex cobordism ring of the [[Wikipedia:Classifying_space|classifying space]] of the group $\mathbb Z/p$ as |
$$ | $$ | ||
U^*(B\mathbb Z/p)\cong\varOmega_U[[u]]/[u]_p, | U^*(B\mathbb Z/p)\cong\varOmega_U[[u]]/[u]_p, | ||
$$ | $$ | ||
− | where $\varOmega_U[[u]]$ denotes the ring of power series in one generator $u$ of degree 2 with coefficients in $\ | + | where $\varOmega_U[[u]]$ denotes the ring of power series in one generator $u$ of degree 2 with coefficients in $\varOmega_U$, and $[u]_p$ denotes the $p$th power in the formal group law of geometric cobordisms. This result extended and unified many earlier calculations of bordism with $\mathbb Z/p$-actions from \cite{Conner&Floyd1964}. |
− | The universality of the formal group law of geometric | + | The universality of the formal group law of geometric cobordisms has important consequences for the [[Wikipedia:Stable_homotopy_theory|stable homotopy theory]]: it implies that [[Complex bordism|complex bordism]] is the universal complex oriented [[Wikipedia:Homology_theory|cohomology theory]]. |
</wikitex> | </wikitex> | ||
== Hirzebruch genera == | == Hirzebruch genera == | ||
+ | <wikitex>; | ||
+ | Every homomorphism $\varphi\colon\varOmega_U\to R$ from the | ||
+ | complex cobordism ring to a commutative ring $R$ with unit can be | ||
+ | regarded as a multiplicative characteristic of manifolds which is | ||
+ | an invariant of cobordism classes. Such a homomorphism is called | ||
+ | a (complex) <i>$R$-genus</i>. (The term <i>"multiplicative genus"</i> is also used, to emphasise that such a genus is a | ||
+ | ring homomorphism; in classical algebraic geometry, there are instances of genera which are not | ||
+ | multiplicative.) | ||
+ | |||
+ | Assume that the ring $R$ does not have additive torsion. Then | ||
+ | every $R$-genus $\varphi$ is fully determined by the corresponding | ||
+ | homomorphism $\varOmega_U\otimes\mathbb Q\to R\otimes\mathbb Q$, which we shall | ||
+ | also denote by $\varphi$. The following famous construction of \cite{Hirzebruch1966} allows us to describe homomorphisms | ||
+ | $\varphi\colon\varOmega_U\otimes\mathbb Q\to R\otimes\mathbb Q$ by means of | ||
+ | universal $R$-valued characteristic classes of special type. | ||
+ | </wikitex> | ||
+ | |||
+ | === Construction === | ||
+ | <wikitex>; | ||
+ | Let $BU=\lim\limits_{n\to\infty}BU(n)$. Then $H^*(BU)$ is | ||
+ | isomorphic to the graded ring of formal power series | ||
+ | $\mathbb Z[[c_1,c_2,\ldots]]$ in universal [[Wikipedia:Chern class|Chern classes]], $\deg c_k=2k$. | ||
+ | The set of Chern characteristic numbers of a manifold $M$ defines | ||
+ | an element in $\Hom(H^*(BU),\mathbb Z)$, which in fact belongs to the | ||
+ | subgroup $H_*(BU)$ in the latter group. We therefore obtain a | ||
+ | group homomorphism | ||
+ | $$ | ||
+ | \varOmega_U\to H_*(BU). | ||
+ | $$ | ||
+ | Since the multiplication in the ring $H_*(BU)$ is obtained from | ||
+ | the maps $BU_k\times BU_l\to BU_{k+l}$ corresponding to the | ||
+ | [[Wikipedia:Vector_bundle#Operations_on_vector_bundles|Whitney sum]] of vector bundles, and the Chern classes have the | ||
+ | appropriate multiplicative property, $\varOmega_U\to H_*(BU)$ is a | ||
+ | ring homomorphism. | ||
+ | |||
+ | Part 2 of the [[Complex bordism#Structure results|structure theorem for complex bordism]] says that | ||
+ | $\varOmega_U\to H_*(BU)$ is a monomorphism, and Part 1 of the same theorem says that the corresponding $\mathbb Q$-map | ||
+ | $\varOmega_U\otimes\mathbb Q\to H_*(BU;\mathbb Q)$ is an isomorphism. It follows | ||
+ | that every homomorphism $\varphi\colon\varOmega_U\otimes\mathbb Q\to | ||
+ | R\otimes\mathbb Q$ can be interpreted as an element of | ||
+ | $$ | ||
+ | \Hom\nolimits_{\mathbb Q}(H_*(BU;\mathbb Q),R\otimes\mathbb Q)=H^*(BU;\mathbb Q)\otimes R, | ||
+ | $$ | ||
+ | or as a sequence of homogeneous polynomials | ||
+ | $\{K_i(c_1,\ldots,c_i),\;i\ge0\}$, $\deg K_i=2i$. This sequence of | ||
+ | polynomials cannot be chosen arbitrarily; the fact that $\varphi$ | ||
+ | is a ring homomorphism imposes certain conditions. These | ||
+ | conditions may be described as follows: an identity | ||
+ | $$ | ||
+ | 1+c_1+c_2+\cdots=(1+c'_1+c'_2+\cdots)\cdot(1+c''_1+c''_2+\cdots) | ||
+ | $$ | ||
+ | implies the identity | ||
+ | $$ | ||
+ | \sum_{n\ge0}K_n(c_1,\ldots,c_n)= | ||
+ | \sum_{i\ge0}K_i(c'_1,\ldots,c'_i)\cdot | ||
+ | \sum_{j\ge0}K_j(c''_1,\ldots,c''_j). | ||
+ | $$ | ||
+ | A sequence of homogeneous polynomials | ||
+ | $\mathcal K=\{K_i(c_1,\ldots,c_i),i\ge0\}$ with $K_0=1$ satisfying these | ||
+ | identities is called a <i>multiplicative Hirzebruch sequence</i>. | ||
+ | |||
+ | {{beginthm|Proposition}} | ||
+ | A multiplicative sequence $\mathcal K$ is completely determined by the series | ||
+ | $$ | ||
+ | Q(x)=1+q_1x+q_2x^2+\cdots\in R\otimes\Qq[[x]], | ||
+ | $$ | ||
+ | where $x=c_1$, and $q_i=K_i(1,0,\ldots,0)$; moreover, every series $Q(x)$ as above determines a multiplicative sequence. | ||
+ | {{endthm}} | ||
+ | {{beginproof}} | ||
+ | Indeed, by considering the identity | ||
+ | $$ | ||
+ | 1+c_1+\cdots+c_n=(1+x_1)\cdots(1+x_n) | ||
+ | $$ | ||
+ | we obtain that | ||
+ | $$ | ||
+ | Q(x_1)\cdots Q(x_n)=1+K_1(c_1)+K_2(c_1,c_2)+\cdots+ | ||
+ | K_n(c_1,\ldots,c_n)+K_{n+1}(c_1,\ldots,c_n,0)+\cdots. | ||
+ | $$ | ||
+ | {{endproof}} | ||
+ | |||
+ | Along with the series $Q(x)$ it is convenient to consider the | ||
+ | series $f(x)\in R\otimes\mathbb Q[[x]]$ with leading term $x$ given by | ||
+ | the identity | ||
+ | $$ | ||
+ | Q(x)=\frac x{f(x)}. | ||
+ | $$ | ||
+ | It follows that ring homomorphisms | ||
+ | $\varphi\colon\varOmega_U\otimes\mathbb Q\to R\otimes\mathbb Q$ are in | ||
+ | one-to-one correspondence with series $f(x)\in R\otimes\mathbb Q[[x]]$ with leading term $x$. | ||
+ | Under this correspondence, the value of $\varphi$ on an | ||
+ | $2n$-dimensional bordism class $[M]\in\varOmega_U$ is given | ||
+ | by | ||
+ | $$ | ||
+ | \varphi[M]=\Bigl(\prod^n_{i=1}\frac{x_i}{f(x_i)}, | ||
+ | \langle M\rangle\Bigr) | ||
+ | $$ | ||
+ | where one needs to plug in the Chern classes $c_1,\ldots,c_n$ for the elementary symmetric functions | ||
+ | in $x_1,\ldots,x_n$ and then calculate the value of the resulting characteristic class on the fundamental class $\langle M\rangle\in H_{2n}(M)$. | ||
+ | |||
+ | The homomorphism $\varphi\colon\varOmega_U\to R\otimes\mathbb Q$ given by | ||
+ | the formula above is called the <i>Hirzebruch genus</i> | ||
+ | associated to the series $f(x)=x+\cdots\in | ||
+ | R\otimes\mathbb Q[[x]]$. Thus, there is a one-two-one correspondence | ||
+ | between series $f(x)\in R\otimes\mathbb Q[[x]]$ having leading term $x$ and | ||
+ | genera $\varphi\colon\varOmega_U\to R\otimes\mathbb Q$. | ||
+ | |||
+ | We shall also denote the | ||
+ | characteristic class $\prod^n_{i=1}\frac{x_i}{f(x_i)}$ of a | ||
+ | complex vector bundle $\xi$ by $\varphi(\xi)$; so that | ||
+ | $\varphi[M]=\varphi({\mathcal T}\!M)\langle M\rangle$. | ||
+ | </wikitex> | ||
+ | |||
+ | === Connection to formal group laws === | ||
+ | <wikitex>; | ||
+ | Every genus $\varphi\colon\varOmega_U\to R$ gives rise to a formal | ||
+ | group law $\varphi(F_U)$ over $R$, where $F_U$ is | ||
+ | the [[Formal group laws and genera#Formal group law of geometric cobordisms|formal group law of geometric cobordisms]]. | ||
+ | |||
+ | {{beginthm|Theorem}} | ||
+ | For every genus $\varphi\colon\varOmega_U\to R\otimes\mathbb Q$, the | ||
+ | exponential of the formal group law $\varphi(F_U)$ is given | ||
+ | by the series $f(x)\in R\otimes\mathbb Q[[x]]$ corresponding to $\varphi$. | ||
+ | {{endthm}} | ||
+ | |||
+ | {{beginproof}} | ||
+ | [[Media:proof-hirzgen421.pdf|Click here - opens a separate pdf file]]. | ||
+ | {{endproof}} | ||
+ | |||
+ | A parallel theory of genera exists for oriented manifolds. These | ||
+ | genera are homomorphisms $\varOmega_{SO}\to R$ from the [[Oriented bordism|oriented | ||
+ | bordism ring]], and the Hirzebruch construction expresses genera | ||
+ | over $\mathbb Q$-algebras via certain [[Wikipedia:Pontryagin class|Pontrjagin characteristic classes]] | ||
+ | (which replace the [[Wikipedia:Chern class|Chern classes]]). | ||
+ | </wikitex> | ||
+ | |||
+ | === Examples === | ||
+ | <wikitex>; | ||
+ | We take $\,R=\mathbb Z$ in these examples: | ||
+ | # The top Chern number $\,c_n(\xi)[M]$ is a Hirzebruch genus, and its corresponding $f$-series is $f(x)=\frac x{1+x}$. The value of this genus on a [[Complex bordism#Stably complex structures|stably complex manifold]] $(M,c_{\mathcal T})$ equals the Euler characteristic of $M$ if $c_{\mathcal T}$ is an <i>almost</i> complex structure. | ||
+ | # The <i>$L$-genus</i> $\,L[M]$ corresponds to the series $\,f(x)=\mathop{\mathrm{tanh}}(x)$ (the hyperbolic tangent). It is equal to the [[Wikipedia:Signature_(topology)|signature]] of $M$ by the classical Hirzebruch formula \cite{Hirzebruch1966}. | ||
+ | # The <i>Todd genus</i> $\mathop{\mathrm{td}}[M]$ corresponds to the series $f(x)=1-e^{-x}$. It takes value 1 on every complex projective space $\,\mathbb C P^k$. | ||
+ | |||
+ | The "trivial" genus | ||
+ | $\varepsilon\colon\varOmega_U\to\mathbb Z$ corresponding to the series | ||
+ | $f(x)=x$ gives rise to the <i>augmentation transformation</i> | ||
+ | $\,U^*\to H^*$ from complex cobordism to ordinary cohomology (also known as the <i>Thom homomorphism</i>). | ||
+ | More generally, for every genus $\varphi\colon\varOmega_U\to R$ and a space $X$ we | ||
+ | may set $h^*_\varphi(X)=U^*(X)\otimes_{\varOmega_U}R$. Under | ||
+ | certain conditions guaranteeing the exactness of the sequences of | ||
+ | pairs (known as the <i>Landweber exact functor theorem</i> \cite{Landweber1976}) | ||
+ | the functor $h^*_\varphi(\cdot)$ gives rise to | ||
+ | a complex-oriented [[Wikipedia:Homology theory|cohomology theory]] with the coefficient ring | ||
+ | $R$. | ||
+ | |||
+ | As an example of this procedure, consider a formal indeterminate $\beta$ of degree -2, and let | ||
+ | $\,f(x)=1-e^{-\beta x}$. The corresponding genus, which is also | ||
+ | called the <i>Todd genus</i>, takes values in the ring $\mathbb Z[\beta]$. | ||
+ | By interpreting $\beta$ as the <i>Bott element</i> in the complex | ||
+ | [[Wikipedia:K-theory|<i>K</i>-group]] $\,\widetilde K^0(S^2)=K^{-2}(pt)$ we obtain a | ||
+ | homomorphism $\mathop{\mathrm{td}}\colon \varOmega^*_U\to K^*(pt)$. It gives rise | ||
+ | to a multiplicative transformation $\,U^*\to K^*$ from complex | ||
+ | cobordism to complex <i>K</i>-theory introduced by Conner and | ||
+ | Floyd \cite{Conner&Floyd1966}. In this paper Conner and Floyd proved that complex cobordism determines | ||
+ | complex <i>K</i>-theory by means of the isomorphism $K^*(X)\cong U^*(X)\otimes_{\varOmega_U}\mathbb Z[\beta]$, where the | ||
+ | $\varOmega_U$-module structure on $\mathbb Z[\beta]$ is given by the Todd genus. Their proof makes use of the Conner-Floyd Chern | ||
+ | classes; several proofs were given subsequently, including one which follows directly from the Landweber exact functor theorem. | ||
+ | |||
+ | Another important example from the original work of Hirzebruch is | ||
+ | given by the <i>$\chi_y$-genus</i>. It corresponds to the series | ||
+ | $$ | ||
+ | f(x)=\frac{1-e^{-x(1+y)}}{1+ye^{-x(1+y)}}, | ||
+ | $$ | ||
+ | where $y\in\mathbb R$ is a parameter. Setting $y=-1$, $y=0$ and $y=1$ | ||
+ | we get the top Chern number $c_n[M]$, the Todd genus $\mathop{\mathrm{td}}[M]$ and | ||
+ | the $L$-genus $L[M]=\mathop{\mathrm{sign}}(M)$ respectively. | ||
+ | |||
+ | If $M$ is a complex manifold then the value $\chi_y[M]$ can be | ||
+ | calculated in terms of the Euler characteristics of | ||
+ | [[Wikipedia:Dolbeault_cohomology|Dolbeault complexes]] on $M$. | ||
+ | </wikitex> | ||
== References == | == References == | ||
{{#RefList:}} | {{#RefList:}} | ||
− | |||
[[Category:Bordism]] | [[Category:Bordism]] | ||
− | [[Category: | + | [[Category:Theory]] |
− | + |
Latest revision as of 17:59, 8 May 2012
An earlier version of this page was published in the Bulletin of the Manifold Atlas: screen, print. You may view the version used for publication as of 09:29, 1 April 2011 and the changes since publication. |
Contents |
[edit] 1 Introduction
The theory of formal group laws, which originally appeared in algebraic geometry, was brought into bordism theory in the pioneering work [Novikov1967]. The applications of formal group laws in algebraic topology are closely connected with Hirzebruch genera [Hirzebruch1966], which are important invariants of bordism classes of manifolds.
[edit] 2 Elements of the theory of formal group laws
Let be a commutative ring with unit.
A formal power series is called a
(commutative one-dimensional) formal group law over
if
it satisfies the following equations:
-
,
;
-
;
-
.
The original example of a formal group law over a field is
provided by the expansion near the unit of the multiplication map
in a one-dimensional algebraic group over
.
This also explains the terminology.
A formal group law over
is called linearisable if
there exists a coordinate change
such that
![\displaystyle g_F(F(u,v))=g_F(u)+g_F(v).](/images/math/7/9/c/79c476308fa074091cdd70a3bbc6a0dc.png)
Note that every formal group law over determines a formal
group law over
.
Theorem 2.1.
Every formal group law is linearisable over
.
Proof. Consider the series . Then
![\displaystyle \omega(F(u,v))=\frac{\partial F(F(u,v),w)}{\partial w}\Bigl|_{w=0}=\frac{\partial F(F(u,w),v)}{\partial F(u,w)}\cdot\frac{\partial F(u,w)}{\partial w}\Bigl|_{w=0}=\frac{\partial F(u,v)}{\partial u}\omega(u).](/images/math/7/5/0/7501bdbad3dcddbac402d33108d8b625.png)
We therefore have
. Set
![\displaystyle g(u)=\int_0^u\frac{dv}{\omega(v)};](/images/math/b/b/d/bbd2161c870c820ada46478e53ec003c.png)
then . This implies that
.
Since
and
, we get
. Thus,
.
A series satisfying the equation
is called
a logarithm of the formal group law
; the above Theorem
shows that a formal group law over
always has a logarithm. Its functional inverse series
is called an exponential of
the formal group law, so that we have
over
. If
does not have torsion (i.e.
is monic), the latter formula shows that a formal group law (as a series with coefficients in
) is fully
determined by its logarithm (which is a series with coefficients in
).
Let be a formal group law over a ring
and
a ring homomorphism. Denote by
the formal series
; then
is a formal group law over
.
A formal group law over a ring
is universal if
for any formal group law
over any ring
there exists a
unique homomorphism
such that
.
Proposition 2.2.
Assume that a universal formal group law over
exists.
Then
- The ring
is multiplicatively generated by the coefficients of the series
;
- The universal formal group law is unique: if
is another universal formal group law over
, then there is an isomorphism
such that
.
Proof. To prove the first statement, denote by the subring in
generated by the coefficients of
. Then there is a
monomorphism
satisfying
. On the
other hand, by universality there exists a homomorphism
satisfying
. It follows that
.
This implies that
by the uniqueness
requirement in the definition of
. Thus
. The second
statement is proved similarly.
Theorem 2.3 ([Lazard1955]).
The universal formal group law exists, and its coefficient
ring
is isomorphic to the polynomial ring
on an infinite number of generators.
[edit] 3 Formal group law of geometric cobordisms
The applications of formal group laws in cobordism theory build upon the following basic example.
Let be a cell complex and
two geometric cobordisms
corresponding to elements
respectively. Denote by
the geometric cobordism corresponding to the
cohomology class
.
Proposition 3.1.
The following relation holds in :
![\displaystyle u+_{\!{}_H}\!v=F_U(u,v)=u+v+\sum_{k\ge1,\,l\ge1}\alpha_{kl}\,u^kv^l,](/images/math/a/4/e/a4eaa859e763440d4ad86e9c16c2068b.png)
where the coefficients do
not depend on
. The series
is a formal group law over the complex bordism
ring
.
The series is called the formal group law of
geometric cobordisms; nowadays it is also usually referred to as the "formal group law of complex cobordism".
The geometric cobordism is the
first Conner-Floyd Chern class of the complex line bundle
over
obtained by pulling back the canonical bundle along
the map
. It follows that the formal
group law of geometric cobordisms gives an expression of the first
class
of the tensor product of
two complex line bundles over
in terms of the classes
and
of the factors:
![\displaystyle c_1^U(\xi\otimes\eta)=F_U(u,v).](/images/math/c/3/d/c3d341dca4020e7befa190ed0b5a55aa.png)
The coefficients of the formal group law of geometric cobordisms and its logarithm may be described geometrically by the following results.
Theorem 3.3 (Mishchenko, see [Novikov1967]). The logarithm of the formal group law of geometric cobordisms is given by the series
![\displaystyle g_U(u)=u+\sum_{k\ge1}\frac{[\mathbb C P^k]}{k+1}u^{k+1} \in\varOmega_U\otimes\mathbb Q[[u]].](/images/math/d/1/8/d1888212ed721161cffa98401dafec84.png)
Using these calculations the following most important property of the formal group law can be easily established:
Theorem 3.4 ([Quillen1969]).
The formal group law of geometric cobordisms is universal.
The earliest applications of formal group laws in cobordism concerned finite group actions on manifolds, or "differentiable periodic maps", see [Novikov1967], [Buchstaber&Novikov1971], [Buchstaber&Mishchenko&Novikov1971]. For instance, a theorem of [Novikov1967] describes the complex cobordism ring of the classifying space of the group as
![\displaystyle U^*(B\mathbb Z/p)\cong\varOmega_U[[u]]/[u]_p,](/images/math/b/d/7/bd7da689ff14861c5d795b6b619a1156.png)
where denotes the ring of power series in one generator
of degree 2 with coefficients in
, and
denotes the
th power in the formal group law of geometric cobordisms. This result extended and unified many earlier calculations of bordism with
-actions from [Conner&Floyd1964].
The universality of the formal group law of geometric cobordisms has important consequences for the stable homotopy theory: it implies that complex bordism is the universal complex oriented cohomology theory.
[edit] 4 Hirzebruch genera
Every homomorphism from the
complex cobordism ring to a commutative ring
with unit can be
regarded as a multiplicative characteristic of manifolds which is
an invariant of cobordism classes. Such a homomorphism is called
a (complex)
-genus. (The term "multiplicative genus" is also used, to emphasise that such a genus is a
ring homomorphism; in classical algebraic geometry, there are instances of genera which are not
multiplicative.)
Assume that the ring does not have additive torsion. Then
every
-genus
is fully determined by the corresponding
homomorphism
, which we shall
also denote by
. The following famous construction of [Hirzebruch1966] allows us to describe homomorphisms
by means of
universal
-valued characteristic classes of special type.
[edit] 4.1 Construction
Let . Then
is
isomorphic to the graded ring of formal power series
in universal Chern classes,
.
The set of Chern characteristic numbers of a manifold
defines
an element in
, which in fact belongs to the
subgroup
in the latter group. We therefore obtain a
group homomorphism
![\displaystyle \varOmega_U\to H_*(BU).](/images/math/f/6/2/f624910c5bb97513b82195bff5d1eb54.png)
Since the multiplication in the ring is obtained from
the maps
corresponding to the
Whitney sum of vector bundles, and the Chern classes have the
appropriate multiplicative property,
is a
ring homomorphism.
Part 2 of the structure theorem for complex bordism says that
is a monomorphism, and Part 1 of the same theorem says that the corresponding
-map
is an isomorphism. It follows
that every homomorphism
can be interpreted as an element of
![\displaystyle \Hom\nolimits_{\mathbb Q}(H_*(BU;\mathbb Q),R\otimes\mathbb Q)=H^*(BU;\mathbb Q)\otimes R,](/images/math/7/6/0/760c10d1b87690dc010c4432f7116544.png)
or as a sequence of homogeneous polynomials
,
. This sequence of
polynomials cannot be chosen arbitrarily; the fact that
is a ring homomorphism imposes certain conditions. These
conditions may be described as follows: an identity
![\displaystyle 1+c_1+c_2+\cdots=(1+c'_1+c'_2+\cdots)\cdot(1+c''_1+c''_2+\cdots)](/images/math/c/8/5/c85ad5cef3074172ede0e5f32fa7a00b.png)
implies the identity
![\displaystyle \sum_{n\ge0}K_n(c_1,\ldots,c_n)= \sum_{i\ge0}K_i(c'_1,\ldots,c'_i)\cdot \sum_{j\ge0}K_j(c''_1,\ldots,c''_j).](/images/math/c/d/d/cdde65a37ce330d554c546403e8c5dd9.png)
A sequence of homogeneous polynomials
with
satisfying these
identities is called a multiplicative Hirzebruch sequence.
Proposition 4.1.
A multiplicative sequence is completely determined by the series
![\displaystyle Q(x)=1+q_1x+q_2x^2+\cdots\in R\otimes\Qq[[x]],](/images/math/0/c/7/0c7d1e2f99757bbb07ff37542beecf95.png)
where , and
; moreover, every series
as above determines a multiplicative sequence.
Proof. Indeed, by considering the identity
![\displaystyle 1+c_1+\cdots+c_n=(1+x_1)\cdots(1+x_n)](/images/math/9/3/7/9371e14cdac3792b191f9e9f168c6183.png)
we obtain that
![\displaystyle Q(x_1)\cdots Q(x_n)=1+K_1(c_1)+K_2(c_1,c_2)+\cdots+ K_n(c_1,\ldots,c_n)+K_{n+1}(c_1,\ldots,c_n,0)+\cdots.](/images/math/e/d/7/ed75a3fdbcf719b2e8ea4da4580f2f09.png)
![\square](/images/math/7/b/3/7b39786e26d837954085516609e12817.png)
Along with the series it is convenient to consider the
![f(x)\in R\otimes\mathbb Q[[x]]](/images/math/4/c/2/4c288a447d7068398ad73cece29a201d.png)
Tex syntax errorgiven by
the identity
![\displaystyle Q(x)=\frac x{f(x)}.](/images/math/5/2/f/52f70d8964076e72f88f1f14a6207950.png)
It follows that ring homomorphisms
are in
![f(x)\in R\otimes\mathbb Q[[x]]](/images/math/4/c/2/4c288a447d7068398ad73cece29a201d.png)
Tex syntax error.
Under this correspondence, the value of on an
-dimensional bordism class
is given
by
![\displaystyle \varphi[M]=\Bigl(\prod^n_{i=1}\frac{x_i}{f(x_i)}, \langle M\rangle\Bigr)](/images/math/2/3/4/234d2f4052f422a1b5dd5ed93933832a.png)
where one needs to plug in the Chern classes for the elementary symmetric functions
in
and then calculate the value of the resulting characteristic class on the fundamental class
.
The homomorphism given by
the formula above is called the Hirzebruch genus
associated to the series
. Thus, there is a one-two-one correspondence
![f(x)\in R\otimes\mathbb Q[[x]]](/images/math/4/c/2/4c288a447d7068398ad73cece29a201d.png)
Tex syntax errorand
genera .
We shall also denote the
characteristic class of a
complex vector bundle
by
; so that
.
[edit] 4.2 Connection to formal group laws
Every genus gives rise to a formal
group law
over
, where
is
the formal group law of geometric cobordisms.
Theorem 4.2.
For every genus , the
exponential of the formal group law
is given
by the series
corresponding to
.
A parallel theory of genera exists for oriented manifolds. These
genera are homomorphisms from the oriented
bordism ring, and the Hirzebruch construction expresses genera
over
-algebras via certain Pontrjagin characteristic classes
(which replace the Chern classes).
[edit] 4.3 Examples
We take in these examples:
- The top Chern number
is a Hirzebruch genus, and its corresponding
-series is
. The value of this genus on a stably complex manifold
equals the Euler characteristic of
if
is an almost complex structure.
- The
-genus
corresponds to the series
(the hyperbolic tangent). It is equal to the signature of
by the classical Hirzebruch formula [Hirzebruch1966].
- The Todd genus
corresponds to the series
. It takes value 1 on every complex projective space
.
The "trivial" genus
corresponding to the series
gives rise to the augmentation transformation
from complex cobordism to ordinary cohomology (also known as the Thom homomorphism).
More generally, for every genus
and a space
we
may set
. Under
certain conditions guaranteeing the exactness of the sequences of
pairs (known as the Landweber exact functor theorem [Landweber1976])
the functor
gives rise to
a complex-oriented cohomology theory with the coefficient ring
.
As an example of this procedure, consider a formal indeterminate of degree -2, and let
. The corresponding genus, which is also
called the Todd genus, takes values in the ring
.
By interpreting
as the Bott element in the complex
K-group
we obtain a
homomorphism
. It gives rise
to a multiplicative transformation
from complex
cobordism to complex K-theory introduced by Conner and
Floyd [Conner&Floyd1966]. In this paper Conner and Floyd proved that complex cobordism determines
complex K-theory by means of the isomorphism
, where the
-module structure on
is given by the Todd genus. Their proof makes use of the Conner-Floyd Chern
classes; several proofs were given subsequently, including one which follows directly from the Landweber exact functor theorem.
Another important example from the original work of Hirzebruch is
given by the -genus. It corresponds to the series
![\displaystyle f(x)=\frac{1-e^{-x(1+y)}}{1+ye^{-x(1+y)}},](/images/math/8/c/5/8c542759fc2a7659f6ae828a779ef65e.png)
where is a parameter. Setting
,
and
we get the top Chern number
, the Todd genus
and
the
-genus
respectively.
If is a complex manifold then the value
can be
calculated in terms of the Euler characteristics of
Dolbeault complexes on
.
[edit] 5 References
- [Buchstaber&Mishchenko&Novikov1971] V. M. Buhštaber, A. S. Mišcenko and S. P. Novikov, Formal groups and their role in the apparatus of algebraic topology, Uspehi Mat. Nauk 26 (1971), no.2(158), 131–154. MR0445522 (56 #3862) Zbl 0226.55007
- [Buchstaber&Novikov1971] V. M. Buhštaber and S. P. Novikov, Formal groups, power systems and Adams operators, Mat. Sb. (N.S.) 84(126) (1971), 81–118. MR0291159 (45 #253) Zbl 0239.55005
- [Buchstaber1970] V. M. Buhštaber, The Chern-Dold character in cobordisms. I, Mat. Sb. (N.S.) 83 (125) (1970), 575–595. MR0273630 (42 #8507) Zbl 0219.57027
- [Conner&Floyd1964] P. E. Conner and E. E. Floyd, Differentiable periodic maps, Academic Press Inc., Publishers, New York, 1964. MR0176478 (31 #750) Zbl 0417.57019
- [Conner&Floyd1966] P. E. Conner and E. E. Floyd, The relation of cobordism to
-theories, Springer-Verlag, Berlin, 1966. MR0216511 (35 #7344) Zbl 0161.42802
- [Hirzebruch1966] F. Hirzebruch, Topological methods in algebraic geometry, Springer-Verlag, New York, 1966. MR0202713 (34 #2573) Zbl 0843.14009
- [Landweber1976] P. S. Landweber, Homological properties of comodules over
and
, Amer. J. Math. 98 (1976), no.3, 591–610. MR0423332 (54 #11311) Zbl 0355.55007
- [Lazard1955] M. Lazard, Sur les groupes de Lie formels à un paramètre, Bull. Soc. Math. France 83 (1955), 251–274. MR0073925 (17,508e) Zbl 0068.25703
- [Novikov1967] S. P. Novikov, Methods of algebraic topology from the point of view of cobordism theory, Math. USSR, Izv. 1, (1967) 827–913. MR0221509 (36 #4561) Zbl 0176.52401
- [Quillen1969] D. Quillen, On the formal group laws of unoriented and complex cobordism theory, Bull. Amer. Math. Soc. 75 (1969), 1293–1298. MR0253350 (40 #6565) Zbl 0199.26705
A formal power series is called a
(commutative one-dimensional) formal group law over
if
it satisfies the following equations:
-
,
;
-
;
-
.
The original example of a formal group law over a field is
provided by the expansion near the unit of the multiplication map
in a one-dimensional algebraic group over
.
This also explains the terminology.
A formal group law over
is called linearisable if
there exists a coordinate change
such that
![\displaystyle g_F(F(u,v))=g_F(u)+g_F(v).](/images/math/7/9/c/79c476308fa074091cdd70a3bbc6a0dc.png)
Note that every formal group law over determines a formal
group law over
.
Theorem 2.1.
Every formal group law is linearisable over
.
Proof. Consider the series . Then
![\displaystyle \omega(F(u,v))=\frac{\partial F(F(u,v),w)}{\partial w}\Bigl|_{w=0}=\frac{\partial F(F(u,w),v)}{\partial F(u,w)}\cdot\frac{\partial F(u,w)}{\partial w}\Bigl|_{w=0}=\frac{\partial F(u,v)}{\partial u}\omega(u).](/images/math/7/5/0/7501bdbad3dcddbac402d33108d8b625.png)
We therefore have
. Set
![\displaystyle g(u)=\int_0^u\frac{dv}{\omega(v)};](/images/math/b/b/d/bbd2161c870c820ada46478e53ec003c.png)
then . This implies that
.
Since
and
, we get
. Thus,
.
A series satisfying the equation
is called
a logarithm of the formal group law
; the above Theorem
shows that a formal group law over
always has a logarithm. Its functional inverse series
is called an exponential of
the formal group law, so that we have
over
. If
does not have torsion (i.e.
is monic), the latter formula shows that a formal group law (as a series with coefficients in
) is fully
determined by its logarithm (which is a series with coefficients in
).
Let be a formal group law over a ring
and
a ring homomorphism. Denote by
the formal series
; then
is a formal group law over
.
A formal group law over a ring
is universal if
for any formal group law
over any ring
there exists a
unique homomorphism
such that
.
Proposition 2.2.
Assume that a universal formal group law over
exists.
Then
- The ring
is multiplicatively generated by the coefficients of the series
;
- The universal formal group law is unique: if
is another universal formal group law over
, then there is an isomorphism
such that
.
Proof. To prove the first statement, denote by the subring in
generated by the coefficients of
. Then there is a
monomorphism
satisfying
. On the
other hand, by universality there exists a homomorphism
satisfying
. It follows that
.
This implies that
by the uniqueness
requirement in the definition of
. Thus
. The second
statement is proved similarly.
Theorem 2.3 ([Lazard1955]).
The universal formal group law exists, and its coefficient
ring
is isomorphic to the polynomial ring
on an infinite number of generators.
[edit] 3 Formal group law of geometric cobordisms
The applications of formal group laws in cobordism theory build upon the following basic example.
Let be a cell complex and
two geometric cobordisms
corresponding to elements
respectively. Denote by
the geometric cobordism corresponding to the
cohomology class
.
Proposition 3.1.
The following relation holds in :
![\displaystyle u+_{\!{}_H}\!v=F_U(u,v)=u+v+\sum_{k\ge1,\,l\ge1}\alpha_{kl}\,u^kv^l,](/images/math/a/4/e/a4eaa859e763440d4ad86e9c16c2068b.png)
where the coefficients do
not depend on
. The series
is a formal group law over the complex bordism
ring
.
The series is called the formal group law of
geometric cobordisms; nowadays it is also usually referred to as the "formal group law of complex cobordism".
The geometric cobordism is the
first Conner-Floyd Chern class of the complex line bundle
over
obtained by pulling back the canonical bundle along
the map
. It follows that the formal
group law of geometric cobordisms gives an expression of the first
class
of the tensor product of
two complex line bundles over
in terms of the classes
and
of the factors:
![\displaystyle c_1^U(\xi\otimes\eta)=F_U(u,v).](/images/math/c/3/d/c3d341dca4020e7befa190ed0b5a55aa.png)
The coefficients of the formal group law of geometric cobordisms and its logarithm may be described geometrically by the following results.
Theorem 3.3 (Mishchenko, see [Novikov1967]). The logarithm of the formal group law of geometric cobordisms is given by the series
![\displaystyle g_U(u)=u+\sum_{k\ge1}\frac{[\mathbb C P^k]}{k+1}u^{k+1} \in\varOmega_U\otimes\mathbb Q[[u]].](/images/math/d/1/8/d1888212ed721161cffa98401dafec84.png)
Using these calculations the following most important property of the formal group law can be easily established:
Theorem 3.4 ([Quillen1969]).
The formal group law of geometric cobordisms is universal.
The earliest applications of formal group laws in cobordism concerned finite group actions on manifolds, or "differentiable periodic maps", see [Novikov1967], [Buchstaber&Novikov1971], [Buchstaber&Mishchenko&Novikov1971]. For instance, a theorem of [Novikov1967] describes the complex cobordism ring of the classifying space of the group as
![\displaystyle U^*(B\mathbb Z/p)\cong\varOmega_U[[u]]/[u]_p,](/images/math/b/d/7/bd7da689ff14861c5d795b6b619a1156.png)
where denotes the ring of power series in one generator
of degree 2 with coefficients in
, and
denotes the
th power in the formal group law of geometric cobordisms. This result extended and unified many earlier calculations of bordism with
-actions from [Conner&Floyd1964].
The universality of the formal group law of geometric cobordisms has important consequences for the stable homotopy theory: it implies that complex bordism is the universal complex oriented cohomology theory.
[edit] 4 Hirzebruch genera
Every homomorphism from the
complex cobordism ring to a commutative ring
with unit can be
regarded as a multiplicative characteristic of manifolds which is
an invariant of cobordism classes. Such a homomorphism is called
a (complex)
-genus. (The term "multiplicative genus" is also used, to emphasise that such a genus is a
ring homomorphism; in classical algebraic geometry, there are instances of genera which are not
multiplicative.)
Assume that the ring does not have additive torsion. Then
every
-genus
is fully determined by the corresponding
homomorphism
, which we shall
also denote by
. The following famous construction of [Hirzebruch1966] allows us to describe homomorphisms
by means of
universal
-valued characteristic classes of special type.
[edit] 4.1 Construction
Let . Then
is
isomorphic to the graded ring of formal power series
in universal Chern classes,
.
The set of Chern characteristic numbers of a manifold
defines
an element in
, which in fact belongs to the
subgroup
in the latter group. We therefore obtain a
group homomorphism
![\displaystyle \varOmega_U\to H_*(BU).](/images/math/f/6/2/f624910c5bb97513b82195bff5d1eb54.png)
Since the multiplication in the ring is obtained from
the maps
corresponding to the
Whitney sum of vector bundles, and the Chern classes have the
appropriate multiplicative property,
is a
ring homomorphism.
Part 2 of the structure theorem for complex bordism says that
is a monomorphism, and Part 1 of the same theorem says that the corresponding
-map
is an isomorphism. It follows
that every homomorphism
can be interpreted as an element of
![\displaystyle \Hom\nolimits_{\mathbb Q}(H_*(BU;\mathbb Q),R\otimes\mathbb Q)=H^*(BU;\mathbb Q)\otimes R,](/images/math/7/6/0/760c10d1b87690dc010c4432f7116544.png)
or as a sequence of homogeneous polynomials
,
. This sequence of
polynomials cannot be chosen arbitrarily; the fact that
is a ring homomorphism imposes certain conditions. These
conditions may be described as follows: an identity
![\displaystyle 1+c_1+c_2+\cdots=(1+c'_1+c'_2+\cdots)\cdot(1+c''_1+c''_2+\cdots)](/images/math/c/8/5/c85ad5cef3074172ede0e5f32fa7a00b.png)
implies the identity
![\displaystyle \sum_{n\ge0}K_n(c_1,\ldots,c_n)= \sum_{i\ge0}K_i(c'_1,\ldots,c'_i)\cdot \sum_{j\ge0}K_j(c''_1,\ldots,c''_j).](/images/math/c/d/d/cdde65a37ce330d554c546403e8c5dd9.png)
A sequence of homogeneous polynomials
with
satisfying these
identities is called a multiplicative Hirzebruch sequence.
Proposition 4.1.
A multiplicative sequence is completely determined by the series
![\displaystyle Q(x)=1+q_1x+q_2x^2+\cdots\in R\otimes\Qq[[x]],](/images/math/0/c/7/0c7d1e2f99757bbb07ff37542beecf95.png)
where , and
; moreover, every series
as above determines a multiplicative sequence.
Proof. Indeed, by considering the identity
![\displaystyle 1+c_1+\cdots+c_n=(1+x_1)\cdots(1+x_n)](/images/math/9/3/7/9371e14cdac3792b191f9e9f168c6183.png)
we obtain that
![\displaystyle Q(x_1)\cdots Q(x_n)=1+K_1(c_1)+K_2(c_1,c_2)+\cdots+ K_n(c_1,\ldots,c_n)+K_{n+1}(c_1,\ldots,c_n,0)+\cdots.](/images/math/e/d/7/ed75a3fdbcf719b2e8ea4da4580f2f09.png)
![\square](/images/math/7/b/3/7b39786e26d837954085516609e12817.png)
Along with the series it is convenient to consider the
![f(x)\in R\otimes\mathbb Q[[x]]](/images/math/4/c/2/4c288a447d7068398ad73cece29a201d.png)
Tex syntax errorgiven by
the identity
![\displaystyle Q(x)=\frac x{f(x)}.](/images/math/5/2/f/52f70d8964076e72f88f1f14a6207950.png)
It follows that ring homomorphisms
are in
![f(x)\in R\otimes\mathbb Q[[x]]](/images/math/4/c/2/4c288a447d7068398ad73cece29a201d.png)
Tex syntax error.
Under this correspondence, the value of on an
-dimensional bordism class
is given
by
![\displaystyle \varphi[M]=\Bigl(\prod^n_{i=1}\frac{x_i}{f(x_i)}, \langle M\rangle\Bigr)](/images/math/2/3/4/234d2f4052f422a1b5dd5ed93933832a.png)
where one needs to plug in the Chern classes for the elementary symmetric functions
in
and then calculate the value of the resulting characteristic class on the fundamental class
.
The homomorphism given by
the formula above is called the Hirzebruch genus
associated to the series
. Thus, there is a one-two-one correspondence
![f(x)\in R\otimes\mathbb Q[[x]]](/images/math/4/c/2/4c288a447d7068398ad73cece29a201d.png)
Tex syntax errorand
genera .
We shall also denote the
characteristic class of a
complex vector bundle
by
; so that
.
[edit] 4.2 Connection to formal group laws
Every genus gives rise to a formal
group law
over
, where
is
the formal group law of geometric cobordisms.
Theorem 4.2.
For every genus , the
exponential of the formal group law
is given
by the series
corresponding to
.
A parallel theory of genera exists for oriented manifolds. These
genera are homomorphisms from the oriented
bordism ring, and the Hirzebruch construction expresses genera
over
-algebras via certain Pontrjagin characteristic classes
(which replace the Chern classes).
[edit] 4.3 Examples
We take in these examples:
- The top Chern number
is a Hirzebruch genus, and its corresponding
-series is
. The value of this genus on a stably complex manifold
equals the Euler characteristic of
if
is an almost complex structure.
- The
-genus
corresponds to the series
(the hyperbolic tangent). It is equal to the signature of
by the classical Hirzebruch formula [Hirzebruch1966].
- The Todd genus
corresponds to the series
. It takes value 1 on every complex projective space
.
The "trivial" genus
corresponding to the series
gives rise to the augmentation transformation
from complex cobordism to ordinary cohomology (also known as the Thom homomorphism).
More generally, for every genus
and a space
we
may set
. Under
certain conditions guaranteeing the exactness of the sequences of
pairs (known as the Landweber exact functor theorem [Landweber1976])
the functor
gives rise to
a complex-oriented cohomology theory with the coefficient ring
.
As an example of this procedure, consider a formal indeterminate of degree -2, and let
. The corresponding genus, which is also
called the Todd genus, takes values in the ring
.
By interpreting
as the Bott element in the complex
K-group
we obtain a
homomorphism
. It gives rise
to a multiplicative transformation
from complex
cobordism to complex K-theory introduced by Conner and
Floyd [Conner&Floyd1966]. In this paper Conner and Floyd proved that complex cobordism determines
complex K-theory by means of the isomorphism
, where the
-module structure on
is given by the Todd genus. Their proof makes use of the Conner-Floyd Chern
classes; several proofs were given subsequently, including one which follows directly from the Landweber exact functor theorem.
Another important example from the original work of Hirzebruch is
given by the -genus. It corresponds to the series
![\displaystyle f(x)=\frac{1-e^{-x(1+y)}}{1+ye^{-x(1+y)}},](/images/math/8/c/5/8c542759fc2a7659f6ae828a779ef65e.png)
where is a parameter. Setting
,
and
we get the top Chern number
, the Todd genus
and
the
-genus
respectively.
If is a complex manifold then the value
can be
calculated in terms of the Euler characteristics of
Dolbeault complexes on
.
[edit] 5 References
- [Buchstaber&Mishchenko&Novikov1971] V. M. Buhštaber, A. S. Mišcenko and S. P. Novikov, Formal groups and their role in the apparatus of algebraic topology, Uspehi Mat. Nauk 26 (1971), no.2(158), 131–154. MR0445522 (56 #3862) Zbl 0226.55007
- [Buchstaber&Novikov1971] V. M. Buhštaber and S. P. Novikov, Formal groups, power systems and Adams operators, Mat. Sb. (N.S.) 84(126) (1971), 81–118. MR0291159 (45 #253) Zbl 0239.55005
- [Buchstaber1970] V. M. Buhštaber, The Chern-Dold character in cobordisms. I, Mat. Sb. (N.S.) 83 (125) (1970), 575–595. MR0273630 (42 #8507) Zbl 0219.57027
- [Conner&Floyd1964] P. E. Conner and E. E. Floyd, Differentiable periodic maps, Academic Press Inc., Publishers, New York, 1964. MR0176478 (31 #750) Zbl 0417.57019
- [Conner&Floyd1966] P. E. Conner and E. E. Floyd, The relation of cobordism to
-theories, Springer-Verlag, Berlin, 1966. MR0216511 (35 #7344) Zbl 0161.42802
- [Hirzebruch1966] F. Hirzebruch, Topological methods in algebraic geometry, Springer-Verlag, New York, 1966. MR0202713 (34 #2573) Zbl 0843.14009
- [Landweber1976] P. S. Landweber, Homological properties of comodules over
and
, Amer. J. Math. 98 (1976), no.3, 591–610. MR0423332 (54 #11311) Zbl 0355.55007
- [Lazard1955] M. Lazard, Sur les groupes de Lie formels à un paramètre, Bull. Soc. Math. France 83 (1955), 251–274. MR0073925 (17,508e) Zbl 0068.25703
- [Novikov1967] S. P. Novikov, Methods of algebraic topology from the point of view of cobordism theory, Math. USSR, Izv. 1, (1967) 827–913. MR0221509 (36 #4561) Zbl 0176.52401
- [Quillen1969] D. Quillen, On the formal group laws of unoriented and complex cobordism theory, Bull. Amer. Math. Soc. 75 (1969), 1293–1298. MR0253350 (40 #6565) Zbl 0199.26705