Related papers: Epimorphisms and Acyclic Types in Univalent Founda…
We consider inner deformations of families of $A_\infty$-algebras. With the help of noncommutative Cartan's calculus, we prove the invariance of Hochschild (co)homology under inner deformations. The invariance also holds for cyclic…
We build model structures on the category of equivariant simplicial operads with a fixed set of colors, with weak equivalences determined by families of subgroups. In particular, by specifying to the family of graph subgroups (or, more…
Assume $G$ is a polycyclic group and $\phi:G\to G$ an endomorphism. Let $G\ast_{\phi}$ be the ascending HNN extension of $G$ with respect to $\phi$; that is, $G\ast_{\phi}$ is given by the presentation $$G\ast_{\phi}= < G, t \ |\ t^{-1}gt =…
There are well-known constructions relating ring epimorphisms and tilting modules. The new notion of silting module provides a wider framework for studying this interplay. To every partial silting module we associate a ring epimorphism…
We obtain analogues of classical results on automorphism groups of holomorphic fiber bundles, in the setting of group schemes. Also, we establish a lifting property of the connected automorphism group, for torsors under abelian varieties.…
Methods are developed to relate the action of a principal fibration to relative Whitehead products in order to determine the homotopy type of certain spaces. The methods are applied to thoroughly analyze the homotopy type of the based loops…
We present a development of cellular cohomology in homotopy type theory. Cohomology associates to each space a sequence of abelian groups capturing part of its structure, and has the advantage over homotopy groups in that these abelian…
This paper presents a novel connection between homotopical algebra and mathematical logic. It is shown that a form of intensional type theory is valid in any Quillen model category, generalizing the Hofmann-Streicher groupoid model of…
This paper defines homology in homotopy type theory, in the process stable homotopy groups are also defined. Previous research in synthetic homotopy theory is relied on, in particular the definition of cohomology. This work lays the…
In homotopy type theory (HoTT), all constructions are necessarily stable under homotopy equivalence. This has shortcomings: for example, it is believed that it is impossible to define a type of semi-simplicial types. More generally, it is…
This is the second in a series of papers. Here we develop here an intersection theory for manifolds equipped with an action of a finite group. As in our previous paper, our approach will be homotopy theoretic, enabling us to circumvent the…
In this text we expose basic cases of some fundamental ideas and methods of topology. Namely, of homotopy, degree, fundamental group, covering, Whitehead invariant, etc. This is done by considering the elementary example: closed polygonal…
Cyclic cohomology has been recently adapted to the treatment of Hopf symmetry in noncommutative geometry. The resulting theory of characteristic classes for Hopf algebras and their actions on algebras allows to expand the range of…
We compare two different types of mapping class invariants: the Hochschild homology of an $A_\infty$ bimodule coming from bordered Heegaard Floer homology, and fixed point Floer cohomology. We first compute the bimodule invariants and their…
In this short note we show that the homotopy category of smooth compactifications of smooth algebraic varieties is equivalent to the homotopy category of smooth varieties over a field of characteristic zero. As an application we show that…
Finster and Mimram have defined a dependent type theory called CaTT, which describes the structure of omega-categories. Types in homotopy type theory with their higher identity types form weak omega-groupoids, so they are in particular weak…
We study otopy classes of equivariant local maps and prove the Hopf type theorem for such maps in the case of a real finite dimensional orthogonal representation of a compact Lie group.
Based on Morse theory for the energy functional on path spaces we develop a deformation theory for mapping spaces of spheres into orthogonal groups. This is used to show that these mapping spaces are weakly homotopy equivalent, in a stable…
A kind of unstable homotopy theory on the category of associative rings (without unit) is developed. There are the notions of fibrations, homotopy (in the sense of Karoubi), path spaces, Puppe sequences, etc. One introduces the notion of a…
In this paper, we develop the theory of equivariant motivic homotopy theory, both unstable and stable. While our original interest was in the case of profinite group actions on smooth schemes, we discuss our results in as broad a setting as…