Galois extensions as functors of comodules

Let A be a finite Hopf algebra over a commutative ring k. We show a one-to-one correspondence between the A-Galois extensions of k and certain functors from the category of A-comodules to the category of k-modules.     

Decomposition of comodules

In this note we develop a decomposition theory of comodules over a general coalgebra. We relate it with other known decomposition theories and apply it to the decomposition of categories.     

Decompositions of comodules

In this paper we study the relations among the different decomposition theories of comodules.     

On gorenstein injective and projective comodules

Gorenstein injective, projective and coflat comodules were introduced and studied by Asensio and Enochs et al. We further investigate these comodules and introduce n-Gorenstein injective, projective and coflat comodules, which give a new characterization of Gorenstein comodules.     

Coinduction functor and simple comodules

Consider a coring with exact rational functor, and a finitely generated and projective right comodule. We construct a functor (coinduction functor) which is right adjoint to the hom-functor represented by this comodule. Using the coinduction functor, we establish a bijective map between the set of representative classes of torsion simple right comodules and the set of representative classes of simple right modules over the endomorphism ring. A detailed application to group-graded modules is also given.     

Modules and comodules for corings

A coring C over a ring A is an (A, A)-bimodule with a comultiplication Δ: C → C _⨂A C and a counit ε: C → A, both being left and right A-linear mappings satisfying additional conditions. The dual spaces C* = Hom _A (C, A) and *C = _A Hom(C, A) allow the ring structure, and the right (left) comodules over C can be considered as left (right) modules over *C (respectively, C*). In fact, under weak restrictions on the A-module properties of C, the category of right C-comodules can be identified with the subcategory σ[_*C C] of *C-Mod, i.e., the category subgenerated by the left *C-module C. This point of view allows one to apply results from module theory to the investigation of coalgebras and comodules. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 2, pp. 51–72, 2005.     

Fibre functors of finite dimensional comodules

Let A be a commutative Hopf algebra over a field k; the k-valued fibre functors on the category of finite dimensional A-comodules correspond to Spec(A)-torsors over k as was shown by Saavedra Rivano and Deligne-Milne. We prove a non-commutative version of this result by using methods developed in a previous paper [5] for the case of finite Hopf algebras over a commutative ring. We also exhibit right adjoints for fibre functors under the assumption that the antipode is bijective.     

Lie comodules and the constructions of Lie bialgebras

In this paper,we first give a direct sum decomposition of Lie comodules,and then accord- ing to the Lie comodule theory,construct some(triangular)Lie bialgebras through Lie coalgebras.     

Relation between decomposition of comodules and coalgebras

LetM be aC-comodule. It is clear thatM andC can both be decomposed into a direct sum of the indecomposable subcoalgebras ofC and subcomodules ofM. The relation between the two decompositions is given.     

Local theory of almost split sequences for comodules

We show that almost split sequences in the category of comodules over a coalgebraΓ with finite-dimensional right-hand term are direct limits of almost split sequences over finite dimensional subcoalgebras. In previous work we showed that such almost split sequences exist if the right hand term has a quasifinitely copresented linear dual. Conversely, taking limits of almost split sequences over finte-dimensional comodule categories, we then show that, for countable-dimensional coalgebras, certain exact sequences exist which satisfy a condition weaker than being almost split, which we call “finitely almost split”. Under additional assumptions, these sequences are shown to be almost split in the appropriate category.

---

Sunto Dimostriamo che le successioni che quasi spezzano nella categoria dei comoduli su una coalgebra Γ con termine di destra di dimensione finita sono limiti diretti di successioni che quasi spezzano su sottoalgebre di dimensione finita. In un lavoro precedente abbiamo dimostrato che tali successioni che quasi spezzano esistono se il termine di destra ha un duale lineare quasi-finitamente copresentato. Viceversa, prendendo il limite delle successioni che quasi spezzano su categorie di comoduli di dimensione finita, dimostriamo che, per coalgebre di dimensione numerabile, esistono alcune successioni esatte che soddisfano una condizione più debole di essere quasi spezzanti, che noi chiamiamo “finitamente quasi spezzanti”. Sotto ipotesi aggiuntive, si dimostra che queste successioni quasi spezzano nelle opportune categorie.

     

Galois averages

In this paper, we introduce a notion of “Galois average” which allows us to give a suitable answer to the question: how can one extend a finite Galois extension E/F by a prime degree extension N/E to get a Galois extension N/F? Here, N/E is not necessarily a Kummer extension.     

Vertex coalgebras, comodules, cocommutativity and coassociativity

We introduce the notion of vertex coalgebra, a generalization of vertex operator coalgebras. Next we investigate forms of cocommutativity, coassociativity, skew-symmetry, and an endomorphism, D^∗, which hold on vertex coalgebras. The former two properties require grading. We then discuss comodule structure. We conclude by discussing instances where graded vertex coalgebras appear, particularly as related to Primc’s vertex Lie algebra and (universal) enveloping vertex algebras.     

On unramified Galois extensions constructed using Galois representations

 For a field k, We denote the maximal abelian extension of k by k _ab and (K _ab ^r−1 _ab by k _ab ^r . In this paper, unramified Galois extensions over k _ab ^r are constructed using Galois representations of arbitrary dimension with larger coefficient rings. Received: 31 August 2001 / Revised version: 22 March 2002 Mathematics Subject Classification (2000): 11R21     

Abelian categories, almost split sequences, and comodules

The following are equivalent for a skeletally small abelian Hom-finite category over a field with enough injectives and each simple object being an epimorphic image of a projective object of finite length.

(a) Each indecomposable injective has a simple subobject.

(b) The category is equivalent to the category of socle-finitely copresented right comodules over a right semiperfect and right cocoherent coalgebra such that each simple right comodule is socle-finitely copresented.

(c) The category has left almost split sequences.

     

Rational curve with Galois point and extendable Galois automorphism

Let G be the Galois group of a Galois point for a plane curve C. An element of G induces a birational transformation of C. We study if it can be extended to a projective or birational transformation of the plane. In the course of the study we give the defining equation of a rational curve with the Galois point. Furthermore, we introduce a special birational transformation in order to make the defining equation into a simpler form.     

A Galois Connection

The connection presented in this paper mirror-links two metamathematical structures, the finitary closure operators, and the compact consistency properties, in such a way that a specification of one structure induces a provably equivalent specification of the other. Mathematics Subject Classification (2000): Primary 06A15, Secondary 28E10 03B22