Searcharxiv⌕ Search

arXiv subjects

Nansen Petrosyan

Publications and source records attributed to Nansen Petrosyan.

At least 19 recordsLinked to original sources
arXiv2026

Universal Structure of Graph Product Kernels

Let $G_Γ$ be a graph product over a finite simplicial graph $Γ$, and let $K_Γ$ denote the kernel of the canonical homomorphism from $G_Γ$ to the direct product of its vertex groups. It is known that, up to isomorphism, $K_Γ$ depends only on the underlying graph $Γ$ and the cardinalities of the vertex groups. In this paper we establish a functorial refinement of this fact. We show that any collection of set maps between the vertex groups naturally induces a homomorphism between the corresponding kernels, and that this construction is functorial. Several applications are discussed.

math.GR↗
arXiv2025

Cohomological characterisation of hyperbolicity

For any geodesic metric space $X$, we give a complete cohomological characterisation of the hyperbolicity of $X$ in terms of vanishing of its second $\ell^{\infty}$-cohomology. We extend this result to the relative setting of $X$ with a collection of uniformly hyperbolic subgraphs. As an application, we give a cohomological characterisation of acylindrical hyperbolicity.

math.GR↗
arXiv2025

Dehn fillings, equivariant homology, and the Baum-Connes conjecture

We establish a connection between Cohen-Lyndon triples and equivariant homology theory, with a focus on the Baum-Connes conjecture. In the first part of this work, we establish an excision sequence for the classifying spaces for proper actions in equivariant homology theories. This provides a direct link between Cohen-Lyndon triples and the left-hand side of the Baum-Connes conjecture. Independently of these, we prove that the Baum-Connes conjecture with coefficients (BCC) with finite wreath products holds for all discrete hyperbolic groups, building on the monumental work of Lafforgue. Combining this with permanence properties and the work of Dahmani-Guirardel-Osin on relatively hyperbolic groups, we identify a broad class of groups, including all lattices in simple Lie groups of real rank one that satisfy the BCC with finite wreath products. This significantly broadens the scope of our first result, as Cohen-Lyndon triples arise naturally in the context of relatively hyperbolic groups, thereby connecting both sides of the Baum-Connes conjecture.

math.KT↗
arXiv2025

$L^2$-Betti numbers of Dehn fillings

We initiate the study of the $L^2$-Betti numbers of group-theoretic Dehn fillings. For a broad class of virtually special groups $G$, we prove that the $L^2$-Betti numbers of sufficiently deep Dehn fillings $\overline{G}$ are equal to those of $G$. As applications, we verify the Singer Conjecture for certain Einstein manifolds, establish a virtual fibering criterion for $\overline{G}$, obtain bounds on deficiency of $\overline{G}$, and provide new examples of hyperbolic groups with exotic subgroups that arise as Dehn fillings of any cusped arithmetic hyperbolic manifold of dimension at least four.

math.GR↗
arXiv2024

Asymptotic mapping class groups of Cantor manifolds and their finiteness properties

We prove that the infinite family of asymptotic mapping class groups of surfaces of defined by Funar--Kapoudjian and Aramayona--Funar are of type $F_\infty$, thus answering questions of Funar-Kapoudjian-Sergiescu and Aramayona-Vlamis. As it turns out, this result is a specific instance of a much more general theorem which allows to deduce that asymptotic mapping class groups of Cantor manifolds, also introduced in this paper, are of type $F_\infty$, provide the underlying manifolds satisfy some general hypotheses. As important examples, we will obtain $F_\infty$ asymptotical mapping class groups that contain, respectively, the mapping class group of every compact surface with non-empty boundary, the automorphism group of every free group of finite rank, or infinite families of arithmetic groups. In addition, for certain types of manifolds, the homology of our asymptotic mapping class groups coincides with the stable homology of the relevant mapping class groups, as studied by Harer and Hatcher--Wahl.

math.GT↗
arXiv2024

Hyperbolicity and bounded-valued cohomology

We generalise a theorem of Gersten on surjectivity of the restriction map in $\ell^{\infty}$-cohomology of groups. This leads to applications on subgroups of hyperbolic groups, quasi-isometric distinction of finitely generated groups and $\ell^{\infty}$-cohomology calculations for some well-known classes of groups. Along the way, we obtain hyperbolicity criteria for groups of type $FP_2(\mathbb Q)$ and for those satisfying a rational homological linear isoperimetric inequality, answering a question of Arora and Martínez-Pedroza.

