Rational Modules for Corings

Abstract

The so called dense pairings were studied mainly by Radford in his work on coreflexive coalegbras over fields. They were generalized in a joint paper with Gómez-Torricillas and Lobillo to the so called rational pairings over a commutative ground ring R to study the interplay between the comodules of an R-coalgebra C and the modules of an R-algebra A that admits an R-algebra morphism κ : A → C*. Such pairings, satisfying the so called α-condition, were called in the author's dissertation measuring α-pairings and can be considered as the corner stone in his study of duality theorems for Hopf algebras over commutative rings. In this paper we lay the basis of the theory of rational modules of corings extending results on rational modules for coalgebras to the case of arbitrary ground rings. We apply these results mainly to categories of entwined modules (e.g., Doi-Koppinen modules, alternative Doi-Koppinen modules) generalizing results of Doi, Koppinen, Menini et al.     

Extension Closure of Relative k-Torsionfree Modules

In this article, we study the extension closure of the category of modules consisting of relative k-torsionfree modules. Some previous results related to the extension closure of k-torsionfree modules are extended and strengthened.     

关于有理模和余理想子代数的性质

In this paper, for some used conceptions and notations, we see ［1］ and ［2］.§1. Rational Module and Its Exact Sequence In ［1］, Cai Chuanreng and Cheng Huixiang have proved that relative Hopf modules and rational modules are one by one corresponding. In ［2］, Zhang Liangyun has given the dual relationship between relative Hopf modules. Naturally, we have a question to ask: is the dual module of a rational module still a rational module? This answer is affirmative. Let H be a Hopf …     

关于模的最大有理扩张

ｉ）设Ｍ_ｉ为一族左Ｒ－模,记Ｍ_ｉ为Ｍ_ｉ的最大有理扩张,本文首先考察了∑⊕Ｍ_ｉ和∑⊕Ｍ_ｉ之间的关系,并证明了如对环Ｒ上任何一族模上述两者相等的充要条件是环Ｒ上每一个模都有理完全．ｉ）利用ｉ）研究了无零因子环上模的最大有理扩张,得到了一些结果．     

On the Factorial Closure of Certain Monomial Modules

Abstract

Let R = K[y ₁,…,y _t ] be an affine domain over a field K and I be a nonzero proper ideal of R. In Sec. 1 of this note, we characterize when (K + I, R) is a Mori pair. In Sec. 2 of this note, we prove the following theorem: Let A ? B be domains such that C/Q is Mori for each subring C of B containing A and for any prime ideal Q of C. Then dim A ? 1 ≤ dim B ≤ dim A + 1 and if dim A > 1 or dim B > 1 then dim A = dim B.     

Uniform Continuity of Generalized Rational Approximations

In this paper, it is shown that there are no uniformly continuous multiplicative $\varepsilon $ -selections from $C[0;1]$ on the set of generalized rational fractions of sufficiently general form for small $\varepsilon $ .     

Baby Verma Modules for Rational Cherednik Algebras

