Related papers: Fundamental Exact Sequence for the Pro-\'Etale Fun…

Suppose $\alpha$ is a nonzero cardinal number, $\mathcal I$ is an ideal on arc connected topological space $X$, and ${\mathfrak P}_{\mathcal I}^\alpha(X)$ is the subgroup of $\pi_1(X)$ (the first fundamental group of $X$) generated by…

The kth finite subset space of a topological space X is the space exp_k X of non-empty finite subsets of X of size at most k, topologised as a quotient of X^k. The construction is a homotopy functor and may be regarded as a union of…

To a strongly $G$-graded algebra $A$ with $1$-component $B$ we associate the group $\mathrm{Picent}^{\mathrm{gr}}(A)$ of isomorphism classes of invertible $G$-graded $(A,A)$-bimodules over the centralizer of $B$ in $A$. Our main result is a…

When working in Homotopy Type Theory and Univalent Foundations, the traditional role of the category of sets, Set, is replaced by the category hSet of homotopy sets (h-sets); types with h-propositional identity types. Many of the properties…

We study the subgroup structure of the \'etale fundamental group $\Pi$ of a projective curve over an algebraically closed field of characteristic 0. We obtain an analog of the diamond theorem for $\Pi$. As a consequence we show that most…

We prove that the torsion subgroup of the abelian fundamental group is finite for a regular geometrically integral projective variety over a local field. We also study the structure of $SK_1(X)$ for a regular projective variety $X$ over a…

We define the profinite completion of a C*-algebra, which is a pro-C*-algebra, as well as the pro-C*-algebra of a profinite group. We show that the continuous representations of the pro-C*-algebra of a profinite group correspond to the…

In this monograph we develop various aspects of the homotopy theory of exact categories. We introduce different notions of compactness and generation in exact categories $E$, and use these to study model structures on categories of chain…

K. Kato's conjecture about the cohomological Hasse principle for regular connected schemes $\mathfrak X$ which are flat and proper over the complete discrete valuation rings $\mathcal O_N$ of higher local fields $F_N$ is proven. This…

If P \to X is a topological principal K-bundle and \hat K a central extension of K by Z, then there is a natural obstruction class \delta_1(P) in \check H^2(X,\uline Z) in sheaf cohomology whose vanishing is equivalent to the existence of a…

The true prosoluble completion $P\Cal S (\Gamma)$ of a group $\Gamma$ is the inverse limit of the projective system of soluble quotients of $\Gamma$. Our purpose is to describe examples and to point out some natural open problems. We…

In this note, we present a new proof of the isomorphism $\pi_1(SO^+(p,q)) \cong \pi_1(SO(p))\times \pi_1(SO(q))$ using the long exact sequence associated to a fibration. While this formula is already known, the method of proof presented…

We define, for any group $G$, finite approximations ; with this tool, we give a new presentation of the profinite completion $\hat{\pi} : G \to \hat{G}$ of an abtract group $G$. We then prove the following theorem : if $k$ is a finite prime…

The fundamental group of a directed graph admits a natural sequence of quotient groups called $r$-fundamental groups, and the $r$-fundamental groups can capture properties of a directed graph that the fundamental group cannot capture. The…

We show that for any given field $k$ and natural number $r\geq2$, every continuous extension of the absolute Galois group $\mathrm{Gal}_k$ by a finite group is the arithmetic fundamental group of a geometrically connected smooth projective…

We will explore the nature of when certain finite groups have an equal covering, and when finite groups do not. Not to be confused with the concept of a cover group, a covering of a group is a collection of proper subgroups whose…

Motivated by constructions in topological data analysis and algebraic combinatorics, we study homotopy theory on the category of Cech closure spaces $\mathbf{Cl}$, the category whose objects are sets endowed with a Cech closure operator and…

We show that if $X$ is a toric scheme over a regular commutative ring $k$ then the direct limit of the $K$-groups of $X$ taken over any infinite sequence of nontrivial dilations is homotopy invariant. This theorem was previously known for…

For each integer n\ge 2, we construct an irreducible, smooth, complex projective variety M of dimension n, whose fundamental group has infinitely generated homology in degree n+1 and whose universal cover is a Stein manifold, homotopy…

In this paper, we construct a seven-term exact sequence involving the cohomology groups of a group extension. Although the existence of such a sequence can be derived using spectral sequence arguments, there is little knowledge about some…