English
Related papers

Related papers: Borel Complexity and the Schr\"oder-Bernstein Prop…

200 papers

We develop a correspondence between the study of Borel equivalence relations induced by closed subgroups of $S_\infty$, and the study of symmetric models and weak choice principles, and apply it to prove a conjecture of…

Logic · Mathematics 2020-11-26 Assaf Shani

For distinct unitary cuspidal automorphic representations $\pi_1$ and $\pi_2$ for $\mathrm{GL}(2)$ over a number field $F$ and any $\alpha\in\Bbb{R}$, let $\mathcal{S}_{\alpha}$ be the set of primes $v$ of $F$ for which…

Number Theory · Mathematics 2022-03-22 Peng-Jie Wong

For a cardinal lambda<lambda_{omega_1} we give a ccc forcing notion P which forces that for some Borel subset B of the Cantor space (1) there a sequence (eta_alpha:alpha<lambda) of distinct elements such that |(eta_alpha+B) cap…

Logic · Mathematics 2018-06-19 Andrzej Roslanowski , Saharon Shelah

In this article we describe relations of the topology of closed 1-forms to the group theoretic invariants of Bieri-Neumann-Strebel-Renz. Starting with a survey, we extend these Sigma invariants to finite CW- complexes and show that many…

Algebraic Topology · Mathematics 2008-10-07 Michael Farber , Ross Geoghegan , Dirk Schuetz

A first-order theory has the Schroder-Bernstein property if any two of its models that are elementarily bi-embeddable are isomorphic. We prove that if G is an abelian group, then the follwing are equivalent: 1. Th(G, +) has the…

Logic · Mathematics 2007-05-23 John Goodrick

Let $K\subset R^n$ be a compact basic semi-algebraic set. We provide a necessary and sufficient condition (with no a priori bounding parameter) for a real sequence $y=(y_\alpha)$, $\alpha\in N^n$, to have a finite representing Borel measure…

Optimization and Control · Mathematics 2013-07-30 Jean-Bernard Lasserre

Working under large cardinal assumptions, we study the Borel-reducibility between equivalence relations modulo restrictions of the non-stationary ideal on some fixed cardinal $\kappa$. We show the consistency of…

Logic · Mathematics 2017-08-10 David Asperó , Tapani Hyttinen , Vadim Kulikov , Miguel Moreno

The notion of a shift-compact set in an abelian topological group $X$ plays a significant role in functional equations and inequalities, especially so since each Borel set that is not Haar-meagre, alternatively not Haar-null, is necessarily…

Classical Analysis and ODEs · Mathematics 2019-12-23 N. H. Bingham , Eliza Jablonska , Wojciech Jablonski , Adam J. Ostaszewski

We introduce a new compactness principle which we call the gluing property. For a measurable cardinal $\kappa$ and a cardinal $\lambda$, we say that $\kappa$ has the $\lambda$-gluing property if every sequence of $\lambda$-many…

Logic · Mathematics 2026-03-27 Yair Hayut , Alejandro Poveda

In this paper we establish existence results for the Fractional Nirenberg Equation via the flatness hypothesis. We have been able to include the Morse functions in our study. This extends the previous results obtained bY Yan Yan Li and…

Analysis of PDEs · Mathematics 2016-10-12 W. Abdelhedi , H. Chtioui , H. Hajaiej

We discuss the Borel Tukey ordering on cardinal invariants of the continuum. We observe that this ordering makes sense for a larger class of cardinals than has previously been considered. We then provide a Borel version of a large portion…

Logic · Mathematics 2019-08-16 Samuel Coskey , Tamás Mátrai , Juris Steprāns

We prove the scalar curvature rigidity for $L^\infty$ metrics on $\mathbb S^n\backslash\Sigma$, where $\mathbb S^n$ is the $n$-dimensional sphere with $n\geq 3$ and $\Sigma$ is a closed subset of $\mathbb S^n$ of codimension at least…

Differential Geometry · Mathematics 2026-05-21 Jinmin Wang , Zhizhang Xie

Let $\pi$ be a group satisfying the Farrell-Jones conjecture and assume that $B\pi$ is a 4-dimensional Poincar\'e duality space. We consider topological, closed, connected manifolds with fundamental group $\pi$ whose canonical map to $B\pi$…

Geometric Topology · Mathematics 2023-04-13 Daniel Kasprowski , Markus Land

We study quantum mechanical systems with a discrete spectrum. We show that the asymptotic series associated to certain paths of steepest-descent (Lefschetz thimbles) are Borel resummable to the full result. Using a geometrical approach…

High Energy Physics - Theory · Physics 2018-02-01 Marco Serone , Gabriele Spada , Giovanni Villadoro

In this thesis new objects to the existing set of invariants of Lie algebras are added. These invariant characteristics are capable of describing the nilpotent parametric continuum of Lie algebras. The properties of these invariants, in…

Mathematical Physics · Physics 2015-06-23 Jiří Hrivnák

It is consistent that the continuum be arbitrary large and no absolute $\kappa$-Borel set $X$ of density $\kappa$, $\aleph_1<\kappa<\mathfrak{c}$, condenses onto a compact metric space. It is consistent that the continuum be arbitrary large…

General Topology · Mathematics 2024-02-23 Alexander V. Osipov

Let $G$ be a connected semi-simple group defined over and algebraically closed field, $T$ a fixed Cartan, $B$ a fixed Borel containing $T$, $S$ a set of simple reflections associated to the simple positive roots corresponding to $(T,B)$,…

Algebraic Geometry · Mathematics 2007-05-23 David Joyner , Pablo Lejarraga

The quest for complete observables in general relativity has been a longstanding open problem. We employ methods from descriptive set theory to show that no complete observable on rich enough collections of spacetimes is Borel definable. In…

General Relativity and Quantum Cosmology · Physics 2023-10-24 Aristotelis Panagiotopoulos , George Sparling , Marios Christodoulou

We derive new, sharp lower bounds for certain curvature functionals on the space of Riemannian metrics of a smooth compact 4-manifold with a non-trivial Seiberg-Witten invariant. These allow one, for example, to exactly compute the infimum…

Differential Geometry · Mathematics 2009-10-31 Claude LeBrun

This article introduces and studies the tight approximation property, a property of algebraic varieties defined over the function field of a complex or real curve that refines the weak approximation property (and the known cohomological…

Algebraic Geometry · Mathematics 2024-06-18 Olivier Benoist , Olivier Wittenberg