Equidistribution of values of linear forms on quadratic surfaces
type: Item
instance of: scholarly article
title: Equidistribution of values of linear forms on quadratic surfaces
zbMATH Open document ID: 1314.11018
author: Oliver Sargent
published in: Algebra \& Number Theory
publication date: 2014-08-19T00:00:00Z
full work available at URL: https://arxiv.org/abs/1303.0234
reviewed by: El Houcein El Abdalaoui
Mathematics Subject Classification ID: 11E10
Mathematics Subject Classification ID: 37A17
Mathematics Subject Classification ID: 37E45
zbMATH DE Number: 6331626
zbMATH Keywords: equidistribution
zbMATH Keywords: quadratic forms
zbMATH Keywords: linear maps
zbMATH Keywords: integral values
zbMATH Keywords: unipotent flows
zbMATH Keywords: Oppenhaim conjecture
zbMATH Keywords: Raghunathan conjecture
zbMATH Keywords: homogeneous space
zbMATH Keywords: Ratner's equidistribution theorem
zbMATH Keywords: asymptotic relation
zbMATH Keywords: effective uniform upper bound
MaRDI profile type: Publication
OpenAlex ID: W3102444749
arXiv ID: 1303.0234
DOI: 10.2140/ANT.2014.8.895
review text: In this paper, the author investigates the problem of distribution of the sets of values of a linear map at integer points on a quadratic surface. This problem is motivated by a rich literature on the Oppenheim conjecture which states that if \(d \geq 3\) and \(Q\) is a real nondegenerate indefinite quadratic form on \(\mathbb{R}^d\), which is not a multiple of a form with rational coefficients, then for any \(\varepsilon>0\) there exists a non-zero vector \(x\) with integer components such that \(|Q(x)|<\varepsilon\). This conjecture was proved by \textit{S. G. Dani} and \textit{G. A. Margulis} [Math. Ann. 286, No. 1--3, 101--128 (1990; Zbl 0679.22007)]. The main result of this paper is as follows:NEWLINENEWLINE Theorem: Suppose \(Q\) is a quadratic form on \(\mathbb{R}^d\) such that \(Q\) is nondegenerate and indefinite with rational coefficients. Let \(M = (L_1,\cdots,L_s)\;:\;\mathbb{R}^d \longrightarrow \mathbb{R}^s\), be a linear map such that:NEWLINENEWLINE(1) The following relations hold: \(d > 2s\) and \({\mathrm{rank}}(Q|_{\ker(M)}) = d -s\).NEWLINENEWLINE(2) The quadratic form \(Q|_{\ker(M)}\) has signature \((r_1 ,r_2 )\), where \(r_1 \geq 3\) and \(r_2 \geq 1\).NEWLINENEWLINE(3) For all \(\alpha=(\alpha_1,\cdots,\alpha_s) \in \mathbb{R}^s\setminus\{0\}\), \(\alpha_1 L_1 +\cdots+\alpha_s L_s\) is nonrational.NEWLINENEWLINELet \(a \in \mathbb{Q}\) be such that the set \(\big\{v \in \mathbb{Z}^d\;: \;Q(v) = a~\big\}\) is nonempty. Then, there exists \(C_0 > 0\) such that, for every \(\varepsilon > 0\) and all compact \(K \subset \mathbb{R}^s\) with piecewise smooth boundary, there exists a \(T_0 > 0\) such that, for all \(T > T_0\) , NEWLINE\[NEWLINE(1-\varepsilon)C_0 {\operatorname{Vol}}(K) \leq \frac{|\big\{v \in \mathbb{Z}^d\;: \;Q(v) = a, M(v) \in K, \|v\| \leq T\big\}|}{T^{d-s-2}} \leq (1+\varepsilon)C_0 {\operatorname{Vol}}(K),NEWLINE\]NEWLINE where \({\operatorname{Vol}}(K)\) is the \(s\)-dimensional Lebesgue measure of \(K\).NEWLINENEWLINE The meth…
description: scientific article; zbMATH DE number 6331626