A higher-dimensional Kurzweil theorem for formal Laurent series over finite fields
type: Item
instance of: scholarly article
title: A higher-dimensional Kurzweil theorem for formal Laurent series over finite fields
zbMATH Open document ID: 1258.11074
author: Shu-Yi Chen
author: Michael Fuchs
published in: Finite Fields and their Applications
publication date: 2012-11-27T00:00:00Z
review text: In [Acta Arith. 150, No. 2, 129--142 (2011; Zbl 1248.11050)], \textit{D. H. Kim} and \textit{H. Nakada} proved an analogue of \textit{J. Kurzweil}'s theorem [Stud. Math. 15, 84--112 (1955; Zbl 0066.03702)] for \textit{inhomogeneous Diophantine approximation} of \textit{formal Laurent series} over finite fields, with use of continued fraction theory. In this article, the authors generalize this result to \textit{simultaneous Diophantine approximation} with a proof of different nature. Let \(\mathbb F_q\) be the finite field with \(q\) elements, \(\mathbb F_q[T]\) the polynomial ring and \(\mathbb F_q((T^{-1})):=\{ f= a_nT^n+a_{n-1} T^{n-1}+\dots : a_i\in \mathbb F_q, n\in \mathbb Z\}\) the field of formal Laurent series. For a formal Laurent series \(f=a_nT^n+a_{n-1}T^{n-1}+\dots \), we define its fractional part by \(\{ f\} =a_{-1}T^{-1}+a_{-2}T^{-2}+\dots,\) and its valuation by \(|f|=q^{\deg f}\) where \(\deg f\) is the generalized degree function. Let us define \(\mathbb L :=\{ f\in \mathbb F_q((T^{-1})) : |f|<1\}\). Fix two non-negative integers \(r\) and \(s\). Denote by \(\mathbb F_q[T]^r\) the \(r\)-th fold cartesian product of \(\mathbb F_q[T]\) and by \(\mathbb F_q((T^{-1}))^r\) the \(r\)-th dimensional vector space over \(\mathbb F_q((T^{-1}))\). Let \(\mathbf f=(f_1,\dots,f_r)\in\mathbb F_q((T^{-1}))^r\) be a vector. Then define its fractional part by \(\{\mathbf f\}:= (\{f_1\},\dots,\{f_r\})\) and its \textit{valuation } \(\| \mathbf f\| =q^{\deg \mathbf f }=\max _{1\leq i\leq r}|f_i|\), where \(\deg \mathbf f=\max_{1\leq i\leq r} \deg f_i\). Note that \(\|\cdot\| \) satisfies the \textit{ultra-metric} property. Let \(\mathbb L^r\) denote the \(r\)-th fold Cartesian product of \(\mathbb L\) equipped with the \textit{product measure} of \(\mathbb L\). For \(A\in \mathbb L^{r\times s}\) and \(\mathbf g\in \mathbb L^s\), let us consider \[ \|\{ \mathbf qA\} -\mathbf g\| < \frac{1}{q^{\lfloor\frac{nr}{s}\rfloor+l_n}}, \mathbf q\in \mathbb F_q[T]^r, \deg \mat…
reviewed by: Roland Quême
Mathematics Subject Classification ID: 11J61
Mathematics Subject Classification ID: 11J83
Mathematics Subject Classification ID: 11K60
zbMATH DE Number: 6110665
zbMATH Keywords: formal Laurent series
zbMATH Keywords: metric theory
zbMATH Keywords: simultaneous Diophantine approximation
zbMATH Keywords: Kurzweil's theorem
MaRDI profile type: Publication
full work available at URL: j.ffa.2012.08.001
OpenAlex ID: W2001867429
cites work: Q3241280
cites work: MIXING IN THE ABSENCE OF THE SHRINKING TARGET PROPERTY
cites work: Metrical theorems for inhomogeneous Diophantine approximation in positive characteristic
cites work: Q4769223
cites work: Metric inhomogeneous Diophantine approximation on the field of formal Laurent series
cites work: Metric inhomogeneous Diophantine approximation in positive characteristic
cites work: On the metric theory of inhomogeneous diophantine approximations
cites work: Inhomogeneous Diophantine approximation over the field of formal Laurent series
DOI: 10.1016/J.FFA.2012.08.001
description: scientific article; zbMATH DE number 6110665