math.GR↗
arXiv2023

Cohomology of group theoretic Dehn fillings II

We study the cohomology of group theoretic Dehn fillings. Applying the Cohen-Lyndon property for sufficiently deep Dehn fillings of hyperbolically embedded subgroups $H\hookrightarrow_h G$, obtained by the second named author, we derive a spectral sequence that computes the cohomology of the corresponding Dehn filling quotients $\overline{G}$. As an application, we establish an isomorphism between the relative cohomology of the group pair $(G, H)$ and its sufficiently deep Dehn filling quotient pair $(\overline{G}, \overline{H})$. This allows us to generalise the results of Fujiwara and Manning on simplicial volume of Dehn fillings of hyperbolic manifolds to Dehn fillings of Poincaré duality pairs. We also strengthen the results of Olshanskii, Dahmani-Guirardel-Osin and Hull on SQ-universality and common quotients of acylindrically hyperbolic groups by adding cohomological finiteness conditions. We apply these results to obtain hyperbolic and acylindrically hyperbolic quotients with special properties.

math.GR↗
arXiv2022

Cohomological and geometric invariants of simple complexes of groups

We investigate strictly developable simple complexes of groups with arbitrary local groups, or equivalently, group actions admitting a strict fundamental domain. We introduce a new method for computing the cohomology of such groups. We also generalise Bestvina's construction to obtain a polyhedral complex equivariantly homotopy equivalent to the standard development of the lowest possible dimension. As applications, for a group acting chamber transitively on a building of type $(W,S)$, we show that its Bredon cohomological dimension is equal to the virtual cohomological dimension of $W$ and give a realisation of the building of the lowest possible dimension. We introduce the notion of a reflection-like action, and use it to give a new family of counterexamples to the strong form of Brown's conjecture on the equality of virtual cohomological dimension and Bredon cohomological dimension for proper actions. We show that the fundamental group $G$ of a simple complex of groups acts on a tree with stabilisers generating a family of subgroups $\mathcal{F}$ if and only if its Bredon cohomological dimension with respect to $\mathcal{F}$ is at most one. This confirms a folklore conjecture under the assumption that a model for the classifying space $E_{\mathcal{F}}G$ of $G$ for the family $\mathcal{F}$ has a strict fundamental domain. In order to handle complexes of groups arising from arbitrary group actions, we define a number of combinatorial invariants such as the block poset, which may be of independent interest. We also derive a general formula for Bredon cohomological dimension for a group $G$ admitting a cocompact model for $E_{\mathcal{F}}G$. As a consequence of both, we obtain a simple formula for proper cohomological dimension of $\mathrm{CAT}(0)$ groups whose actions admit a strict fundamental domain.

math.GR↗
arXiv2022

Fibering flat manifolds of diagonal type and their fundamental groups

An $n$-dimensional closed flat manifold is said to be of diagonal type if the standard representation of its holonomy group $G$ is diagonal. An $n$-dimensional Bieberbach group of diagonal type is the fundamental group of such a manifold. We introduce the diagonal Vasquez invariant of $G$ as the least integer $n_d(G)$ such that every flat manifold of diagonal type with holonomy $G$ fibers over a flat manifold of dimension at most $n_d(G)$ with flat torus fibers. Using a combinatorial description of Bieberbach groups of diagonal type, we give both upper and lower bounds for this invariant. We show that the lower bounds are exact when $G$ has low rank. We apply this to analyse diffuseness properties of Bieberbach groups of diagonal type. This leads to a complete classification of Bieberbach groups of diagonal type with Klein four-group holonomy and to an application to Kaplansky's Unit Conjecture.

math.GR↗
arXiv2022

Decomposing groups by codimension-1 subgroups

The paper is concerned with Kropholler's conjecture on splitting a finitely generated group over a codimension-1 subgroup. For a subgroup H of a group G, we define the notion of "finite splitting height" which generalises the finite-height property. By considering the dual CAT(0) cube complex associated to a codimension-1 subgroup H in G, we show that the Kropholler-Roller conjecture holds when H has finite splitting height in G. Examples of subgroups of finite height are stable subgroups or more generally strongly quasiconvex subgroups. Examples of subgroups of finite splitting height include relatively quasiconvex subgroups of relatively hyperbolic groups with virtually polycyclic peripheral subgroups. In particular, our results extend Stallings' theorem and generalise a theorem of Sageev on decomposing a hyperbolic group by quasiconvex subgroups.

