Related papers: On Arithmetic Modular Categories
Let $k$ be an algebraically closed field of characteristic $0$ or $p>2$. Let $\mathcal{G}$ be an affine supergroup scheme over $k$. We classify the indecomposable exact module categories over the tensor category ${\rm sCoh}_{\rm…
The aim of these notes is to provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The notes are based on a lecture course given at Oxford over the past few years. They contain…
In this paper, we classify certain subcategories of modules over a ring R. A wide subcategory of R-modules is an Abelian subcategory of R-Mod that is closed under extensions. We give a complete classification of wide subcategories of…
Classes of functions of several variables on arbitrary non-empty domains that are closed under permutation of variables and addition of dummy variables are characterized in terms of generalized constraints, and hereby Hellerstein's Galois…
Field Arithmetic studies the interplay between arithmetical properties of fields and their absolute Galois groups. Here we studies fields satisfying local global principles for rational points of varieties and profinite groups satisfying…
Category theory provides a compact method of encoding mathematical structures in a uniform way, thereby enabling the use of general theorems on, for example, equivalence and universal constructions. In this article we develop the method of…
We show how the $\tau$-cluster morphism category may be defined in terms of the wall-and-chamber structure of an algebra. This geometric perspective leads to a simplified proof that the category is well-defined.
Monads are of interest both in semantics and in higher dimensional algebra. It turns out that the idea behind usual notion finitary monads (whose values on all sets can be computed from their values on finite sets) extends to a more general…
We call a finitely complete category algebraically coherent when the change-of-base functors of its fibration of points are coherent, which means that they preserve finite limits and jointly strongly epimorphic pairs of arrows. We give…
Quantum categories were introduced in [4] as generalizations of both bi(co)algebroids and small categories. We clarify details of that work. In particular, we show explicitly how the monadic definition of a quantum category unpacks to a set…
The Galois/monodromy group of a family of geometric problems or equations is a subtle invariant that encodes the structure of the solutions. Computing monodromy permutations using numerical algebraic geometry gives information about the…
The goal of this paper is to prove that the classifying spaces of categories of algebras governed by a prop can be determined by using function spaces on the category of props. We first consider a function space of props to define the…
We show that a general miraculous cancellation formula, the divisibility of certain characteristic numbers and some other topologiclal results are con- sequences of the modular invariance of elliptic operators on loop spaces. Previously we…
The present notes are the expanded and polished version of three lectures given in Stanford, concerning the analytic and arithmetic properties of weight one modular forms. The author tried to write them in a style accessible to…
Category theory provides a powerful tool to organize mathematics. A sample of this descriptive power is given by the categorical analysis of the practice of "classes as shorthands" in ZF set theory. In this case category theory provides a…
Given a category fibered in groupoids over schemes with a log structure, one produces a category fibered in groupoids over log schemes. We classify the groupoid fibrations over log schemes that arise in this manner in terms of a categorical…
In this article, we develop the geometry of canonical stratifications of the spaces $\mathcal{M}_{0,n}$ and prepare ground for studying the action of the Galois group $Gal (\overline{\mathbb{Q}} /\mathbb{Q})$ upon strata. We define and…
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…
Koszul algebras have arisen in many contexts; algebraic geometry, combinatorics, Lie algebras, non-commutative geometry and topology. The aim of this paper and several sequel papers is to show that for any finite dimensional algebra there…
The set of all m-tuples of compatible full conditional distributions on discrete random variables is an algebraic set whose defining ideal is a unimodular toric ideal. We identify the defining polynomials of these ideals with closed walks…