Related papers: Zariski-van Kampen theorem for higher homotopy gro…
We show that the K-groups K_{n}(O) for O the integers or an order in a CM field and n>0 appear as direct summands of the homotopy groups of various localisations of Zakharevich's K-theory space. After rationalisation and going to the…
In this paper, we construct a comparison map from the topological fundamental group to the pro-\'etale fundamental group for a complex variety.
Recent work on homotopy type theory exploits an exciting new correspondence between Martin-Lof's dependent type theory and the mathematical disciplines of category theory and homotopy theory. The category theory and homotopy theory suggest…
After the first heuristic ideas about `the field of one element' F_1 and `geometry in characteristics 1' (J.~Tits, C.~Deninger, M.~Kapranov, A.~Smirnov et al.), there were developed several general approaches to the construction of…
We show that closed, connected 4-manifolds up to connected sum with copies of the complex projective plane are classified in terms of the fundamental group, the orientation character and an extension class involving the second homotopy…
We study finite orbits for non-elementary groups of automorphisms of compact projective surfaces. In particular we prove that if the surface and the group are defined over a number field k and the group contains parabolic elements, then the…
We compute divisors class groups of singular surfaces. Most notably we produce an exact sequence that relates the Cartier divisors and almost Cartier divisors of a surface to the those of its normalization. This generalizes Hartshorne's…
We introduce a path-theoretic framework for understanding the representation theory of (quantum) symmetric and general linear groups and their higher level generalisations over fields of arbitrary characteristic. Our first main result is a…
Higher Homotopy van Kampen Theorems allow the computation as colimits of certain homotopical invariants of glued spaces. One corollary is to describe homotopical excision in critical dimensions in terms of induced modules and crossed…
This paper is a continuation of our previous work in which we defined the notion of a polytope complex and its $K$-theory. In this paper we produce formulas for the delooping of a simplicial polytope complex and the cofiber of a morphism of…
Quantum homogeneous vector bundles are introduced by a direct description of their sections in the context of Woronowicz type compact quantum groups. The bundles carry natural topologies inherited from the quantum groups, and their sections…
In the geometric version of the Langlands correspondence, irregular singular point connections play the role of Galois representations with wild ramification. In this paper, we develop a geometric theory of fundamental strata to study…
This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The…
A toric arrangement is a finite set of hypersurfaces in a complex torus, every hypersurface being the kernel of a character. In the present paper we build a CW-complex homotopy equivalent to the arrangement complement, with a combinatorial…
We study homotopy theory of the wheeled prop controlling Poisson structures on arbitrary formal graded finite-dimensional manifolds and prove, in particular, that Grothendieck-Teichmueller group acts on that wheeled prop faithfully and…
A general noncommutative-geometric theory of principal bundles is presented. Quantum groups play the role of structure groups. General quantum spaces play the role of base manifolds. A differential calculus on quantum principal bundles is…
We establish a Lefschetz hyperplane theorem for the Berkovich analytifications of Jacobians of curves over an algebraically closed non-Archimedean field. Let $J$ be the Jacobian of a curve $X$, and let $W_d \subset J$ be the locus of…
Anabelian geometry with etale homotopy types generalizes in a natural way classical anabelian geometry with etale fundamental groups. We show that, both in the classical and the generalized sense, any point of a smooth variety over a field…
We prove localization and Zariski-Mayer-Vietoris for higher Grothendieck-Witt groups, alias hermitian $K$-groups, of schemes admitting an ample family of line-bundles. No assumption on the characteristic is needed, and our schemes can be…
Higher bundles are homotopy coherent generalisations of classical fibre bundles. They appear in numerous contexts in geometry, topology and physics. In particular, higher principal bundles provide the geometric framework for higher-group…