Related papers: Low complexity Haar null sets without G_{\delta} h…

We present a geometrical approach for studying dimers. We introduce a connection for dimer problems on bipartite and non-bipartite graphs. In the bipartite case the connection is flat but has non-trivial ${\bf Z}_2$ holonomy round certain…

We construct large subsets of the first $N$ positive integers which avoid certain arithmetic configurations. In particular, we construct a set of order $N^{0.7685}$ lacking the configuration $\{x,x+y,x+y^2\},$ surpassing the $N^{3/4}$ limit…

Answering an open question raised by Cooper, we show that there exist $\Delta^0_2$ sets $D$ and $E$ such that the singleton degree of $E$ is a minimal cover of the singleton degree of $D$. This shows that the $\Sigma^{0}_{2}$ singleton…

Using the method of decisive creatures (math.LO/0601083) we show the consistency of "there is no increasing omega_2 --chain of Borel sets and non(N)=non(M)= omega_2=2^omega". Hence, consistently, there are no monotone hulls for the ideal M…

We show that if a separable space X has a meager open subset containing a copy of the Cantor set 2^\omega, then X has $\frak{c}$ types of countable dense subsets. We suggest a generalization of the \lambda-set for non-separable spaces. Let…

We shall consider a locally compact groupoid endowed with a Haar system and having proper orbit space. We shall construct a groupoid C*-algebra which is independent of the Haar system (up to a *-isomorphism).

We provide a new class of Z_N x Z_M heterotic orbifolds on non-factorisable tori, whose boundary conditions are defined by Lie lattices. Generally, point groups of these orbifolds are generated by Weyl reflections and outer automorphisms of…

This is the geometric part of two papers on the cohomology of Kaehler groups. Using non-Abelian Hodge theory we show that if a finitely presented group with an unbounded complex linear morphism is the fundamental group of a compact Kaehler…

The L2-norm closure of the algebra of all zero-order classical (or polyhomogeneous) pseudodifferential operators on a closed manifold $X$ is proven not to contain H\"ormander's class $\Psi^0(X)$. A set of generators (for that closed…

Given an equivalence class $[A]$ in the measure algebra of the Cantor space, let $\hat\Phi([A])$ be the set of points having density 1 in $A$. Sets of the form $\hat\Phi([A])$ are called $\mathcal{T}$-regular. We establish several results…

We prove for every graph H there exists a>0 such that, for every graph G with at least two vertices, if no induced subgraph of G is a subdivision of H, then either some vertex of G has at least a|G| neighbours, or there are two disjoint…

We investigate weakly $G$-slim complexes, a more flexible variant of Helfer and Wise's slim complexes, which can be defined on any regular $G$-covering. We prove that if a $2$-complex $X$ associated to a group presentation is weakly…

We show that any compact half-conformally flat manifold of negative type, with bounded $L^2$ energy, sufficiently small scalar curvature, and a non-collapsing assumption, has all betti numbers bounded. We show that this result is optimal…

Answering a question of Junker and Ziegler, we construct a countable first order structure which is not omega-categorical, but does not have any proper non-trivial reducts, in either of two senses (model-theoretic, and group-theoretic). We…

Let $G$ be a simple graph on $n$ vertices. Let $H$ be either the complete graph $K_m$ or the complete bipartite graph $K_{r,s}$ on a subset of the vertices in $G$. We show that $G$ contains $H$ as a subgraph if and only if…

We give an explicit formula for the rational category of an elliptic space whose minimal model has a homogeneous-length differential. We also show that for such a space, there are no gaps in the sequence of integers realized as the rational…

We define the cohomological Hall algebra ${AHA}_{Higgs(X)}$ of the ($2$-dimensional) Calabi-Yau category of Higgs sheaves on a smooth projective curve $X$, as well as its nilpotent and semistable variants, in the context of an arbitrary…

We show that there is a minimal pair in the nonuniform generic degrees, and hence also in the uniform generic degrees. This fact contrasts with Igusa's result that there are no minimal pairs for relative generic computability, and answers a…

For all $k \ge 2$, we show that there exists a group $G$ and a non-free stably free $\mathbb{Z} G$-module of rank $k$. We use this to show that, for all $k \ge 2$, there exist homotopically distinct finite $2$-complexes with fundamental…

We show that two simple, separable, nuclear and $\mathcal{Z}_0$-stable $\mathrm{C}^\ast$-algebras are isomorphic if they are trace-preservingly homotopy equivalent. This result does not assume the UCT and can be viewed as a tracial stably…