We give a new proof of the non-triviality of wheel graph homology classes using higher operations on Lie graph homology and a derived version of Koszul duality for modular operads.
We show that the associated Lie algebra of the Malcev $\mathbb{Q}$-completion of the lamplighter group is the pronilpotent completion of the lamplighter Lie algebra. We also prove that the homology of this completed Lie algebra is of uncountable dimension on each degree.
In this paper, we develop a diamond graph theory and apply the theory to the (co)homology of the Lie algebra generated by positive systems of the classical semi-simple Lie algebras over the field of complex numbers. As an application, we give the weight decomposition of the diamond Lie algebra with Dynkin graph $A_{n+1}$ and compute the rank of every weight subgraph of it.
We determine the Batalin-Vilkovisky Lie algebra structure for the integral loop homology of special unitary groups and complex Stiefel manifolds. It is shown to coincide with the Poisson algebra structure associated to a certain odd symplectic form on a super vector space for which loop homology is the super algebra of functions. Over rationals, the loop homology of the above spaces splits into a tensor product of simple BV algebras, and it is shown to contain a super Lie algebra.
The derivatives of the identity functor on spaces in Goodwillie calculus forms an operad in spectra. Antolin-Camarena computed the mod 2 homology of free algebras over this operad for 1-connected spectra. In this present paper we carry out similar computations for mod p homology for odd primes p.
The Goodwillie derivatives of the identity functor on pointed spaces form an operad in spectra. Adapting a definition of Behrens, we introduce mod 2 homology operations for algebras over this operad and prove these operations account for all the mod 2 homology of free algebras on suspension spectra of simply-connected spaces.
We give an independent, and perhaps somewhat simplified, description of the product in negative Tate-cohomology (the generalised version for compact Lie-groups). We describe, but do not compute, the corresponding action of the Dyer--Lashof-algebra, using the linear-isometries operad.
Chas and Sullivan introduced string homology, which is the equivariant homology of the loop space with the $S^1$ action on loops by rotation. Craig Westerland computed the string homology for spheres with coefficients in $\mathbb{Z} /2\mathbb{Z}$, and in Somnath Basu's dissertation, he computes the string homology and string bracket for spheres over rational coefficients, and he finds that the bracket is trivial. In this paper, we compute string homology and the string bracket for spheres with integer coefficients, treating the odd- and even-dimensional cases separately. We use the Gysin seque…
We prove that Leibniz homology of Lie algebras can be described as functor homology in the category of linear functors from a category associated to the Lie operad.
Chas and Sullivan introduced string homology, which is the equivariant homology of the loop space with the $S^1$ action on loops by rotation. Craig Westerland computed the string homology for spheres with coefficients in $\mathbb{Z} /2\mathbb{Z}$ and Somnath Basu computed the string homology and string bracket for spheres over rational coefficients and found that the bracket is trivial in his dissertation. In this paper, we compute string homology and the string bracket for spheres with integer coefficients, treating the odd- and even-dimensional cases separately. We use the Gysin sequence and…
E. Sköldberg's Morse Theory from an Algebraic Viewpoint and M. Jöllenbeck's Algebraic Discrete Morse Theory and Applications to Commutative Algebra, which is the algebraic generalization of R. Forman's discrete Morse Theory for Cell Complexes, is discussed in the context of general chain complexes of free modules. Using this, we compute the Chevalley-Eilenberg (co)homology of the Lie algebra of all triangular matrices $\frak{sol}_n$ over $\mathbb{Q}$ or $\mathbb{Z}_p$ for large enough prime $p$. We determine the column and row in the table of $H_k(\frak{sol}_n;\mathbb{Z})$ where the $p$-torsio…
Using factorization homology, we realize the rational homology of the unordered configuration spaces of an arbitrary manifold $M$, possibly with boundary, as the homology of a Lie algebra constructed from the compactly supported cohomology of $M$. By locating the homology of each configuration space within the Chevalley-Eilenberg complex of this Lie algebra, we extend theorems of Bödigheimer-Cohen-Taylor and Félix-Thomas and give a new, combinatorial proof of the homological stability results of Church and Randal-Williams. Our method lends itself to explicit calculations, examples of which we …
From the viewpoint of semi-abelian homology, some recent results on homology of Leibniz n-algebras can be explained categorically. In parallel with these results, we develop an analogous theory for Lie n-algebras. We also consider the relative case: homology of Leibniz n-algebras relative to the subvariety of Lie n-algebras.
The free loop space of a Lie group is homeomorphic to the product of the Lie group itself and its based loop space. We show that the coproduct on the homology of the free loop space that was introduced by Goresky and Hingston splits into the diagonal map on the group and a based coproduct on the homology of the based loop space. This result implies that the coproduct is trivial for even-dimensional Lie groups. Using results by Bott and Samelson, we show that the coproduct is trivial as well for a large family of simply connected Lie groups.
Let H be a symplectic vector space, let V be a vector space, and consider the nilpotent Lie algebra L_H(V) = H \otimes V + S^2(V) with bracket [(h_1 \otimes v_1;a_1),(h_2 \otimes v_2;a_2)] = (0,<h_1,h_2> v_1 v_2) . In this paper, we calculate the Lie algebra homology of L_H(V) as a polynomial functor of V. This has applications to the analysis of the Leray-Serre spectral sequence of the fibrations of moduli spaces of pointed curves M_{1,n}->M_{1,1} and M_{g,n}->M_g.
We prove that the twisted K-homology of a simply connected simple Lie group G of rank n is an exterior algebra on n-1 generators tensor a cyclic group. We give a detailed description of the order of this cyclic group in terms of the dimensions of irreducible representations of G and show that the congruences determining this cyclic order lift along the twisted index map to relations in the twisted Spin-c bordism group of G.
A simply connected topological space X has homotopy Lie algebra $π_*(ΩX) \tensor \Q$. Following Quillen, there is a connected differential graded free Lie algebra (dgL) called a Lie model, which determines the rational homotopy type of X, and whose homology is isomorphic to the homotopy Lie algebra. We show that such a Lie model can be replaced with one that has a special property we call separated. The homology of a separated dgL has a particular form which lends itself to calculations.
We generalize the results of a previous paper of ours to compact Lie groups. Using a recently developed ordinary equivariant homology and cohomology, we define equivariant Poincare complexes with the properties that (1) every compact G-manifold is an equivariant Poincare complex, (2) every finite equivariant Poincare complex (with some mild additional hypotheses) has an equivariant spherical Spivak normal fibration, and (3) the Pi-Pi Theorem holds for equivariant Poincare pairs under suitable gap hypotheses. The nice behavior of the ordinary equivariant homology and cohomology theories allows …
In this paper we study homological stability for spaces ${\rm Hom}(\mathbb{Z}^n,G)$ of pairwise commuting $n$-tuples in a Lie group $G$. We prove that for each $n\geqslant 1$, these spaces satisfy rational homological stability as $G$ ranges through any of the classical sequences of compact, connected Lie groups, or their complexifications. We prove similar results for rational equivariant homology, for character varieties, and for the infinite-dimensional analogues of these spaces, ${\rm Comm}(G)$ and ${\rm B_{com}} G$, introduced by Cohen-Stafa and Adem-Cohen-Torres-Giese respectively. In ad…
We study Bredon homology approximations for spaces with an action of a compact Lie group G. We show that if M is a coMackey functor satisfying mild p-locality conditions, then Bredon homology of a G-space X with coefficients in M is determined by fixed points of p-toral subgroups of G acting on X. As an application we prove a vanishing result for the Bredon homology of the complex L_n of direct-sum decompositions of complex n-space.
Such modern applications of topology as data analysis and digital image analysis have to deal with noise and other uncertainty. In this environment, topological spaces often appear equipped with a real valued function. Persistence is a measure of robustness of the homology classes of the filtration of the lower level sets of this function. In this paper we introduce the homology group of filtration as the product of the kernels of the homology maps of the inclusions. This group contains all possible homology classes in all elements of the filtration so that we can later pick the features that …
$A_\infty$ categories are a mathematical structure that appears in topological field theory, string topology, and symplectic topology. This paper studies the cyclic homology of a Calabi-Yau $A_\infty$ category, and shows that it is naturally an equivariant topological conformal field theory, and in particular, contains an involutive Lie bialgebra. Applications of the theory to string topology and the Fukaya category are given; in particular, it is shown that there is a Lie bialgebra homomorphism from the cyclic cohomology of the Fukaya category of a symplectic manifold with contact type bounda…
In 1999 Chas and Sullivan showed that the homology of the free loop space of an oriented manifold admits the structure of a Batalin-Vilkovisky algebra. In this paper we give a direct description of this Batalin-Vilkovisky algebra in the case that the manifold is a compact Lie group G. Our answer is phrased in terms of the homology of G, the homology of the space of based loops on G, and the homology suspension. The result is applied to compute the Batalin-Vilkovisky algebra associated to the special orthogonal groups SO(n) with coefficients in the rational numbers and in the integers modulo tw…
The main purpose of this paper is to introduce a method to stabilize certain spaces of homomorphisms from finitely generated free abelian groups to a Lie group $G$, namely $Hom(\mathbb Z^n,G)$. We show that this stabilized space of homomorphisms decomposes after suspending once with summands which can be reassembled, in a sense to be made precise below, into the individual spaces $Hom(\mathbb Z^n,G)$ after suspending once. To prove this decomposition, a stable decomposition of an equivariant function space is also developed. One main result is that the topological space of all commuting elemen…
We study the mod-$\ell$ homotopy type of classifying spaces for commutativity, $B(\mathbb{Z}, G)$, at a prime $\ell$. We show that the mod-$\ell$ homology of $B(\mathbb{Z}, G)$ depends on the mod-$\ell$ homotopy type of $BG$ when $G$ is a compact connected Lie group, in the sense that a mod-$\ell$ homology isomorphism $BG \to BH$ for such groups induces a mod-$\ell$ homology isomorphism $B(\mathbb{Z}, G) \to B(\mathbb{Z}, H)$. In order to prove this result, we study a presentation of $B(\mathbb{Z}, G)$ as a homotopy colimit over a topological poset of closed abelian subgroups, expanding on an …
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 …
Let K be a connected compact Lie group, and G be its complexification. The homology of the based loop group ΩK with integer coefficients is naturally a \ZZ-Hopf algebra. After possibly inverting 2 or 3, we identify H_*(ΩK,\ZZ) with the Hopf algebra of algebraic functions on B^\vee_e, where B^\vee is a Borel subgroup of the Langlands dual group scheme G^\vee of G and B^\vee_e is the centralizer in B^\vee of a regular nilpotent element e\in\Lie B^\vee. We also give a similar interpretation for the equivariant homology of ΩK under the maximal torus action.
We investigate the (co)homological properties of two classes of Lie algebras that are constructed from any finite poset: the solvable class $\frak{gl}^\preceq$ and the nilpotent class $\frak{gl}^\prec$. We confirm the conjecture of Jollenbeck that says: every prime power $p^r\!\leq\!n\!-\!2$ appears as torsion in $H_\ast(\frak{nil}_n;\mathbb{Z})$, and every prime power $p^r\!\leq\!n\!-\!1$ appears as torsion in $H_\ast(\frak{sol}_n;\mathbb{Z})$. If $\preceq$ is a bounded poset, then the (co)homology of $\frak{gl}^\preceq$ is \emph{torsion-convex}, i.e. if it contains $p$-torsion, then it also …
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 la…
Let $M$ be an exact symplectic manifold with contact type boundary such that $c_1(M)=0$. In this paper we show that the cyclic cohomology of the Fukaya category of $M$ has the structure of an involutive Lie bialgebra. Inspired by a work of Cieliebak-Latschev we show that there is a Lie bialgebra homomorphism from the linearized contact homology of $M$ to the cyclic cohomology of the Fukaya category. Our study is also motivated by string topology and 2-dimensional topological conformal field theory.
We study general properties of Hodge-type decompositions of cyclic and Hochschild homology of universal enveloping algebras of (DG) Lie algebras. Our construction generalizes the operadic construction of cyclic homology of Lie algebras due to Getzler and Kapranov. We give a topological interpretation of such Lie Hodge decompositions in terms of $S^1$-equivariant homology of the free loop space of a simply connected topological space. We prove that the canonical derived Poisson structure on a universal enveloping algebra arising from a cyclic pairing on the Koszul dual coalgebra preserves the H…
Let $G$ be a compact connected Lie group, and let $\mathrm{Hom}(\mathbb{Z}^m,G)$ be the space of pairwise commuting $m$-tuples in $G$. We study the problem of which primes $p$ $\mathrm{Hom}(\mathbb{Z}^m,G)_1$, the connected component of $\mathrm{Hom}(\mathbb{Z}^m,G)$ containing the element $(1,\ldots,1)$, has $p$-torsion in homology. We will prove that $\mathrm{Hom}(\mathbb{Z}^m,G)_1$ for $m\ge 2$ has $p$-torsion in homology if and only if $p$ divides the order of the Weyl group of $G$ for $G=SU(n)$ and some exceptional groups. We will also compute the top homology of $\mathrm{Hom}(\mathbb{Z}^…
We investigate the structure of confining and deconfining phases in SU(2) lattice gauge theory via persistent homology, which gives us access to the topology of a hierarchy of combinatorial objects constructed from given data. Specifically, we use filtrations by traced Polyakov loops, topological densities, holonomy Lie algebra fields, as well as electric and magnetic fields. This allows for a comprehensive picture of confinement. In particular, topological densities form spatial lumps which show signatures of the classical probability distribution of instanton-dyons. Signatures of well-separa…