Related papers: Generic dichotomy for homomorphisms for $E_0^\math…

In Diophantine approximation, inhomogeneous problems are linked with homogeneous ones by means of the so-called Transference Theorems. We revisit this classical topic by introducing new exponents of Diophantine approximation. We prove that…

We construct comparison morphisms between two well-known projective resolutions of a monomial algebra $A$: the bar resolution and Bardzell's resolution; the first one is used to define the cup product and the Lie bracket on the Hochschild…

We prove a number of results concerning monomorphisms, epimorphisms, dominions and codominions in categories of coalgebras. Examples include: (a) representation-theoretic characterizations of monomorphisms in all of these categories that…

Building on previous work of Kadison--Ringrose, Elliott, Akemann--Pedersen, and this author, we prove a dichotomy for the relation of outer equivalence of derivations and unitary equivalence of derivable automorphisms for a separable…

For a given group $G$, it is natural to ask whether one can classify all isometric $G$-actions on Gromov hyperbolic spaces. We propose a formalization of this problem utilizing the complexity theory of Borel equivalence relations. In this…

We answer one of the main questions in generalized descriptive set theory, the Friedman-Hyttinen-Kulikov conjecture on the Borel reducibility of the Main Gap. We show a correlation between Shelah's Main Gap and generalized Borel…

In this paper, we introduce the notion of a derivation of a Hom-Lie algebra and construct the corresponding strict Hom-Lie 2-algebra, which is called the derivation Hom-Lie 2-algebra. As applications, we study non-abelian extensions of…

Let $0 < \beta \leq \alpha < 1$ and $\kappa > 0$. I prove that there exists $\eta > 0$ such that the following holds for every pair of Borel sets $A,B \subset \mathbb{R}$ with $\dim_{\mathrm{H}} A = \alpha$ and $\dim_{\mathrm{H}} B =…

A hom-Lie algebroid is a vector bundle together with a Lie algebroid like structure which is twisted by a homomorphism. In this paper we use the idea of representations up to homotopy of Lie algebroids to construct a same structure for…

We characterize having Borel isomorphism relation among some weakly minimal trivial theories, namely the examples of families of finite equivalence relations from recent joint work with Laskowski, and tame expansions of…

We consider the following problem for a fixed graph H: given a graph G and two H-colorings of G, i.e. homomorphisms from G to H, can one be transformed (reconfigured) into the other by changing one color at a time, maintaining an H-coloring…

Let $G$ be a connected reductive algebraic group over an algebraically closed field $k$, and assume that the characteristic of $k$ is zero or a pretty good prime for $G$. Let $P$ be a parabolic subgroup of $G$ and let $\mathfrak p$ be the…

A general structure theorem on higher order invariants is proven. For an arithmetic group, the structure of the corresponding Hecke module is determined. It is shown that the module does not contain any irreducible submodule. This explains…

It is shown that the isomorphism relation between continuous t-norms is Borel bireducible with the relation of order isomorphism between linear orders on the set of natural numbers, and therefore, it is a Borel complete equivalence…

We study the problem of computing the parity of the number of homomorphisms from an input graph $G$ to a fixed graph $H$. Faben and Jerrum [ToC'15] introduced an explicit criterion on the graph $H$ and conjectured that, if satisfied, the…

Let $E\subseteq F$ and $E'\subseteq F'$ be Borel equivalence relations on the standard Borel spaces $X$ and $Y$, respectively. The pair $(E,F)$ is simultaneously Borel reducible to the pair $(E',F')$ if there is a Borel function $f:X\to Y$…

Let $E$ be a quasilocal field, $R/E$ a finite separable extension, and $R _{\rm ab}$ the maximal abelian subextension of $E$ in $R$. The main result of this paper shows that the norm groups $N(R/E)$ and $N(R_{\rm ab}/E)$ are equal, if the…

Bivariant (equivariant) K-theory is the standard setting for non-commutative topology. We may carry over various techniques from homotopy theory and homological algebra to this setting. Here we do this for some basic notions from…

The classical Andreotti-Frankel-Hamm theorem reads: a complex affine algebraic variety B, of dim_\C B=n, has homotopy type of dim_\R\le n. We prove the relative version for morphisms X\to B.

We establish a correspondence between automorphisms and derivations on certain algebras of generalised power series. In particular, we describe a Lie algebra of derivations on a field $k(\!(G)\!)$ of generalised power series, exploiting our…