SearcharxivSearch

arXiv subjects

Johan Alm

Publications and source records attributed to Johan Alm.

6 recordsLinked to original sources

The Grothendieck-Teichmueller Lie algebra and Brown's dihedral moduli spaces

We prove that the degree zero Hochschild-type cohomology of the homology operad of Francis Brown's dihedral moduli spaces is equal to the Grothendieck-Teichmueller Lie algebra plus two classes. This significantly elucidates the (in part still conjectural) relation between the Grothendieck-Teichmueller Lie algebra and (motivic) multiple zeta values.

math.QA

Brown's dihedral moduli space and freedom of the gravity operad

Francis Brown introduced a partial compactification $M_{0,n}^\delta$ of the moduli space $M_{0,n}$. We prove that the gravity cooperad, given by the degree-shifted cohomologies of the spaces $M_{0,n}$, is cofree as a nonsymmetric anticyclic cooperad; moreover, the cogenerators are given by the cohomology groups of $M_{0,n}^\delta$. This says in particular that $H^\bullet(M_{0,n}^\delta)$ injects into $H^\bullet(M_{0,n})$. As part of the proof we construct an explicit diagrammatically defined basis of $H^\bullet(M_{0,n})$ which is compatible with cooperadic cocomposition, and such that a subset forms a basis of $H^\bullet(M_{0,n}^\delta)$. We show that our results are equivalent to the claim that $H^k(M_{0,n}^\delta)$ has a pure Hodge structure of weight $2k$ for all $k$, and we conclude our paper by giving an independent and completely different proof of this fact. The latter proof uses a new and explicit iterative construction of $M_{0,n}^\delta$ from $\mathbb{A}^{n-3}$ by blow-ups and removing divisors, analogous to Kapranov's and Keel's constructions of $\overline M_{0,n}$ from $\mathbb{P}^{n-3}$ and $(\mathbb{P}^1)^{n-3}$, respectively.

math.AG

A universal A-infinity structure on Batalin-Vilkovisky algebras with multiple zeta value coefficients

We explicitly construct a universal A-infinity deformation of Batalin-Vilkovisky algebras, with all coefficients expressed as rational sums of multiple zeta values. If the Batalin-Vilkovisky algebra that we start with is cyclic, then so is the A-infinity deformation. Moreover, the adjoint action of the odd Poisson bracket acts by derivations of the A-infinity structure. The construction conjecturally defines a new presentation of the Grothendieck-Teichmueller Lie algebra.

math.QA

Formal weights in Kontsevich's formality construction and multiple zeta values

We construct a functor that associates to any dg cooperad of dg commutative algebras (satisfying some conditions) an augmented commutative algebra. When applied to the cohomology operad of Francis Brown's moduli spaces it produces an algebra that formally models the algebra of multiple zeta values. We prove that there is an injection from the graded dual of the Grothendieck-Teichmueller Lie algebra into the indecomposables of the algebra associated to the Gerstenhaber cooperad, and that there is a morphism from the algebra associated to Brown's moduli spaces to the algebra associated to the Gerstenhaber cooperad which is surjective on indecomposables.

math.QA

Two-colored noncommutative Gerstenhaber formality and infinity Duflo isomorphism

Using new configuration spaces, we give an explicit construction that extends Kontsevich's Lie-infinity quasi-isomorphism from polyvector fields to Hochschild cochains to a quasi-isomorphism of A-infinity algebras equipped with actions by homotopy derivations of the Lie algebra of polyvector fields. One may term this formality a formality of two-colored noncommutative Gerstenhaber homotopy algebras. In our result the action of polyvector fields by homotopy derivations of the wedge product on polyvector fields is not the adjoint action by the Schouten bracket, but a homotopy nontrivial and, in a sense, unique deformation of that action. As an application we give an explicit Duflo-type construction for Lie-infinity algebras that generalizes the Duflo-Kontsevich isomorphism between the Chevalley-Eilenberg cohomology of the symmetric algebra on a Lie algebra and the Chevalley-Eilenberg cohomology of the universal enveloping algebra of the Lie algebra.

math.QA