Systèmes dynamiques et lois de groupe formel sur les corps finis

Imitating the Lubin's philosophy on nonarchimedean dynamical systems, we prove that every finite family of inversibles series of Fq[[X]] which commute for the law ○ is connected with a finite family of automorphisms of a formal group over Fq. In some cases these formal groups are reduction on Fq of Lubin-Tate formal groups over finite extensions of Qp.     

Hausdorff dimensions of bounded-type continued fraction sets of Laurent series

We study the Hausdorff dimensions of bounded-type continued fraction sets of Laurent series and show that the Texan conjecture is true in the case of Laurent series.     

On the First Galois Cohomology Group of the Algebraic Group SL1(D)

Let A be a central simple algebra over a field F. Denote the reduced norm of A over F by Nrd: A* → F* and its kernel by SL₁(A). For a field extension K of F, we study the first Galois Cohomology group H ¹(K,SL₁(A)) by two methods, valuation theory for division algebras and K-theory. We shall show that this group fails to be stable under purely transcendental extension and formal Laurent series.     

On formal Laurent series

Several kinds of formal Laurent series have been introduced with some restrictions so far. This paper systematically sets up a natural definition and structure of formal Laurent series without those restrictions, including introducing a multiplication between formal Laurent series. This paper also provides some results on the algebraic structure of the space of formal Laurent series, denoted by \mathbbL\mathbb{L}. By means of the results of the generalized composition of formal power series, we define a composition of a Laurent series with a formal power series and provide a necessary and sufficient condition for the existence of such compositions. The calculus about formal Laurent series is also introduced.     

On Metric Diophantine Approximation in the Field of Formal Laurent Series

B. deMathan (1970, Bull. Soc. Math. France Supl. Mem.21) proved that Khintchine’s Theorem has an analogue in the field of formal Laurent series. First, we show that in case of only one inequality this result can also be obtained by continued fraction theory. Then, we are interested in the number of solutions and show under special assumptions that one gets a central limit theorem, a law of iterated logarithm and an asymptotic formula. This is an analogue of a result due to W. J. LeVeque (1958, Trans. Amer. Math. Soc.87, 237–260). The proof is based on probabilistic results for formal Laurent series due to H. Niederreiter (1988, in Lecture Notes in Computer Science, Vol. 330, pp. 191–209, Springer-Verlag, New York/Berlin).     

Remarks on Hilbert series of graded modules over polynomial rings

In this article we discuss a result on formal Laurent series and some of its implications for Hilbert series of finitely generated graded modules over standard-graded polynomial rings: For any integer Laurent function of polynomial type with non-negative values the associated formal Laurent series can be written as a sum of rational functions of the form ${\frac{Q_j(t)}{(1-t)^j}}$ , where the numerators are Laurent polynomials with non–negative integer coefficients. Hence any such series is the Hilbert series of some finitely generated graded module over a suitable polynomial ring ${\mathbb{F}[X_1 , \ldots , X_n]}$ . We give two further applications, namely an investigation of the maximal depth of a module with a given Hilbert series and a characterization of Laurent polynomials which may occur as numerator in the presentation of a Hilbert series as a rational function with a power of (1 ? t) as denominator.     

Structure Theorems for Pure Semisimple Grothendieck Locally PI-Categories

Let Q be a nondegenerate quadratic form over the finite field F _q and O _n (F _q ) be the associated orthogonal group. Let O _n (F _q ) act linearly on the polynomial ring F _q [x ₁, …, x _n ]. We find the invariant subring of O ₄(F _q ) with explicit generators.     

q-ENGEL SERIES EXPANSIONS AND SLATER'S IDENTITIES

Abstract

Dedicated to the memory of John Knopfmacher (1937–1999)

We describe the q-Engel series expansion for Laurent series discovered by John Knopfmacher and use this algorithm to shed new light on partition identities related to two entries from Slater's list. In our study Al-Salam/Ismail and Santos polynomials play a crucial r?ole.     

The convergence behavior of q-continued fractions on the unit circle

In a previous paper, we showed the existence of an uncountable set of points on the unit circle at which the Rogers-Ramanujan continued fraction does not converge to a finite value. In this present paper, we generalise this result to a wider class of q-continued fractions, a class which includes the Rogers-Ramanujan continued fraction and the three Ramanujan-Selberg continued fractions. We show, for each q-continued fraction, G(q), in this class, that there is an uncountable set of points, Y _G , on the unit circle such that if y ? Y _G then G(y) does not converge to a finite value. We discuss the implications of our theorems for the convergence of other q-continued fractions, for example the Göllnitz-Gordon continued fraction, on the unit circle.     

