Related papers: Nonabelian $H^1$ and the \'Etale van Kampen Theore…

We show that the existence of rational points on smooth varieties over a field can be detected using homotopy fixed points of etale topological types under the Galois action. As our main example we show that the surjectivity statement in…

Let $X$ be a quasicompact quasiseparated scheme. Write $\operatorname{Gal}(X)$ for the category whose objects are geometric points of $X$ and whose morphisms are specializations in the \'etale topology. We define a natural profinite…

We prove the conjecture that any Grothendieck $(\infty,1)$-topos can be presented by a Quillen model category that interprets homotopy type theory with strict univalent universes. Thus, homotopy type theory can be used as a formal language…

Let $X=GD$ be a group, where $G$ is a nonabelian simple group and $D$ is a dihedral group. These groups $X$ are closely related to regular Cayley maps. The main theorems of this paper describes $X$.

The paper is devoted to study the $n$th Hawaiian group $\mathcal{H}_n$, $n \ge 1$, of the wedge sum of two spaces $(X,x_*) = (X_1, x_1) \vee (X_2, x_2)$. Indeed, we are going to give some versions of the van Kampen theorem for Hawaiian…

The subject of this thesis is Galois correspondence for von Neumann algebras and its interplay with non-commutative probability theory. After a brief introduction to representation theory for compact groups, in particular to Peter-Weyl…

The study of equality types is central to homotopy type theory. Characterizing these types is often tricky, and various strategies, such as the encode-decode method, have been developed. We prove a theorem about equality types of…

We utilise the theory of crossed simplicial groups to introduce a collection of local Quillen model structures on the category of simplicial presheaves with a compact planar Lie group action on a small Grothendieck site. As an application,…

We prove analogs of Whitehead's theorem (from algebraic topology) for both the Chow groups and for the Grothendieck group of coherent sheaves: a morphism between smooth projective varieties whose pushforward is an isomorphism on the Chow…

In this paper, we compute sub-Riemannian limits of Gaussian curvature associated to two kinds of Schouten-Van Kampen affine connections and the adapted connection for a Euclidean $C^2$-smooth surface in the Heisenberg group away from…

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 establish a new and surprisingly strong link between two previously unrelated theories: the theory of moduli spaces of curves ${\mathcal M}_{g,n}$ (which, according to Penner, is controlled by the ribbon graph complex) and the homotopy…

In this note on coarse geometry we revisit coarse homotopy. We prove that coarse homotopy indeed is an equivalence relation, and this in the most general context of abstract coarse structures. We introduce (in a geometric way) coarse…

Convergence spaces are a generalization of topological spaces. The category of convergence spaces is well-suited for Algebraic Topology, one of the reasons is the existence of exponential objects provided by continuous convergence. In this…

We introduce a pro-\'etale geometric object $D_\infty$ arising naturally from the tower of Artin-Schreier extensions in characteristic 2, equipped with a canonical endofunctor $O$ whose fixed points correspond to automorphic representations…

We prove a general structure theorem for finitely presented torsion modules over a class of commutative rings that need not be Noetherian. As a first application, we then use this result to study the Weil- \'etale cohomology groups of…

Let $C$ and $D$ be smooth, proper and geometrically integral curves over a finite field $F$. Any morphism from $D$ to $C$ induces a morphism of their \'etale fundamental groups. The anabelian philosophy proposed by Grothendieck suggests…

In this paper, we prove that the group of homotopy automorphisms of the profinite completion of the operad of little $2$-disks is isomorphic to the profinite Grothendieck-Teichm\"uller group. In particular, the absolute Galois group of…

There is a well-established homotopy theory of simplicial objects in a Grothendieck topos, and folklore says that the weak equivalences are axiomatisable in the geometric fragment of $L_{\omega_1, \omega}$. We show that it is in fact a…

A new approach to \'etale homotopy theory is presented which applies to a much broader class of objects than previously existing approaches, namely it applies not only to all schemes (without any local Noetherian hypothesis), but also to…