Related papers: Galois correspondence for augmented monads
Using the overconvergent cohomology modules introduced by Ash and Stevens, we construct eigenvarieties associated with reductive groups and establish some basic geometric properties of these spaces, building on work of Ash-Stevens, Urban,…
In this paper, we extend diagrammatic reasoning in monoidal categories with algebraic operations and equations. We achieve this by considering monoidal categories that are enriched in the category of Eilenberg-Moore algebras for a monad.…
We establish several strengthened versions of Lurie's Tannaka duality theorem for certain classes of spectral algebraic stacks. Our most general version of Tannaka duality identifies maps between stacks with exact symmetric monoidal…
We initiate the study of a large class of species monoids and comonoids which come equipped with a poset structure that is compatible with the multiplication and comultiplication maps. We show that if a monoid and a comonoid are related…
The Rost invariant of the Galois cohomology of a simple simply connected algebraic group over a field $F$ is defined regardless of the characteristic of $F$, but unfortunately some formulas for it are only known with some hypothesis on the…
We compute the arithmetic L-invariants (of Greenberg-Benois) of twists of symmetric powers of p-adic Galois representations attached to Iwahori level Hilbert modular forms (under some technical conditions). Our method uses the automorphy of…
Strong similarities have been long observed between the Galois (Categories Galoisiennes) and the Tannaka (Categories Tannakiennes) theories of representation of groups. In this paper we construct an explicit (neutral) Tannakian context for…
We show that Galois theory of cyclotomic number fields provides a powerful tool to construct systematically integer-valued matrices commuting with the modular matrix S, as well as automorphisms of the fusion rules. Both of these…
We define a bar construction endofunctor on the category of commutative augmented monoids $A$ of a symmetric monoidal category $\mathcal{V}$ endowed with a left adjoint monoidal functor $F:s\mathbf{Set}\to \mathcal{V}$. To do this, we need…
Protoadditive functors are designed to replace additive functors in a non-abelian setting. Their properties are studied, in particular in relationship with torsion theories, Galois theory, homology and factorisation systems. It is shown how…
We introduce group corings, and study functors between categories of comodules over group corings, and the relationship to graded modules over graded rings. Galois group corings are defined, and a Structure Theorem for the $G$-comodules…
Just as binary relations between sets may be understood as jointly monic spans, so too may equivalence relations on the disjoint union of sets be understood as jointly epic cospans. With the ensuing notion of composition inherited from the…
This paper provides a compositional approach to Taylor expansion, in the setting of cartesian differential categories. Taylor expansion is captured here by a functor that generalizes the tangent bundle functor to higher order derivatives.…
We first explain our joint work with Dirk Kreimer on the Hopf and Lie algebras of Feynman graphs. The conceptual meaning of the concrete computations of perturbative renormalisation is obtained from the Birkhoff decomposition in the…
For a variety over a global field, one can consider subsets of the set of adelic points of the variety cut out by finite abelian descent or Brauer-Manin obstructions. Given a Galois extension of the ground field one can consider similar…
This article starts a computational study of congruences of modular forms and modular Galois representations modulo prime powers. Algorithms are described that compute the maximum integer modulo which two monic coprime integral polynomials…
Given a programming language, can we give a monadic denotational semantics that is stable under language extension? Models containing only a single monad are not stable. Models based on type-and-effect systems, in which there is a monad for…
We generalise a result by Greenberg and Vatsal on the relation between the analytic $\mu$-invariants of two elliptic curves whose $p^i$-torsion subgroups are isomorphic as Galois modules, for suitable $i$.
We prove that the relative commutator with respect to a subvariety of a variety of Omega-groups introduced by the first author can be described in terms of categorical Galois theory. This extends the known correspondence between the…
A traced monad is a monad on a traced symmetric monoidal category that lifts the traced symmetric monoidal structure to its Eilenberg-Moore category. A long-standing question has been to provide a characterization of traced monads without…