Related papers: Analysis of HOD for Admissible Structures

In 2007 Phillips and Weaver showed that, assuming the Continuum Hypothesis, there exists an outer automorphism of the Calkin algebra. (The Calkin algebra is the algebra of bounded operators on a separable complex Hilbert space, modulo the…

A graph is Hamiltonian if it contains a cycle passing through every vertex. One of the cornerstone results in the theory of random graphs asserts that for edge probability $p \gg \frac{\log n}{n}$, the random graph $G(n,p)$ is…

Let $G$ be a connected complex Lie group. A real form of $G$ is a closed subgroup $H\subset G$ whose Lie algebra $\mathfrak{h}$ is a real form of the Lie algebra $\mathfrak{g}$ of $G$. A pair $(G,H)$ of this type is reductive, and the…

We prove the following result due to Hamidoune using an analytic approach. Suppose that A is a subset of a finite group G with |AA^{-1}| \leq (2-\varepsilon)|A|. Then there is a subgroup H of G and a set X of size O_\varepsilon(1) such that…

We study $A$-hypergeometric systems $H_A(\beta)$ in the sense of Gelfand, Kapranov and Zelevinsky under two aspects: the structure of their holonomically dual system, and reducibility of their rank module. We prove first that rank-jumping…

In the original version of this paper, we assume a theory $T$ that the logic $\mathbb L_{\kappa, \aleph_{0}}$ is categorical in a cardinal $\lambda > \kappa$, and $\kappa$ is a measurable cardinal. There we prove that the class of model of…

A conjecture of Kadison and Kastler from 1972 asks whether sufficiently close operator algebras in a natural uniform sense must be small unitary perturbations of one another. For $n\geq 3$ and a free ergodic probability measure preserving…

Laman graphs are fundamental to rigidity theory. A graph G with n vertices and m edges is a generic minimally rigid graph (Laman graph), if m=2n-3 and every induced subset of k vertices spans at most 2k-3 edges. We consider the verification…

Let G/Q be an homogeneous variety embedded in a projective space P thanks to an ample line bundle L. Take a projective space containing P and form the cone X over G/Q, we call this a cone over an homogeneous variety. Let $\alpha$ a class of…

We present a mechanized embedding of higher-order logic (HOL) and algebraic data types (ADT) into first-order logic with ZFC axioms. We implement this in the Lisa proof assistant for schematic first-order logic and its library based on…

Let $H$ be a connected graded Hopf algebra over a field of characteristic zero and $K$ an arbitrary graded Hopf subalgebra of $H$. We show that there is a family of homogeneous elements of $H$ and a total order on the index set that satisfy…

Lyubashenko's construction associates representations of mapping class groups Map_{g,n} of Riemann surfaces of any genus g with any number n of holes to a factorizable ribbon category. We consider this construction as applied to the…

We prove several theorems relating amenability of groups in various categories (discrete, definable, topological, automorphism group) to model-theoretic invariants (quotients by connected components, Lascar Galois group, G-compactness,…

We define a weak iterability notion that is sufficient for a number of arguments concerning $\Sigma_1$-definability at uncountable regular cardinals. In particular we give its exact consistency strength firstly in terms of the second…

We prove that a model structure on a relative $\infty$-category $(M,W)$ gives an efficient and computable way of accessing the hom-spaces $hom_{M[[W^{-1}]]}(x,y)$ in the localization. More precisely, we show that when the source $x \in M$…

We extend the methods of geometric invariant theory to actions of non--reductive groups in the case of homomorphisms between decomposable sheaves whose automorphism groups are non--reductive. Given a linearization of the natural action of…

In this paper we explore a connection between descriptive set theory and inner model theory. From descriptive set theory, we will take a countable, definable set of reals, A. We will then show that A is equal to the reals of M, where M is a…

Let $L$ be one of the finite dimensional Lie algebras $W_n({\bf m}),$ $S_n({\bf m}),$ $ H_n({\bf m})$ of Cartan type over an algebraically closed field of prime characteristic $p>0.$ For an elements $F$ of the symmetrical algebra $S(L)$ we…

This note contains a reformulation of the Hodge index theorem within the framework of Atiyah's $L^2$-index theory. More precisely, given a compact K\"ahler manifold $(M,h)$ of even complex dimension $2m$, we prove that…

We extend classical results on the classification of reversible elements of the group $\mathrm{GL}(n, \mathbb{C})$ (and $\mathrm{GL}(n, \mathbb{R})$) to $\mathrm{GL}(n, \mathbb{H})$ using an infinitesimal version of the classical…