Milnor Hypersurfaces

This page has not been refereed. The information given here might be incomplete or provisional.

1 Introduction

The Milnor hypersurfaces, denoted $H_{ij}$$<!-- COMMENT: To achieve a unified layout, along with using the template below, please OBSERVE the following: besides, $...$ and $$...$$, you should use two environments: - For statements like Theorem, Lemma, Definition etc., use e.g. {{beginthm|Theorem 1|(Milnor)}} ... ... ... {{endthm}}. - For references, use e.g. {{cite|Milnor1958b}}. END OF COMMENT --> {{Stub}} == Introduction == <wikitex>; The Milnor hypersurfaces, denoted $H_{ij}$, are a family of smooth manifolds that generate (with redundancy) the [[Complex bordism|complex bordism]] ring. </wikitex> == Construction and examples == <wikitex>; For fixed natural numbers $i \geq j \geq 0$, $H_{ij}$ is defined as the hypersurface in $\CP^i \times \CP^j$ satisfying the equation $x_0z_0 + ... + x_jz_j = 0$, where $x_k$ and $z_k$ are homogeneous coordinates for $\CP^i$ and $\CP^j$ respectively. The role of these manifolds in complex bordism is descbribed on the page [[Complex bordism#Milnor hypersurfaces|Complex bordism]]. </wikitex> == Invariants == <wikitex>; ... </wikitex> == References == {{#RefList:}} [[Category:Manifolds]]H_{ij}$, are a family of smooth manifolds that generate (with redundancy) the complex bordism ring.

2 Construction and examples

For fixed natural numbers $i \geq j \geq 0$$i \geq j \geq 0$, $H_{ij}$$H_{ij}$ is defined as the hypersurface in $\CP^i \times \CP^j$$\CP^i \times \CP^j$ satisfying the equation $x_0z_0 + ... + x_jz_j = 0$$x_0z_0 + ... + x_jz_j = 0$, where $x_k$$x_k$ and $z_k$$z_k$ are homogeneous coordinates for $\CP^i$$\CP^i$ and $\CP^j$$\CP^j$ respectively.

The role of these manifolds in complex bordism is descbribed on the page Complex bordism.

3 Invariants

...