Related papers: Minimal covers in the Weihrauch degrees
If $X$ is a smooth curve such that the minimal degree of its plane models is not too small compared with its genus, then $X$ has been known to be a double cover of another smooth curve $Y$ under some mild condition on the genera. However…
Associated with isoparametric foliations of unit spheres, there are two classes of minimal surfaces $-$ minimal isoparametric hypersurfaces and focal submanifolds. By virtue of their rich structures, we find new series of minimizing cones.…
In the MINIMUM CONVEX COVER (MCC) problem, we are given a simple polygon $\mathcal P$ and an integer $k$, and the question is if there exist $k$ convex polygons whose union is $\mathcal P$. It is known that MCC is $\mathsf{NP}$-hard…
Given two $k$-uniform hypergraphs $F$ and $G$, we say that $G$ has an $F$-covering if for every vertex in $G$ there is a copy of $F$ covering it. For $1\leq i\leq k-1$, the minimum $i$-degree $\delta_i(G)$ of $G$ is the minimum integer such…
Branched covers between Riemann surfaces are associated with certain combinatorial data, and Hurwitz existence problem asks whether given data satisfying those combinatorial constraints can be realized by some branched cover. We connect…
In this short note, we study the existence problem for Ulrich bundles on ruled surfaces, focusing our attention on the smallest possible rank. We show that existence of Ulrich line bundles occurs if and only if the coefficient $\alpha$ of…
Given two $k$-uniform hypergraphs $F$ and $G$, we say that $G$ has an $F$-covering if every vertex in $G$ is contained in a copy of $F$. For $1\le i \le k-1$, let $c_i(n,F)$ be the least integer such that every $n$-vertex $k$-uniform…
We investigate the Galois coverings of weakly shod algebras. For a weakly shod algebra not quasi-tilted of canonical type, we establish a correspondence between its Galois coverings and the Galois coverings of its connecting component. As a…
We systematically study the completion of choice problems in the Weihrauch lattice. Choice problems play a pivotal role in Weihrauch complexity. For one, they can be used as landmarks that characterize important equivalences classes in the…
In this paper we study the notion of first-order part of a computational problem, first introduced by Dzhafarov, Solomon, and Yokoyama, which captures the "strongest computational problem with codomain $\mathbb{N}$ that is Weihrauch…
We show that the first cohomology group of the Hurwitz space of fully-marked admissible covers $H^1(\overline{\mathcal{H}}_{\underline{d},\underline{g}}(\underline{\mu}))$ vanishes for covers of degree $ d = 3$ and deduce the same result…
We prove the consistency of: for suitable strongly inaccessible cardinal lambda the dominating number, i.e. the cofinality of lambda^lambda is strictly bigger than cov(meagre_lambda), i.e. the minimal number of nowhere dense subsets of…
Solving the Plateau problem means to find the surface with minimal area among all surfaces with a given boundary. Part of the problem actually consists of giving a suitable definition to the notions of 'surface', 'area' and 'boundary'. In…
Let $F$ be a connected graph with $\ell$ vertices. The existence of a subgraph isomorphic to $F$ can be defined in first-order logic with quantifier depth no better than $\ell$, simply because no first-order formula of smaller quantifier…
We prove that for a dominant rational self-map $f$ on a quasi-projective variety defined over $\overline{\mathbb{Q}}$, there is a point whose $f$-orbit is well-defined and its arithmetic degree is arbitrarily close to the first dynamical…
In this work we investigate the Weihrauch degree of the problem $\mathsf{DS}$ of finding an infinite descending sequence through a given ill-founded linear order, which is shared by the problem $\mathsf{BS}$ of finding a bad sequence…
A minimal family of curves on an embedded surface is defined as a 1-dimensional family of rational curves of minimal degree, which cover the surface. We classify such minimal families using constructive methods. This allows us to compute…
We prove that a (branched) minimal immersion from $\mathbb{C}$ to $\mathbb{R}^n$ is stable if and only if it lives in an even dimensional affine subspace and is holomorphic for some orthogonal complex structure on the subspace. More…
We prove the existence of complete minimal surfaces of genus g>1 which minimize the total curvature for their genus. Our method is first to identify this (Weierstrass high dimensional period) problem with the problem of finding a particular…
In this paper we prove that, given an open Riemann surface $M$ and an integer $n\ge 3$, the set of complete conformal minimal immersions $M\to\mathbb{R}^n$ with $\overline{X(M)}=\mathbb{R}^n$ forms a dense subset in the space of all…