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

In these notes the epitopological and pseudotopological fundamental group functors are introduced. These are functors from the category of pointed epitopological and pseudotopological spaces respectively, to the category of their respective…

A few years ago Kramer and Laubenbacher introduced a discrete notion of homotopy for simplicial complexes. In this paper, we compute the discrete fundamental group of the order complex of the Boolean lattice. As it turns out, it is…

Let $k$ be an algebraically closed field. Let $C$ be an irreducible smooth projective curve over $k$. Let $E$ be a locally free sheaf on $C$ of rank $\geq 2$. Fix an integer $d \geq 2$. Let $\mathcal{Q}$ denote the Quot scheme…

Let $p$ be a prime number, and let $k$ be an algebraically closed field of characteristic $p$. We show that the tame fundamental group of a smooth affine curve over $k$ is a projective profinite group. We prove that the fundamental group of…

A finite simple graph $\Gamma$ determines a quotient $P_\Gamma$ of the pure braid group, called a graphic arrangement group. We analyze homomorphisms of these groups defined by deletion of sets of vertices, using methods developed in prior…

In this paper we work in an arbitrary o-minimal structure with definable Skolem functions and we prove that definably connected, locally definable manifolds are uniformly definably path connected, have an admissible cover by definably…

If $G$ is a finite group or a torus, it is known that there is an isomorphism between the Grothendieck group of homotopy representations and that of generalized homotopy representations for $G$. We prove that there is such an isomorphism…

Let $k$ be a field, $X$ a connected scheme proper over $k$, $D\subsetneq X$ an ample effective connected divisor, $x\in D(k)$. For Tannakian categories $\mathcal{C}_X$ and $\mathcal{C}_D$ whose objects consist of vector bundles on $X$ and…

For a profinite group $G$, we define an $S[[G]]$-module to be a certain type of $G$-spectrum $X$ built from an inverse system $\{X_i\}_i$ of $G$-spectra, with each $X_i$ naturally a $G/N_i$-spectrum, where $N_i$ is an open normal subgroup…

For every finite abelian group $A$ and $n\geq 3$, we construct a finitely presented group defined by explicit generators and relations, such that its center is $\pi_n(\Sigma K(A,1))$.

We construct a cohomology theory with compact support H^i_c(X_ar,Z(n))$ for separated schemes of finite type over a finite field, which should play a role analog to Lichtenbaum's Weil-etale cohomology groups for smooth and projective…

We study the algebraic $K$-theory and Grothendieck-Witt theory of proto-exact categories of vector bundles over monoid schemes. Our main results are the complete description of the algebraic $K$-theory space of an integral monoid scheme $X$…

For equivariant stable homotopy theory, equivariant KK-theory and equivariant derived categories, we show how restriction to a subgroup of finite index yields a finite commutative separable extension, analogous to finite \'etale extensions…

Let ${\cal M}_{g,[n]}$, for $2g-2+n>0$, be the D-M moduli stack of smooth curves of genus $g$ labeled by $n$ unordered distinct points. The main result of the paper is that a finite, connected \'etale cover ${\cal M}^\l$ of ${\cal…

Let G be a connected algebraic group over an algebraically closed field of characteristic p (possibly 0), and X a variety on which G acts transitively with connected stabilizers. We show that any \'etale Galois cover of X of degree prime to…

We compare Friedlander's definition of the etale topological type for simplicial schemes to another definition involving realizations of pro-simplicial sets. This can be expressed as a notion of hypercover descent for etale homotopy. We use…

In previous work, we have defined---intrinsically, entirely within the digital setting---a fundamental group for digital images. Here, we show that this group is isomorphic to the edge group of the clique complex of the digital image…

In this paper, we give explicit equations for homogeneous spaces corresponding to a rational isogeny of degree $3$. An explicit set of elliptic curves with elements of order $3$ in their Tate-Shafarevich group is constructed. Combining this…

This paper is a synthesis and extension of three earlier papers on $PD_4$-complexes $X$ with fundamental group $\pi$ such that $c.d.\pi=2$ and $\pi$ has one end. Our goal is to show that the homotopy types of such complexes are determined…

Let $k$ be a field of characteristic $0$. We consider principal bundles over a $k$-scheme with reductive structure group (not necessarily of finite type). It is showm in particular that for $k$ algebraically closed there exists on any…