Submultiplicativity and the Hanna Neumann conjecture.
type: Item
instance of: scholarly article
title: Submultiplicativity and the Hanna Neumann conjecture.
zbMATH Open document ID: 1280.20029
author: Igor Mineyev
published in: Annals of Mathematics. Second Series
publication date: 2012-03-13T00:00:00Z
review text: The famous Hanna Neumann Conjecture (HNC) from 1956-1957 says that if \(F\) is a nontrivial free group and \(A\) and \(B\) are two nontrivial finitely generated subgroups of \(F\), then \[ r(A\cap B)-1\leq (r(A)-1)(r(B)-1), \] where \(r(F)\) is the rank of a free group \(F\). The Strengthened Hanna Neumann Conjecture (SHNC), formulated by her son Walter Neumann (1989-1990), states that in the above situation \[ \sum_{AgB\in A\backslash F/B}\overline r(g^{-1}Ag\cap B)\leq\overline r(A)\overline r(B), \] where \(\overline r(F):=\max\{0,r(F)-1\}\) is the reduced rank of a free group \(F\) and \(A\backslash F/B=\{AgB\mid g\in F\}\) is the set of all double cosets \(AgB\) for \(g\in F\). The author of the paper under review by discussing `submultiplicativity' which is the term for a general SHNC-like property for \(F\)-complexes and based on his earlier work [J. Topol. Anal. 3, No. 3, 307-376 (2011; Zbl 1236.20030)] gives a nice proof for SHNC as follows: Let \(F\) be a free group and \(X\) be a finite graph with \(\pi_1(X)\cong F\). Consider immersions of finite graphs \(\alpha\colon Y\to X\) and \(\beta\colon Z\to X\) representing the subgroups \(A,B\leq F\), respectively. Let \(p_X\colon\widehat X\to X\) be the universal covering. Since free groups are left-orderable, the systems generated by \(\alpha,\beta,p_X\) are deep fall. Hence \[ b_i^{(2)}(\widehat S;F)\leq b_i^{(2)}(\widehat Y;F)\cdot b_i^{(2)}(\widehat Z;F), \] where \(\widehat S,\widehat Y,\widehat Z\) are in correspondence with \(S,Y,Z\), respectively, in the pull-back of the fiber-product diagram for \(Y,Z\) and \(b_i^{(2)}(\widehat Y;F):=\dim_FH_i^{(2)}(\widehat Y)\) is called the \(i\)-th `\(\ell^2\)-Betti number' in which \(\dim_F\) is the Murray-von Neumann dimension of Hilbert \(F\)-module. Finally by the earlier work of the author [loc. cit.] the last inequality is equivalent to SHNC.
reviewed by: Behrooz Mashayekhy
Mathematics Subject Classification ID: 20E05
Mathematics Subject Classification ID: 20F65
Mathematics Subject Classification ID: 57M07
Mathematics Subject Classification ID: 20E07
Mathematics Subject Classification ID: 05C25
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 20F60
Mathematics Subject Classification ID: 57M20
Mathematics Subject Classification ID: 57M10
Mathematics Subject Classification ID: 57M05
zbMATH DE Number: 6014080
zbMATH Keywords: free groups
zbMATH Keywords: Hanna Neumann conjecture
zbMATH Keywords: finitely generated subgroups
zbMATH Keywords: submultiplicativity
zbMATH Keywords: ordered groups
zbMATH Keywords: order-essential cells
zbMATH Keywords: Murray-von Neumann dimension
zbMATH Keywords: \(\ell^2\)-Betti numbers
zbMATH Keywords: leafage
zbMATH Keywords: deep-fall property
MaRDI profile type: Publication
full work available at URL: annals.2012.175.1.11
OpenAlex ID: W2169722656
Wikidata QID: Q123224896
cites work: On the intersection of finitely generated subgroups of a free group
cites work: Equivalence of the strengthened Hanna Neumann conjecture and the amalgamated graph conjecture
cites work: The rank three case of the Hanna Neumann conjecture
cites work: On the intersection of free subgroups in free products of groups
cites work: Sheaves on Graphs, Their Homological Invariants, and a Proof of the Hanna Neumann Conjecture: with an Appendix by Warren Dicks
cites work: Intersections of finitely generated subgroups of free groups and resolutions of graphs
cites work: On finitely generated subgroups of free groups
cites work: INTERSECTING FREE SUBGROUPS IN FREE PRODUCTS OF GROUPS
cites work: On the Kurosh rank of the intersection of subgroups in free products of groups.
cites work: Q3152678
cites work: Q3148984
cites work: Subgroups of free groups: a contribution to the Hanna Neumann conjecture
cites work: THE TOPOLOGY AND ANALYSIS OF THE HANNA NEUMANN CONJECTURE
cites work: Q3231202
cites work: Q3243302
cites work: Q3209315
cites work: Intersections of finitely generated free groups
cites work: A short proof of a theorem of Burns.
cites work: Q5783656
cites work: Topology of finite graphs
cites work: On the intersection of subgroups of a free group
cites work: Q5797063
DOI: 10.4007/ANNALS.2012.175.1.11
Recommended article: Approximation by subgroups of finite index and the Hanna Neumann conjecture
Recommended article: Subcontraction-equivalence and Hadwiger's conjecture
Recommended article: THE TOPOLOGY AND ANALYSIS OF THE HANNA NEUMANN CONJECTURE
Recommended article: The Hanna Neumann conjecture for Demushkin groups
Recommended article: Q3337641
Recommended article: Q3678117
Recommended article: MULTIPLICATIVE SUB-HODGE STRUCTURES OF CONJUGATE VARIETIES
Recommended article: On a Theorem of Huneke Concerning Multiplicities
Recommended article: ON ANALOGUES OF HUPPERT’S CONJECTURE
Recommended article: Towards the Hanna Neumann conjecture using Dicks' method
description: scientific article; zbMATH DE number 6014080