Related papers: The fundamental group is not a derived invariant
We show that the fundamental groupoid~\(\Pi_1(X)\) of a locally path connected semilocally simply connected space~\(X\) can be equipped with a \emph{natural} topology so that it becomes a topological groupoid; we also justify the necessity…
We develop a robust foundation for studying the fundamental group(oid) in discrete homotopy theory, including: equivalent definitions and basic properties, the theory of covering graphs, and the discrete version of the Seifert-van Kampen…
Using small cancellation methods, we show that the property invariable generation does not pass to finite index subgroups, answering questions of Wiegold and Kantor-Lubotzky-Shalev. We further show that a finitely generated group that is…
We show that the classical de Finetti theorem has a canonical noncommutative counterpart if we strengthen `exchangeability' (i.e., invariance of the joint distribution of the random variables under the action of the permutation group) to…
In this note we establish the following result (announced in a previous work): if a linear group is the image of a representation of a K\"ahler group, then it has a finite index subgroup which is the image of a representation of the…
We construct derived fundamental group schemes for Tate motives over connected smooth schemes over fields. We show that there exists a pro affine derived group scheme over the rationals such that its category of perfect representations…
Geometric Invariant Theory gives a method for constructing quotients for group actions on algebraic varieties which in many cases appear as moduli spaces parametrizing isomorphism classes of geometric objects (vector bundles, polarized…
We study the first "derived functors of unramified cohomology" in the sense of arXiv:1506.08385 [math.AG], applied to the sheaves $\mathbf{G}_m$ and $\mathcal{K}_2$. We find interesting connections with classical cycle-theoretic invariants…
We develop a new method leading to an elementary proof of a generalization of Gromov's theorem about non existence of H\"older embeddings into the Heisenberg group.
We observe that most known results of the form "v is not a finite-type invariant" follow from two basic theorems. Among those invariants which are not of finite type, we discuss examples which are "ft-independent" and examples which are…
It is proven that the identity component of the group preserving the leaves of a generalized foliation is perfect. This shows that a well-known simplicity theorem on the diffeomorphism group extends to the nontransitive case.
Let $P$ be a principal indecomposable module of a finite group $G$ in characteristic $2$ and let $\varphi$ be the Brauer character of the corresponding simple $G$-module. We show that $P$ affords a non-degenerate $G$-invariant quadratic…
We develop a version of Hodge theory for a large class of smooth formally proper quotient stacks $X/G$ analogous to Hodge theory for smooth projective schemes. We show that the noncommutative Hodge-de Rham sequence for the category of…
In algebraic topology, the fundamental groupoid is a classical homotopy invariant which is defined using continuous maps from the closed interval to a topological space. In this paper, we construct a semi-coarse version of this invariant,…
This paper deals essentially with affine or projective transformations of Lie groups endowed with a flat left invariant affine or projective structure. These groups are called flat affine or flat projective Lie groups. Our main results…
By using computer assistance, we prove that the fundamental group of the complement of a real complexified line arrangement is not determined by its intersection lattice, providing a counter-example for a problem of Falk and Randell. We…
We construct a finitely generated group that does not satisfy the generalized Burghelea conjecture.
We consider derived categories of coherent sheaves on smooth projective varieties. We prove that any equivalence between them can be represented by an object on the product. Using this, we give a necessary and sufficient condition for…
Using the work of Cornulier-Valette and Whyte, we show that neither the Haagerup property nor weak amenability is invariant under quasi-isometry of finitely generated groups.
This note extends some recent results on the derived category of a geometric invariant theory quotient to the setting of derived algebraic geometry. Our main result is a structure theorem for the derived category of a derived local quotient…