Some Results About Holonomic -Modules
Jan-Erik Björk (1983)
Recherche Coopérative sur Programme n°25
Similarity:
Jan-Erik Björk (1983)
Recherche Coopérative sur Programme n°25
Similarity:
Henning Haahr Andersen, Volodymyr Mazorchuk (2015)
Journal of the European Mathematical Society
Similarity:
In this paper we study the BGG-categories associated to quantum groups. We prove that many properties of the ordinary BGG-category for a semisimple complex Lie algebra carry over to the quantum case. Of particular interest is the case when is a complex root of unity. Here we prove a tensor decomposition for both simple modules, projective modules, and indecomposable tilting modules. Using the known Kazhdan-Lusztig conjectures for and for finite dimensional -modules we are able...
João Pedro P. dos Santos (2011)
Bulletin de la Société Mathématique de France
Similarity:
We study liftings or deformations of -modules ( is the ring of differential operators from EGA IV) from positive characteristic to characteristic zero using ideas of Matzat and Berthelot’s theory of arithmetic -modules. We pay special attention to the growth of the differential Galois group of the liftings. We also apply formal deformation theory (following Schlessinger and Mazur) to analyze the space of all liftings of a given -module in positive characteristic. At the end we compare...
Reza Sazeedeh, Rasul Rasuli (2016)
Colloquium Mathematicae
Similarity:
Let R be a commutative noetherian ring, let be an ideal of R, and let be a subcategory of the category of R-modules. The condition , defined for R-modules, was introduced by Aghapournahr and Melkersson (2008) in order to study when the local cohomology modules relative to belong to . In this paper, we define and study the class consisting of all modules satisfying . If and are ideals of R, we get a necessary and sufficient condition for to satisfy and simultaneously. We also...
Daniel Herden, Héctor Gabriel Salazar Pedroza (2016)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
An -module has an almost trivial dual if there are no epimorphisms from to the free -module of countable infinite rank . For every natural number , we construct arbitrarily large separable -free -modules with almost trivial dual by means of Shelah’s Easy Black Box, which is a combinatorial principle provable in ZFC.
Piotr Dowbor, Andrzej Mróz (2008)
Colloquium Mathematicae
Similarity:
Given a module M over a domestic canonical algebra Λ and a classifying set X for the indecomposable Λ-modules, the problem of determining the vector such that is studied. A precise formula for , for any postprojective indecomposable module X, is computed in Theorem 2.3, and interrelations between various structures on the set of all postprojective roots are described in Theorem 2.4. It is proved in Theorem 2.2 that a general method of finding vectors m(M) presented by the authors...
Tong Liu (2013)
Journal de Théorie des Nombres de Bordeaux
Similarity:
Let be a finite extension over and the ring of integers. We prove the equivalence of categories between the category of Kisin modules of height 1 and the category of Barsotti-Tate groups over .
Y. Talebi, R. Mohammadi (2016)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
In this paper we introduce the concept of -extending modules by -rational submodules and study some properties of such modules. It is shown that the set of all -rational left ideals of is a Gabriel filter. An -module is called -extending if every submodule of is -rational in a direct summand of . It is proved that is -extending if and only if , such that is a -extending submodule of . An example is given to show that the direct sum of -extending modules need not...
Pavle Pandžić, Petr Somberg (2015)
Archivum Mathematicum
Similarity:
We study certain -actions associated to specific examples of branching of scalar generalized Verma modules for compatible pairs , of Lie algebras and their parabolic subalgebras.
Pierre Berthelot (2012)
Bulletin de la Société Mathématique de France
Similarity:
If is a smooth scheme over a perfect field of characteristic , and if is the sheaf of differential operators on [7], it is well known that giving an action of on an -module is equivalent to giving an infinite sequence of -modules descending via the iterates of the Frobenius endomorphism of [5]. We show that this result can be generalized to any infinitesimal deformation of a smooth morphism in characteristic , endowed with Frobenius liftings. We also show that it...
Otmar Venjakob (2002)
Journal of the European Mathematical Society
Similarity:
This paper is motivated by the question whether there is a nice structure theory of finitely generated modules over the Iwasawa algebra, i.e. the completed group algebra, of a -adic analytic group . For without any -torsion element we prove that is an Auslander regular ring. This result enables us to give a good definition of the notion of a pseudo-null -module. This is classical when for some integer , but was previously unknown in the non-commutative case. Then the category...
Susan Howson (2002)
Bulletin de la Société Mathématique de France
Similarity:
We describe an approach to determining, up to pseudoisomorphism, the structure of a central-torsion module over the Iwasawa algebra of a pro-, -adic, Lie group containing no element of order . The techniques employed follow classical methods used in the commutative case, but using Ore’s method of localisation. We then consider the properties of certain invariants which may prove useful in determining the structure of a module. Finally, we describe the case of pro- subgroups of ...
Qingyi Zeng (2015)
Czechoslovak Mathematical Journal
Similarity:
An -closed submodule of a module is a submodule for which is nonsingular. A module is called a generalized CS-module (or briefly, GCS-module) if any -closed submodule of is a direct summand of . Any homomorphic image of a GCS-module is also a GCS-module. Any direct sum of a singular (uniform) module and a semi-simple module is a GCS-module. All nonsingular right -modules are projective if and only if all right -modules are GCS-modules.
David Hernandez, Bernard Leclerc (2016)
Journal of the European Mathematical Society
Similarity:
We describe a cluster algebra algorithm for calculating -characters of Kirillov–Reshetikhin modules for any untwisted quantum affine algebra . This yields a geometric -character formula for tensor products of Kirillov–Reshetikhin modules. When is of type , this formula extends Nakajima’s formula for -characters of standard modules in terms of homology of graded quiver varieties.
Zhanmin Zhu (2015)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Let be two non-negative integers. A left -module is called -injective, if for every -presented left -module . A right -module is called -flat, if for every -presented left -module . A left -module is called weakly --injective, if for every -presented left -module . A right -module is called weakly -flat, if for every -presented left -module . In this paper, we give some characterizations and properties of -injective modules and -flat modules in...
Ali Fathi (2022)
Czechoslovak Mathematical Journal
Similarity:
Let be an ideal of a commutative Noetherian ring and be a nonnegative integer. Let and be two finitely generated -modules. In certain cases, we give some bounds under inclusion for the annihilators of and in terms of minimal primary decomposition of the zero submodule of , which are independent of the choice of minimal primary decomposition. Then, by using those bounds, we compute the annihilators of local cohomology and Ext modules in certain cases.
Marzieh Hatamkhani, Hajar Roshan-Shekalgourabi (2022)
Czechoslovak Mathematical Journal
Similarity:
Let be a commutative Noetherian ring, an ideal of and an -module. We wish to investigate the relation between vanishing, finiteness, Artinianness, minimaxness and -minimaxness of local cohomology modules. We show that if is a minimax -module, then the local-global principle is valid for minimaxness of local cohomology modules. This implies that if is a nonnegative integer such that is a minimax -module for all and for all , then the set is finite. Also, if is...