Codimensions of Newton strata for <Emphasis Type="Italic">SL</Emphasis><Subscript>3</Subscript>(<Emphasis Type="Italic">F</Emphasis>) in the Iwahori case

We study the Newton stratification on SL ₃(F), where F is a Laurent power series field. We provide a formula for the codimensions of the Newton strata inside each component of the affine Bruhat decomposition on SL ₃(F). These calculations are related to the study of certain affine Deligne–Lusztig varieties. In particular, we describe a method for determining which of these varieties is non-empty in the case of SL ₃(F).     

Sur les zéros des séries d'Eisenstein dans le demi-plan de Drinfeld

Eisenstein series for GL₂(F_q[T]) of weight q^k − 1 have zeroes in the Drinfeld upper half-plane. Let F be a fundamental domain for the GL₂(A)-action. We determine the number of zeroes in F of these series. Our method is essentially based on an assocíation between Eisenstein series and some functions defined on the edges of the Bruhat-Tits tree.     

The Maximum or Minimum Number of Rational Points on Genus Three Curves over Finite Fields

We show that for all finite fields F_q, there exists a curve C over F_q of genus 3 such that the number of rational points on C is within 3 of the Serre–Weil upper or lower bound. For some q, we also obtain improvements on the upper bound for the number of rational points on a genus 3 curve over F_q.with an Appendix by Jean-Pierre Serre     

Cantor sets determined by partial quotients of continued fractions of Laurent series

In this paper, two types of general sets determined by partial quotients of continued fractions over the field of formal Laurent series with coefficients from a given finite field are studied. The Hausdorff dimensions of and are determined completely, where A_n(x) denotes the partial quotients in the continued fraction expansion (in case of Laurent series) of x and (n) is a positive valued function defined on natural numbers N.     

Embedding of a Maximal Curve in a Hermitian Variety

Let X be a projective, geometrically irreducible, non-singular, algebraic curve defined over a finite field F q ² of order q ². If the number of F q ²-rational points of X satisfies the Hasse–Weil upper bound, then X is said to be F q ²-maximal. For a point P ₀ X(F q ²), let be the morphism arising from the linear series D: = |(q + 1)P ₀|, and let N: = dim(D). It is known that N 2 and that is independent of P ₀ whenever X is F q ²-maximal.     

On sums of degrees of the partial quotients in continued fraction expansions of Laurent series

For any formal Laurent series with coefficients cn lying in some given finite field, let x=[a₀(x);a₁(x),a₂(x),…] be its continued fraction expansion. It is known that, with respect to the Haar measure, almost surely, the sum of degrees of partial quotients grows linearly. In this note, we quantify the exceptional sets of points with faster growth orders than linear ones by their Hausdorff dimension, which covers an earlier result by J. Wu.     

A higher-dimensional Kurzweil theorem for formal Laurent series over finite fields

In a recent paper, Kim and Nakada proved an analogue of Kurzweil?s theorem for inhomogeneous Diophantine approximation of formal Laurent series over finite fields. Their proof used continued fraction theory and thus cannot be easily extended to simultaneous Diophantine approximation. In this note, we give another proof which works for simultaneous Diophantine approximation as well.     

A higher-dimensional Kurzweil theorem for formal Laurent series over finite fields

In a recent paper, Kim and Nakada proved an analogue of Kurzweilʼs theorem for inhomogeneous Diophantine approximation of formal Laurent series over finite fields. Their proof used continued fraction theory and thus cannot be easily extended to simultaneous Diophantine approximation. In this note, we give another proof which works for simultaneous Diophantine approximation as well.     

Generic representations of the finite general linear groups and the Steenrod algebra: II

The category of generic representations over the finite fieldF _q , used in PartI to study modules over the Steenrod algebra, is here related to the modular representation theory of the groups GL _n (F _q ). This leads to a simple and elegant approach to the classic objects of study: irreducible representations, extensions of modules, homology stability, etc. Connections to current research in algebraicK-theory involving stableK-theory and Topological Hochschild Homology are also explained.Partially funded by the NSF.     

Automatic β-expansions of formal Laurent series over finite fields

We consider β-expansions of formal Laurent series over finite fields. If the base β is a Pisot or Salem series, we prove that the β-expansion of a Laurent series α is automatic if and only if α is algebraic.     

Additive patterns in a multiplicative group in a finite field

 Let F _q be a field with q elements, let d>1 be a divisor of q−1 and U _d be the subgroup of F _q ^× of index d. Under some growth conditions, we show that the distribution of s-tuples of elements of U _d which follow a given additive pattern approaches a Poissonian distribution. Received: 28 August 2002 Published online: 20 March 2003 Mathematics Subject Classification (2000): 11T99