Related papers: On Nori's Fundamental Group Scheme

We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…

We introduce the notion of algebraic fibrant objects in a general model category and establish a (combinatorial) model category structure on algebraic fibrant objects. Based on this construction we propose algebraic Kan complexes as an…

Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehension are related to measurement, not only in quantum logic,…

We consider the categorical equivalence between crossed modules over groupoids and double groupoids with thin structures; and by this equivalence, we prove how normality and quotient concepts are related in these two categories and give…

We characterize Lie group actions for which there exists, at least locally, an evaluation map that defines a cochain map from the differential complex of invariant forms on a manifold to the De Rham complex for the quotient.

A periodic cell complex, $K$, has a finite representation as the quotient space, $q(K)$, consisting of equivalence classes of cells identified under the translation group acting on $K$. We study how the Betti numbers and cycles of $K$ are…

We propose a new non-commutative generalization of the representation variety and the character variety of a knot group. Our strategy is to reformulate the construction of the algebra of functions on the space of representations in terms of…

In the previous paper, we defined a new category which categorifies the Hecke algebra. This is a generalization of the theory of Soergel bimodules. To prove theorems, the existences of certain homomorphisms between Bott-Samelson bimodules…

We establish equivalences of derived categories of the following 3 categories: (1) Principal block of representations of the quantum at a root of 1; (2) G-equivariant coherent sheaves on the Springer resolution; (3) Perverse sheaves on the…

For any commutative ring $R$, we show that the categories of $R$-coalgebras and cocommutative $R$-coalgebras are locally $\aleph_1$-presentable, while the categories of $R$-flat $R$-coalgebras are $\aleph_1$-accessible. Similarly, for any…

We consider the derived category of permutation modules for a finite group, in positive characteristic. We stratify this tensor triangulated category using Brauer quotients. We describe the spectrum of its compact objects, by reducing the…

In this paper, we attempt to develop the Quillen Suslin theory for the algebraic fundamental group of a ring. We give a surjective group homomorphism from the algebraic fundamental group of the field of the real numbers to the group of…

The aim of the present paper is to introduce a generalized quantum cluster character, which assigns to each object V of a finitary Abelian category C over a finite field FF_q and any sequence ii of simple objects in C the element X_{V,ii}…

The group $Diff$ of diffeomorphisms of the circle is an infinite dimensional analog of the real semisimple Lie groups $U(p,q)$, $Sp(2n,R)$, $SO^*(2n)$; the space $\Xi$ of univalent functions is an analog of the corresponding classical…

Categorified quantum groups play an increasing role in quantum topology and representation theory. The Steenrod algebra is a fundamental component of algebraic topology. In this paper we show that categorified quantum groups can be extended…

We study differential cohomology on categories of globally hyperbolic Lorentzian manifolds. The Lorentzian metric allows us to define a natural transformation whose kernel generalizes Maxwell's equations and fits into a restriction of the…

We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given monoidal model category. This yields a unified treatment for the known model structures on simplicial, topological, dg- and…

The concept of quantum representation of finite groups (QRFG) has been a fundamental aspect of quantum computing for quite some time, playing a role in every corner, from elementary quantum logic gates to the famous Shor's and Grover's…

We associate a diagrammatic monoidal category $\mathcal{H}\textit{eis}_k(A;z,t)$, which we call the quantum Frobenius Heisenberg category, to a symmetric Frobenius superalgebra $A$, a central charge $k \in \mathbb{Z}$, and invertible…

We classify the cosemisimple Hopf algebras whose corepresentation semi-ring is isomorphic to that of GL(2). This leads us to define a new family of Hopf algebras which generalize the quantum similitude group of a non-degenerate bilinear…