Related papers: Homogeneously Souslin sets in small inner models
We show that all sufficiently nice $\lambda$-sets are countable dense homogeneous ($\mathsf{CDH}$). From this fact we conclude that for every uncountable cardinal $\kappa \le \mathfrak{b}$ there is a countable dense homogeneous metric space…
We provide analogues of the results from [FMR11, CMMR13] in the reference list (which correspond to the case $\kappa = \omega$) for arbitrary $\kappa$-Souslin quasi-orders on any Polish space, for $\kappa$ an infinite cardinal smaller than…
We first show that a continuous function f is nonnegative on a closed set $K\subseteq R^n$ if and only if (countably many) moment matrices of some signed measure $d\nu =fd\mu$ with support equal to K, are all positive semidefinite (if $K$…
We consider the generalized Segal-Bargmann transform C_t for a compact group K, introduced in B. C. Hall, J. Funct. Anal. 122 (1994), 103-151. Let K_C denote the complexification of K. We give a necessary-and-sufficient pointwise growth…
Let \(G\) be a non-discrete, locally compact group with Haar measure \(m\). We prove that there exists a compact set \(K \subset G\) with \(m(K)=0\) such that \(KK^{-1}\) contains a neighborhood of the identity. Moreover, such a set may be…
Given a cover $\mathbb{U}$ of a family of smooth complex algebraic varieties, we associate with it a class $\mathcal{U},$ containing $\mathbb{U}$, of structures locally definable in an o-minimal expansion of the reals. We prove that the…
We establish the existence of complete K\"ahler metrics of semi-positive holomorphic sectional curvature with many zeroes in an interesting and natural geometric setting. Specifically, we use Calabi's Ansatz in the form due to Koiso-Sakane…
This note presents a new, elementary proof of a generalization of a theorem of Halin to graphs with unbounded degrees, which is then applied to show that every connected, countably infinite graph G with a subdegree-finite, infinite…
We show that assuming modest large cardinals, there is a definable class of ordinals, closed and unbounded beneath every uncountable cardinal, so that for any closed and unbounded subclasses $P, Q$, $\langle L[P],\in ,P \rangle$ and…
Let $L$ be a finite dimensional Lie algebra over a field of characteristic $0$. Then by the original Levi theorem, $L = B \oplus R$ where $R$ is the solvable radical and $B$ is some maximal semisimple subalgebra. We prove that if $L$ is an…
We show that, for a coanalytic subspace $X$ of $2^\omega$, the countable dense homogeneity of $X^\omega$ is equivalent to $X$ being Polish. This strengthens a result of Hru\v{s}\'ak and Zamora Avil\'es. Then, inspired by results of…
Let $K$ be a compact subset of $\bar{\bold C} ={\bold R}^2$ and let $K^c$ denote its complement. We say $K\in HR$, $K$ is holomorphically removable, if whenever $F:\bar{\bold C} \to\bar{\bold C}$ is a homeomorphism and $F$ is holomorphic…
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…
By Cartan's Theorem, every closed subgroup $H$ of a real (or $p$-adic) Lie group $G$ is a Lie subgroup. For Lie groups over a local field ${\mathbb K}$ of positive characteristic, the analogous conclusion is known to be wrong. We show more:…
The present paper is devoted to analysis of the lack of compactness of bounded sequences in \emph{inhomogeneous} Sobolev spaces, where bounded sequences might fail to be compact due to an isometric group action, that is, \emph{translation}.…
Any $6$-dimensional strict nearly K\"ahler manifold is Einstein with positive scalar curvature. We compute the coindex of the metric with respect to the Einstein-Hilbert functional on each of the compact homogeneous examples. Moreover, we…
It is shown that the family of all homogeneous continua in the hyperspace of all subcontinua of any finite-dimensional Euclidean cube or the Hilbert cube is an analytic subspace of the hyperspace which contains a topological copy of the…
The paper concerns Hochschild cohomology of a commutative algebra S, which is essentially of finite type over a commutative noetherian ring K and projective as a K-module, with coefficients in an S-module M. It is proved that vanishing of…
We study a naturally occurring $E_{\infty}$-subalgebra of the full $E_2$-Hochschild cochain complex arising from coherent cochains. For group rings and certain category algebras, these cochains detect $H^*(B {\cal{C}})$, the simplicial…
The estimate [\lVert D^{k-1}u\rVert_{L^{n/(n-1)}} \le \lVert A(D)u \rVert_{L^1} ] is shown to hold if and only if (A(D)) is elliptic and canceling. Here (A(D)) is a homogeneous linear differential operator (A(D)) of order (k) on…