Related papers: Definability, interpretations and \'etale fundamen…

We classify principal bundles over anti-affine schemes with affine and commutative structural group. We show that this yields the classification of quasi-abelian varieties over a field k (i.e., group k-schemes with no non constant global…

We calculate the fundamental groups $\pi=\pi_1(P^2\setminus B)$ for all irreducible plane sextics $B\subset\P^2$ with simple singularities for which $\pi$ is known to admit a dihedral quotient $D_{10}$. All groups found are shown to be…

A proof of freeness of the commutator subgroup of the fundamental group of a smooth irreducible affine curve over a countable algebraically closed field of nonzero characteristic. A description of the abelianizations of the fundamental…

We define an analog in characteristic $p>0$ of the proalgebraic completion of the topological fundamental group of a complex manifold.

For $X$ a complete, reduced, geometrically connected scheme over a perfect field of characteristic $p>0$, we analyze the decomposition of Nori's fundamental group scheme into its local and \'etale parts and raise the question of the…

A generic extension $L[x]$ of $L$ by a real $x$ is defined, in which the $\mathsf E_0$-class of $x$ is a lightface $\Pi^1_2$ set containing no ordinal-definable reals.

We extend the definition of fundamental group scheme to non reduced schemes over any connected Dedekind scheme. Then we compare the fundamental group scheme of an affine scheme with that of its reduced part.

Given a projective variety $X$ over an algebraically closed field $k$, M. V. Nori introduced in 1976 a group scheme $\pi(X)$ which accounts for principal bundles $P\to X$ with finite structure, obtaining in this way an amplification the…

Formal orbifolds are defined in higher dimension. Their \'etale fundamental groups are also defined. It is shown that the fundamental groups of formal orbifolds have certain finiteness property and it is also shown that they can be used to…

We define a numerical quasi-isometry invariant of a finitely generated group, whose values parametrize the difference between the group being uniformly embeddable in a Hilbert space and the reduced C*-algebra of the group being exact.

We present a general definition of entropy in the setting of pre-ordered semigroups, extending the notion of topological entropy. From our definition, we obtain the basic properties exhibited by various entropy-like theories encountered in…

Synthetic algebraic geometry uses homotopy type theory extended with three axioms to develop algebraic geometry internal to a higher version of the Zariski topos. In this article we make no essential use of the higher structure and use…

In this paper we apply a recently proposed algebraic theory of integration to projective group algebras. These structures have received some attention in connection with the compactification of the $M$ theory on noncommutative tori. This…

We define the category of mixed Tate motives over the ring of S-integers of a number field. We define the motivic fundamental group (made unipotent) of a unirational variety over a number field. We apply this to the study of the motivic…

We define non-commutative schemes by using prime ideals of non-commutative rings, and discuss the \'etale cohomology, the Betti cohomology, and the fundamental groups of non-commutative schemes. For non-commutative schemes which are finite…

The purpose of this paper is to generalise Sullivan's rational homotopy theory to non-nilpotent spaces, providing an alternative approach to defining Toen's schematic homotopy types over any field k of characteristic zero. New features…

We study the structure of the \'etale fundamental groups of smooth curves over certain arithmetic schemes, and investigate the relative version of Grothendieck's anabelian conjecture in this setting. Consequently, every hyperbolic curve…

In this paper we study categorical properties of the category of abelian hypergroups that leads to the notion of hyper (almost) preadditive and hyper (almost) abelian categories. Our goal is to create a path towards a general theory of…

We generalize two of our previous results on abelian definable groups in $p$-adically closed fields to the non-abelian case. First, we show that if $G$ is a definable group that is not definably compact, then $G$ has a one-dimensional…

Let X be a smooth or proper variety defined over a finite field. The geometric etale fundamental group of X is a normal subgroup of the Weil group, so conjugation gives it a Weil action. We consider the pro-Q_l-algebraic completion of the…