Seminars Sorted by Series

We will globalize the notion of solid modules to an arbitrary scheme/discrete adic space.

We will discuss the 6-functor formalism for solid quasi-coherent sheaves.

The topic of the learning seminar this semester is "Analytic K-theory''. More precisely, the goal is to use condensed mathematics to obtain a notion of quasi-coherent sheaves/complexes in rigid analytic geometry, develop Efimov's approach to K...

Define the Grothendieck group of a commutative ring. Then define K1 and K2 and 
state Matsumoto’s theorem. Explain the definitions of higher K-theory in terms of the 
+-construction and in terms of the∞-group completion of groupoid of finite...

Introduce the notion of stable compactly generated $\infty$-category and discuss its properties and some examples. In particular, prove that the $\infty$-category of small idempotent complete stable $\infty$-categories is equivalent to the $\infty$...

Introduce the notion of Verdier sequences of presentable stable $\infty$-categories and then discuss the behavior of dualizable $\infty$-categories in Verdier sequence; in particular, discuss Thomason's trick. Introduce the notion of localizing...

Recall the notion of condensed analytic ring, then introduce its animated variant and discuss its properties. Explain the construction of induced analytic structures on animated condensed rings. Introduce the notion of steady maps of analytic rings...

Introduce the notion of nuclear object in a symmetric monoidal stable ($\infty$-)category and discuss its properties. In particular, prove that if the monoidal unit is compact, then an object is dualizable if and only if it is compact and nuclear...

For a general complete Huber pair $(A,A^+)$, define the analytic ring $(A,A^+)_\blacksquare$. Prove that the associations $\mathrm{Spa}\, (A,A^+)\mapsto \mathcal{D}((A,A^+)_\blacksquare)$, $\mathrm{Spa}\, (A,A^+)\mapsto \mathcal{D}^\omega((A,A^+)_...

Define the category of solid quasi-coherent sheaves $\mathcal{D}_\blacksquare(X)$ on a rigid-analytic varity $X$. Show that this assignment comes with a natural $6$-functor formalism. Finally, prove the Grothendieck--Serre duality in the rigid...

Prove that for a qcqs analytic adic space $X$, the category of nuclear sheaves on $X$ is dualizable in two steps. First, establish the result locally over affinoid Tate adic spaces using the notion of weak proregularity and then prove a general...

Review the notion of cd-structure for a Grothendieck topology and explain how it helps check the sheaf conditions. Introduce and discuss the Nisnevich topology for schemes and analytic adic spaces; in particular, discuss their equivalent...

Introduce the notion of hypersheaf and discuss its basic properties and equivalent characterizations. In particular, discuss the notions of homotopy and cohomological dimensions and their relation to hyperdescent. Sketch the proof of the fact for...

Explain the formulation of the Grothendieck–Riemann–Roch theorem for analytic adic spaces: go through [And23, pp. 32-38] and define all relevant objects and maps. Before explaining the construction of the Chern class map, define the sheaf KU∧p on...

Prove the Grothendieck–Riemann–Roch theorem: first prove [And23, Satz 6.12] and then explain the sketch of the proof on [And23, p. 38] by proving the relevant statements from the second half of [CS22, Lecture 15].

Abstract: The talk is based on joint work with Michael Groechenig and Johan de Jong.
We single out integrality properties of the topological fundamental group of smooth quasi-projective complex varieties which rely on the Langlands program (both...

Abstract: Report on a paper written during the pandemic joint with Minseon Shin and Max Lieblich. Some key words: Brauer groups, nontorsion elements of $\mathrm{H}^2(X, \mathbf{G}_m)$, resolution property, Jouanolou devices, and derived categories...

Abstract:

(joint work with Martin Kalck) Periods are complex numbers obtained by integrating algebraic differential forms over $\mathbf{Q}$ over a domain of algebraic nature. This includes numbers like $\pi$, $\log(2)$ or the values of the Riemann...

Abstract: Vanishing theorems in complex algebraic geometry, such as the Kodaira vanishing theorem, play an important role in understanding the structure of complex algebraic varieties. Ultimately, they rely on critical input from Hodge theory. After...

Abstract: The aim of this talk is to present some results on isometries of even, unimodular lattices and automorphisms of K3 surfaces.

Abstract: It is well-known that for any finite group $G$, there exists a closed $3$-manifold $M$ with $G$ as a quotient of the fundamental group of $M$. However, we can ask more detailed questions about the possible finite quotients of $3$-manifold...

Abstract: The Deligne--Simpson problem asks for a criterion of the existence of connections on an algebraic curve with prescribed singularities at punctures. We give a solution to a generalization of this problem to $G$-connections on $\mathbb{P}^1$...

Abstract: Emmy Noether was a central figure in the development of abstract algebra in the early 20th century. Her ideas were profoundly influential, touching nearly every corner of mathematics. In this talk, I'll discuss how those ideas have taken...

Abstract: For studies on singularities over the field of characteristic zero, we can use many convenient tools: resolutions of singularities, Bertini’s theorem (generic smoothness), cohomology vanishing of Kodaira type, and so on. However, in...

Abstract: To understand the birational geometry of a projective variety $X$, one seeks to describe all rational contractions from $X$. From an algebraic perspective, information about all these contractions are encoded in the ring formed by all...

Abstract: The log canonical threshold plays a fundamental role in algebraic geometry, especially birational geometry and Mori theory. Recently the problem of classifying foliations on algebraic varieties has been revolutionized by introducing ideas...

Abstract:

A $\mathrm{GL}$-variety $X$ is an (infinite-dimensional) affine variety with an action of the infinite general linear group $\mathrm{GL}$ such that the coordinate ring of $X$ is a polynomial  $\mathrm{GL}$-representation and generated by...

Abstract: A few months ago, I decide to attempt to formalize one of my own papers using the Lean4 theorem prover. I will report on this experiment. (The Lean code can be found there: https://github.com/smorel394/TS1)

Abstract: I will discuss a dictionary between the quantities in the spectrum of the string theory compactified on the Calabi-Yau and object in the Calabi-Yau. I will also discuss some properties.

Abstract:

Motivated by applications in Invariant Theory, Hilbert introduced an approach to describe the structure of modules by free resolutions. Hilbert's Syzygy Theorem shows that minimal free resolutions over a polynomial ring are finite. Most...

Abstract: We prove results in the direction of showing that for some affine curves, Baker's method applied to finite étale covers is insufficient to determine the integral points. This is joint work with Aaron Landesman.