Notes on Siegfried Bosch's Algebraic Geometry and Commutative Algebra (dedicated to Grothendieck)

Eric Schmid

2024-07-02

Abstract:Notes on Commutative Alegbra and Algebraic Geometry covering rings, ideals, modules, presheaves, sheaves, schemes, homological algebra, étale cohomology and further topics that are more advanced.

Algebraic Geometry,Commutative Algebra,Category Theory,K-Theory and Homology

What problem does this paper attempt to address?

Topics in algebraic geometry

Caucher Birkar

2011-01-01

Abstract: Lecture notes of an algebraic geometry graduate course. The topics covered are as follows. Cohomology: ext sheaves and groups, cohomology with support, local cohomology, local duality. Duality: relative duality, Cohen-Macaulay schemes. Morphisms of schemes: flatness and base change and related topics. Hilbert and Quotient schemes.
Algèbre commutative Méthodes constructives

Henri Lombardi,Claude Quitté

DOI: https://doi.org/10.48550/arXiv.1611.02942

2019-05-08

Abstract:This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules, which constitutes the algebraic version of the vector bundles in differential geometry. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic content. In particular, when a theorem affirms the existence of an object -- the solution of a problem -- a construction algorithm of the object can always be extracted from the given proof. We revisit with a new and often simplifying eye several abstract classical theories. In particular, we review theories which did not have any algorithmic content in their general natural framework, such as Galois theory, the Dedekind rings, the finitely generated projective modules or the Krull dimension. Constructive algebra is actually an old discipline, developed among others by Gauss and Kronecker. We are in line with the modern "bible" on the subject, which is the book by Ray Mines, Fred Richman and Wim Ruitenburg, A Course in Constructive Algebra, published in 1988.

Commutative Algebra
Commutative algebra: Constructive methods. Finite projective modules

Henri Lombardi,Claude Quitté

DOI: https://doi.org/10.1007/978-94-017-9944-7

2024-09-19

Abstract:This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules. We adopt the constructive point of view, with which all existence theorems have an explicit algorithmic content content. In particular, when a theorem affirms the existence of an object -- the solution of a problem -- a construction algorithm of the object can always be extracted from the given proof. We revisit with a new and often simplifying eye several abstract classical theories. In particular, we review theories which did not have any algorithmic content in their general natural framework, such as Galois theory, the Dedekind domains, the finitely generated projective modules or the Krull dimension.

Commutative Algebra
Homotopical and Higher Categorical Structures in Algebraic Geometry

Betrand Toen

DOI: https://doi.org/10.48550/arXiv.math/0312262

2003-12-31

Abstract:This a slightly expended version of my habilitation thesis, which is an overview of my research activities during the last 4 years, written in a rather informal style.

Algebraic Geometry,Algebraic Topology,Category Theory
A Course on Lie algebras and Chevalley groups

Meinolf Geck

2024-04-23

Abstract:These are notes of a graduate course on semisimple Lie algebras and Chevalley groups (over arbitrary fields). Standard references for these topics are the lectures notes by Steinberg (1967) and the book by Carter (1972). The aim of this text is to give a self-contained introduction based on Lusztig's recent simplified approach, which is inspired by the general theory of ``canonical'' bases. Many constructions are of a purely combinatorial nature and, hence, can be implemented on a computer. We explicitly incorporate such algorithmic methods in our treatment. This is the first part of a planned book project.

Representation Theory
New foundations for geometry

Shai Haran

DOI: https://doi.org/10.48550/arXiv.1508.04636

2015-08-19

Abstract:We shall describe a simple generalization of commutative rings. The category GR of such "rings", contains the ordinary commutative rings (fully faithfully), but also the "integers" and "residue field" at a real or complex place of a field ; the "field with one element" (the initial object of GR ); the "arithmetical surface" ( the sum in the category GR of the integers with them self: Z(x)Z ) . We shall show that this geometry "see" the real and complex places of a number field (there is an Ostrowski theorem that the valuation sub-GR of a number field correspond to the finite and infinite primes; there is a compactification of the spectrum of the integers ). One can develop algebraic geometry using GR following Grothendieck paradigm . Quillen's homotopical algebra replaces homological algebra . There is an analogue of Quillen's cotangent bundle - in particular there is a theory of non-additive derivations, with modules of Kahler differentials which satisfy all the usual exact sequences - we compute explicitly the differentials of the integers Z over the initial object F1 . Finally we associate with any topological compact valuation GR a meromorphic function - its "zeta" : for the p-adic integers we get the p-local factor of zeta, for the "real integers" we get the gamma factor.

