Related papers: On higher Gauss maps

It is shown that, given any finite dimensional, split basic algebra $\Lambda = K\Gamma/I$ (where $\Gamma$ is a quiver and $I$ an admissible ideal in the path algebra $K \Gamma$), there is a finite list of affine algebraic varieties, the…

In this article, we consider the rank of universal $m$-gonal forms for all sufficiently large $m$. Especially, we determine the minimal rank of universal $m$-gonal form and the maximal rank of kinds of proper universal $m$-gonal form.

Let ${\rm dim}(G)$ and $D(G)$ respectively denote the metric dimension and the distinguishing number of a graph $G$. It is proved that $D(G) \le {\rm dim}(G)+1$ holds for every connected graph $G$. Among trees, exactly paths and stars…

For a general birational projection of a smooth nondegenerate projective $n$-fold from $\mathbb P^{n+c}$ to $\mathbb P^m$, $n<m\leq(n+c)/2$, all fibres have total length asymptotically bounded by $2^{\sqrt{n}+1} $ and the fibres are locally…

Let $R = W(k)$ be the ring of Witt vectors over an algebraically closed field $k$ of characteristic $p > 2$. Let $M$ be a three-dimensional regular integral flat projective $R$-scheme such that $H^0(M,\mathcal{O}_M) = R$ and the…

Let $f\colon X\to Y$ be a perfect $n$-dimensional surjection of paracompact spaces with $Y$ being a $C$-space. We prove that, for any $m\geq n+1$, almost all (in the sense of Baire category) maps $g$ from $X$ into the $m$-dimensional cube…

We prove that the maximal dimension of a $p$-central subspace of the generic symbol $p$-algebra of prime degree $p$ is $p+1$. We do it by proving the following number theoretic fact: let $\{s_1,\dots,s_{p+1}\}$ be $p+1$ distinct nonzero…

We classify birational maps into elliptic fibrations of a general quasismooth hypersurface in $\mathbb{P}(1,a_{1},a_{2},a_{3},a_{4})$ of degree $\sum_{i=1}^{4}a_{i}$ that has terminal singularities.

Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field $K$, and let $A$ be a finitely generated standard graded $S$-algebra. We show that if the defining ideal of $A$ has a quadratic initial ideal, then all the graded components of…

Mixed connectivity is a generalization of vertex and edge connectivity. A graph is $(p,0)$-connected, $p>0$, if the graph remains connected after removal of any $p-1$ vertices. A graph is $(p,q)$-connected, $p\geq 0$, $q>0$, if it remains…

We set up a BNR correspondence for moduli spaces of Higgs bundles over a curve with a parabolic structure over any algebraically closed field. This leads to a concrete description of generic fibers of the associated strongly parabolic…

Any hypersurface in $\mathbb{R}^{d+1}$ has a Hausdorff dimension of $d$. However, the Fourier dimension depends on the finer geometric properties of the hypersurface. For example, the Fourier dimension of a hyperplane is 0, and the Fourier…

We present a simple proof of the fact that the base (and independence) polytope of a rank $n$ regular matroid over $m$ elements has an extension complexity $O(mn)$.

We show for each positive integer $a$ that, if $\mathcal{M}$ is a minor-closed class of matroids not containing all rank-$(a+1)$ uniform matroids, then there exists an integer $c$ such that either every rank-$r$ matroid in $\mathcal{M}$ can…

Let $M$ be an $n$-dimensional smooth oriented complete embedded minimal hypersurface in $\mathbb{R}^{n+1}$ with Euclidean volume growth. We show that if the image under the Gauss map of $M$ avoids some neighborhood of a half-equator, then…

A Grasstope is the image of the totally nonnegative Grassmannian $\text{Gr}_{\geq 0}(k,n)$ under a linear map $\text{Gr}(k,n)\dashrightarrow \text{Gr}(k,k+m)$. This is a generalization of the amplituhedron, a geometric object of great…

For $m=2$ and $m=3$ we prove that any connected, oriented, open manifold $M^m$ admits a simple branched covering map over $\mathbb{R}^m$. When $M$ has $k$ ends and $k$ is finite, the degree of the cover can be taken to be $mk$. Regardless…

Brehm's extension theorem states that a non-expansive map on a finite subset of a Euclidean space can be extended to a piecewise-linear map on the entire space. In this note, it is verified that the proof of the theorem is constructive…

We establish the existence, finiteness, and uniqueness up to scaling of various isoperimetric profiles of a group, in all dimensions. We also show that these profiles all coincide in dimensions 4 and higher; in particular, the nth Dehn…

In this paper we study the Gauss map of hypersurfaces with constant weighted mean curvature in the Gaussian space. We show that if the image of the Gauss map is in a closed hemisphere, then the hypersurface is a hyperplane or a generalized…