Related papers: On Nori's Fundamental Group Scheme
We describe a fully faithful embedding of the category of (reflexive) globular sets into the category of counital cosymmetric $R$-coalgebras when $R$ is an integral domain. This embedding is a lift of the usual functor of $R$-chains and the…
In this paper, we investigate the necessary sufficient conditions for the exactness of the homotopy sequence of Nori's fundamental group and apply these to various special situations to regain some classical theorems and give a counter…
For a regular normal element in an arbitrary ring, we study the category of its module factorizations. The cokernel functor relates module factorizations with Gorenstein projective components to Gorenstein projective modules over the…
A number of years ago, Kumar Murty pointed out to me that the computation of the fundamental group of a Hilbert modular surface ([7],IV,${\S}$6), and the computation of the congruence subgroup kernel of SL(2) ([6]) were surprisingly…
In this paper we study quotients of posets by group actions. In order to define the quotient correctly we enlarge the considered class of categories from posets to loopfree categories: categories without nontrivial automorphisms and…
The $D$-graded Proj construction provides a general framework for constructing schemes from rings graded by finitely generated abelian groups $D$, yet its properties and applications remain underdeveloped compared to the classical…
A finite dimensional operator that commutes with some symmetry group admits quotient operators, which are determined by the choice of associated representation. Taking the quotient isolates the part of the spectrum supporting the chosen…
To a big n-tilting object in a complete, cocomplete abelian category A with an injective cogenerator we assign a big n-cotilting object in a complete, cocomplete abelian category B with a projective generator, and vice versa. Then we…
Let $R$ be a left-Gorenstein ring. We show that there is a Quillen equivalence between singular contraderived model category and singular coderived model category. Consequently, an equivalence between the homotopy category of exact…
In this paper we prove that the quantum Stokes matrices of the quantum differential equation at a second order pole give rise to representations of the quantum group $U_q(\frak{gl}_n)$. We explain our results from the viewpoint of…
We study the homotopy category $\mathsf{K}_{N}(\mathcal{B})$ of $N$-complexes of an additive category $\mathcal{B}$ and the derived category $\mathsf{D}_{N}(\mathcal{A})$ of an abelian category $\mathcal{A}$. First we show that both…
Let R be a quotient ring of a commutative coherent regular ring by a finitely generated ideal. Hovey gave a bijection between the set of coherent subcategories of the category of finitely presented R-modules and the set of thick…
We show for an affine variety $X$, the derived category of quasi-coherent $D$-modules is equivalent to the category of DG modules over an explicit DG algebra, whose zeroth cohomology is the ring of Grothendieck differential operators…
Let $A$ be the coordinate ring of a projective smooth curve over a finite field minus a closed point. For a nontrivial ideal $I \subset A$, Drinfeld defined the notion of structure of level $I$ on a Drinfeld module. We extend this to that…
In the paper \cite{BK} we defined categories of equivariant quantum $\mathcal{O}_q$-modules and $\mathcal{D}_q$-modules on the quantum flag variety of $G$. We proved that the Beilinson-Bernstein localization theorem holds at a generic $q$.…
In this paper, we introduce the category of blueprints, which is a category of algebraic objects that include both commutative (semi)rings and commutative monoids. This generalization allows a simultaneous treatment of ideals resp.\…
The affine oriented Brauer category is a monoidal category obtained from the oriented Brauer category (= the free symmetric monoidal category generated by a single object and its dual) by adjoining a polynomial generator subject to…
In this note we generalize Nori's definition of the fundamental group scheme from a rational point to an arbitrary base point so that when we take $X$ to be a field $k$ and the point to be $k\subseteq \bar{k}$ we still get a non trivial…
We introduce a very general extension of the monomorphism category as studied by Ringel and Schmidmeier which in particular covers generalised species over locally bounded quivers. We prove that analogues of the kernel and cokernel functor…
We establish an algebra isomorphism between the center of the category $\mathcal{O}$ for a hybrid quantum group at a root of unity $\zeta$ and the cohomology of $\zeta$-fixed locus on affine Grassmannian. A deformed version of this…