math.GR↗
arXiv2018

Bestvina complex for group actions with a strict fundamental domain

We consider a strictly developable simple complex of finite groups $G(\mathcal Q)$. We show that Bestvina's construction for Coxeter groups applies in this more general setting to produce a complex that is equivariantly homotopy equivalent to the standard development. When $G(\mathcal Q)$ is non-positively curved, this implies that the Bestvina complex is a cocompact classifying space for proper actions of $G$ of minimal dimension. As an application, we show that for groups that act properly and chamber transitively on a building of type $(W, S)$, the dimension of the associated Bestvina complex is the virtual cohomological dimension of $W$. We give further examples and applications in the context of Coxeter groups, graph products of finite groups, locally $6$-large complexes of groups and groups of rational cohomological dimension at most one. Our calculations indicate that, because of its minimal cell structure, the Bestvina complex is well-suited for cohomological computations.

math.GR↗
arXiv2017

Hierarchically cocompact classifying spaces for mapping class groups of surfaces

We define the notion of a hierarchically cocompact classifying space for a family of subgroups of a group. Our main application is to show that the mapping class group $\mbox{Mod}(S)$ of any connected oriented compact surface $S$, possibly with punctures and boundary components and with negative Euler characteristic has a hierarchically cocompact model for the family of virtually cyclic subgroups of dimension at most $\mbox{vcd} \mbox{Mod}(S)+1$. When the surface is closed, we prove that this bound is optimal. In particular, this answers a question of Lück for mapping class groups of surfaces.

math.GR↗
arXiv2017

Classification of spin structures on 4-dimensional almost-flat manifolds

Almost-flat manifolds were defined by Gromov as a natural generalisation of flat manifolds and as such share many of their properties. Similarly to flat manifolds, it turns out that the existence of a spin structure on an almost-flat manifold is determined by the canonical orthogonal representation of its fundamental group. Utilising this, we classify the spin structures on all four-dimensional almost-flat manifolds that are not flat. Out of 127 orientable families, there are exactly 15 that are non-spin, the rest are in fact parallelizable.

math.AT↗
arXiv2017

On dimensions of groups with cocompact classifying spaces for proper actions

We construct groups G that are virtually torsion-free and have virtual cohomological dimension strictly less than the minimal dimension for any model for the classifying space for proper actions of G. They are the first examples that have these properties and also admit cocompact models for this classifying space. We exhibit groups G whose virtual cohomological dimension and Bredon cohomological dimension are two that do not admit any 2-dimensional contractible proper G-CW-complex.

math.GR↗
arXiv2016

Spin structures of flat manifolds of diagonal type

For each integer $d$ at least two, we construct non-spin closed oriented flat manifolds with holonomy group $\mathbb Z_2^d$ and with the property that all of their finite proper covers have a spin structure. Moreover, all such covers have trivial Stiefel-Whitney classes.

math.AT↗
arXiv2015

Crystallographic actions on contractible algebraic manifolds

We study properly discontinuous and cocompact actions of a discrete subgroup $Γ$ of an algebraic group $G$ on a contractible algebraic manifold $X$. We suppose that this action comes from an algebraic action of $G$ on $X$ such that a maximal reductive subgroup of $G$ fixes a point. When the real rank of any simple subgroup of $G$ is at most one or the dimension of $X$ is at most three, we show that $Γ$ is virtually polycyclic. When $Γ$ is virtually polycyclic, we show that $Γ$ is virtually polycyclic. When $Γ$ is virtually polycyclic, we show that the action reduces to a NIL-affine crystallographic action. As applications, we prove that the generalized Auslander conjecture for NIL-affine actions holds up to dimension six and give a new proof of the fact that every virtually polycyclic group admits a NIL-affine crystallographic action.

math.GT↗
arXiv2014

Classifying spaces with virtually cyclic stabilizers for linear groups

We show that every discrete subgroup of $\mathrm{GL}(n,\mathbb{R})$ admits a finite dimensional classifying space with virtually cyclic stabilizers. Applying our methods to $\mathrm{SL}(3,\mathbb{Z})$, we obtain a four dimensional classifying space with virtually cyclic stabilizers and a decomposition of the algebraic $K$-theory of its group ring.

math.GR↗