Algebraic Geometry
Adventures in algebraic geometry

Lev Borisov

2024-07-14

Abstract:These notes are loosely based on an introductory course in algebraic geometry given at Rutgers University in Spring of 2024. We introduce some relatively advanced topics at the expense of the technical details.

Algebraic Geometry
Algebra and geometry of link homology

Eugene Gorsky,Oscar Kivinen,José Simental

DOI: https://doi.org/10.48550/arXiv.2108.10356

2021-08-24

Abstract:These notes cover the lectures of the first named author at 2021 IHES Summer School on "Enumerative Geometry, Physics and Representation Theory" with additional details and references. They cover the definition of Khovanov-Rozansky triply graded homology, its basic properties and recent advances, as well as three algebro-geometric models for link homology: braid varieties, Hilbert schemes of singular curves and affine Springer fibers, and Hilbert schemes of points on the plane.

Algebraic Geometry,Combinatorics,Geometric Topology,Representation Theory
Die Brauersche Gruppe; ihre Verallgemeinerungen und Anwendungen in der arithmetischen Geometrie

Jean-Louis Colliot-Thélène

2023-11-04

Abstract:This is an unchanged version of an unpublished, ``state of the art'' survey given at a conference held in Stuttgart in 2001 to celebrate the 100th birthday of Richard Brauer. This text was recently quoted in several papers on the period-index problem for central simple algebras.

Algebraic Geometry,Number Theory
Differential geometry and general relativity with algebraifolds

Tobias Fritz

2024-03-11

Abstract:It is often noted that many of the basic concepts of differential geometry, such as the definition of connection, are purely algebraic in nature. Here, we review and extend existing work on fully algebraic formulations of differential geometry which eliminate the need for an underlying manifold. While the literature contains various independent approaches to this, we focus on one particular approach that we argue to be the most natural one based on the definition of \emph{algebraifold}, by which we mean a commutative algebra $\mathcal{A}$ for which the module of derivations of $\mathcal{A}$ is finitely generated projective. Over $\mathbb{R}$ as the base ring, this class of algebras includes the algebra $C^\infty(M)$ of smooth functions on a manifold $M$, and similarly for analytic functions. An importantly different example is the Colombeau algebra of generalized functions on $M$, which makes distributional differential geometry an instance of our formalism. Another instance is a fibred version of smooth differential geometry, since any smooth submersion $M \to N$ makes $C^\infty(M)$ into an algebraifold with $C^\infty(N)$ as the base ring.Over any field $k$ of characteristic zero, examples include the algebra of regular functions on a smooth affine variety as well as any function field.

Differential Geometry,General Relativity and Quantum Cosmology,Mathematical Physics
On some approaches towards non-commutative algebraic geometry

Snigdhayan Mahanta

DOI: https://doi.org/10.48550/arXiv.math/0501166

2006-11-02

Abstract:The works of R. Descartes, I. M. Gelfand and A. Grothendieck have convinced us that commutative rings should be thought of as rings of functions on some appropriate (commutative) spaces. If we try to push this notion forward we reach the realm of Non-commutative Geometry. The confluence of ideas comes here mainly from three seemingly disparate sources, namely, quantum physics, operator algebras (Connes-style) and algebraic geometry. Following the title of the article, an effort has been made to provide an overview of the third point of view. Since na\" ive efforts to generalize commutative algebraic geometry fail, one goes to the root of the problem and tries to work things out "categorically". This makes the approach a little bit abstract but not abstruse. However, an honest confession must be made at the outset - this write-up is very far from being definitive; hopefully it will provide glimpses of some interesting developments at least.

