**Are you an EPFL student looking for a semester project?**

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

Concept# Alexander Grothendieck

Summary

Alexander Grothendieck (ˈgroʊtəndiːk; ˌalɛˈksandɐ ˈɡʁoːtn̩ˌdiːk; ɡʁɔtɛndik; 28 March 1928 – 13 November 2014) was a French mathematician who became the leading figure in the creation of modern algebraic geometry. His research extended the scope of the field and added elements of commutative algebra, homological algebra, sheaf theory, and to its foundations, while his so-called "relative" perspective led to revolutionary advances in many areas of pure mathematics. He is considered by many to be the greatest mathematician of the twentieth century.
Grothendieck began his productive and public career as a mathematician in 1949. In 1958, he was appointed a research professor at the Institut des hautes études scientifiques (IHÉS) and remained there until 1970, when, driven by personal and political convictions, he left following a dispute over military funding. He received the Fields Medal in 1966 for advances in algebraic geometry, homological algebra, and K-theory. H

Official source

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications

Loading

Related people

Loading

Related units

Loading

Related concepts

Loading

Related courses

Loading

Related lectures

Loading

Related publications (16)

Loading

Loading

Loading

Related people (2)

Related courses (7)

MATH-436: Homotopical algebra

This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous examples of model categories and their applications in algebra and topology.

MATH-311: Rings and modules

The students are going to solidify their knowledge of ring and module theory with a major emphasis on commutative algebra and a minor emphasis on homological algebra.

MATH-211: Group Theory

Après une introduction à la théorie des catégories, nous appliquerons la théorie générale au cas particulier des groupes, ce qui nous permettra de bien mettre en perspective des notions telles que quotients de groupe et actions de groupe.

Related units (1)

Related lectures (27)

Chapter 2(c): The homotopy category of a model category

Ep 26: HoM is the homotopy category of M

Related concepts (69)

Sheaf (mathematics)

In mathematics, a sheaf (: sheaves) is a tool for systematically tracking data (such as sets, abelian groups, rings) attached to the open sets of a topological space and defined locally with regard

Scheme (mathematics)

