Related papers: Projective measure without projective Baire

Every LCA group has a Haar measure unique up to rescaling by a positive scalar. Clausen has shown that the Haar measure describes the universal determinant functor of the category LCA in the sense of Deligne. We show that when only working…

We prove for an arbitrary complex $^*$-algebra $A$ that every topologically irreducible $^*$-representation of $A$ on a Hilbert space is finite dimensional precisely when the Lebesgue decomposition of representable positive functionals over…

Let $\mu$ be a translation invariant measure on $(\mathbb{R}^d,\mathcal{B}(\mathbb{R}^d))$ and let $\lambda$ denote the Lebesgue measure on $\mathbb{R}^d$. If there exists an open set $U$ such that $0<\mu(U)=\lambda(U)<\infty$, it is a…

For every infinite graph $\Gamma$ we construct a non-Desarguesian projective plane $P^*_{\Gamma}$ of the same size as $\Gamma$ such that $Aut(\Gamma) \cong Aut(P^*_{\Gamma})$ and $\Gamma_1 \cong \Gamma_2$ iff $P^*_{\Gamma_1} \cong…

An absolutely convergent double series representation for the density of the supremum of $\alpha$-stable Levy process is given in [3, Theorem 2] for almost all irrational $\alpha$. This result cannot be made stronger in the following sense:…

Let S1(Gamma,Gamma) be the statement: For each sequence of point-cofinite open covers, one can pick one element from each cover and obtain a point-cofinite cover. b is the minimal cardinality of a set of reals not satisfying…

Let $X$ be a topological space. Let $X_0 \subseteq X$ be a second countable subspace. Also, assume that $X$ is first countable at any point of $X_0$. Then we provide some conditions under which we ensure that $X_0$ is not Baire.

We look at a measure, $\lambda^\infty$, on the infinite-dimensional space, ${\mathbb R}^\infty$, for which we attempt to put forth an analogue of the Lebesgue density theorem. Although this measure allows us to find partial results, for…

We show that for a $\sigma $-ideal $\ci$ with a Steinhaus property defined on Banach space, if two non-homeomorphic Banach with the same cardinality of the Hamel basis then there is a $\ci$ nonmeasurable subset as image by any isomorphism…

We observe that Hall's free projective extension $P \mapsto F(P)$ of partial planes is a Borel map, and use a modification of the construction introduced in [9] to conclude that the class of countable non-Desarguesian projective planes is…

We show that if $\varphi \colon \mathbb R\rightarrow\mathbb R$ is a continuous mapping and the set of nonlinearity of $\varphi$ has nonzero Lebesgue measure, then $\varphi$ maps bijectively a certain set that contains arbitrarily long…

We study some variants of the Erd\H{o}s similarity problem. We pose the question if every measurable subset of the real line with positive measure contains a similar copy of an infinite geometric progression. We construct a compact subset…

We generalize our theorems in "Mirror Principle I" to a class of balloon manifolds. Many of the results are proved for convex projective manifolds. In a subsequent paper, Mirror Principle III, we will extend the results to projective…

We give some new explicit examples of putatively optimal projective spherical designs. i.e., ones for which there is numerical evidence that they are of minimal size. These form continuous families, and so have little apparent symmetry in…

A topological space $X$ is Baire if the Baire Category Theorem holds for $X$, i.e., the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems in the theory of functional spaces is the…

We prove that every homogeneous countable dense homogeneous topological space containing a copy of the Cantor set is a Baire space. In particular, every countable dense homogeneous topological vector space is a Baire space. It follows that,…

We present a model where \omega_1 is inaccessible by reals, Silver measurability holds for all sets but Miller and Lebesgue measurability fail for some sets. This contributes to a line of research started by Shelah in the 1980s and more…

We prove the following two results. 1. If $X$ is a completely regular space such that for every topological space $Y$ each separately continuous function $f:X\times Y\to\mathbb R$ is of the first Baire class, then every Lindel\"of subspace…

We prove several theorems on sigma-bounded and sigma-compact pointsets. We start with a known theorem by Kechris, saying that any lightface \Sigma^1_1 set of the Baire space either is effectively sigma-bounded (that is, covered by a…

There is a well-known global equivalence between \Sigma^1_2 sets having the Universal Baire property, two-step \Sigma^1_3 generic absoluteness, and the closure of the universe under the sharp operation. In this note, we determine the exact…