Gauss maps with nontrivial separable degree in positive characteristic (Q5929289): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q4143433 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3033882 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3971595 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5690190 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4011033 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Nonrational Hypersurfaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5628266 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4337923 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4154999 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The uniform position principle for curves in characteristic p / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3140224 / rank | |||
Normal rank |
Latest revision as of 16:01, 3 June 2024
scientific article; zbMATH DE number 1584569
Language | Label | Description | Also known as |
---|---|---|---|
English | Gauss maps with nontrivial separable degree in positive characteristic |
scientific article; zbMATH DE number 1584569 |
Statements
Gauss maps with nontrivial separable degree in positive characteristic (English)
0 references
13 December 2001
0 references
Let \(X\subset\mathbb{P}^N\) be a projective variety of dimension \(n\) over an algebraically closed field \(k\). The Gauss map: \(X\to\text{Grass}(n,\mathbb{P}^N)\) associates to every smooth point \(x\) of \(X\) the embedded tangent space to \(X\) at \(x\). A result of \textit{F. L. Zak} [``Tangents and secants of algebraic varieties'', Transl. Math. Monogr. 127, Providence, RI (1993; Zbl 0795.14011)] asserts that if \(X\) is smooth and not linear then the Gauss map is finite. Moreover, if \(\text{char }k=0\), it is also birational onto its image. Assume, from now on, that \(\text{char }k=p>0\). As pointed out by A. Wallace in 1956, the Gauss map of the Fermat hypersurface of degree \(p+1\) is the \(k\)-Frobenius. \textit{H. Kaji} [Compos. Math. 70, 177-197 (1989; Zbl 0692.14015) and ibid. 78, 261-269 (1991; Zbl 0756.14021)] showed that if \(X\) is a smooth curve of genus \(>1\) or a supersingular elliptic curve then the Gauss map is always purely inseparable and that if \(X\) is ordinary elliptic or \(\mathbb{P}^1\) then it admits embeddings for which the Gauss map is inseparable but not purely inseparable. In this paper, the author gives examples of embeddings of projective varieties \(X\) of dimension \(n\geq 2\) for which the Gauss map has separable degree greater then 1 onto its image. He constructs smooth \(X\)'s for any Kodaira dimension \(\leq n-1\) and normal with isolated singularities \(X\)'s for Kodaira dimension \(n\) (and \(p>2\)). These varieties occur as cyclic coverings of degree divisible by \(p\). In the case of maximal Kodaira dimension, the author uses a construction of \textit{J. Kollár} [J. Am. Math. Soc. 8, 241-249 (1995; Zbl 0839.14031)]. He also constructs embeddings of \(\mathbb{P}^n\) (\(n\geq 2\), \(p>2\)) for which the image of the Gauss map is a normal variety of general type.
0 references
positive characteristic
0 references
embeddings
0 references
Gauss map
0 references