Related papers: An introduction to six-functor formalisms
In this short note, we will give the key point of the section conjecture of Grothendieck, that is reformulated by monodromy actions. Here, we will also give the result of the section conjecture for algebraic schemes over a number field.
Unstable operations in a generalized cohomology theory E give rise to a functor from the category of algebras over E to itself which is a colimit of representable functors and a comonoid with respect to composition of such functors. In this…
We establish several new properties of the $p$-adic Jacquet-Langlands functor defined by Scholze in terms of the cohomology of the Lubin-Tate tower. In particular, we reprove Scholze's basic finiteness theorems, prove a duality theorem, and…
We show that $E$-theory for locally compact Hausdorff spaces constitutes a six-functor formalism which is equivalent to the six-functor formalism of $\mathrm{E}$-valued sheaves. We furthermore show that the $E$-theory category for locales…
In this article, it is shown that derivator six-functor-formalisms on any (classical) site canonically extend to higher geometric stacks as defined by To\"en-Vezzosi under some natural locality conditions. As an application, it is shown…
These lecture notes cover four topics. There is a proof of the fact that the functors represented by the motivic Eilenberg-Maclane spaces on the motivic homotopy category coincide with the motivic cohomology defined in terms of the motivic…
The description of algebraic structure of n-fold loop spaces can be done either using the formalism of topological operads, or using variations of Segal's $\Gamma$-spaces. The formalism of topological operads generalises well to different…
Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on…
These notes are an extension of the rough notes provided for my four lecture graduate level course on "Quadratic Forms and Automorphic Forms" at the March 2009 Arizona Winter School on Quadratic Forms. They are meant to give a survey of…
We will give quiver presentations of the Grothendieck constructions of functors from a small category to the 2-category of $\Bbbk$-categories for a commutative ring $\Bbbk$.
These notes study the dynamics of iterated holomorphic mappings from a Riemann surface to itself, concentrating on the classical case of rational maps of the Riemann sphere. They are based on introductory lectures given at Stony Brook…
We present a formalization of quasi-compact and quasi-separated schemes (qcqs-schemes) in the Cubical Agda proof assistant. We follow Grothendieck's functor of points approach, which defines schemes, the quintessential notion of modern…
This is a written version of the invited lecture at the 9th European Congress of Mathematics in July 2024 in Sevilla. We review certain new symmetries of Grothendieck rings that have emerged in representation theory.
Topological semantics for modal logics has recently gained new momentum in many different branches of logic. In this paper, we will consider the topological semantics of both classical and paraconsistent modal logics. This work is a new…
In this article, we study the properties of motivic homotopy category $\mathcal{SH}_{\operatorname{ext}}(\mathcal{X})$ developed by Chowdhury and Khan-Ravi for $\mathcal{X}$ a Nis-loc Stack. In particular, we compare the above construction…
These lecture notes contain an exposition of basic ideas of K-theory and cyclic cohomology. I begin with a list of examples of various situations in which the K-functor of Grothendieck appears naturally, including the rudiments of the…
These notes, associated with a topics course, are concerned with some general methods related to norms and linear transformations.
We consider categories of equivariant mixed Tate motives, where equivariant is understood in the sense of Borel. We give the two usual definitions of equivariant motives, via the simplicial Borel construction and via algebraic…
The first aim of this paper is to extend the Skinner-Rusk formalism on classical mechanics for first-order field theories. The second is to generalize the definition and properties of the evolution K-operator on classical mechanics for…
Motivated by problems on the \'etale cohomology of Rapoport--Zink spaces and their generalizations, as well as Fargues's geometrization conjecture for the local Langlands correspondence, we develop a six functor formalism for the \'etale…