In mathematics, a scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities (the equations x = 0 and x2 = 0 define the

Algebraic variety

Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial

The starting point for this project is the article of Kathryn Hess [11]. In this article, a homotopic version of monadic descent is developed. In the classical setting, one constructs a category D(𝕋) of coalgebras in the Eilenberg-Moore category of algebras D𝕋 for a given monad 𝕋 on a category D. There is a canonical functor Can𝕃𝕋 from D to D(𝕋), and if Can𝕃𝕋 is fully faithful, then 𝕋 satisfies descent, while if Can𝕃𝕋 is an equivalence of categories, then 𝕋 satisfies effective descent [19]. In [11], these two conditions are replaced by a weaker one, that these hold only up to homotopy. This is achieved by working with model categories that are enriched over simplicial sets. Homotopic descent is then defined by demanding that each component in (Can𝕃𝕋)A,B : MapD(A,B) → MapD(𝕋) (Can𝕃𝕋(A), Can𝕃𝕋 (B)) be a weak equivalence of simplicial sets. A similar but stronger condition involving the path components in D(𝕋) expresses effective homotopic descent. The first goal of this project is to develop a framework of homotopic descent for model categories that are enriched over model categories other than simplicial sets. The most important examples we have in mind are chain complexes and spectra. In order to achieve this goal, we tried to determine the most general conditions that are sufficient and necessary to make the theory work. To ease the formulation, let us say that we are working with a model category D that is enriched over a monoidal model category V. The crucial constructions we need are realization, respectively totalization, of (co)simplicial objects in D. These functors have to be Quillen functors to ensure that they have the correct homotopical behaviour. This implies that there must exist a Quillen adjunction between V and simplicial sets. Furthermore, we need to be able to transfer the enrichment and (co)tensoring over V to an enrichment and (co)tensoring over simplicial sets. This forces the Quillen adjunction to be monoidal. Another main point that has to be adressed is the question, of whether the enrichment of D carries over to an enrichment of D𝕋 and D(𝕋) and how this enrichment behaves. It turns out that this works well under mild assumptions on V. This leads then to the definition of homotopic descent by requiring that each component in (Can𝕃𝕋)A,B : MapD(A,B) → MapD(𝕋) (Can𝕃𝕋(A), Can𝕃𝕋 (B)) be a weak equivalence in M and similarly for effective homotopic descent. Using this definition, the theorems in [11] carry over to this more general context. Although the conditions on V are rather constraining regarding the relation with simplicial sets, the cases of chain complexes and spectra are included. For the time being we do not see how the constraints on V could be weakened. The second goal of this project is to apply the theory of homotopic descent to concrete examples. A good source of examples is homotopic Grothendieck descent in the category of spectra, i.e., S-modules. Classical Grothendieck descent deals with the adjunction induced by a morphism φ : B → A of monoids in a monoidal category (M,Λ, S), – BΛ A : ModB ⇄ ModA : φ*, which in turn induces a monad 𝕋φ := φ*(– ΛB A) on ModB. We consider in particular the case when the morphism in question is the unit of an S-algebra E, η : S → E There is a close relationship between comodules over a Hopf algebroid and objects in D(𝕋η). Associated to η we have the canonical co-ring Wη := E ΛS E and an isomorphism between D(𝕋η) and the category of comodules over Wη in the category of S-modules. This relationship is explored in an analysis of the stable Adams spectral sequence, the construction of which heavily relies on the monadic properties of the functor η*(E ΛS –) and can therefore be expressed in terms of D(𝕋η). We construct a spectral sequence that generalizes the stable Adams spectral sequence to any stable pointed model category such as unbounded chain complexes. One can give a description of the E2-term as an Ext in D(𝕋η), E2s,t = ExtD(𝕋η) (Can(A), Can(B)). If the spectral sequences converges, it abuts to π⁎MapD(A,B η^), where Bη^ is the derived 𝕋η-completion of B, which agrees with the usual derived completion in well-known special cases. Furthermore, Bη^ := Tot B^•, and B^• is kind of a fibrant cosimplicial resolution of B. Furthermore, the language of relative homological algebra for modules and comodules generalizes to definitions for algebras in D𝕋η and coalgebras in D(𝕋η). This shows that the construction of the Adams spectral sequence works in a more general setting, where one applies a functor to an abelian category, for example π⁎, only at the end, to be able to do computations in homological algebra. This general Adams spectral sequence is closely related to the descent spectral sequence of [11], and we have clarified this relationship.

In this thesis we compute motivic classes of hypertoric varieties, Nakajima quiver varieties and open de Rham spaces in a certain localization of the Grothendieck ring of varieties. Furthermore we study the $p$-adic pushforward of the Haar measure under a hypertoric moment map $\mu$. This leads to an explicit formula for the Igusa zeta function $\FI_\mu(s)$ of $\mu$, and in particular to a small set of candidate poles for $\FI_\mu(s)$. We also study various properties of the residue at the largest pole of $\FI_\mu(s)$. Finally, if $\mu$ is constructed out of a quiver $\Gamma$ we give a conjectural description of this residue in terms of indecomposable representations of $\Gamma$ over finite depth rings. The connections between these different results is the method of proof. At the heart of each theorem lies a motivic or $p$-adic volume computation, which is only possible due to some surprising cancellations. These cancellations are reminiscent of a result in classical symplectic geometry by Duistermaat and Heckman on the localization of the Liouville measure, hence the title of the thesis.

We prove that Hausel’s formula for the number of rational points of a Nakajima quiver variety over a finite field also holds in a suitable localization of the Grothendieck ring of varieties. In order to generalize the arithmetic harmonic analysis in his proof we use Grothendieck rings with exponentials as introduced by Cluckers-Loeser and Hrushovski-Kazhdan.

2016