Related papers: Higher ideles and class field theory
We introduce layers to modal type theories, which subsequently enables type theories for pattern matching on code in meta-programming and clean and straightforward semantics.
The study of complex systems through the lens of category theory consistently proves to be a powerful approach. We propose that cognition deserves the same category-theoretic treatment. We show that by considering a highly-compact cognitive…
We give a presentation of abelian class field theory.
We establish cohomological and extension dimension versions of the Hurewicz dimension-raising theorem
We construct an iterative method for factorising small strict n-categories into a unique (up to isomorphism) collection of small 1- categories. Following this we develop the theory to include a large class of $\infty$-categories. We use…
We develop a generalized field space geometry for higher-derivative scalar field theories, expressing scattering amplitudes in terms of a covariant geometry on the all-order jet bundle. The incorporation of spacetime and field derivative…
We review main features and problems of higher spin field theory and flash some ways along which it has been developed over last decades.
Double Field Theory (DFT) is a proposal to incorporate T-duality, a distinctive symmetry of string theory, as a symmetry of a field theory defined on a double configuration space. The aim of this review is to provide a pedagogical…
Ideals are used to define homological functors for additive categories. In abelian categories the ideals corresponding to the usual universal objects are principal, and the construction reduces, in a choice dependent way, to homology…
We extend our approach to abstract syntax (with binding constructions) through modules and linearity. First we give a new general definition of arity, yielding the companion notion of signature. Then we obtain a modularity result as…
We investigate higher-dimensional $\Delta$-systems indexed by finite sets of ordinals, isolating a particular definition thereof and proving a higher-dimensional version of the classical $\Delta$-system lemma. We focus in particular on…
Generalisations of geometry have emerged in various forms in the study of field theory and quantization. This mini-review focuses on the role of higher geometry in three selected physical applications. After motivating and describing some…
We introduce a generalisation of norm relations in the group algebra Q[G], where G is a finite group. We give some properties of these relations, and use them to obtain relations between the S-unit groups of different subfields of the same…
A complete classifications, up to isomorphism, of two-dimensional associative and diassociative algebras over any basic field are given.
I discuss (ontologies_and_ontological_knowledge_bases / formal_methods_and_theories) duality and its category theory extensions as a step toward a solution to Knowledge-Based Systems Theory. In particular I focus on the example of the…
As a natural generalization of the notion of `higher rank Euler system', we develop a theory of `higher special elements' in the exterior power biduals of the Galois cohomology of $p$-adic representations. We show, in particular, that such…
In the framework of bidifferential graded algebras, we present universal solution generating techniques for a wide class of integrable systems.
We explore the role of the dilaton field on higher derivative supergravity within the framework of Double Field Theory and use it to fix the Lorentz non covariant field redefinitions connecting the metric and dilaton fields with the duality…
In contrast with QFT, classical field theory can be formulated in strict mathematical terms of fibre bundles, graded manifolds and jet manifolds. Second Noether theorems provide BRST extension of this classical field theory by means of…
Inspired by the construction of Higher Hida theory of Boxer and Pilloni, we develop Higher Hida theory for the cohomology of the line bundles of Drinfeld modular forms on the Drinfeld modular curve. We also interpolate Serre duality.