Source author record

Martin Kassabov

Martin Kassabov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

16works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

preprint2020arXiv

Subgroups of simple groups are as diverse as possible

For a finite group $G$, let $σ(G)$ be the number of subgroups of $G$ and $σ_ι(G)$ the number of isomorphism types of subgroups of $G$. Let $L=L_r(p^e)$ denote a simple group of Lie type, rank $r$, over a field of order $p^e$ and characteristic $p$. If $r\neq 1$, $L\not\cong {^2 B_2}(2^{1+2m})$, then there are constants $c,d$, dependent on the Lie type, such that as $re$ grows $$p^{(c-o(1))r^4e^2}\leqσ_ι(L_r(p^e))\leqσ(L_r(p^e)) \leq p^{(d+o(1))r^4e^2}.$$ For type $A$, $c=d=1/64$. For other classical groups $1/64\leq c\leq d\leq 1/4$. For exceptional and twisted groups $1/2^{100}\leq c\leq d\leq 1/4$. Furthermore, $$2^{(1/36-o(1))k^2)}\leqσ_ι(\mathrm{Alt}_k)\leq σ(\mathrm{Alt}_k)\leq 24^{(1/6+o(1))k^2}.$$ For abelian and sporadic simple groups $G$, $σ_ι(G),σ(G)\in O(1)$. In general these bounds are best possible amongst groups of the same orders. Thus with the exception of finite simple groups with bounded ranks and field degrees, the subgroups of finite simple groups are as diverse as possible.

preprint2016arXiv

Character varieties as a tensor product

In this short note we show that representation and character varieties of discrete groups can be viewed as tensor products of suitable functors over the PROP of cocommutative Hopf algebras. Such view point has several interesting applications. First, it gives a straightforward way of deriving the functor sending a discrete group to the functions on its representation variety, which leads to representation homology. Second, using a suitable deformation of the functors involved in this construction, one can obtain deformations of the representation and character varieties for the fundamental groups of 3-manifolds, and could lead to better understanding of quantum representations of mapping class groups.

preprint2015arXiv

Hopf Algebras and Invariants of the Johnson Cokernel

We show that if H is a cocommutative Hopf algebra, then there is a natural action of Aut(F_n) on the nth tensor power of H which induces an Out(F_n) action on a quotient \overline{H^{\otimes n}}. In the case when H=T(V) is the tensor algebra, we show that the invariant Tr^C of the cokernel of the Johnson homomorphism studied in [J. Conant, The Johnson cokernel and the Enomoto-Satoh invariant, Algebraic and Geometric Topology, 15 (2015), no. 2, 801--821.] projects to take values in the top dimensional cohomology of Out(F_n) with coefficients in \overline{H^{\otimes n}}. We analyze the n=2 case, getting large families of obstructions generalizing the abelianization obstructions of [J. Conant, M. Kassabov, K. Vogtmann, Higher hairy graph homology, Journal of Topology, Geom. Dedicata 176 (2015), 345--374.].

preprint2014arXiv

Property (T) for groups graded by root systems

We introduce and study the class of groups graded by root systems. We prove that if Φ is an irreducible classical root system of rank at least 2 and G is a group graded by Φ, then under certain natural conditions on the grading, the union of the root subgroups is a Kazhdan subset of G. As the main application of this theorem we prove that for any reduced irreducible classical root system Φ of rank at least 2 and a finitely generated commutative ring R with 1, the Steinberg group St_Φ(R) and the elementary Chevalley group E_Φ(R) have property (T). We also show that there exists a group with property (T) which maps onto all finite simple groups of Lie type and rank at least 2, thereby providing a "unified" proof of expansion in these groups.

preprint2013arXiv

Higher hairy graph homology

We study the hairy graph homology of a cyclic operad; in particular we show how to assemble corresponding hairy graph cohomology classes to form cocycles for ordinary graph homology, as defined by Kontsevich. We identify the part of hairy graph homology coming from graphs with cyclic fundamental group as the dihedral homology of a related associative algebra with involution. For the operads Comm, Assoc and Lie we compute this algebra explicitly, enabling us to apply known results on dihedral homology to the computation of hairy graph homology. In addition we determine the image in hairy graph homology of the trace map defined in [CKV], as a symplectic representation. For the operad Lie assembling hairy graph cohomology classes yields all known non-trivial rational homology of Out(F_n). The hairy graph homology of Lie is also useful for constructing elements of the cokernel of the Johnson homomomorphism of a once-punctured surface.

