Related papers: Covering with Chang models over derived models
It is shown how the Beneath-and-Beyond algorithm can be used to yield another proof of the equivalence of V- and H-representations of convex polytopes. In this sense this paper serves as the sketch of an introduction to polytope theory with…
We introduce the concept of a covering of a graded pointed Hopf algebra. The theory developed shows that coverings of a bosonized Nichols algebra can be concretely expressed by biproducts using a quotient of the universal coalgebra covering…
We prove the Effective Bogomolov Conjecture, and so the Bogomolov Conjecture, over a function field of characteristic 0 by proving Zhang's Conjecture about certain invariants of metrized graphs. In the function field case, these conjectures…
In this paper, we introduce a notion of stable coarse algebras for metric spaces with bounded geometry, and formulate the twisted coarse Baum--Connes conjecture with respect to stable coarse algebras. We prove permanence properties of this…
With the help of a new type of functionals we study manifolds diffeomorphic to $S^2\times S^2$ and establish, in particular, the Hopf conjecture.
Given a Banach space we consider the $\sigma$-ideal of all of its subsets which are covered by countably many hyperplanes and investigate its standard cardinal characteristics as the additivity, the covering number, the uniformity, the…
In this article we prove three main theorems: (1) guessing models are internally unbounded, (2) for any regular cardinal $\kappa \ge \omega_2$, $\textsf{ISP}(\kappa)$ implies that $\textsf{SCH}$ holds above $\kappa$, and (3) forcing posets…
This article is the second part of a series of three articles, in which we develop a higher covering theory of racks and quandles. This project is rooted in M. Eisermann's work on quandle coverings, and the categorical perspective brought…
Let $\Omega\subset\mathbb{R}^n$ be a strictly convex domain with smooth boundary and diameter $D$. The fundamental gap conjecture claims that if $V:\bar\Omega\to\mathbb{R}$ is convex, then the spectral gap of the Schr\"odinger operator…
This article establishes the algebraic covering theory of quandles. For every connected quandle we explicitly construct a universal covering, which in turn leads us to define the algebraic fundamental group as the automorphism group of the…
This is the fifth in a series of articles devoted to showing that a typical covering map of large degree to a fixed, regular graph has its new adjacency eigenvalues within the bound conjectured by Alon for random regular graphs. In this…
We study the values of the higher dimensional cardinal characteristics for sets of functions $f:\omega^\omega \to \omega^\omega$ introduced by the second author. We prove that while the bounding numbers for these cardinals can be strictly…
The Hartshorne conjecture predicts that two submanifolds X and Y in a projective manifold Z with ample normal bundles meets as soon as dim X + dim Y is at least dim Z. We mostly assume slightly stronger that one of the normal bundles is…
The paper is devoted to coverings by translative homothets and illuminations of convex bodies. For a given positive number $\alpha$ and a convex body $B$, $g_{\alpha}(B)$ is the infimum of $\alpha$-powers of finitely many homothety…
Strong cosmic censorship conjecture is central to the deterministic nature of general relativity, since it asserts that given any generic initial data on a spacelike hypersurface, the future can be uniquely predicted. However, recently it…
We show that in the $\mathbb{P}_{\max}$ extension of a certain Chang-type model of determinacy, if $\kappa\in\{\omega_1, \omega_2, \omega_3\}$, then the restriction of the club filter on $\kappa\cap\mathrm{Cof}(\omega)$ to HOD is an…
In this paper we study the covering numbers of the space of convex and uniformly bounded functions in multi-dimension. We find optimal upper and lower bounds for the $\epsilon$-covering number of $\C([a, b]^d, B)$, in the $L_p$-metric, $1…
The purpose of this paper is to make an introduction to univalent function theory for readers of any level, assuming only foundational knowledge in real and complex analysis. In particular, we state and proof (with details) important…
This paper generalizes Shelah's generic pair conjecture (now theorem) for the measurable cardinal case from first order theories to finite diagrams. We use homogeneous models in the place of saturated models.
We study an analogue of the Mertens conjecture in the setting of global function fields. Building on the work of Cha, we show that most hyperelliptic curves do not satisfy the Mertens conjecture, but that if we modify the Mertens conjecture…