Related papers: An introduction to six-functor formalisms
In this document, we introduce a novel formalism for any field theory and apply it to the effective field theories of large-scale structure. The new formalism is based on functors of actions composing those theories. This new formalism…
The goal of this short note is to point out three observations around the Grothendieck norm and semidefinite programming. The first is that the Grothendieck norm captures the difficulty of relating the off-diagonal entries of a real,…
The objective of this work is to reconsider the schematization problem of [6], with a particular focus on the global case over Z. For this, we prove the conjecture [Conj. 2.3.6][15] which gives a formula for the homotopy groups of the…
It is our pleasure to present the papers of the sixth Working Formal Methods Symposium (FROM 2022) held at the "Al. I. Cuza" university of Iasi, Romania on September 19-20, 2022. FROM aims to bring together researchers and practitioners who…
Structural operational semantics can be studied at the general level of distributive laws of syntax over behaviour. This yields specification formats for well-behaved algebraic operations on final coalgebras, which are a domain for the…
We introduce a homotopy-theoretic interpretation of intuitionistic first-order logic based on ideas from Homotopy Type Theory. We provide a categorical formulation of this interpretation using the framework of Grothendieck fibrations. We…
We introduce and study the homotopy theory of motivic spaces and spectra parametrized by quotient stacks [X/G], where G is a linearly reductive linear algebraic group. We extend to this equivariant setting the main foundational results of…
We introduce a quotient of the Grothendieck ring of varieties by identifying classes of universally homeomorphic varieties. We show that the standard realization morphisms factor through this quotient, and we argue that it is the correct…
This is a collection of notes for part of a short course on modal methods in fluid mechanics held at DAMTP, University of Cambridge, in the summer of 2019. These notes introduce the reader to resolvent analysis as it is currently used in…
The suggested operator manifold formalism enables to develop an approach to the unification of the geometry and the field theory. We also elaborate the formalism of operator multimanifold yielding the multiworld geometry involving the…
These are the notes of a series of lectures delivered by the author at the Graduate School of Mathematics of the University of Tokyo, during the month of October 2015. They were meant to be as self-contained as possible, taking into account…
This is an introduction to Grothendieck's descent theory, with some stress on the general machinery of fibered categories and stacks.
In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…
This is an expanded version of the lecture notes for a minicourse that I gave at a summer school called "Advanced Course on Geometry and Dynamics of Integrable Systems" at CRM Barcelona, 9--14/September/2013. In this text we study the…
In this note, we present a few existence theorems for the quotient of a scheme by the action of a group. The first two sections are devoted to Grothendieck topologies and descent theory. The third one is dealing with quotients: we first…
The purpose of this informal article is to introduce the reader to some of the objects and methods of the theory of p-adic representations. My hope is that students and mathematicians who are new to the subject will find it useful as a…
We introduce a notion of proper morphism for schematic finite spaces and prove the analogue of Grothendieck's finiteness theorem for it by means of the classic result for schemes and general descent arguments. This result also generalizes…
We develop an explicit theory of formal modular forms over arbitrary number fields $K$, as functions of modular points. We define modular points for $\Gamma_0({\mathfrak n})$ and $\Gamma_1({\mathfrak n})$, where the level ${\mathfrak n}$ is…
The aim of this note is to take benefit of the foam nature of the Khovanov-Kuperberg algebras to compute the Grothendieck groups of their categories of finitely generated projective modules. The computation relies on the Hattori-Stallings…
This paper is a collection of lecture notes on modified gravity. Various modified gravity models formulated within the Riemannian formalism are discussed.