The Fundamental Group of a Noncommutative Space

We introduce and analyse a general notion of fundamental group for noncommutative spaces, described by differential graded algebras. For this we consider connections on finitely generated projective bimodules over differential graded algebras and show that the category of flat connections on such modules forms a Tannakian category. As such this category can be realised as the category of representations of an affine group scheme G, which in the classical case is (the pro-algebraic completion of) the usual fundamental group. This motivates us to define G to be the fundamental group of the noncommutative space under consideration. The needed assumptions on the differential graded algebra are rather mild and completely natural in the context of noncommutative differential geometry. We establish the appropriate functorial properties, homotopy and Morita invariance of this fundamental group. As an example we find that the fundamental group of the noncommutative torus can be described as the algebraic hull of the topological group $(\mathbb Z+\theta \mathbb Z)^{2}$ ( ℤ + 𝜃 ℤ ) 2 .

Higgs bundles and fundamental group schemes

Relying on a notion of “numerical effectiveness” for Higgs bundles, we show that the category of “numerically flat” Higgs vector bundles on a smooth projective variety X is a Tannakian category. We introduce the associated group scheme, that we call the “Higgs fundamental group scheme of X,” and show that its properties are related to a conjecture about the vanishing of the Chern classes of numerically flat Higgs vector bundles.

UNIVERSAL MIXED ELLIPTIC MOTIVES

In this paper we construct a $\mathbb{Q}$-linear tannakian category $\mathsf{MEM}_{1}$ of universal mixed elliptic motives over the moduli space ${\mathcal{M}}_{1,1}$ of elliptic curves. It contains $\mathsf{MTM}$, the category of mixed Tate motives unramified over the integers. Each object of $\mathsf{MEM}_{1}$ is an object of $\mathsf{MTM}$ endowed with an action of $\text{SL}_{2}(\mathbb{Z})$ that is compatible with its structure. Universal mixed elliptic motives can be thought of as motivic local systems over ${\mathcal{M}}_{1,1}$ whose fiber over the tangential base point $\unicode[STIX]{x2202}/\unicode[STIX]{x2202}q$ at the cusp is a mixed Tate motive. The basic structure of the tannakian fundamental group of $\mathsf{MEM}$ is determined and the lowest order terms of a set (conjecturally, a minimal generating set) of relations are deduced from computations of Brown. This set of relations includes the arithmetic relations, which describe the ‘infinitesimal Galois action’. We use the presentation to give a new and more conceptual proof of the Ihara–Takao congruences.

Tannakian Categories With Semigroup Actions

A theorem of Ostrowski implies that log(x), log(x +1), … are algebraically independent over ℂ(x). More generally, for a linear differential or difference equation, it is an important problem to find all algebraic dependencies among a non-zero solution y and particular transformations of y, such as derivatives of y with respect to parameters, shifts of the arguments, rescaling, etc. In this paper, we develop a theory of Tannakian categories with semigroup actions, which will be used to attack such questions in full generality, as each linear differential equation gives rise to a Tannakian category. Deligne studied actions of braid groups on categories and obtained a ûnite collection of axioms that characterizes such actions to apply them to various geometric constructions. In this paper, we find a finite set of axioms that characterizes actions of semigroups that are ûnite free products of semigroups of the form on Tannakian categories. This is the class of semigroups that appear in many applications.

MODELS OF TORSORS AND THE FUNDAMENTAL GROUP SCHEME

Given a relative faithfully flat pointed scheme over the spectrum of a discrete valuation ring $X\rightarrow S$, this paper is motivated by the study of the natural morphism from the fundamental group scheme of the generic fiber $X_{\unicode[STIX]{x1D702}}$ to the generic fiber of the fundamental group scheme of $X$. Given a torsor $T\rightarrow X_{\unicode[STIX]{x1D702}}$ under an affine group scheme $G$ over the generic fiber of $X$, we address the question of finding a model of this torsor over $X$, focusing in particular on the case where $G$ is finite. We provide several answers to this question, showing for instance that, when $X$ is integral and regular of relative dimension 1, such a model exists on some model $X^{\prime }$ of $X_{\unicode[STIX]{x1D702}}$ obtained by performing a finite number of Néron blowups along a closed subset of the special fiber of $X$. Furthermore, we show that when $G$ is étale, then we can find a model of $T\rightarrow X_{\unicode[STIX]{x1D702}}$ under the action of some smooth group scheme. In the first part of the paper, we show that the relative fundamental group scheme of $X$ has an interpretation as the Tannaka Galois group of a Tannakian category constructed starting from the universal torsor.

Extensions panachées autoduales

We study self-duality of Grothendieck's blended extensions in the context of a tannakian category. The set of equivalence classes of symmetric, resp. antisymmetric, blended extensions is naturally endowed with a torsor structure, which enables us to compute the unipotent radical of the associated monodromy groups in various situations.

Appendix: Deligne’s Fibre Functor

This chapter takes up the proof of Theorem 3.1. It shows that N ↦ ω‎(N) := H⁰(𝔸¹/k¯, j 0! N) is a fiber functor on the Tannakian category Ƿsubscript geom of those perverse sheaves on 𝔾ₘ/k¯ satisfying Ƿ, under middle convolution.

ON THE STRATIFIED VECTOR BUNDLES

The stratified vector bundles on a smooth variety defined over an algebraically closed field k form a neutral Tannakian category over k. We investigate the affine group-scheme corresponding to this neutral Tannakian category.

Monodromy group for a strongly semistable principal bundle over a curve, II

Let X be a geometrically irreducible smooth projective curve defined over a field k. Assume that X has a k–rational point; fix a k–rational point x ε X. From these data we construct an affine group scheme X defined over the field k as well as a principal X–bundle over the curve X. The group scheme X is given by a ℚ–graded neutral Tannakian category built out of all strongly semistable vector bundles over X. The principal bundle is tautological. Let G be a linear algebraic group, defined over k, that does not admit any nontrivial character which is trivial on the connected component, containing the identity element, of the reduced center of G. Let EG be a strongly semistable principal G–bundle over X. We associate to EG a group scheme M defined over k, which we call the monodromy group scheme of EG, and a principal M–bundle EM over X, which we call the monodromy bundle of EG. The group scheme M is canonically a quotient of X, and EM is the extension of structure group of . The group scheme M is also canonically embedded in the fiber Ad(EG)x over x of the adjoint bundle.