Related papers: A Maschke type theorem for relative Hom-Hopf modul…

We study the \'etale cohomology of Hilbert modular varieties, building on the methods introduced for unitary Shimura varieties in [CS17, CS19]. We obtain the analogous vanishing theorem: in the "generic" case, the cohomology with torsion…

Building on the nonabelian Hodge theory in positive characteristic developed by Ogus, Vologodsky, and Schepler, we propose a generalization of the decomposition theorem of Deligne and Illusie from the perspective of mixed Hodge modules.…

Let $\mathcal{Z}$ be a specialization closed subset of $\Spec R$ and $X$ a homologically left-bounded complex with finitely generated homologies. We establish Faltings' Local-global Principle and Annihilator Theorems for the local…

Using Lusztig's geometric classification, we find the reducibility points of a standard module for the affine Hecke algebra, in the case when the inducing data is generic. This recovers the known result of Muic-Shahidi for representations…

We prove that both, the embedding of the category of Hopf algebras into that of bialgebras and the forgetful functor from the category of Hopf algebras to the category of algebras, have right adjoints; in other words: every bialgebra has a…

We prove that, in characteristic 0, any Hasse-Schmidt module structure can be recovered from its underlying integrable connection, and consequently Hasse--Schmidt modules and modules endowed with an integrable connection coincide.

We generalize the construction of reflection functors from classical representation theory of quivers to arbitrary small categories with freely attached sinks or sources. These reflection morphisms are shown to induce equivalences between…

Let $R$ be a commutative ring with unit. We develop a Hochschild cohomology theory in the category $\mathcal{F}$ of linear functors defined from an essentially small symmetric monoidal category enriched in $R$-Mod, to $R$-Mod. The category…

Let $G$ be a finite group and $k$ a field of characteristic $p$. We conjecture that if $M$ is a $kG$-module with $H^*(G,M)$ finitely generated as a module over $H^*(G,k)$ then as an element of the stable module category…

In this paper, we show Langton's type theorem on separatedness and properness of moduli functor of torsion free semistable sheaves on algebraic orbifolds over an algebraically closed field k

In this paper, we study coherent locally free (logarithmic-)$\nabla$-modules on relative $p$-adic polyannuli satisfying the Robba condition and prove several criteria for decomposition of such (logarithmic-)$\nabla$-modules. Firstly we…

The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…

We compare several classes of biparameter persistence modules: $\gamma$-products of monoparameter modules, hook-decomposable modules, modules admitting a Smith-type structure theorem, and modules of projective dimension at most 1. We…

For a Specht module S^\lambda for the symmetric group \Sigma_d, the cohomology H^i(\Sigma_d, S^\lambda) is known only in degree i=0. We give a combinatorial criterion equivalent to the nonvanishing of the degree i=1 cohomology, valid in odd…

We present new induction principles for the syntax of dependent type theories, which we call relative induction principles. The result of the induction principle relative to a functor F into the syntax is stable over the codomain of F. We…

For the affine Hecke algebra of type A at roots of unity, we make explicit the correspondence between geometrically constructed simple modules and combinatorially constructed simple modules and prove the modular branching rule. The latter…

For the affine Hecke algebra of type A at roots of unity, we make explicit the correspondence between geometrically constructed simple modules and combinatorially constructed simple modules and prove the modular branching rule. The latter…

In this short note, we will explain that the good moduli space morphisms behave as if they are proper when we consider sheaf operations, though they are not separated. For example, the decomposition theorem and the base change theorem hold…

In this paper we prove an $\infty$-categorical version of the reflection theorem of Ad\'amek-Rosick\'y. Namely, that a full subcategory of a presentable $\infty$-category which is closed under limits and $\kappa$-filtered colimits is a…

The notion of semifunctor between categories, due to S. Hayashi (1985), is defined as a functor that does not necessarily preserve identities. In this paper we study how several properties of functors, such as fullness, full faithfulness,…