This paper introduces baby Verma modules for symplectic reflectionalgebras of complex reflection groups at parameter t = 0 (theso-called rational Cherednik algebras at parameter t = 0, andpresents their most basic properties. Baby Verma modules arethen used to answer several problems posed by Etingof and Ginzburg,and to give an elementary proof of a theorem of Finkelberg andGinzburg. 2000 Mathematics Subject Classification 16Rxx, 16S38,05E10.     

Uniform Annihilation of Local Cohomology Modules Over a Gorenstein Ring

In this article, by using the theory of Gorenstien dimension, we study the uniform annihilation theorem for local cohomology modules over a (not necessary finite dimensional) Noetherian Gorenstein ring.     

Best Uniform Rational Approximations of Functions by Orthoprojections

Let C[-1,1] be the Banach space of continuous complex functions $f$ on the interval [-1,1] equipped with the standard maximum norm $\left\| f \right\|$ ; let $\omega \left( \cdot \right) = \omega \left( { \cdot ,f} \right)$ be the modulus of continuity of $f$ ; and let $R_n = R_n \left( f \right)$ be the best uniform approximation of $f$ by rational functions (r.f.) whose degrees do not exceed $n = 1, 2, \ldots $ . The space C[-1,1] is also regarded as a pre-Hilbert space with respect to the inner product given by $\left( {f,g} \right) = \left( {1/\pi } \right)\int_{ - 1}^1 {f\left( x \right)g\left( x \right)} \left( {1 - x^2 } \right)^{ - 1/2} dx$ . Let $z_n = \{ z_1 , z_2 , \ldots z_n \} $ be a set of points located outside the interval [-1,1]. By $F\left( { \cdot ,f,z_n } \right)$ we denote an orthoprojection operator acting from the pre-Hilbert space C[-1,1] onto its ( ${n + 1}$ )-dimensional subspace consisting of rational functions whose poles (with multiplicity taken into account) can only be points of the set $z_n $ . In this paper, we show that if $f$ is not a rational function of degree $ \leqslant n$ , then we can find a set of points $z_n = z_n \left( f \right)$ such that $\left\| {f\left( \cdot \right) - F\left( { \cdot ,f,z_n } \right)} \right\| \leqslant 12R_n ln\frac{3}{{\omega ^{ - 1} \left( {R_n /3} \right)}}.$      

Maps Between Uniform Algebras Preserving Norms of Rational Functions

Let A, B be uniform algebras. Suppose that A ₀, B ₀ are subgroups of A ⁻¹, B ⁻¹ that contain exp A, exp B respectively. Let α be a non-zero complex number. Suppose that m, n are non-zero integers and d is the greatest common divisor of m and n. If T : A ₀ → B ₀ is a surjection with ||T(f)^mT(g)ⁿ - a||_￥ = ||f^mgⁿ - a||_￥{\|T(f)^{m}T(g)^{n} - \alpha\|_{\infty} = \|f^{m}g^{n} - \alpha\|_{\infty}} for all f,g ? A₀{f,g \in A_0}, then there exists a real-algebra isomorphism [(T)\tilde] : A ? B{\tilde{T} : A \rightarrow B} such that [(T)\tilde](f)^d = (T(f)/T(1))^d{\tilde{T}(f)^d = (T(f)/T(1))^d} for every f ? A₀{f \in A_0}. This result leads to the following assertion: Suppose that S _A , S _B are subsets of A, B that contain A ⁻¹, B ⁻¹ respectively. If m, n > 0 and a surjection T : S _A → S _B satisfies ||T(f)^mT(g)ⁿ - a||_￥ = ||f^mgⁿ - a||_￥{\|T(f)^{m}T(g)^{n} - \alpha\|_{\infty} = \|f^{m}g^{n} - \alpha\|_{\infty}} for all f, g ? S_A{f, g \in S_A}, then there exists a real-algebra isomorphism [(T)\tilde] : A ? B{\tilde{T} : A \rightarrow B} such that [(T)\tilde](f)^d = (T(f)/T(1))^d{\tilde{T}(f)^d = (T(f)/T(1))^d} for every f ? S_A{f \in S_A}. Note that in these results and elsewhere in this paper we do not assume that T(exp A) = exp B.     

Rates of Best Uniform Rational Approximation of Analytic Functions by Ray Sequences of Rational Functions

In this paper, problems related to the approximation of a holomorphic function f on a compact subset E of the complex plane C by rational functions from the class of all rational functions of order (n,m) are considered. Let ρ _n,m = ρ _n,m (f;E) be the distance of f in the uniform metric on E from the class . We obtain results characterizing the rate of convergence to zero of the sequence of the best rational approximation { ρ _n,m(n) } _n=0 ^∞ , m(n)/n → θ ∈ (0,1] as n → ∞ . In particular, we give an upper estimate for the liminf _{n →∞} ρ _n,m(n) ^1/(n+m(n)) in terms of the solution to a certain minimum energy problem with respect to the logarithmic potential. The proofs of the results obtained are based on the methods of the theory of Hankel operators. June 16, 1997. Date revised: December 1, 1997. Date accepted: December 1, 1997. Communicated by Ronald A. DeVore.     

When Does the Rational Torsion Split Off for Finitely Generated Modules

It is well known that the torsion part of any finitely generated module over the formal power series ring K[[X]] is a direct summand. In fact, K[[X]] is an algebra dual to the divided power coalgebra over K and the torsion part of any K[[X]]-module actually identifies with the rational part of that module. More generally, for a certain general enough class of coalgebras—those having only finite dimensional subcomodules—we see that the above phenomenon is preserved: the set of torsion elements of any C ^*-module is exactly the rational submodule. With this starting point in mind, given a coalgebra C we investigate when the rational submodule of any finitely generated left C ^*-module is a direct summand. We prove various properties of coalgebras C having this splitting property. Just like in the K[[X]] case, we see that standard examples of coalgebras with this property are the chain coalgebras which are coalgebras whose lattice of left (or equivalently, right, two-sided) coideals form a chain. We give some representation theoretic characterizations of chain coalgebras, which turn out to make a left-right symmetric concept. In fact, in the main result of this paper we characterize the colocal coalgebras where this splitting property holds non-trivially (i.e. infinite dimensional coalgebras) as being exactly the chain coalgebras. This characterizes the cocommutative coalgebras of this kind. Furthermore, we give characterizations of chain coalgebras in particular cases and construct various and general classes of examples of coalgebras with this splitting property.     

Drinfeld Modules of Rank 1 and Algebraic Curves with Many Rational Points

 We construct algebraic curves C defined over a finite prime field such that the number of -rational points of C is large relative to the genus of C. The methods of construction are based on the relationship between algebraic curves and their function fields, as well as on narrow ray class extensions obtained from Drinfeld modules of rank 1. Received 21 July 1997; in revised form 5 February 1998     

Drinfeld Modules of Rank 1 and Algebraic Curves with Many Rational Points

 We construct algebraic curves C defined over a finite prime field such that the number of -rational points of C is large relative to the genus of C. The methods of construction are based on the relationship between algebraic curves and their function fields, as well as on narrow ray class extensions obtained from Drinfeld modules of rank 1.     

Coincidence of Least Uniform Deviations of Functions from Polynomials and Rational Fractions

For a given nonincreasing vanishing sequence {a _n } _{n = 0} of nonnegative real numbers, we find necessary and sufficient conditions for a sequence {n _k } _{k = 0} to have the property that for this sequence there exists a function f continuous on the interval [0,1] and satisfying the condition that , k = 0,1,2,..., where E _n (f) and R _n,m (f) are the best uniform approximations to the function f by polynomials whose degree does not exceed n and by rational functions of the form r _n,m (x) = p _n (x)/q _m (x), respectively.     

特殊模的对偶模

一、引言 设R是具有单位元的结合环,A为左(酉)R-模,则其对偶模A~*=Hom_R(A,R)是右R-模,依次可定义A~(**)=(A~*)~*等等。如众所知,任意环R上每个有限生成投射模之对偶模是投射的,但是,即使在Noether环上,并非每个投射模之对偶模是投射的。例如:F=Z是投射的Z-模,但是F~*=multiply form 1 to ∞(Z)不是投射Z-模(参阅[1])。一个自然的问题就是:何时投射(平坦或内射)模之对偶模是投射(平坦或内射)的?本文主要讨论这个问题。     

弱Doi—Hopf群模的半单性

在弱Hopf群余代数情形中,讨论了一簇从弱Doi-Hopf群模范畴到某个代数上的模范畴忘却函子的可分性,诱导出弱Doi-Hopf群模数据的正规化积分概念,证明了正规化积分存在性是忘却函子可分的判别准则.所得结果在弱量子Yetter-Drinfel'd群模范畴及弱相对Hopf群模范畴中有应用价值.