Mathematics > Rings and Algebras
[Submitted on 26 Jul 2016 (v1), last revised 27 Apr 2018 (this version, v3)]
Title:Finite dual of a cocommutative Hopf algebroid. Application to linear differential matrix equations and Picard-Vessiot theory
View PDFAbstract:A fundamental tool of Differential Galois Theory is the assignment of an algebraic group to each finite-dimensional differential module over differential field in such a way that the category of differential modules it generates is equivalent, as a symmetric monoidal category, to the category of representations of the group. Its underlying set is then recognized as the group of differential automorphisms of the Picard-Vessiot field extension of the base field for this differential module. These results can be obtained by means of a Tannaka reconstruction process, applied to the abelian category of finite-dimensional differential modules. In this paper, we explore the possibility of extending this theory when the differential field is replaced by a more general differential ring $A$. In this case, it is reasonable to deal with differential modules which are finitely generated and projective over $A$. A major obstacle is that this category is not abelian, in contrast with the classical case when $A$ is a field. To overcome this difficulty, we develop some fundamental results concerning the \emph{finite dual}, hereby introduced, of a cocommutative Hopf algebroid, and a canonical monoidal functor sending (differential) modules to comodules. This functor is proved to be an equivalence of categories whenever a canonical ring homomorphism, which is introduced in this work, with domain in the aforementioned finite dual and with values in the convolutional ring, is injective. Module-theoretical sufficient conditions to get its injectivity are investigated. This machinery is applied to differential modules and their Picard-Vessiot theory.
Submission history
From: EL Kaoutit Laiachi [view email][v1] Tue, 26 Jul 2016 10:41:31 UTC (35 KB)
[v2] Thu, 20 Apr 2017 09:05:14 UTC (37 KB)
[v3] Fri, 27 Apr 2018 10:53:22 UTC (66 KB)
Current browse context:
math.RA
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Connected Papers (What is Connected Papers?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
alphaXiv (What is alphaXiv?)
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Hugging Face (What is Huggingface?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.