Related papers: Theoreme de Van Kampen pour les champs algebriques

As we known, the {\it Seifert-Van Kampen theorem} handles fundamental groups of those topological spaces $X=U\cup V$ for open subsets $U, V\subset X$ such that $U\cap V$ is arcwise connected. In this paper, this theorem is generalized to…

Colimits that satisfy the Van Kampen condition have interesting exactness properties. We show that the elementary presentation of the Van Kampen condition is actually a characterisation of a universal property in the associated bicategory…

We generalize the van Kampen theorem for unions of non-connected spaces, due to R. Brown and A. R. Salleh, to the context where families of subspaces of a space B are replaced by a locally sectionable map to B.

This is the first in a series of papers devoted to foundations of topological stacks. We begin developing a homotopy theory for topological stacks along the lines of classical homotopy theory of topological spaces. In this paper we go as…

The proalgebraic fundamental group of a connected topological space $X$, recently introduced by the first author, is an affine group scheme whose representations classify local systems of finite-dimensional vector spaces on $X$. In this…

We define the notion of fundamental group of an algebraic stack, prove a comparison theorem between the fundamental group of a stack over the complex numbers and that of the associated analytic orbifold, show that this notion coincides with…

The paper contains an application of van Kampen theorem for groupoids for computation of homotopy types of certain class of non-compact foliated surfaces obtained by gluing at most countably many strips $\mathbb{R}\times(0,1)$ with boundary…

The Seifert-van Kampen theorem computes the fundamental group of a space from the fundamental groups of its constituents. We develop a modular SVK framework within the setting of computational paths - an approach to equality where witnesses…

Generalized \'etale homotopy pro-groups $\pi_1^{\ets}(\mc{C}, x)$ associated to pointed connected small Grothendieck sites $(\mc{C}, x)$ are defined and their relationship to Galois theory and the theory of pointed torsors for discrete…

This paper gives an extension of the classical Zariski-van Kampen theorem describing the fundamental groups of the complements of plane singular curves by generators and relations. It provides a procedure for computation of the first…

In algebraic topology, the fundamental groupoid is a classical homotopy invariant which is defined using continuous maps from the closed interval to a topological space. In this paper, we construct a semi-coarse version of this invariant,…

We formulate and prove a generalization of Zariski-van Kampen theorem on the topological fundamental groups of smooth complex algebraic varieties. As an application, we prove a hyperplane section theorem of Lefschetz-Zariski-van Kampen type…

Fibred semantics is the foundation of the model-instance pattern of software engineering. Software models can often be formalized as objects of presheaf topoi, i.e, categories of objects that can be represented as algebras as well as…

We present a simple proof of the fundamental theorem of Galois theory, which establishes a correspondence between the intermediate fields of a finite Galois extension and the subgroups of its Galois group. The proof is based on the…

Given a smooth and separated K(pi,1) variety X over a field k, we associate a "cycle class" in etale cohomology with compact supports to any continuous section of the natural map from the arithmetic fundamental group of X to the absolute…

We introduce a topological property for finitely generated groups called stackable that implies the existence of an inductive procedure for constructing van Kampen diagrams with respect to a particular finite presentation. We also define…

Let $X = P^1_{\mathbb{F}_p}-B$, where $B$ is a divisor with $n$ distinct geometric points, and view $X$ as a $\mathbb{F}_q$-variety with $q = p^r$ for some $r$, we then obtain a short exact sequence of tame fundamental groups: \[1\to…

A classical theorem of Veldkamp describes the center of an enveloping algebra of a Lie algebra of a semi-simple algebraic group in characteristic $p.$ We generalize this result to a class of Lie algebras with a property that they arise as…

We give a detailed account of the classical Van Kampen method for computing presentations of fundamental groups of complements of complex algebraic curves, and of a variant of this method, working with arbitrary projections (even with…

We study topological spaces with a distinguished set of paths, called directed paths. Since these directed paths are generally not reversible, the directed homotopy classes of directed paths do not assemble into a groupoid, and there is no…