Related papers: An introduction to six-functor formalisms
These are notes of my lecture courses given in the summer of 2024 in the School on Number Theory and Physics at ICTP in Trieste and in the 27th Brazilian Algebra Meeting at IME-USP in S\~ao Paulo. We give an elementary account of $p$-adic…
Modular forms appear in many facets of mathematics, and have played important roles in geometry, mathematical physics, number theory, representation theory, topology, and other areas. Around 1994, motivated by technical issues in homotopy…
This presentation is the sequel of a paper published in GETCO'00 proceedings where a research program to construct an appropriate algebraic setting for the study of deformations of higher dimensional automata was sketched. This paper…
Let X be an algebraic curve. We study the problem of parametrizing geometric data over X, which is only generically defined. E.g., parametrizing generically defined (aka rational) maps from X to a fixed target scheme Y. There are three…
We introduce a formalism to analyze partially defined functions between ordered sets. We show that our construction provides a uniform and conceptual approach to all the main definitions encountered in elementary real analysis including…
Notes from a course taught by Palle Jorgensen in the fall semester of 2009. The course covered central themes in functional analysis and operator theory, with an emphasis on topics of special relevance to such applications as representation…
In this paper we will present an ongoing project which aims to use model theory as a suitable mathematical setting for studying the formalism of quantum mechanics. We will argue that this approach provides a geometric semantics for such…
Given a fibration over the circle, we relate the eigenspace decomposition of the algebraic monodromy, the homological finiteness properties of the fiber, and the formality properties of the total space. In the process, we prove a more…
These lecture notes provide some introduction to the 3+1 formalism of general relativity, which is the foundation of most modern numerical relativity. The text is rather self-contained, with detailed calculations and numerous examples.…
We develop the details of Kontsevich's proof of the formality of little N-disks operad over the field of real numbers. Formality holds in the category of operads of chain complexes and also in some sense in the category of commutative…
This text, based on the author's Bachelor's thesis, introduces the theory of Algebraic Operads, a mathematical formalism that provides a unifying framework for modern algebra. We demonstrate how the fundamental theories of associative,…
Many introductions to homotopy type theory and the univalence axiom gloss over the semantics of this new formal system in traditional set-based foundations. This expository article, written as lecture notes to accompany a 3-part mini course…
This paper collects and extends the lectures I gave at the "XXIV International Fall Workshop on Geometry and Physics" held in Zaragoza (Spain) August 31 - September 4, 2015. Within these lectures I review the formulation of Quantum…
Notes from lectures given at the Autumn School on Algebraic and Arithmetic Geometry at the Johannes Gutenberg-Universit\"at Mainz in October 2017.
In this paper we treat Grothendieck Duality for noetherian rings via rigid dualizing complexes. In particular, we prove that every ring, essentially finite type over a regular base ring, has a unique rigid dualizing complex. The rigid…
The attempt is to give a formal concpet of system, and with this provide a definition of category, that will also satisfy the definition of a system. An axiomatic base is given, for constructing the group of integers. In the process, we…
We construct a category, $\Omega$, of which the objects are pointed categories and the arrows are pointed correspondences. The notion of a "spec datum" is introduced, as a certain relation between categories, of which one has been given a…
Tangent category theory is a well-established categorical context for differential geometry. In a previous paper, a formal approach was adopted to provide a genuine Grothendieck construction in the context of tangent categories by…
This paper is based on a course given by the author at the University of Rome ``La Sapienza'' in the Academic year 2000/2001. The intended aim of the course was to rapidly introduce, although not in an exhaustive way, the non-expert PhD…
We introduce a new class of nonlocal kinetic equations and nonlocal Fokker-Planck equations associated with an effective generalized thermodynamical formalism. These equations have a rich physical and mathematical structure that can…