A certain formal power series of several variables attached to local densities of quadratic forms. I (Q1804967): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Martin Epkenhans / rank | |||
Property / reviewed by | |||
Property / reviewed by: Martin Epkenhans / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/jnth.1995.1042 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1985826122 / rank | |||
Normal rank |
Latest revision as of 22:54, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A certain formal power series of several variables attached to local densities of quadratic forms. I |
scientific article |
Statements
A certain formal power series of several variables attached to local densities of quadratic forms. I (English)
0 references
4 May 1995
0 references
Let \(p\) be an odd prime number. Let \(S\in M_ s (\mathbb{Z}_ p)\), \(T\in M_ t (\mathbb{Z}_ p)\) \((s\geq t\geq 1)\) be symmetric non-singular matrices with entries in the \(p\)-adic integers \(\mathbb{Z}_ p\). Set \[ A_ e (T,S)= \{\overline {X}\in M_{st} (\mathbb{Z}_ p)/ p^ e M_{st} (\mathbb{Z}_ p);\;{}^ t XSX\equiv T\bmod p^ e\}. \] Then a local density \(\alpha_ p (T,S)\) is defined by \[ \alpha_ p (T,S)= \lim_{e\to \infty} p^{(-2 st+t (t+1))\cdot e/2} A_ e (T,S). \] With it we attach the following power series \[ P(T,S; x_ 1,\dots, x_ t)= \sum_{r_ 1,\dots, r_ t=0}^ \infty \alpha_ p \bigl( \langle p^{r_ 1}, \dots, p^{r_ t} \rangle\cdot T\cdot \langle p^{r_ 1}, \dots, p^{r_ t} \rangle, S\bigr) \cdot x_ 1^{r_ 1} \cdots x_ t^{r_ t}, \] where \(\langle a_ 1, \dots, a_ t\rangle\in M_ t (\mathbb{Z}_ p)\) is the diagonal matrix with diagonal entries \(a_ 1, \dots, a_ t\). The main result of the paper under review states that for a diagonal matrix \(T\) the power series \(P(T,S; x_ 1,\dots, x_ t)\) is a rational function in \(x_ 1, \dots, x_ t\) and its denominator is determined. It depends only on \(s\), \(t\) and \(p\). The proof of the main theorem uses a certain induction formula for local densities with congruence conditions.
0 references
symmetric non-singular matrices
0 references
rational function
0 references
induction formula
0 references
congruence conditions
0 references