Related papers: On separable higher Gauss maps

Let $X$ be a compact, complex surface of general type whose cotangent bundle $\Omega_X$ is strongly semi-ample. We study the pluri-cotangent maps of $X$, namely the morphisms $\psi_n \colon \mathbb{P}(\Omega_X) \to \mathbb{P}(H^0(X, \, S^n…

Deciding the existence of an $l\times m\times n$ integer threeway table with given line-sums is NP-complete already for fixed $l=3$, but is in P with both $l,m$ fixed. Here we consider {\em huge} tables, where the variable dimension $n$ is…

We introduce and investigate the solvable graph $\Gamma_\mathfrak{S}(L)$ of a finite-dimensional Lie algebra $L$ over a field $F$. The vertices are the elements outside the solvabilizer $\sol(L)$, and two vertices are adjacent whenever they…

If a graph $G_M$ is embedded into a closed surface $S$ such that $S \backslash G_M$ is a collection of disjoint open discs, then $M=(G_M,S)$ is called a {\em map}. A {\em zigzag} in a map $M$ is a closed path which alternates choosing, at…

Let $C$ be a smooth projective irreducible curve of genus $g$. And let $G_{\alpha}(n,d,l)$ be the moduli space of $\alpha$ stable pairs of a vector bundle of $\rank n, \deg d$ and a subspace of $H^0(C,E)$ of $\dim = l $. We find an explicit…

We present a new proof of a theorem of Chen and Jiang: for any integer $n>1$, there is a constant $K_n>0$ such that every smooth projective $n$-fold $X$ with $\operatorname{vol}(X)>K_n$ has either the stable birational $2$-canonical map or…

We give an estimate of the Gauss curvature for minimal surfaces in ${\mathbb R}^m$ whose Gauss map omits more than $m(m+1)/2$ hyperplanes in ${\mathbb P}^{m-1}({\mathbb C})$.

Let X\subsetneq\mathbb{P}_{\mathbb{C}}^{N} be an n-dimensional nondegenerate smooth projective variety containing an m-dimensional subvariety Y. Assume that either m>\frac{n}{2} and X is a complete intersection or that m\geq\frac{N}{2}, we…

We study the secant line variety of the Segre product of projective spaces using special cumulant coordinates adapted for secant varieties. We show that the secant variety is covered by open normal toric varieties. We prove that in cumulant…

Let G be a simple linear algebraic group defined over the complex numbers. Fix a proper parabolic subgroup P of G and a nontrivial antidominant character \chi of P. We prove that a holomorphic principal G-bundle E over a connected complex…

Let $X$ be a hypersurface, of degree $d$, in an $n$--dimensional projective space. The Hessian map is a rational map from $X$ to the projective space of symmetric matrices that sends a point $p\in X$ to the Hessian matrix of the defining…

We investigate the topological structures of Galois covers of surfaces of minimal degree (i.e., degree n) in n+1 dimensional complex projective space. We prove that for n is greater than or equal to 5, the Galois covers of any surfaces of…

We have conjectured that the constraint equations defined by a generic Laman graph are not soluble by radicals when the graph is 3-connected. We prove that this conjecture follows from the following simpler conjecture: the constraint…

We use Lagrangian specialization to compute the degree of the Gauss map on Theta divisors with transversal $\mathrm{A}_1$ singularities. This computes the Gauss degree for a general abelian variety in the loci $\mathcal{A}^\delta_{t,g-t}$…

Call a simple graph $H$ of order $n$ well-separable, if by deleting a separator set of size $o(n)$ the leftover will have components of size at most $o(n)$. We prove, that bounded degree well-separable spanning subgraphs are easy to embed:…

We introduce the property of countable separation for a locally convex Hausdorff space $X$ and relate it to the existence of a metrizable coarser topology. Building on this, we demonstrate how the separability of $X$ is equivalent to the…

For a compact manifold M and a differentiable stack \cX presented by a Lie groupoid X, we show the Hom-stack Hom(M,\cX) is presented by a Fr\'echet-Lie groupoid Map(M,X) and so is an infinite-dimensional differentiable stack. We further…

We investigate the computational complexity of separating two distinct vertices s and z by vertex deletion in a temporal graph. In a temporal graph, the vertex set is fixed but the edges have (discrete) time labels. Since the corresponding…

We show that one can always identify a point on an algebraic variety $X$ uniquely with $\dim X +1$ generic linear measurements taken themselves from a variety under minimal assumptions. As illustrated by several examples the result is…

We prove a Galois-type correspondence between compositions of purely inseparable field extensions (including infinite ones) and subalgebras of differential operators. This correspondence can be utilized to establish a connection between…