Quantum Algebra,Algebraic Geometry
Gorenstein dimension of modules

Vladimir Maşek

DOI: https://doi.org/10.48550/arXiv.math/9809121

1999-03-31

Abstract:In these expository notes I discuss several concepts and results in the theory of modules over commutative rings, revolving around the Gorenstein dimension of modules. Some of the related notions are the Auslander dual, k-torsionless modules, and k-th syzygies. Essentially everything in these notes can be found, in one form or another, in the memoir "Stable module theory" by M. Auslander and M. Bridger (Mem. A.M.S., no. 94, 1969). The only difference is in presentation. In the Auslander-Bridger memoir many of the results are proved in the most general setting, e.g. over possibly non-commutative, non-Noetherian rings. The techniques used are quite abstract and unfamiliar to many commutative algebraists. Much space is devoted to the theory of satellites of functors which are exact only in the middle, etc. While such a degree of generality has many advantages, it does make the memoir difficult to read for the non-expert. My goal in writing these notes was to develop the theory in the context of commutative Noetherian rings, and to show that, in this important special case, the theory is fairly elementary and easy to build. As a practical matter, then, I wrote the notes using Matsumura's "Commutative ring theory" as the only pre-requisite; and indeed, my hope is that these notes can be read just like an extra chapter in Matsumura's book.

Commutative Algebra,Algebraic Geometry
Algebraic geometry in mixed characteristic

Bhargav Bhatt

DOI: https://doi.org/10.48550/arXiv.2112.12010

2021-12-22

Algebraic Geometry

Abstract:Fix a prime number $p$. We report on some recent developments in algebraic geometry (broadly construed) over $p$-adically complete commutative rings. These developments include foundational advances within the subject as well as external applications.
Noetherianity up to symmetry

Jan Draisma

DOI: https://doi.org/10.48550/arXiv.1310.1705

2013-11-04

Abstract:These lecture notes for the 2013 CIME/CIRM summer school Combinatorial Algebraic Geometry deal with manifestly infinite-dimensional algebraic varieties with large symmetry groups. So large, in fact, that subvarieties stable under those symmetry groups are defined by finitely many orbits of equations---whence the title Noetherianity up to symmetry. It is not the purpose of these notes to give a systematic, exhaustive treatment of such varieties, but rather to discuss a few "personal favourites": exciting examples drawn from applications in algebraic statistics and multilinear algebra. My hope is that these notes will attract other mathematicians to this vibrant area at the crossroads of combinatorics, commutative algebra, algebraic geometry, statistics, and other applications.

Algebraic Geometry
Some arithmetic and geometric aspects of algebraic cycles and motives

Giuseppe Ancona

DOI: https://doi.org/10.48550/arXiv.2301.02411

2023-01-06

Abstract:This is my habilitation thesis. As the tradition wants, I tried to give an introduction of my field of research. I post it on the ArXiv with the hope it can be useful to young researchers looking for a short and friendly text on cohomologies of algebraic varieties, periods, algebraic cycles and motives. I might one day find the energy to expand these notes and maybe translate them in English. In the meantime, please feel free to ask questions. The first sections of this text propose an introduction to the theory, I tried to present points of view and examples which are not always stressed in the literature. A leitmotif of the thesis is the difference between phenomena in characteristic zero and those in positive characteristic. The main results are: the standard conjecture of Hodge type for abelian foufolds; the construction of a class of $p$-adic periods controlled by motivic Galois groups and for which it is possible to formulate a $p$-adic analog of the Grothendieck period conjecture; the standard conjecture of Lefschetz type for the Laza--Saccà--Voisin varieties and the Chow-Künneth conjecture for commutative group schemes. The techniques are based on $p$-adic Hodge theory, representation theory, perverse sheaves and motivic complexes à la Voevodsky.

Algebraic Geometry,Number Theory
Commutative Algebra and Algebraic Geometry using OSCAR

Janko Boehm,Wolfram Decker,Frank-Olaf Schreyer

2024-04-18

