Namespaces
Variants
Actions

Difference between revisions of "Fano scheme"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
 
Line 1: Line 1:
''of a projective algebraic variety <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038200/f0382001.png" /> over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038200/f0382002.png" />''
+
{{TEX|done}}
 +
''of a projective algebraic variety $X$ over a field $k$''
  
The algebraic [[Scheme|scheme]] parametrized by the family of lines lying on the subvariety <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038200/f0382003.png" /> of the projective space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038200/f0382004.png" />. The Fano scheme <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038200/f0382005.png" /> of a projective variety <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038200/f0382006.png" /> can be given as a closed subscheme of the Grassmannian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038200/f0382007.png" /> of lines in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038200/f0382008.png" />. In contrast to the Fano scheme of a three-dimensional cubic (see [[Fano surface|Fano surface]]), the Fano scheme of an arbitrary projective variety does not have to be non-singular, reduced or irreducible. Thus, the [[Ruled surface|ruled surface]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038200/f0382009.png" /> of lines lying on the Fermat cubic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038200/f03820010.png" /> consists of 40 cones cut out by the hyperplanes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038200/f03820011.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038200/f03820012.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038200/f03820013.png" /> ranges over the primitive 8th roots of unity. Each of the cones enters in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038200/f03820014.png" /> with multiplicity 2 (see [[#References|[1]]]). Thus, this Fano variety is reducible and each component of it is not reduced at a generic point.
+
The algebraic [[Scheme|scheme]] parametrized by the family of lines lying on the subvariety $X$ of the projective space $P^n$. The Fano scheme $F(X)$ of a projective variety $X$ can be given as a closed subscheme of the Grassmannian $G(2,n+1)$ of lines in $P^n$. In contrast to the Fano scheme of a three-dimensional cubic (see [[Fano surface|Fano surface]]), the Fano scheme of an arbitrary projective variety does not have to be non-singular, reduced or irreducible. Thus, the [[Ruled surface|ruled surface]] $R$ of lines lying on the Fermat cubic $\sum_{i=0}^4x_i^4=0$ consists of 40 cones cut out by the hyperplanes $x_i=\zeta x_j$, $i\neq j$, where $\zeta$ ranges over the primitive 8th roots of unity. Each of the cones enters in $R$ with multiplicity 2 (see [[#References|[1]]]). Thus, this Fano variety is reducible and each component of it is not reduced at a generic point.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  B. Tennison,  "On the quartic threefold"  ''Proc. London Math. Soc.'' , '''29'''  (1974)  pp. 714–734</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  B. Tennison,  "On the quartic threefold"  ''Proc. London Math. Soc.'' , '''29'''  (1974)  pp. 714–734</TD></TR></table>

Latest revision as of 14:39, 1 August 2014

of a projective algebraic variety $X$ over a field $k$

The algebraic scheme parametrized by the family of lines lying on the subvariety $X$ of the projective space $P^n$. The Fano scheme $F(X)$ of a projective variety $X$ can be given as a closed subscheme of the Grassmannian $G(2,n+1)$ of lines in $P^n$. In contrast to the Fano scheme of a three-dimensional cubic (see Fano surface), the Fano scheme of an arbitrary projective variety does not have to be non-singular, reduced or irreducible. Thus, the ruled surface $R$ of lines lying on the Fermat cubic $\sum_{i=0}^4x_i^4=0$ consists of 40 cones cut out by the hyperplanes $x_i=\zeta x_j$, $i\neq j$, where $\zeta$ ranges over the primitive 8th roots of unity. Each of the cones enters in $R$ with multiplicity 2 (see [1]). Thus, this Fano variety is reducible and each component of it is not reduced at a generic point.

References

[1] B. Tennison, "On the quartic threefold" Proc. London Math. Soc. , 29 (1974) pp. 714–734
How to Cite This Entry:
Fano scheme. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Fano_scheme&oldid=15112
This article was adapted from an original article by Vik.S. Kulikov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article