Related papers: On separable higher Gauss maps

Let $X$ be a smooth projective curve of genus $g \geq 2$ defined over an algebraically closed field $k$ of characteristic $p>0$. Given a semistable vector bundle $E$ over $X$, we show that its direct image $F\_*E$ under the Frobenius map…

We show that a central linear mapping of a projectively embedded Euclidean $n$-space onto a projectively embedded Euclidean $m$-space is decomposable into a central projection followed by a similarity if, and only if, the least singular…

The configuration space of $n$ marked points on the complex plane is considered. We investigate a decomposition of this space by so-called Gauss-skizze i.e. a class of graphs being forests, introduced by Gauss. It is proved that this…

Let $K$ be the function field of a smooth curve over an algebraically closed field $k$. Let $X$ be a scheme, which is smooth and projective over $K$. Suppose that the cotangent bundle $\Omega_{X/K}$ is ample. Let $R:={\rm Zar}(X)(K)\cap X)$…

This paper present a geometric diagram of a separable state: If a mixed state $\sigma $ is separable, there are $2^{nS(\sigma)}$ linearly independant product vectors which span the same Hilbert space as the $2^{nS(\sigma)}$ ``likely''…

For any irreducible non-degenerate variety $X\subset \mathbb{P}^r$, we give a criterion for the $(k,s)$-identifiability of $X$. If $k\leq s-1 <r$, then the $(k,s)$-identifiability holds for $X$ if and only if the $s$-identifiability holds…

Let W be a projective variety of dimension n+1, L a free line bundle on W, X in $H^0(L^d)$ a hypersurface of degree d which is generic among those given by sums of monomials from $L$, and let $f : Y \to X$ be a generically finite map from a…

We consider integrable systems that are connected with orthogonal separation of variables in complex Riemannian spaces of constant curvature. An isomorphism with the hyperbolic Gaudin magnet, previously pointed out by one of us, extends to…

For a surface in the 3-dimensional real projective space, we define a Gauss map, which is a quadric in $\mathbb R^{4}$ and called the first-order Gauss map. It will be shown that the surface is a Demoulin surface if and only if the…

Let X be a smooth complex projective variety of dimension n and let A be an ample and basepoint free divisor. We prove $K_X+mA$ satisfies property $N_p$ for $m\geqslant n+1+p$. We also show the graded ring of sections $R(X, K_X+mA)$ is…

Given a normal surface singularity $(X, Q)$ and a birational morphism to a non- singular surface $\pi : X \to S$, we investigate the local geometry of the exceptional divisor $L$ of $\pi$. We prove that the dimension of the tangent space to…

Let $\mathfrak{R}$ and $\mathfrak{R}'$ be two associative rings (not necessarily with the identity elements). A bijective map $\varphi$ of $\mathfrak{R}$ onto $\mathfrak{R}'$ is called a \textit{$m$-multiplicative isomorphism} if {$\varphi…

Let $X^n\subset C^{n+a}$ or $X^n\subset P^{n+a}$ be a patch of an analytic submanifold of an affine or projective space, let $x\in X$ be a general point, and let L^k be a linear space of dimension k osculating to order m at x. If m is large…

We study the geometry of the secant and tangential variety of a cominuscule and minuscule variety, e.g. a Grassmannian or a spinor variety. Using methods inspired by statistics we provide an explicit local isomorphism with a product of an…

The Gauss map of a given projective variety is the rational map that sends a smooth point to the tangent space at that point, considered as a point of the Grassmann variety. The present paper aims to generalize a result by H. Kaji on Gauss…

In this paper, we proved two results regarding the arithmetics of separably $\mathbb{A}^1$-connected varieties of rank one. First we proved over a large field, there is an $\mathbb{A}^1$-curve through any rational point of the boundary, if…

In this paper we prove a result on the effective generation of pluri-canonical linear systems on foliated surfaces of general type. Fix a function $P: \mathbb Z_{\geq 0}\to \mathbb Z $, then there exists an integer $N_1>0$ such that if…

In many cases (e.g. for many Segre or Segre embeddings of multiprojective spaces) we prove that a hypersurface of the $b$-secant variety of $X\subset \mathbb {P}^r$ has $X$-rank $>b$. We prove it proving that the $X$-rank of a general point…

A separating ($M-2$)-curve is a smooth geometrically irreducible real projective curve $X$ such that $X(\mathbb{R})$ has $g-1$ connected components and $X(\mathbb{C})\setminus X(\mathbb{R})$ is disconnected. Let $T_g$ be a Teichm\"uller…

The tangent degree $\tau(X)$ of a projective variety $X^n\subset\mathbb P^N$ is the number of tangent spaces to $X$ at smooth points passing through a general point of the tangent variety $Tan(X)\subseteq\mathbb P^N$, if positive and…