Related papers: Computational complexity and 3-manifolds and zombi…

Fix a finite group $G$. We analyze the computational complexity of the problem of counting homomorphisms $\pi_1(X) \to G$, where $X$ is a topological space treated as computational input. We are especially interested in requiring $G$ to be…

Fix a finite group $G$. We study the computational complexity of counting problems of the following flavor: given a group $\Gamma$, count the number of homomorphisms $\Gamma \to G$. Our first result establishes that this problem is…

This paper establishes the separation of complexity classes $\mathbf{P}$ and $\mathbf{NP}$ through a novel homological algebraic approach grounded in category theory. We construct the computational category $\mathbf{Comp}$, embedding…

A homomorphism from a graph G to a graph H is a function from the vertices of G to the vertices of H that preserves edges. A homomorphism is surjective if it uses all of the vertices of H and it is a compaction if it uses all of the…

We provide a homological model for a family of quantum representations of mapping class groups arising from non-semisimple TQFTs (Topological Quantum Field Theories). Our approach gives a new geometric point of view on these…

This paper grew out of an attempt to find a suitable finite sheeted covering of an aspherical 3-manifold so that the cover either has infinite or trivial first homology group. With this motivation we define a new class of groups. These…

We construct a category $\mathrm{HomCob}$ whose objects are {\it homotopically 1-finitely generated} topological spaces, and whose morphisms are {\it cofibrant cospans}. Given a manifold submanifold pair $(M,A)$, we prove that there exists…

Let $G$ be a nonabelian, simple group with a nontrivial conjugacy class $C \subseteq G$. Let $K$ be a diagram of an oriented knot in $S^3$, thought of as computational input. We show that for each such $G$ and $C$, the problem of counting…

Representing graphs by their homomorphism counts has led to the beautiful theory of homomorphism indistinguishability in recent years. Moreover, homomorphism counts have promising applications in database theory and machine learning, where…

We consider a toy model of a 3-dimensional topological quantum gravity. In this model, a contribution of a given 3-manifold is given by the partition function of an abelian Topological Quantum Field Theory (TQFT), with a topological…

This is a first in a series of papers, devoted to the relation betwwen three-manifolds and number fields. The present paper studies first homology of finite coverings of a three-manifold with primary interest in the Thurston $b_1$…

Let $M$ be a closed, connected, orientable topological four-manifold with $H_1(M)$ nontrivial and free abelian, $b_2(M)\ne 0, 2$, and $\chi(M)\ne 0$. We show that if $G$ is a finite group of 2-rank $\le 1$ which admits a homologically…

We construct Morse homology groups associated with any regular function on a smooth complex algebraic variety, allowing singular and non-compact critical loci. These groups are generated by critical points of a certain large pertubation of…

Gluing two manifolds M_1 and M_2 with a common boundary S yields a closed manifold M. Extending to formal linear combinations x=Sum_i(a_i M_i) yields a sesquilinear pairing p=<,> with values in (formal linear combinations of) closed…

Let $\nu=(n_1,\ldots, n_s), s\ge 2,$ be a sequence of positive integers and let $n=\sum_{1\le j\le s}n_j$. Let $\mathbb CG(\nu)=U(n)/(U(n_1)\times \cdots\times U(n_s))$ be the complex flag manifold. Denote by $P(m,\nu)=P(\mathbb S^m,\mathbb…

We study the relationship between trivial cocycles on the Torelli group and invariants of oriented integral homology 3-spheres. We give ncecessary and sufficient conditions for a function defined on the union of the Torelli groups to be an…

We classify homomorphisms from mapping class groups by using finite subgroups. First, we give a new proof of a result of Aramayona--Souto that homomorphisms between mapping class groups of closed surfaces are trivial for a range of genera.…

For a compact oriented smooth $n$-manifold $M$ and a codimension-$1$ homology class $\phi \in \operatorname{H}_{n-1}(M, \partial M)$, we investigate a simplicial complex $\mathcal{S}^\dagger(M, \phi)$ relating the properly embedded…

For $(\mathbb{C} P^2 \# 5{\overline {\mathbb{C} P^2}},\omega)$, let $N_{\omega}$ be the number of $(-2)$-symplectic spherical homology classes.We completely determine the Torelli symplectic mapping class group (Torelli SMCG): the Torelli…

The holomorph of a discrete group $G$ is the universal semi-direct product of $G$. In chapter 1 we describe why it is an interesting object and state main results. In chapter 2 we recall the classical definition of the holomorph as well as…