preprint2013arXiv

On groups with slow intersection growth

Intersection growth concerns the asymptotic behavior of the index of the intersection of all subgroups of a group that have index at most n. In this note we show that the intersection growth of some groups may not be a nicely behaved function by showing the following seemingly contradictory results: (a) for any group G the intersection growth function i_G(n) is super linear infinitely often; and (b) for any increasing function f there exists a group G such that i_G below f infinitely often.

preprint2012arXiv

Hairy graphs and the unstable homology of Mod(g,s), Out(F_n) and Aut(F_n)

We study a family of Lie algebras {hO} which are defined for cyclic operads O. Using his graph homology theory, Kontsevich identified the homology of two of these Lie algebras (corresponding to the Lie and associative operads) with the cohomology of outer automorphism groups of free groups and mapping class groups of punctured surfaces, respectively. In this paper we introduce a hairy graph homology theory for O. We show that the homology of hO embeds in hairy graph homology via a trace map which generalizes the trace map defined by S. Morita. For the Lie operad we use the trace map to find large new summands of the abelianization of hO which are related to classical modular forms for SL(2,Z). Using cusp forms we construct new cycles for the unstable homology of Out(F_n), and using Eisenstein series we find new cycles for Aut(F_n). For the associative operad we compute the first homology of the hairy graph complex by adapting an argument of Morita, Sakasai and Suzuki, who determined the complete abelianization of hO in the associative case.

preprint2011arXiv

Bounding the residual finiteness of free groups

We find a lower bound to the size of finite groups detecting a given word in the free group, more precisely we construct a word w_n of length n in non-abelian free groups with the property that w_n is the identity on all finite quotients of size ~ n^{2/3} or less. This improves on a previous result of Bou-Rabee and McReynolds quantifying the lower bound of the residual finiteness of free groups.

preprint2011arXiv

Groups of Oscillating Intermediate Growth

We construct an uncountable family of finitely generated groups of intermediate growth, with growth functions of new type. These functions can have large oscillations between lower and upper bounds, both of which come from a wide class of functions. In particular, we can have growth oscillating between $e^{n^a}$ and any prescribed function, growing as rapidly as desired. Our construction is built on top of any of the Grigorchuk groups of intermediate growth, and is a variation on the limit of permutational wreath product.

preprint2011arXiv

Structure theorems for subgroups of homeomorphisms groups

In this partly expository paper, we study the set A of groups of orientation-preserving homeomorphisms of the circle S^1 which do not admit non-abelian free subgroups. We use classical results about homeomorphisms of the circle and elementary dynamical methods to derive various new and old results about the groups in A. Of the known results, we include some results from a family of results of Beklaryan and Malyutin, and we also give a new proof of a theorem of Margulis. Our primary new results include a detailed classification of the solvable subgroups of R. Thompson's group T .

preprint2011arXiv

The Dehn function of Baumslag's Metabelian Group

Baumslag's group is a finitely presented metabelian group with a Z \wr Z subgroup. There is an analogue with an additional torsion relation in which this subgroup becomes C_m \wr Z. We prove that Baumslag's group has an exponential Dehn function. This contrasts with the torsion analogues which have quadratic Dehn functions. v.2: version for publication, incorporating referee's suggestions.

preprint2011arXiv

The simultaneous conjugacy problem in groups of piecewise linear functions

Guba and Sapir asked if the simultaneous conjugacy problem was solvable in Diagram Groups or, at least, for Thompson's group F. We give a solution to the latter question using elementary techniques which rely purely on the description of F as the group of piecewise linear orientation-preserving homeomorphisms of the unit interval. The techniques we develop extend the ones used by Brin and Squier allowing us to compute roots and centralizers as well. Moreover, these techniques can be generalized to solve the same question in larger groups of piecewise-linear homeomorphisms.