Equivalences of comodule categories for coalgebras over rings

In this article we defined and studied quasi-finite comodules, the cohom functors for coalgebras over rings. Linear functors between categories of comodules are also investigated and it is proved that good enough linear functors are nothing but a cotensor functor. Our main result of this work characterizes equivalences between comodule categories generalizing the Morita-Takeuchi theory to coalgebras over rings. Morita-Takeuchi contexts in our setting is defined and investigated, a correspondence between strict Morita-Takeuchi contexts and equivalences of comodule categories over the involved coalgebras is obtained. Finally, we proved that for coalgebras over QF-rings Takeuchi's representation of the cohom functor is also valid.     

A triangular map with homoclinic orbits and no infinite ω-limit set containing periodic points

Recently, Forti, Paganoni and Smítal constructed an example of a triangular map of the unite square, F(x,y)=(f(x),g(x,y)), possessing periodic orbits of all periods and such that no infinite ω-limit set of F contains a periodic point. In this note we show that the above quoted map F has a homoclinic orbit. As a consequence, we answer in the negative the problem presented by A.N. Sharkovsky in the eighties whether, for a triangular map of the square, existence of a homoclinic orbit implies the existence of an infinite ω-limit set containing a periodic point. It is well known that, for a continuous map of the interval, the answer is positive.     

Higher Order Peak Algebras

Using the theory of noncommutative symmetric functions, we introduce the higher order peak algebras (Sym(N))_N≥1, a sequence of graded Hopf algebras which contain the descent algebra and the usual peak algebra as initial cases (N=1 and N=2). We compute their Hilbert series, introduce and study several combinatorial bases, and establish various algebraic identities related to the multisection of formal power series with noncommutative coefficients. Received November 19, 2004     

氢原子光谱实验研究

氢原子的结构简单，其光谱具有明显的规律，各种原子光谱线规律性的研究首先是在氢原子上得到突破。通过测量氢光谱可见谱线的波长，能较准确测定氢的里德伯常数，可使学生对近代物理测量有初步了解。     

On a conjecture of Fefferman and Graham

In 1985, Fefferman and Graham have constructed a local embedding of an arbitrary real-analytic manifold, of odd dimension n, into a Ricci-flat manifold of dimension n+2 admitting a homothety. They conjectured that their result remains valid in even dimensions, if logarithms are allowed in the expansion of the metric. In this paper, we (i) prove that such expansions exist and converge and (ii) establish the degree of non-uniqueness of the solution in terms of the coefficients in the expansion.     

Places of algebraic function fields in arbitrary characteristic

We consider the Zariski space of all places of an algebraic function field F|K of arbitrary characteristic and investigate its structure by means of its patch topology. We show that certain sets of places with nice properties (e.g., prime divisors, places of maximal rank, zero-dimensional discrete places) lie dense in this topology. Further, we give several equivalent characterizations of fields that are large, in the sense of F. Pop's Annals paper Embedding problems over large fields. We also study the question whether a field K is existentially closed in an extension field L if L admits a K-rational place. In the appendix, we prove the fact that the Zariski space with the Zariski topology is quasi-compact and that it is a spectral space.     

Long Abelian ideals

We study Abelian ideals of a Borel subalgebra consisting of long roots. It is shown that methods of Cellini and Papi can be extended to this situation. A uniform expression for the number of long Abelian ideals is given. We also show that there is a one-to-one correspondence between the long Abelian ideals and B-stable commutative subalgebras in the little adjoint representation of the Langlands dual Lie algebra.