Related papers: Classical and Relative Realizability
We show that every countable Borel equivalence relation structurable by $n$-dimensional contractible simplicial complexes embeds into one which is structurable by such complexes with the further property that each vertex belongs to at most…
We set up, at the abstract Hilbert space setting, the general question on when an inverse linear problem induced by an operator of Friedrichs type admits solutions belonging to (the closure of) the Krylov subspace associated to such…
In this paper we study finite morphisms between irreducible projective varieties in terms of the morphisms they induce between the respective analytifications. The background for the principal result is as follows. Let $V'$ and $V$ be…
The main purpose is to establish two theorems about closed 0-definable subsets $A$ of an affine space $K^{n}$ over a Hensel minimal field $K$. The first, being a non-Archimedean counterpart of one from o-minimal geometry, states that every…
We introduce the general notions of an overconvergent site and a constructible crystal on an overconvergent site. We show that if $V$ is a geometric materialization of a locally noetherian formal scheme $X$ over an analytic space $O$…
We show that any of a large class of schemes receives a universal homeomorphism from a reduced scheme that in turn receives no nontrivial universal homeomorphism from any other reduced scheme. This construction serves as a categorical input…
The main purpose of this paper is to give a combinatorial realization of Kirillov-Reshetikhin (KR simply) crystals $B^{r, s}$ for type $\text{E}_n^{(1)}$ with a minuscule node $r$ and $s \ge 1$. To do this, we describe explicitly the…
We study the Borel reducibility of isomorphism relations in the generalized Baire space $\kappa^\kappa$. In the main result we show for inaccessible $\kappa$, that if $T$ is a classifiable theory and $T'$ is stable with OCP, then the…
What sets A \subset Z^n can be written in the form (K-K) \cap Z^n, where K is a compact subset of R^n such that K+Z^n=R^n? Such sets A are called achievable, and it is known that if A is achievable, then < A >=Z^n. This condition completely…
We prove that every elementary $(\infty,1)$-topos has a natural number object. We achieve this by defining the loop space of the circle and showing that we can construct a natural number object out of it. Part of the proof involves showing…
In the present work we obtain rigidity results analysing the set of regular points, in the sense of Oseledec's Theorem. It is presented a study on the possibility of an Anosov diffeomorphisms having all Lyapunov exponents defined…
By using a combination of algebraic, geometric, and dynamical techniques, together with input from higher dimensional Diophantine approximation, we give a complete characterization of all linearly repetitive cut and project sets with…
We consider the covering map $\pi:\mathbb{C}^n\to \mathbb{T}$ of a compact complex torus. Given an algebraic variety $X\subseteq \mathbb{C}^n$ we describe the topological closure of $\pi(X)$ in $\mathbb T$. We obtain a similar description…
We show that a simply connected stable plane with connected lines is isomorphic to an open subplane of a classical projective plane (i.e., a plane over the real or complex numbers, the quaternions or the octonions) if it has that property…
We introduce the notion of virtual ultracategory. From a topological point of view, this notion can be seen as a categorification of relational $\beta$-algebras. From a categorical point of view, virtual ultracategories generalize…
This paper is concerned with approximating the dominant left singular vector space of a real matrix $A$ of arbitrary dimension, from block Krylov spaces generated by the matrix $AA^T$ and the block vector $AX$. Two classes of results are…
We investigate a question of Cooper adjacent to the Virtual Haken Conjecture. Assuming certain conjectures in number theory, we show that there exist hyperbolic rational homology 3-spheres with arbitrarily large injectivity radius. These…
This paper classifies spherical objects in various geometric settings in dimensions two and three, including both minimal and partial crepant resolutions of Kleinian singularities, as well as arbitrary flopping 3-fold contractions with only…
We prove that every infinite-dimensional (locally convex) linear topological space that can be expressed as a direct limit of finite-dimensional metrizable compacta is (linearly) homeomorphic to the space $R^\infty=\dlim R^n$.
Langlands has described the irreducible admissible representations of $T$, when $T$ is the group of points of an algebraic torus over a local field. Also, Langlands described the automorphic representations of $T_{\mathbb A}$ when…