Related papers: Minimal covers in the Weihrauch degrees

An important endeavor in computer science is to understand the expressive power of logical formalisms over discrete structures, such as words. Naturally, "understanding" is not a mathematical notion. This investigation requires therefore a…

We prove curvature estimates for general curvature functions. As an application we show the existence of closed, strictly convex hypersurfaces with prescribed curvature $F$, where the defining cone of $F$ is $\C_+$. $F$ is only assumed to…

Thin Lie algebras are Lie algebras over a field, graded over the positive integers and satisfying a certain narrowness condition. In particular, all homogeneous components have dimension one or two, and are called diamonds in the latter…

This note is an appendix to 'Measures of irrationality for hypersurfaces of large degree' by L. Ein, R. Lazarsfeld and B. Ullery. We prove an existence result for families of curves having low gonality, and lying on fundamental loci of…

In this paper we develop methods to extend the minimal hypersurface approach to positive scalar curvature problems to all dimensions. This includes a proof of the positive mass theorem in all dimensions without a spin assumption. It also…

Let $(S,\mathfrak n)$ be a regular local ring and $f$ a non-zero element of $\mathfrak n^2$. A theorem due to Kn\"orrer states that there are finitely many isomorphism classes of maximal Cohen-Macaulay $R=S/(f)$-modules if and only if the…

We investigate minimal helix submanifolds of any dimension and codimension immersed in Euclidean space. Our main result proves that a ruled minimal helix submanifold is a cylinder. As an application we classify complex helix submanifolds of…

A countable structure is indivisible if for every coloring with finite range there is a monochromatic isomorphic subcopy of the structure. Each indivisible structure naturally corresponds to an indivisibility problem which outputs such a…

We apply minimal weakly generating sets to study the existence of Add$(U_R)$-covers for a uniserial module $U_R$. If $U_R$ is a uniserial right module over a ring $R$, then $S:=$End$ (U_R)$ has at most two maximal (right, left, two-sided)…

Enochs' conjecture asserts that each covering class of modules (over any fixed ring) has to be closed under direct limits. Although various special cases of the conjecture have been verified, the conjecture remains open in its full…

We investigate the existence of compact Hausdorff spaces $X$ that are minimum with respect to $cX=K$ for some fixed covering operator $c$ and compact Hausdorff space $K$ with $cK=K$. Then, using the Yosida representation theorem, we show…

We study problems on covering $[0,1)$ by shrinking intervals centered at the points $\{q_n x\}$, where $(q_n)_{n\in \mathbb{N}}$ is a given real-valued sequence and $x \in [0,1)$ is random. For real-valued lacunary sequences…

We give a survey on the theory of representation-finite and certain minimal representation-infinite algebras.The main goals are the existence of multiplicative bases and of coverings with good properties. Both are attained via…

We investigate two families of divisors which we expect to play a distinguished role in the global geometry of Hurwitz space. In particular, we show that they are extremal and rigid in the small degree regime $d \leq 5$. We further show…

A matching prior at level $1-\alpha$ is a prior such that an associated $1-\alpha$ credible set is also a $1-\alpha$ confidence set. We study the existence of matching priors for general families of credible regions. Our main result gives…

In this note we provide a new partial solution to the Hurwitz existence problem for surface branched covers. Namely, we consider candidate branch data with base surface the sphere and one partition of the degree having length two, and we…

Let $X$ be a rational surface obtained by blowing up at a configuration $\mathcal{C}$ of infinitely near points over a Hirzebruch surface $\mathbb{F}_\delta$. We prove that there exist two positive integers $a \leq b$ such that the cone of…

Optimization problems consist of either maximizing or minimizing an objective function. Instead of looking for a maximum solution (resp. minimum solution), one can find a minimum maximal solution (resp. maximum minimal solution). Such…

We define the secondary Hochschild complex for an entwining structure over a commutative $k$-algebra $B$. We show that this complex carries the structure of a weak comp algebra. We obtain two distinct cup product structures for the…

A relatively new topic in computability theory is the study of notions of computation that are robust against mistakes on some kind of small set. However, despite the recent popularity of this topic relatively foundational questions about…