English
Related papers

Related papers: Projective covers of flat contramodules

200 papers

Tensor product of irreducible modules of highest weight over a semi-simple quantum group is semi-simple if and only if a natural contravariant form is non-degenerate when restricted to the span of singular vectors. We express this…

Quantum Algebra · Mathematics 2019-11-26 Andrey Mudrov

In this paper, by using functor rings and functor categories, we study finiteness and purity of subcategories of the module categories. We give a characterisation of contravariantly finite resolving subcategories of the module category of…

Representation Theory · Mathematics 2022-03-08 Ziba Fazelpour , Alireza Nasr-Isfahani

We prove various finiteness and representability results for cohomology of finite flat abelian group schemes. In particular, we show that if $f\colon X\rightarrow \mathrm{Spec}(k)$ is a projective scheme over a field $k$ and $G$ is a finite…

Algebraic Geometry · Mathematics 2025-04-10 Daniel Bragg , Martin Olsson

We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…

Algebraic Geometry · Mathematics 2021-10-18 Nero Budur , Botong Wang

It is shown that every continuous homomorphism of Arens-Michael algebras can be obtained as the limit of a morphism of certain projective systems consisting of Fr\'{e}chet algebras. Based on this we prove that a complemented subalgebra of…

Functional Analysis · Mathematics 2007-05-23 Alex Chigogidze

We define a notion of complexity for modules over infinite groups. We show that if $M$ is a module over the group ring $kG$, and $M$ has complexity $\leq f$ (where $f$ is some complexity function) over some set of finite index subgroups of…

K-Theory and Homology · Mathematics 2011-12-16 Ehud Meir

A conjecture of Colliot-Th\'{e}l\`{e}ne predicts that for a smooth projective variety $X$ over a finite extension $k$ of $\mathbb{Q}_p$ the kernel of the Albanese map $\text{CH}_0(X)^{\text{deg}=0}\to Alb_X(k)$ is the direct sum of a…

Algebraic Geometry · Mathematics 2026-05-27 Evangelia Gazaki , Jitendra Rathore

An extension $B\subset A$ of finite dimensional algebras is bounded if the $B$-$B$-bimodule $A/B$ is $B$-tensor nilpotent, its projective dimension is finite and $\mathrm{Tor}_i^B(A/B, (A/B)^{\otimes_B j})=0$ for all $i, j\geq 1$. We show…

Representation Theory · Mathematics 2024-08-26 Yongyun Qin , Xiaoxiao Xu , Jinbi Zhang , Guodong Zhou

In this paper we develop a general theory of modules which are invariant under automorphisms of their covers and envelopes. When applied to specific cases like injective envelopes, pure-injective envelopes, cotorsion envelopes, projective…

Rings and Algebras · Mathematics 2014-04-29 Pedro A. Guil Asensio , Derya Keskin Tütüncü , Ashish K. Srivastava

It is well-known that a class of all modules, which are torsion-free with respect to a set of ideals, is closed under injective envelopes. In this paper, we consider a kind of a dual to this statement - are the divisibility classes closed…

Commutative Algebra · Mathematics 2018-01-09 Michal Hrbek

We prove a Decomposition Theorem for the direct image of an irreducible local system on a smooth complex projective variety under a morphism with values in another smooth complex projective variety. For this purpose, we construct a category…

Algebraic Geometry · Mathematics 2011-01-04 Claude Sabbah

We prove that the universal cover of a normal, projective variety X is quasi-projective if and only if a finite, \'etale cover of X is a fiber bundle over an Abelian variety with simply connected fiber.

Algebraic Geometry · Mathematics 2011-02-15 Benoît Claudon , Andreas Hoering , János Kollár

We prove that a holomorphic projective connection on a complex projective threefold is either flat, or it is a translation invariant holomorphic projective connection on an abelian threefold. In the second case, a generic translation…

Differential Geometry · Mathematics 2023-04-25 Indranil Biswas , Sorin Dumitrescu

Definable subcategories may be extended along a ring homomorphism directly, by using their defining conditions in the new module category, or by tensoring up with the new ring. We investigate what is preserved and reflected by these…

Representation Theory · Mathematics 2026-03-31 Mike Prest

We give a complete list of indecomposable exact module categories over the finite tensor category $\mathrm{Rep}(u_q(\mathfrak{sl}_2))$ of representations of the small quantum group $u_q(\mathfrak{sl}_2)$, where $q$ is a root of unity of odd…

Quantum Algebra · Mathematics 2025-03-28 Daisuke Nakamura , Taiki Shibata , Kenichi Shimizu

Let $M$ be a finitely generated module over a free twisted commutative algebra $A$ that is finitely generated in degree one. We show that the projective dimension of $M({\bf C}^n)$ as an $A({\bf C}^n)$-module is eventually linear as a…

Commutative Algebra · Mathematics 2026-05-08 Steven V Sam , Andrew Snowden

For a category $\mathcal E$ with finite limits and well-behaved countable coproducts, we construct a model structure, called the effective model structure, on the category of simplicial objects in $\mathcal E$, generalising the Kan--Quillen…

Category Theory · Mathematics 2022-11-11 Nicola Gambino , Simon Henry , Christian Sattler , Karol Szumiło

For a commutative noetherian ring A, we compare the support of a complex of A-modules with the support of its cohomology. This leads to a classification of all full subcategories of A-modules which are thick (that is, closed under taking…

Commutative Algebra · Mathematics 2007-05-23 Henning Krause

We consider a compact orientable hyperbolic 3-manifold with a compressible boundary. Suppose that we are given a sequence of geometrically finite hyperbolic metrics whose conformal boundary structures at infinity diverge to a projective…

Geometric Topology · Mathematics 2011-11-28 Inkang Kim , Cyril Lecuire , Ken'ichi Ohshika

The paper contains a general construction which produces new examples of non simply-connected smooth projective surfaces. We analyze the resulting surfaces and their fundamental groups. Many of these fundamental groups are expected to be…

alg-geom · Mathematics 2008-02-03 Fedor Bogomolov , Ludmil Katzarkov