-
Infinitesimal calculations in fundamental groups
Authors:
Nir Gadish,
Aydin Ozbek,
Dev Sinha,
Ben Walter
Abstract:
We show that Hopf invariants, defined by evaluation in Harrison cohomology of the commutative cochains of a space, calculate the logarithm map from a fundamental group to its Malcev Lie algebra. They thus present the zeroth Harrison cohomology as a universal dual object to the Malcev Lie algebra. This structural theorem supports explicit calculations in algebraic topology, geometric topology and c…
▽ More
We show that Hopf invariants, defined by evaluation in Harrison cohomology of the commutative cochains of a space, calculate the logarithm map from a fundamental group to its Malcev Lie algebra. They thus present the zeroth Harrison cohomology as a universal dual object to the Malcev Lie algebra. This structural theorem supports explicit calculations in algebraic topology, geometric topology and combinatorial group theory. In particular, we give the first algorithm to determine whether a word raised to some power is a k-fold nested product of commutators, in any group presented by generators and relations.
△ Less
Submitted 29 March, 2024;
originally announced March 2024.
-
Letter-braiding: a universal bridge between combinatorial group theory and topology
Authors:
Nir Gadish
Abstract:
We define invariants of words in arbitrary groups, measuring how letters in a word are interleaving, perfectly detecting the dimension series of a group. These are the letter-braiding invariants. On free groups, braiding invariants coincide with coefficients in the Magnus expansion. In contrast with such coefficients, our invariants are defined on all groups and over any PID. They respect products…
▽ More
We define invariants of words in arbitrary groups, measuring how letters in a word are interleaving, perfectly detecting the dimension series of a group. These are the letter-braiding invariants. On free groups, braiding invariants coincide with coefficients in the Magnus expansion. In contrast with such coefficients, our invariants are defined on all groups and over any PID. They respect products in the group and are complete with respect to the dimension series, so serve as the coefficients of a universal multiplicative finite-type invariant, depending functorially on the group. Letter-braiding invariants arise out of analyzing the bar construction on a cochain model of a space with a prescribed fundamental group. This approach specializes to simplicial presentations of a group as well as to more geometric contexts, which we illustrate.
As an application, we define a Johnson style filtration and a Johnson homomorphism on the automorphisms of any group, and use it to constrain automorphisms of finite $p$-groups.
△ Less
Submitted 7 September, 2023; v1 submitted 25 August, 2023;
originally announced August 2023.
-
A Serre spectral sequence for the moduli space of tropical curves
Authors:
Christin Bibby,
Melody Chan,
Nir Gadish,
Claudia He Yun
Abstract:
We construct, for all $g\geq 2$ and $n\geq 0$, a spectral sequence of rational $S_n$-representations which computes the $S_n$-equivariant reduced rational cohomology of the tropical moduli spaces of curves $Δ_{g,n}$ in terms of compactly supported cohomology groups of configuration spaces of $n$ points on graphs of genus $g$. Using the canonical $S_n$-equivariant isomorphisms…
▽ More
We construct, for all $g\geq 2$ and $n\geq 0$, a spectral sequence of rational $S_n$-representations which computes the $S_n$-equivariant reduced rational cohomology of the tropical moduli spaces of curves $Δ_{g,n}$ in terms of compactly supported cohomology groups of configuration spaces of $n$ points on graphs of genus $g$. Using the canonical $S_n$-equivariant isomorphisms $\widetilde{H}^{i-1}(Δ_{g,n};\mathbb{Q}) \cong W_0 H^i_c(\mathcal{M}_{g,n};\mathbb{Q})$, we calculate the weight $0$, compactly supported rational cohomology of the moduli spaces $\mathcal{M}_{g,n}$ in the range $g=3$ and $n\leq 9$, with partial computations available for $n\leq 13$.
△ Less
Submitted 15 April, 2024; v1 submitted 4 July, 2023;
originally announced July 2023.
-
Configuration spaces on a wedge of spheres and Hochschild-Pirashvili homology
Authors:
Nir Gadish,
Louis Hainaut
Abstract:
We study the compactly supported rational cohomology of configuration spaces of points on wedges of spheres, equipped with natural actions of the symmetric group and the group $Out(F_g)$ of outer automorphisms of the free group. These representations show up in seemingly unrelated parts of mathematics, from cohomology of moduli spaces of curves to polynomial functors on free groups and Hochschild-…
▽ More
We study the compactly supported rational cohomology of configuration spaces of points on wedges of spheres, equipped with natural actions of the symmetric group and the group $Out(F_g)$ of outer automorphisms of the free group. These representations show up in seemingly unrelated parts of mathematics, from cohomology of moduli spaces of curves to polynomial functors on free groups and Hochschild-Pirashvili cohomology.
We show that these cohomology representations form a polynomial functor, and use various geometric models to compute many of its composition factors. We further compute the composition factors completely for all configurations of $n\leq 10$ particles. An application of this analysis is a new super-exponential lower bound on the symmetric group action on the weight $0$ component of $H^*_c(M_{2,n})$.
△ Less
Submitted 20 April, 2023; v1 submitted 24 February, 2022;
originally announced February 2022.
-
Homology representations of compactified configurations on graphs applied to $\mathcal{M}_{2,n}$
Authors:
Christin Bibby,
Melody Chan,
Nir Gadish,
Claudia He Yun
Abstract:
We obtain new calculations of the top weight rational cohomology of the moduli spaces $\mathcal{M}_{2,n}$, equivalently the rational homology of the tropical moduli spaces $Δ_{2,n}$, as a representation of $S_n$. These calculations are achieved fully for all $n\leq 10$, and partially -- for specific irreducible representations of $S_n$ -- for $n\le 22$. We also present conjectures, verified up to…
▽ More
We obtain new calculations of the top weight rational cohomology of the moduli spaces $\mathcal{M}_{2,n}$, equivalently the rational homology of the tropical moduli spaces $Δ_{2,n}$, as a representation of $S_n$. These calculations are achieved fully for all $n\leq 10$, and partially -- for specific irreducible representations of $S_n$ -- for $n\le 22$. We also present conjectures, verified up to $n=22$, for the multiplicities of the irreducible representations $\mathrm{std}_n$ and $\mathrm{std}_n\otimes \mathrm{sgn}_n$.
We achieve our calculations via a comparison with the homology of compactified configuration spaces of graphs. These homology groups are equipped with commuting actions of a symmetric group and the outer automorphism group of a free group. In this paper, we construct an efficient free resolution for these homology representations, from which we extract calculations on irreducible representations one at a time, simplifying the calculation of these homology representations.
△ Less
Submitted 25 April, 2023; v1 submitted 7 September, 2021;
originally announced September 2021.
-
Product Expansions of q-Character Polynomials
Authors:
Adithya Balachandran,
Nir Gadish,
Andrew Huang,
Siwen Sun
Abstract:
The ring of q-character polynomials is a q-analog of the classical ring of character polynomials for the symmetric groups. This ring consists of certain class functions defined simultaneously on the groups $Gl_n(F_q)$ for all n, which we also interpret as statistics on matrices. Here we evaluate these statistics on all matrices and work towards computing the structure constants of the product in t…
▽ More
The ring of q-character polynomials is a q-analog of the classical ring of character polynomials for the symmetric groups. This ring consists of certain class functions defined simultaneously on the groups $Gl_n(F_q)$ for all n, which we also interpret as statistics on matrices. Here we evaluate these statistics on all matrices and work towards computing the structure constants of the product in this ring. We show that the statistics are periodically polynomial in q, and governed by universal polynomials $P_{λ,μ}(q)$ which we compute explicitly, indexed by pairs of integer partitions. The product structure is similarly polynomial in q in many cases, governed by polynomials $R_{λ,μ}^ν(q)$ indexed by triples of partitions, which we compute in some cases.
Our calculations seem to exhibit several unexpected patterns. Mainly, we conjecture that certain indecomposable statistics generate the whole ring, and indeed prove this for statistics associated with matrices consisting of up to 2 Jordan blocks. Furthermore, the coefficients we compute exhibit surprising stability phenomena, which in turn reflect stabilizations of joint moments as well as multiplicities in the irreducible decomposition of tensor products of representations of $Gl_n(F_q)$ for $n\gg 1$. We use this stabilization to compute the correlation of the number of unipotent Jordan blocks of two sizes.
△ Less
Submitted 22 June, 2021;
originally announced June 2021.
-
Correction to: "A spectral sequence for stratified spaces and configuration spaces of points"
Authors:
Nir Gadish,
Dan Petersen
Abstract:
We correct some oversights in the paper "A spectral sequence for stratified spaces and configuration spaces of points" by the second named author. In particular we explain that an additional hypothesis should be added to Theorem 4.15 in said paper.
We correct some oversights in the paper "A spectral sequence for stratified spaces and configuration spaces of points" by the second named author. In particular we explain that an additional hypothesis should be added to Theorem 4.15 in said paper.
△ Less
Submitted 3 October, 2021; v1 submitted 1 July, 2020;
originally announced July 2020.
-
Deletion and contraction in configuration spaces of graphs
Authors:
Sanjana Agarwal,
Maya Banks,
Nir Gadish,
Dane Miyata
Abstract:
The aim of this article is to provide space level maps between configuration spaces of graphs that are predicted by algebraic manipulations of cellular chains. More explicitly, we consider edge contraction and half-edge deletion, and identify the homotopy cofibers in terms of configuration spaces of simpler graphs. The construction's main benefit lies in making the operations functorial - in parti…
▽ More
The aim of this article is to provide space level maps between configuration spaces of graphs that are predicted by algebraic manipulations of cellular chains. More explicitly, we consider edge contraction and half-edge deletion, and identify the homotopy cofibers in terms of configuration spaces of simpler graphs. The construction's main benefit lies in making the operations functorial - in particular, graph minors give rise to compatible maps at the level of fundamental groups as well as generalized (co)homology theories.
As applications we provide a long exact sequence for half-edge deletion in any generalized cohomology theory, compatible with cohomology operations such as the Steenrod and Adams operations, allowing for inductive calculations in this general context. We also show that the generalized homology of unordered configuration spaces is finitely generated as a representation of the opposite graph minor category.
△ Less
Submitted 27 May, 2020;
originally announced May 2020.
-
A generating function approach to new representation stability phenomena in orbit configuration spaces
Authors:
Christin Bibby,
Nir Gadish
Abstract:
As countless examples show, it can be fruitful to study a sequence of complicated objects all at once via the formalism of generating functions. We apply this point of view to the homology and combinatorics of orbit configuration spaces: using the notion of twisted commutative algebras, which essentially categorify exponential generating functions. This idea allows for a factorization of the orbit…
▽ More
As countless examples show, it can be fruitful to study a sequence of complicated objects all at once via the formalism of generating functions. We apply this point of view to the homology and combinatorics of orbit configuration spaces: using the notion of twisted commutative algebras, which essentially categorify exponential generating functions. This idea allows for a factorization of the orbit configuration space "generating function" into an infinite product, whose terms are surprisingly easy to understand. Beyond the intrinsic aesthetic of this decomposition and its quantitative consequences, it reveals a sequence of primary, secondary, and higher representation stability phenomena. Based on this, we give a simple geometric technique for identifying new stabilization actions with finiteness properties, which we use to unify and generalize known stability results. As a first new application of our methods, we establish secondary and higher stability for configuration spaces on $i$-acyclic spaces. For another application, we describe a natural filtration by which one observes a filtered representation stability phenomenon in configuration spaces on graphs.
△ Less
Submitted 20 April, 2020; v1 submitted 5 November, 2019;
originally announced November 2019.
-
Adding a point to configurations in closed balls
Authors:
Lei Chen,
Nir Gadish,
Justin Lanier
Abstract:
We answer the question of when a new point can be added in a continuous way to configurations of $n$ distinct points in a closed ball of arbitrary dimension. We show that this is possible given an ordered configuration of $n$ points if and only if $n \neq 1$. On the other hand, when the points are not ordered and the dimension of the ball is at least 2, a point can be added continuously if and onl…
▽ More
We answer the question of when a new point can be added in a continuous way to configurations of $n$ distinct points in a closed ball of arbitrary dimension. We show that this is possible given an ordered configuration of $n$ points if and only if $n \neq 1$. On the other hand, when the points are not ordered and the dimension of the ball is at least 2, a point can be added continuously if and only if $n = 2$. These results generalize the Brouwer fixed-point theorem, which gives the negative answer when $n=1$. We also show that when $n=2$, there is a unique solution to both the ordered and unordered versions of the problem up to homotopy.
△ Less
Submitted 7 May, 2019; v1 submitted 18 September, 2018;
originally announced September 2018.
-
Combinatorics of orbit configuration spaces
Authors:
Christin Bibby,
Nir Gadish
Abstract:
From a group action on a space, define a variant of the configuration space by insisting that no two points inhabit the same orbit. When the action is almost free, this "orbit configuration space" is the complement of an arrangement of subvarieties inside the cartesian product, and we use this structure to study its topology. We give an abstract combinatorial description of its poset of layers (co…
▽ More
From a group action on a space, define a variant of the configuration space by insisting that no two points inhabit the same orbit. When the action is almost free, this "orbit configuration space" is the complement of an arrangement of subvarieties inside the cartesian product, and we use this structure to study its topology. We give an abstract combinatorial description of its poset of layers (connected components of intersections from the arrangement) which turns out to be of much independent interest as a generalization of partition and Dowling lattices. The close relationship to these classical posets is then exploited to give explicit cohomological calculations.
△ Less
Submitted 2 October, 2020; v1 submitted 18 April, 2018;
originally announced April 2018.
-
Dimension-independent statistics of $Gl_n(F_q)$ via character polynomials
Authors:
Nir Gadish
Abstract:
Picking permutations at random, the expected number of k-cycles is known to be 1/k and is, in particular, independent of the size of the permuted set. This short note gives similar size-independent statistics of finite general linear groups: ones that depend only on small minors. The proof technique uses combinatorics of categories, motivated by representation stability, and applies simultaneously…
▽ More
Picking permutations at random, the expected number of k-cycles is known to be 1/k and is, in particular, independent of the size of the permuted set. This short note gives similar size-independent statistics of finite general linear groups: ones that depend only on small minors. The proof technique uses combinatorics of categories, motivated by representation stability, and applies simultaneously to symmetric groups, finite linear groups and many other settings.
△ Less
Submitted 28 October, 2019; v1 submitted 12 March, 2018;
originally announced March 2018.
-
An explicit symmetric DGLA model of a bi-gon
Authors:
Nir Gadish,
Itay Griniasty,
Ruth Lawrence
Abstract:
We give explicit formulae for a DGLA model of the bi-gon which is symmetric under the geometric symmetries of the cell. This follows the work of Lawrence-Sullivan on the (unique) DGLA model of the interval and its construction uses deeper knowledge of the structure of such models and their localisations for non-simply connected spaces.
We give explicit formulae for a DGLA model of the bi-gon which is symmetric under the geometric symmetries of the cell. This follows the work of Lawrence-Sullivan on the (unique) DGLA model of the interval and its construction uses deeper knowledge of the structure of such models and their localisations for non-simply connected spaces.
△ Less
Submitted 23 May, 2017;
originally announced May 2017.
-
A trace formula for the distribution of rational $G$-orbits in ramified covers, adapted to representation stability
Authors:
Nir Gadish
Abstract:
A standard observation in algebraic geometry and number theory is that a ramified cover of an algebraic variety $\widetilde{X}\rightarrow X$ over a finite field $F_q$ furnishes the rational points $x\in X(F_q)$ with additional arithmetic structure: the Frobenius action on the fiber over $x$. For example, in the case of the Vieta cover of polynomials over $F_q$ this structure describes a polynomial…
▽ More
A standard observation in algebraic geometry and number theory is that a ramified cover of an algebraic variety $\widetilde{X}\rightarrow X$ over a finite field $F_q$ furnishes the rational points $x\in X(F_q)$ with additional arithmetic structure: the Frobenius action on the fiber over $x$. For example, in the case of the Vieta cover of polynomials over $F_q$ this structure describes a polynomial's irreducible decomposition type.
Furthermore, the distribution of these Frobenius actions is encoded in the cohomology of $\widetilde{X}$ via the Grothendieck-Lefschetz trace formula. This note presents a version of the trace formula that is suited for studying the distribution in the context of representation stability: for certain sequences of varieties $(\widetilde{X}_n)$ the cohomology, and therefore the distribution of the Frobenius actions, stabilizes in a precise sense.
We conclude by fully working out the example of the Vieta cover of the variety of polynomials. The calculation includes the distribution of cycle decompositions on cosets of Young subgroups of the symmetric group, which might be of independent interest.
△ Less
Submitted 17 July, 2017; v1 submitted 5 March, 2017;
originally announced March 2017.
-
Categories of FI type: a unified approach to generalizing representation stability and character polynomials
Authors:
Nir Gadish
Abstract:
Representation stability is a theory describing a way in which a sequence of representations of different groups is related, and essentially contains a finite amount of information. Starting with Church-Ellenberg-Farb's theory of $FI$-modules describing sequences of representations of the symmetric groups, we now have good theories for describing representations of other collections of groups such…
▽ More
Representation stability is a theory describing a way in which a sequence of representations of different groups is related, and essentially contains a finite amount of information. Starting with Church-Ellenberg-Farb's theory of $FI$-modules describing sequences of representations of the symmetric groups, we now have good theories for describing representations of other collections of groups such as finite general linear groups, classical Weyl groups, and Wreath products $S_n\wr G$ for a fixed finite group $G$. This paper attempts to uncover the mechanism that makes the various examples work, and offers an axiomatic approach that generates the essentials of such a theory: character polynomials and free modules that exhibit stabilization.
We give sufficient conditions on a category $C$ to admit such structure via the notion of categories of $FI$ type. This class of categories includes the examples listed above, and extends further to new types of categories such as the categorical power $FI^m$, whose modules encode sequences of representations of $m$-fold products of symmetric groups. The theory is applied in [Ga] to give homological and arithmetic stability theorems for various moduli spaces, e.g. the moduli space of degree n rational maps $P^1 \rightarrow P^m$.
△ Less
Submitted 9 April, 2017; v1 submitted 8 August, 2016;
originally announced August 2016.
-
Representation Stability for Families of Linear Subspace Arrangements
Authors:
Nir Gadish
Abstract:
Church-Ellenberg-Farb used the language of FI-modules to prove that the cohomology of certain sequences of hyperplane arrangements with S_n-actions satisfies representation stability. Here we lift their results to the level of the arrangements themselves, and define when a collection of arrangements is "finitely generated". Using this notion we greatly widen the stability results to:
1) General…
▽ More
Church-Ellenberg-Farb used the language of FI-modules to prove that the cohomology of certain sequences of hyperplane arrangements with S_n-actions satisfies representation stability. Here we lift their results to the level of the arrangements themselves, and define when a collection of arrangements is "finitely generated". Using this notion we greatly widen the stability results to:
1) General linear subspace arrangements, not necessarily of hyperplanes.
2) A wide class of group actions, replacing FI by a general category C.
We show that the cohomology of such collections of arrangements satisfies a strong form of representation stability, with many concrete applications.
For this purpose we develop a theory of representation stability and generalized character polynomials for wide classes of groups. We apply this theory to get classical cohomological stability of quotients of linear subspace arrangements with coefficients in certain constructible sheaves.
△ Less
Submitted 10 June, 2016; v1 submitted 28 March, 2016;
originally announced March 2016.