Related papers: Topology of unavoidable complexes
We consider compact K\"ahlerian manifolds $X$ of even dimension 4 or more, endowed with a log-symplectic structure $\Phi$, a generically nondegenerate closed 2-form with simple poles on a divisor $D$ with local normal crossings. A simple…
Let $\pi$ be a proper subset of the set of all primes. Denote by $r$ the smallest prime which does not belong to $\pi$ and set $m = r$ if $r = 2$ or $3$ and $m = r-1$ if $r \geqslant 5$. We study the following conjecture: a conjugacy class…
If $\mathcal P$ is a family of filters over some set $I$, a topological space $X$ is \emph{sequencewise $\mathcal P$-\brfrt compact} if, for every $I$-indexed sequence of elements of $X$, there is $F \in \mathcal P$ such that the sequence…
Motivated by the theorem of Gy\H ori and Lov\'asz, we consider the following problem. For a connected graph $G$ on $n$ vertices and $m$ edges determine the number $P(G,k)$ of unordered solutions of positive integers $\sum_{i=1}^k m_i = m$…
Let $G$ be the adjoint group of a real simple Lie algebra $\mathfrak{g}_0$ equal either $\mathfrak{s}\mathfrak{u}(n,1)$ or $\mathfrak{s}\mathfrak{o}(n,1),$ $K$ its maximal compact subgroup, ${\cal U}(\mathfrak{g})$ the universal enveloping…
Answering some of the main questions from [MR13], we show that whenever $\kappa$ is a cardinal satisfying $\kappa^{< \kappa} = \kappa > \omega$, then the embeddability relation between $\kappa$-sized structures is strongly invariantly…
Let $k_1,k_2$ be two fields of characteristic 0. Let $G_1$ be a split semisimple algebraic group over $k_1$, $G_2$ a split Kac--Moody group over $k_2$ and $\phi\colon G_1(k_1)\to G_2(k_2)$ an abstract embedding. We show that $\im \phi$ is a…
We present a short proof of the \v{C}adek-Kr\v{c}\'al-Matou\v{s}ek-Vok\v{r}\'inek-Wagner result from the title (in the following form due to Filakovsk\'y-Wagner-Zhechev). For any fixed even $l$ there is no algorithm recognizing the…
Pick $n$ independent and uniform random points $U_1,\ldots,U_n$ in a compact convex set $K$ of $\mathbb{R}^d$ with volume 1, and let $P^{(d)}_K(n)$ be the probability that these points are in convex position. The Sylvester conjecture in…
We obtain a criterion for approximability by embeddings of piecewise linear maps of a circle to the plane, analogous to the one proved by Minc for maps of a segment to the plane. Theorem. Let S be a triangulation of a circle with s…
Let $X$ be a normal algebraic variety over a finitely generated field $k$ of characteristic zero, and let $\ell$ be a prime. Say that a continuous $\ell$-adic representation $\rho$ of $\pi_1^{\text{\'et}}(X_{\bar k})$ is arithmetic if there…
Inspired by work of Fr\"oberg (1990), and Eagon and Reiner (1998), we define the \emph{total $k$-cut complex} of a graph $G$ to be the simplicial complex whose facets are the complements of independent sets of size $k$ in $G$. We study the…
In the MINIMUM CONVEX COVER (MCC) problem, we are given a simple polygon $\mathcal P$ and an integer $k$, and the question is if there exist $k$ convex polygons whose union is $\mathcal P$. It is known that MCC is $\mathsf{NP}$-hard…
We prove that, if $R$ is a non-discrete irreducible, continuous ring, then its unit group $\mathrm{GL}(R)$, equipped with the topology generated by the rank metric, is topologically simple modulo its center, path-connected, locally…
A sequence $S$ is potentially $K_{m}-H$-graphical if it has a realization containing a $K_{m}-H$ as a subgraph. Let $\sigma(K_{m}-H, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $\sigma(S)\geq…
Let $G$ be a graph and $r \ge 1$. A vertex subset is $r$-independent if every connected component of its induced subgraph has size at most $r$. The family of all such subsets forms a simplicial complex, the $r$-independence complex…
We show that the decision problem of determining whether a given (abstract simplicial) $k$-complex has a geometric embedding in $\mathbb R^d$ is complete for the Existential Theory of the Reals for all $d\geq 3$ and $k\in\{d-1,d\}$. This…
Let G be a split real Kac-Moody group of arbitrary type and let K be its maximal compact subgroup, i.e. the subgroup of elements fixed by a Cartan-Chevalley involution of G. We construct non-trivial spin covers of K, thus confirming a…
We compute the Lusternik-Schnirelmann category and the topological complexity of no $k$-equal manifolds $M^{(k)}_d(n)$ for certain values of $d$, $k$ and $n$. This includes instances where $M^{(k)}_d(n)$ is known to be rationally…
We introduce a new family of pure simplicial complexes, called the $r$-co-connected complex of $G$ with respect to $A$, $\Sigma_r(A,G)$, where $r\geq 1$ is a natural number, $G$ is a simple graph, and $A$ is a subset of vertices.…