Related papers: On separable higher Gauss maps

We study normal crossings compactifications of the moduli space of maps $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$, for $g = 0$ and $g = 1$. In each case we explicitly determine the dual boundary complex, and prove that it admits a natural…

It is known that there is a linear dependence between the treewidth of a graph and its balanced separator number: the smallest integer $k$ such that for every weighing of the vertices, the graph admits a balanced separator of size at most…

Let $X$ be a normal projective variety over an algebraically closed field of characteristic zero. Let $D$ be a reduced Weil divisor on $X$. Let $G$ be a reductive linear algebraic group. We introduce the notion of a logarithmic connection…

Let $m>1$ be an integer, and let $I(\mathbb{Z}_m)^*$ be the set of all non-zero proper ideals of $\mathbb{Z}_m$. The intersection graph of ideals of $\mathbb{Z}_m$, denoted by $G(\mathbb{Z}_m)$, is a graph with vertices $I(\mathbb{Z}_m)^*$…

Matrix normal models have an associated 4-tensor for their covariance representation. The covariance array associated with a matrix normal model is naturally represented as a Kronecker-product structured covariance associated with the…

Menger's theorem says that, for $k\ge0$, if $S, T$ are sets of vertices in a graph $G$, then either there are $k + 1$ vertex-disjoint paths between $S$ and $T$, or there is a set X of at most $k$ vertices such that every $S$-$T$ path passes…

Consider a surface $S$ and let $M\subset S$. If $S\setminus M$ is not connected, then we say $M$ \emph{separates} $S$, and we refer to $M$ as a \emph{separating set} of $S$. If $M$ separates $S$, and no proper subset of $M$ separates $S$,…

We prove that in characteristic zero the multiplication of sections of dominant line bundles on a complete symmetric variety $X=\bar{G/H}$ is a surjective map. As a consequence the cone defined by a complete linear system over $X$, or over…

We show that the class of separable morphisms in the sense of G. Janelidze and W. Tholen in the case of Galois structure of second order coverings of simplicial sets due to R. Brown and G. Janelidze coincides with the class of covering maps…

For a commutative ring $R$, a polynomial $f\in R[x]$ is called separable if $R[x]/f$ is a separable $R$-algebra. We derive formulae for the number of separable polynomials when $R = \mathbb{Z}/n$, extending a result of L. Carlitz. For…

Let X be a smooth projective complex variety, of dimension 3, whose Hodge numbers h^{3,0}(X), h^{1,0}(X) both vanish. Let f: X--> X be a birational map that induces an isomorphism on (dense) open subvarieties U,V of X. Then we show that the…

Graph separators are a ubiquitous tool in graph theory and computer science. However, in some applications, their usefulness is limited by the fact that the separator can be as large as $\Omega(\sqrt{n})$ in graphs with $n$ vertices. This…

Let $k$ be an algebraically closed field of characteristic zero, and let $X/k$ be a projective variety. The conjectures of Demailly--Green--Griffiths--Lang posit that every integral subvariety of $X$ is of general type if and only if $X$ is…

Given a connected, compact, totally geodesic submanifold Y^m of noncompact type inside a compact locally symmetric space of noncompact type X^n, we provide a sufficient condition that ensures that [Y^m] is nonzero in H_m(X^n; R); in low…

Let X be a separated scheme of finite type over an algebraically closed field k and let m be a natural number. By an explicit geometric construction using torsors we construct a pairing between the first mod m Suslin homology and the first…

It is proved that if X is a compact Hausdorff space of Lebesgue dimension $\dim(X)$, then the squaring mapping $\alpha_{m} \colon (C(X)_{\mathrm{sa}})^{m} \to C(X)_{+}$, defined by $\alpha_{m}(f_{1},..., f_{m}) = \sum_{i=1}^{m} f_{i}^{2}$,…

Let $k$ be an algebraically closed field of characteristic $p>0$, and let $X\subseteq\mathbb{P}^n_k$ be a quasi-projective variety that is $F$-rational and $F$-pure. We prove that if $H \subseteq \mathbb{P}^n_k$ is a general hyperplane,…

This article studies separating invariants for the ring of multisymmetric polynomials in $m$ sets of $n$ variables over an arbitrary field $\mathbb{K}$. We prove that in order to obtain separating sets it is enough to consider polynomials…

We prove that two general ternary forms are simultaneously identifiable only in the classical cases of two quadratic and a cubic and a quadratic form. We translate the problem into the study of a certain linear system on a projective bundle…

We consider a generalized Riemann-Hurwitz formula as it may be applied to rational maps between projective varieties having an indeterminacy set and fold-like singularities. The case of a holomorphic branched covering map is recalled. Then…