Abstract:We give illustrative examples of how the computer algebra system OSCAR can support research in commutative algebra and algebraic geometry. We start with a thorough introduction to Groebner basis techniques, with particular emphasis on the computation of syzygies, then apply these techniques to deal with ideal and ring theoretic concepts such as primary decomposition and normalization, and finally use them for geometric case studies which concern curves and surfaces, both from a local and global point of view.

Algebraic Geometry,Commutative Algebra
Nil-Hecke rings and the Schubert calculus

Edward Richmond,Kirill Zainoulline

2023-10-02

Abstract:The purpose of the present notes is to give a self-contained exposition on the use of the techniques of Nil-Hecke algebras in the localization approach to the equivariant Schubert calculus for cohomology of flag varieties. We also demonstrate how these techniques can be applied to non-crystallographic root systems as well as to study (connective) $K$-theory of flag varieties.

Algebraic Geometry,Combinatorics
Descent for Algebraic Schemes

James S Milne

2024-06-09

Abstract:This is an elementary exposition of the basic descent theorems for algebraic schemes over fields (Grothendieck, Weil, ...).

Algebraic Geometry
Dirac Geometry I: Commutative Algebra

Lars Hesselholt,Piotr Pstra̧gowski

DOI: https://doi.org/10.1007/s42543-023-00072-6

2023-06-21

Peking Mathematical Journal

Abstract:Abstract The purpose of this paper and its sequel is to develop the geometry built from the commutative algebras that naturally appear as the homology of differential graded algebras and, more generally, as the homotopy of algebras in spectra. The commutative algebras in question are those in the symmetric monoidal category of graded abelian groups, and, being commutative, they form the affine building blocks of a geometry, as commutative rings form the affine building blocks of algebraic geometry. We name this geometry Dirac geometry, because the grading exhibits the hallmarks of spin in that it is a remnant of the internal structure encoded by anima , it distinguishes symmetric and anti-symmetric behavior, and the coherent cohomology of Dirac schemes and Dirac stacks, which we develop in the sequel, admits half-integer Serre twists. Thus, informally, Dirac geometry constitutes a “square root” of $$\mathbb {G}_m$$ G m -equivariant algebraic geometry.
Ultrasolid Homotopical Algebra

Sofía Marlasca Aparicio

2024-06-06

Abstract:Solid modules over $\mathbb{Q}$ or $\mathbb{F}_p$, introduced by Clausen and Scholze, are a well-behaved variant of complete topological vector spaces that forms a symmetric monoidal Grothendieck abelian category. For a discrete field $k$, we construct the category of ultrasolid $k$-modules, which specialises to solid modules over $\mathbb{Q}$ or $\mathbb{F}_p$. In this setting, we show some commutative algebra results like an ultrasolid variant of Nakayama's lemma. We also explore higher algebra in the form of animated and $\mathbb{E}_\infty$ ultrasolid $k$-algebras, and their deformation theory. We focus on the subcategory of complete profinite $k$-algebras, which we prove is contravariantly equivalent to equal characteristic formal moduli problems with coconnective tangent complex.

Algebraic Geometry,Algebraic Topology

Notes on Siegfried Bosch's Algebraic Geometry and Commutative Algebra (dedicated to Grothendieck)

Topics in algebraic geometry

Algèbre commutative Méthodes constructives

Commutative algebra: Constructive methods. Finite projective modules

Homotopical and Higher Categorical Structures in Algebraic Geometry

A Course on Lie algebras and Chevalley groups

New foundations for geometry

Adventures in algebraic geometry

Algebra and geometry of link homology

Die Brauersche Gruppe; ihre Verallgemeinerungen und Anwendungen in der arithmetischen Geometrie

Differential geometry and general relativity with algebraifolds

On some approaches towards non-commutative algebraic geometry

Gorenstein dimension of modules

Algebraic geometry in mixed characteristic

Noetherianity up to symmetry

Some arithmetic and geometric aspects of algebraic cycles and motives

Commutative Algebra and Algebraic Geometry using OSCAR

Nil-Hecke rings and the Schubert calculus

Descent for Algebraic Schemes

Dirac Geometry I: Commutative Algebra

Ultrasolid Homotopical Algebra