Related papers: Six-Functor Formalisms
This volume contains the proceedings of MARS 2022, the fifth workshop on Models for Formal Analysis of Real Systems, held as part of ETAPS 2022, the European Joint Conferences on Theory and Practice of Software. The MARS workshops bring…
The notion of a duality between two derived functors as well as an extension theorem for derived functors to larger categories in which they need not be defined is introduced. These ideas are then applied to extend and study the coext…
These notes are based on a series of lectures given by the author at the Centre Bernoulli (EPFL) in July 2016. They aim at illustrating the importance of the mod-$\ell$ cohomology of Deligne--Lusztig varieties in the modular representation…
This is an informal note on the complex-analytic approach to the theory of conformal blocks for rational VOAs. Its main body was completed in November 2020.
This paper establishes a second vanishing theorem for formal local cohomology modules over Noetherian local rings. We introduce the \textit{formal dimension} invariant and characterize the vanishing of higher formal local cohomology in…
This paper describes an algorithm for the compilation of a two (or more) level orthographic or phonological rule notation into finite state transducers. The notation is an alternative to the standard one deriving from Koskenniemi's work: it…
This paper is concerned with the study of the fractional finite sums theory. We present the classes of functions for which it is possible to characterize the constant related to the derivative of fractional sums (denominated by essence of a…
We present various generalizations of the Dirac formalism. The different-parity solutions of the Weinberg's 2(2J+1)-component equations are found. On this basis, generalizations of the Bargmann-Wigner (BW) formalism are proposed. Relations…
Abstract inner automorphisms can be used to promote any category into a 2-category, and we study two-dimensional limits and colimits in the resulting 2-categories. Existing connected colimits and limits in the starting category become…
In this paper, we define finitely additive, probability and modular functions over semiring-like structures. We investigate finitely additive functions with the help of complemented elements of a semiring. We also generalize some classical…
In this article we establish some results that allow to deduce the continuity of homomorphisms of (topological) abelian groups from commutative diagrams. In particular, we present a new topological version of the classical Five-Lemma. These…
We compare the colimit and 2-colimit of strict 2-functors in the 2-category of groupoids, over a certain type of posets. These posets are of special importance, as they correspond to coverings of a topological space. The main result of this…
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.…
The present notes are based on three lectures, each ninety minutes long, prepared for the school 'Integrability, Dualities and Deformations', that ran from 23 to 27 August 2021 in Santiago de Compostela and virtually. These lectures, aimed…
On a suitable category of formal schemes equipped with codimension functions we construct a canonical pseudofunctor (-)^# taking values in the corresponding categories of Cousin complexes. Cousin complexes on such a formal scheme X…
This document contains the notes of a lecture I gave at the "Journ\'ees Nationales du Calcul Formel" (JNCF) on January 2017. The aim of the lecture was to discuss low-level algorithmics for p-adic numbers. It is divided into two main parts:…
An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up to now, which concerns the formalization of category theory…
This is a draft of a textbook on differential forms. The primary target audience is sophmore level undergraduates enrolled in what would traditionally be a course in vector calculus. Later chapters will be of interest to advaced…
We study de Rham cohomology for various differential calculi on finite groups G up to order 8. These include the permutation group S_3, the dihedral group D_4 and the quaternion group Q. Poincare' duality holds in every case, and under some…
The goal of this work is to describe a categorical formalism for (Extended) Topological Quantum Field Theories (TQFTs) and present them as functors from a suitable category of cobordisms with corners to a linear category, generalizing 2d…