Cogroupoid structures on the circle and the Hodge degeneration

Tasos Moulinos
DOI: https://doi.org/10.1017/fms.2023.122
2024-01-17
Forum of Mathematics Sigma
Abstract:We exhibit the Hodge degeneration from nonabelian Hodge theory as a -fold delooping of the filtered loop space -groupoid in formal moduli problems. This is an iterated groupoid object which in degree recovers the filtered circle of [MRT22]. This exploits a hitherto unstudied additional piece of structure on the topological circle, that of an -cogroupoid object in the -category of spaces. We relate this cogroupoid structure with the more commonly studied 'pinch map' on , as well as the Todd class of the Lie algebroid ; this is an invariant of a smooth and proper scheme X that arises, for example, in the Grothendieck-Riemann-Roch theorem. In particular, we relate the existence of nontrivial Todd classes for schemes to the failure of the pinch map to be formal in the sense of rational homotopy theory. Finally, we record some consequences of this bit of structure at the level of Hochschild cohomology.
mathematics, applied
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to understand the relationship between Hodge degeneration (from non - Abelian Hodge theory) and the filtered ring space \(E_2\)-groupoid structure, especially within the framework of formal moduli problems. Specifically, the author aims to show that Hodge degeneration can be represented by the double decycling of the filtered ring space \(E_2\)-groupoid, and explore how this structure introduces a new cogroupoid structure on the topological circle. The following are the key issues and objectives involved in the paper: 1. **Relationship between Hodge Degeneration and Filtered Ring Space**: - The author attempts to interpret Hodge degeneration as the double decycling of the filtered ring space \(E_2\)-groupoid. This involves regarding the filtered ring space \(L^{fil}(X)\) as a two - level groupoid \(L_{•,•}^{fil}(X)\) and studying it on the formal derived stack. - The specific result is reflected in the main theorem 1.1, that is, there is an equivalence relation \(B^{(2)}L_{•,•}^{fil}(X)\simeq X_{Hod}\), where \(X_{Hod}\) is the Hodge degeneration space. 2. **Relationship between Filtered Ring Space and de Rham Space**: - Through the above structure, the author deduces the two - level groupoid structure of the filtered ring space \(L_X\) and the equivalence relation between its iterated decycling and the de Rham space \(X_{dR}\) (Corollary 1.2): \(B^{(2)}(L_X)\simeq X_{dR}\). 3. **Study of Cogroupoid Structure**: - The paper delves into the \(E_2\)-cogroupoid structure on the filtered circle \(S^1_{fil}\), and its relationship with the common "pinch map". - In particular, the author studies the formality problem of the Todd class and the pinch map in rational homotopy theory, and points out that a non - trivial Todd class means that the pinch map is not formal (Theorem 1.4). 4. **Cogroupoid Structure in Hochschild Cohomology**: - The author also discusses how the cogroupoid structure is manifested in Hochschild cohomology, and shows how the \(E_2\)-cogroupoid structure gives a filtration compatible with the \(E_2\)-algebra structure. In summary, the main purpose of this paper is to reveal the deep - seated connection between Hodge degeneration and the de Rham space by introducing and studying the \(E_2\)-cogroupoid structure on the filtered ring space, and to explore the applications of these structures in homotopy theory and Hochschild cohomology.