Related papers: Six-Functor Formalisms
This extended abstract is about an effort to build a formal description of a triangulation algorithm starting with a naive description of the algorithm where triangles, edges, and triangulations are simply given as sets and the most complex…
We construct a modular functor which takes its values in the monoidal bicategory of finite categories, left exact functors and natural transformations. The modular functor is defined on bordisms that are 2-framed. Accordingly we do not need…
I summarize and discuss some recent results on formulating actions of six-dimensional superconformal field theories using the language of higher gauge theory. The latter guarantees mathematical consistency of our constructions and we review…
We equate various Euler classes of algebraic vector bundles, including those of [BM, KW, DJK], and one suggested by M.J. Hopkins, A. Raksit, and J.-P. Serre. We establish integrality results for this Euler class, and give formulas for local…
Logics closed under classes of substitutions broader than class of uniform substitutions are known as hyperformal logics. This paper extends known results about hyperformal logics in two ways. First: we examine a very powerful form of…
We explain the basic ideas, describe with proofs the main results, and demonstrate the effectiveness, of an evolving theory of vector-valued modular forms (vvmf). To keep the exposition concrete, we restrict here to the special case of the…
These are expanded notes from a four lecture mini-course given by the author at the Spring School on Non-archimedean geometry and Eigenvarieties, held at the University of Heidelberg in March 2023. The course discusses coherent sheaves,…
This is a set of lecture notes on the operator algebraic approach to 2-dimensional conformal field theory. Representation theoretic aspects and connections to vertex operator algebras are emphasized. No knowledge on operator algebras or…
There are several astrophysical configurations where one is interested only in the long-term dynamical evolution. Although the first-order version of this approximation is usually sufficient in applications, second-order corrections may be…
The categories with noninvertible morphisms are studied analogously to the semisupermanifolds with noninvertible transition functions. The concepts of regular n-cycles, obstruction and the regularization procedure are introduced and…
Mathematical proofs are often said to justify their conclusions by indicating the existence of a corresponding formal derivation. We argue that this widespread view relies on an under-examined notion of correspondence, or what it means for…
Aim of this paper is to define a new type of cohomology for multiplicative Hom-Leibniz algebras which controls deformations of Hom-Leibniz algebra structure. The cohomology and the associated deformation theory for Hom-Leibniz algebras as…
Permutation trinomials over finite fields consititute an active research due to their simple algebraic form, additional extraordinary properties and their wide applications in many areas of science and engineering. In the present paper, six…
This is a work in progress, far from being in its final form whose purpose is to investigate thoroughly the structure of Berkovich analytic curves and its relation with the semi-stable reduction theorem (of which a new proof is given here,…
In this paper we define the formal and tempered Deligne cohomology groups, that are obtained by applying the Deligne complex functor to the complexes of formal differential forms and tempered currents respectively. We then prove the…
In this paper we take up again the deformation theory for $K$-linear pseudofunctors initiated in a previous work (Adv. Math. 182 (2004) 204-277). We start by introducing a notion of a 2-cosemisimplicial object in an arbitrary 2-category and…
Differential forms is a highly geometric formalism for physics used from field theories to General Relativity (GR) which has been a great upgrade over vector calculus with the advantages of being coordinate-free and carrying a high degree…
The aim of these notes, originally intended as an appendix to a book on the foundations of equivariant cohomology, is to set up the formalism of the $G$-equivariant Poincar\'e duality for oriented $G$-manifolds, for any connected compact…
The aim of this article is to give a concise algebraic treatment of the modular symbols formalism, generalised from modular curves to Hecke triangle surfaces. A sketch is included of how the modular symbols formalism gives rise to the…
For any block of a finite group over an algebraically closed field of characteristic $2$ which has dihedral, semidihedral, or generalized quaternion defect groups, we determine explicitly the decomposition of the associated diagonal…