Related papers: Borel combinatorics fail in HYP

A Laver tree is a tree in which each node splits infinitely often. A Hechler tree is a tree in which each node splits cofinitely often. We show that every analytic set is either disjoint from the branches of a Heckler tree or contains the…

Let $G$ be a reductive group over an algebraically closed subfield $k$ of $\mathbb{C}$ of characteristic zero, $H \subseteq G$ an observable subgroup normalized by a maximal torus of $G$ and $X$ an affine $k$-variety acted on by $G$. Popov…

We show that every locally finite bipartite Borel graph satisfying a strengthening of Hall's condition has a Borel perfect matching on some comeager invariant Borel set. We apply this to show that if a group acting by Borel automorphisms on…

The set of homogeneous polynomials of degree $D$ is a topological space that contains the subspace $Hyp(D)$ constituted only by hyperbolic polynomials. In 2002, V. I. Arnold conjectured that the number of connected components of $Hyp (D)$…

We investigate stability properties of the reductive Borel-Serre categories; these were introduced as a model for unstable algebraic K-theory in previous work. We see that they exhibit better homological stability properties than the…

We extend Borel's theorem on the dominance of word maps from semisimple algebraic groups to some perfect groups. In another direction, we generalize Borel's theorem to some words with constants. We also consider the surjectivity problem for…

Not every quasihereditary algebra $(A,\Phi,\unlhd)$ has an exact Borel subalgebra. A theorem by Koenig, K\"ulshammer and Ovsienko asserts that there always exists a quasihereditary algebra Morita equivalent to $A$ that has a regular exact…

Two-dimensional real hyporeductive triple algebras (h.t.a.) are investigated. A classification of such algebras is presented. As a consequence, a classification of two-dimensional real Lie triple algebras (i.e. generalized Lie triple…

We introduce an alternative combinatorial parametrization of Borel orbits in classical symmetric varieties using matchings of the Corona graph. As an application, we obtain ultra log-concavity and unimodality for the number of Borel orbits…

We observe that the classification problem for countable models of arithmetic is Borel complete. On the other hand, the classification problems for finitely generated models of arithmetic and for recursively saturated models of arithmetic…

We construct a family of right coideal subalgebras of quantum groups, which have the property that all irreducible representations are one-dimensional, and which are maximal with this property. The obvious examples for this are the standard…

An Isabelle/HOL formalisation of G\"odel's two incompleteness theorems is presented. The work follows \'Swierczkowski's detailed proof of the theorems using hereditarily finite (HF) set theory. Avoiding the usual arithmetical encodings of…

A wealth of geometric and combinatorial properties of a given linear endomorphism $X$ of $\R^N$ is captured in the study of its associated zonotope $Z(X)$, and, by duality, its associated hyperplane arrangement ${\cal H}(X)$. This…

We develop the theory of integrable representations for an arbitrary maximal parabolic subalgebra of an affine Lie algebra. We see that such subalgebras can be thought of as arising in a natural way from a Borel--de Siebenthal pair of…

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…

A certain squarefree monomial ideal $H_P$ arising from a finite partially ordered set $P$ will be studied from viewpoints of both commutative algebra and combinatorics. First, it is proved that the defining ideal of the Rees algebra of…

Let $G$ be a Borel graph all of whose finite subgraphs embed into the $d$-dimensional grid with diagonals. We show that then $G$ itself admits a Borel embedding into the Schreier graph of a free Borel action of $\mathbb Z^{O(d)}$. This…

Counterexamples to the Modular Isomorphism Problem were discovered recently. These are non-isomorphic finite $2$-groups $G$ and $H$ that have isomorphic group algebras over the field $\mathbb{Z}/2\mathbb{Z}$ and non-isomorphic group…

We show that certain canonical realizations of the complexes Hom(G,H) and Hom_+(G,H) of (partial) graph homomorphisms studied by Babson and Kozlov are in fact instances of the polyhedral Cayley trick. For G a complete graph, we then…

We define an integral Borel-Moore homology theory over finite fields, called arithmetic homology, and an integral version of Kato homology. Both types of groups are expected to be finitely generated, and sit in a long exact sequence with…