Abstract:We investigate Gauss maps of (not necessarily normal) projective toric varieties over an algebraically closed field of arbitrary characteristic. The main results are as follows: (1) The structure of the Gauss map of a toric variety is described in terms of combinatorics in any characteristic. (2) We give a developability criterion in the toric case. In particular, we show that any toric variety whose Gauss map is degenerate must be the join of some toric varieties in characteristic zero. (3) As applications, we provide two constructions of toric varieties whose Gauss maps have some given data (e.g., fibers, images) in positive characteristic.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the structure and properties of the Gauss map of toric varieties. Specifically, the authors studied the Gauss map of projective toric varieties in any characteristic, and the main results include:
1. **Description of the structure of the Gauss map**: In any characteristic, the structure of the Gauss map of toric varieties is described by means of combinatorial mathematics.
2. **Criterion for developability**: The conditions for the degeneration of the Gauss map of toric varieties are given. In particular, when the Gauss map degenerates, the toric variety must be the join of certain toric varieties.
3. **Construction of toric varieties with specific properties**: Two construction methods are provided so that the Gauss map of toric varieties has a given fiber or image.
### Specific problem analysis
#### 1. Description of the structure of the Gauss map
In the paper, the structure of the Gauss map of toric varieties is described in detail by means of combinatorial mathematics. Specifically, for a finite subset \(A\subset M\), where \(M\) is a free Abelian group, a new set \(B\) is defined:
\[B = \{u_{i_0} + u_{i_1}+\cdots+ u_{i_n}\in M\mid u_{i_0}, u_{i_1},\ldots, u_{i_n}\text{ generate }M_k\}\]
Then, through the natural projection \(\pi: M\rightarrow M_1 = M/(x(B - B)\cap M)\), the specific forms of the image \(\gamma(X_A)\) of the Gauss map and its restriction \(\gamma|_{T_M}\) are obtained.
#### 2. Criterion for developability
The paper gives the conditions for the degeneration of the Gauss map of toric varieties. Specifically, if the Gauss map degenerates (i.e., \(\delta_\gamma(X_A)>0\)), then the toric variety \(X_A\) must be the join of certain toric varieties. This result is especially important in the case of characteristic zero, because in this case, the degeneration of the Gauss map occurs only when the toric variety is the join of certain sub - varieties.
#### 3. Construction of toric varieties with specific properties
The paper also provides two construction methods so that the Gauss map of toric varieties has a given fiber or image. These construction methods are especially useful in positive characteristic, because in this case, the properties of the Gauss map may be different.
### Explanation of formulas and symbols
- \(M\): Free Abelian group
- \(A\): Finite subset of \(M\)
- \(B\): Specific set generated by \(A\)
- \(\pi\): Natural projection from \(M\) to \(M_1\)
- \(\gamma\): Gauss map of toric variety \(X_A\)
- \(\delta_\gamma(X_A)\): Defect dimension of the Gauss map
Through these methods, the paper not only deepens the understanding of the Gauss map of toric varieties, but also provides a series of specific constructions and applications, providing a theoretical basis for subsequent research.