Related papers: On separable higher Gauss maps

Let $\mathcal{X}$ be a projective algebraic curve and denote by $\mathcal{X}^{'}$ its strict dual curve. The map $\gamma:\mathcal{X} \longrightarrow \mathcal{X}^{'}$ is called (strict) Gauss map of $\mathcal{X}$. In this manuscript, we…

Let $X \subset \mathbb{P}^r$ be smooth and irreducible and for $k \ge 0$ let $\nu_k(X)$ (resp., $\delta_k(X)$) be the $k$-th contact (resp., the $k$-th secant) defect of $X$. For all $k \ge 0$ we have the inequality $\nu_k(X) \ge…

A general fiber of the Gauss map of a projective variety in $\mathbb{P}^N$ coincides with a linear subvariety of $\mathbb{P}^N$ in characteristic zero. In positive characteristic, S. Fukasawa showed that a general fiber of the Gauss map can…

The Gauss map of a projective variety $X \subset \mathbb{P}^N$ is a rational map from $X$ to a Grassmann variety. In positive characteristic, we show the following results. (1) For given projective varieties $F$ and $Y$, we construct a…

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…

We study Gauss maps of order $k$, associated to a projective variety $X$ embedded in projective space via a line bundle $L.$ We show that if $X$ is a smooth, complete complex variety and $L$ is a $k$-jet spanned line bundle on $X$, with…

A point $p\in\mathbb{P}^N$ of a projective space is $h$-identifiable, with respect to a variety $X\subset\mathbb{P}^N$, if it can be written as linear combination of $h$ elements of $X$ in a unique way. Identifiability is implied by…

We study the surjectivity of suitable weighted Gaussian maps which provide a natural generalization of the standard Gaussian maps and encode the local geometry of the locus of curves endowed with a higher root of the canonical bundle having…

Let $X\subset \mathbb{P}^r$ be an integral and non-degenerate variety. Set $n:= \dim (X)$. We prove that if the $(k+n-1)$-secant variety of $X$ has (the expected) dimension $(k+n-1)(n+1)-1<r$ and $X$ is not uniruled by lines, then $X$ is…

It is well known that the Gauss map for a complex plane curve is birational, whereas the Gauss map in positive characteristic is not always birational. Let $q$ be a power of a prime integer. We study a certain plane curve of degree…

We define higher order fundamental forms and osculating spaces of projective algebraic varieties, using sheaves of principal parts. We show that the $m$th fundamental form can be viewed as the differential of the $(m-1)$th Gauss map, and…

We study expanding maps and shrinking maps of subvarieties of Grassmann varieties in arbitrary characteristic. The shrinking map was studied independently by Landsberg and Piontkowski in order to characterize Gauss images. To develop their…

Let $X$ be a smooth complex projective variety such that the Albanese map of $X$ is generically finite onto its image. Here we study the so-called eventual $m$-paracanonical map of $X$ (when $m=1$ we also assume $\chi(K_X)>0$). We show that…

The dual variety X* for a smooth n-dimensional variety X of the projective space P^N is the set of tangent hyperplanes to X. In the general case, the variety X* is a hypersurface in the dual space (P^N)*. If dim X* < N - 1, then the variety…

Let X be a smooth projective toric surface and L and M two line bundles on X. If L is ample and M is generated by global sections, then we show that the natural map from H^0(X,L) tensor H^0(X,M) to H^0(X, L tensor M) is surjective. We also…

We study higher order determinantal varieties obtained by considering generic $m\times n$ ($m \le n$) matrices over rings of the form $F[t]/(t^k)$, and for some fixed $r$, setting the coefficients of powers of $t$ of all $r \times r$ minors…

An n-dimensional submanifold X of a projective space P^N (C) is called tangentially degenerate if the rank of its Gauss mapping \gamma: X ---> G (n, N) satisfies 0 < rank \gamma < n. The authors systematically study the geometry of…

We show that if X is a nonsingular projective variety of general type over an algebraically closed field k of positive characteristic and X has maximal Albanese dimension and the Albanese map is separable, then |4K_X| induces a birational…

We prove that the general fibre of the $i$-th Gauss map has dimension $m$ if and only if at the general point the $(i+1)$-th fundamental form consists of cones with vertex a fixed $\mathbb P^{m-1}$, extending a known theorem for the usual…

Let $m, n > 1$ be two integers, and $\mathbb{Z}_n$ be a $\mathbb{Z}_m$-module. Let $I(\mathbb{Z}_m)^*$ be the set of all non- zero proper ideals of $\mathbb{Z}_m$. The $\mathbb{Z}_n$-intersection graph of $\mathbb{Z}_m$, denoted by…