Source author record

Vasily A. Dolgushev

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.CT math.KT math.QA math.GR math.NT math.RA

Catalog footprint

Research overview

6works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Accessing non-abelian quotients of the Grothendieck-Teichmueller group via elementary tools

Many challenging questions about the Grothendieck-Teichmueller group, $GT$ , are motivated by the fact that this group receives the injective homomorphism (called the Ihara embedding) from the absolute Galois group, $G_Q$ , of rational numbers. Although the question about the surjectivity of the Ihara embedding is a very challenging problem, in this paper, we construct a family of finite non-abelian quotients of $GT$ that receive surjective homomorphisms from $G_Q$ . We also assemble these finite quotients into an infinite (non-abelian) profinite quotient of $GT$ . We prove that the natural homomorphism from $G_Q$ to the resulting profinite group is also surjective. We give an explicit description of this profinite group. To achieve these goals, we used the groupoid $GTSh$ of $GT$ -shadows for the gentle version of the Grothendieck-Teichmueller group. This groupoid was introduced in the recent paper by the second author and J. Guynee and the set $Ob(GTSh)$ of objects of $GTSh$ is a poset of certain finite index normal subgroups of the Artin braid group on 3 strands. We introduce a sub-poset $Dih$ of $Ob(GTSh)$ related to the family of dihedral groups and call it the dihedral poset. We show that each element $K$ of $Dih$ is the only object of its connected component in $GTSh$ . Using the surjectivity of the cyclotomic character, we prove that, if the order of the dihedral group corresponding to $K$ is a power of 2, then the natural homomorphism from $G_Q$ to the finite group $GTSh(K, K)$ is surjective. We introduce the Lochak-Schneps conditions on morphisms of $GTSh$ and prove that each morphism of $GTSh$ with the target $K$ in $Dih$ satisfies the Lochak-Schneps conditions. Finally, we conjecture that the natural homomorphism from $G_Q$ to the finite group $GTSh(K, K)$ is surjective for every object $K$ of the dihedral poset.

preprint2016arXiv

A Direct Computation of the Cohomology of the Braces Operad

We give a self-contained and purely combinatorial proof of the well known fact that the cohomology of the braces operad is the operad $\mathsf{Ger}$ governing Gerstenhaber algebras.

preprint2016arXiv

On an enhancement of the category of shifted L-infinity algebras

We construct a symmetric monoidal category $LIE^{MC}$ whose objects are shifted L-infinity algebras equipped with a complete descending filtration. Morphisms of this category are "enhanced" infinity morphisms between shifted L-infinity algebras. We prove that any category enriched over $LIE^{MC}$ can be integrated to a simplicial category whose mapping spaces are Kan complexes. The advantage gained by using enhanced morphisms is that we can see much more of the simplicial world from the L-infinity algebra point of view. We use this construction in a subsequent paper to produce a simplicial model of a $(\infty,1)$ -category whose objects are homotopy algebras of a fixed type.

preprint2015arXiv

A Version of the Goldman-Millson Theorem for Filtered L-infinity Algebras

In this paper we consider $L_{\infty}$ -algebras equipped with complete descending filtrations. We prove that, under some mild conditions, an $L_{\infty}$ quasi-isomorphism $U: L \to \tilde{L}$ induces a weak equivalence between the Deligne-Getzler-Hinich (DGH) $\infty$ -groupoids corresponding to $L$ and $\tilde{L}$ , respectively. This paper may be considered as a modest addition to foundational paper arXiv:math/0404003 by Ezra Getzler.

preprint2015arXiv

What do homotopy algebras form?

In paper arXiv:1406.1744, we constructed a symmetric monoidal category $LIE^{MC}$ whose objects are shifted (and filtered) L-infinity algebras. Here, we fix a cooperad $C$ and show that algebras over the operad $Cobar(C)$ naturally form a category enriched over $LIE^{MC}$ . Following arXiv:1406.1744, we "integrate" this $LIE^{MC}$ -enriched category to a simplicial category $HoAlg^Δ_C$ whose mapping spaces are Kan complexes. The simplicial category $HoAlg^Δ_C$ gives us a particularly nice model of an $(\infty,1)$ -category of $Cobar(C)$ -algebras. We show that the homotopy category of $HoAlg^Δ_C$ is the localization of the category of $Cobar(C)$ -algebras and infinity morphisms with respect to infinity quasi-isomorphisms. Finally, we show that the Homotopy Transfer Theorem is a simple consequence of the Goldman-Millson theorem.

preprint2012arXiv

Notes on Algebraic Operads, Graph Complexes, and Willwacher's Construction

We give a detailed proof of T. Willwacher's theorem arXiv:1009.1654 which links the cohomology of the full graph complex fGC to the cohomology of the deformation complex of the operad GER, governing Gerstenhaber algebras. We also present various prerequisites required for understanding the material of arXiv:1009.1654. In particular, we review operads, cooperads, and the cobar construction. We give a detailed exposition of the convolution Lie algebra and its properties. We prove a useful lifting property for maps from a dg operad obtained via the cobar construction. We describe in detail Willwacher's twisting construction, and then use it to work with various operads assembled from graphs, in particular, the full graph complex and its subcomplexes. These notes are loosely based on lectures given by the first author at the Graduate and Postdoc Summer School at the Center for Mathematics at Notre Dame (May 31 - June 4, 2011).

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.