Related papers: Geometric description of the connecting homomorphi…

This paper continues investigations in "synthetic homotopy theory": the use of homotopy type theory to give machine-checked proofs of constructions from homotopy theory We present a mechanized proof of the Blakers-Massey connectivity…

Given a span of spaces, one can form the homotopy pushout and then take the homotopy pullback of the resulting cospan. We give a concrete description of this pullback as the colimit of a sequence of approximations, using what we call the…

We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…

We give conditions of an extension of a free group to be hyperbolic and relatively hyperbolic using the dynamics of the action of $\out$ on the complex of free factors combined with the weak attraction theory. We work with subgroups of…

We give an explicit presentation with generators and relations of the quantum cohomology ring of the blow-up of a projective space along a linear subspace.

We provide a complete description of the automorphism group $\Aut (W)$ of a Coxeter group $W$ admitting a star-shaped finite Coxeter diagram. We prove that each automorphism decomposes as a product of inner and diagram automorphisms, along…

We define push-forwards for Witt groups of schemes along proper morphisms, using Grothendieck duality theory. This article is an application of results of the authors on tensor-triangulated closed categories to such structures on some…

We study twisted cohomologies with paracompactifying families of supports. The Kunneth theorems, Leray-Hirsch theorems and self-intersection formulae are established. Based on these results, we eventually give explicit expressions of…

Let $\Sym^m X$ denote the $m$-th symmetric power of a smooth projective curve $X$. Let $\wt{\Sym^m X}$ be the blow up of $\Sym^m X$ along some non-singular subvariety. In this note we are going to discuss when the pushforward homomorphism…

A geometric characterization of the structure of the group of automorphisms of an arbitrary Birkhoff-Grothendieck bundle splitting $\bigoplus_{i=1}^{r} \mathcal(m_{i})$ over $\mathbb{C}\mathbb{P}^{1}$ is provided, in terms of its action on…

We consider two compacta with minimal non-elementary convergence actions of a countable group. When there exists an equivariant continuous map from one to the other, we call the first a blow-up of the second and the second a blow-down of…

Tate sequences are an important tool for tackling problems related to the (ill-understood) Galois structure of groups of $S$-units. The relatively recent Tate sequence "for small $S$" of Ritter and Weiss allows one to use the sequence…

We provide a simple condition on rational cohomology for the total space of a pullback fibration over a connected sum to have the rational homotopy type of a connected sum, after looping. This takes inspiration from recent work of Jeffrey…

The purpose of this paper is twofold: 1. we prove the triangulability of smooth orbifolds with corners, generalizing the same statement for orbifolds. 2. based on 1, we propose a new homology theory. We call it geometric homology theory…

We provide a uniform framework to study the exceptional homogeneous compact geometries of type C3. This framework is then used to show that these are simply connected, answering a question by Kramer and Lytchak, and to calculate the full…

The purpose of this article is to give an exposition of topological properties of spaces of homomorphisms from certain finitely generated discrete groups to Lie groups $G$, and to describe their connections to classical representation…

We provide a complete set of two moves that suffice to relate any two open book decompositions of a given 3-manifold. One of the moves is the usual plumbing with a positive or negative Hopf band, while the other one is a special local…

We characterize the epimorphisms in homotopy type theory (HoTT) as the fiberwise acyclic maps and develop a type-theoretic treatment of acyclic maps and types in the context of synthetic homotopy theory as developed in univalent…

We define and study homotopy groups of cubical sets. To this end, we give four definitions of homotopy groups of a cubical set, prove that they are equivalent, and further that they agree with their topological analogues via the geometric…

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.…