-
Two results on cohomology of groups adapted to cochains
Authors:
Constantin-Nicolae Beli
Abstract:
Given a group $G$ and a $G$-module $M$, we denote by $(C(G,M),d)$ the corresponding cochain complex obtained from the standard resolution. An element of the cohomology $H(G,M)$ will be written as the class $[a]$ of some cocycle $a\in C(G,M)$.
The first result involves the triviality of the action of $G$ on $H(G,M)$, i.e. $s[a]=[a]$ $\forall [a]\in H^n(G,M)$, $s\in G$. Adapted to cochains, we pro…
▽ More
Given a group $G$ and a $G$-module $M$, we denote by $(C(G,M),d)$ the corresponding cochain complex obtained from the standard resolution. An element of the cohomology $H(G,M)$ will be written as the class $[a]$ of some cocycle $a\in C(G,M)$.
The first result involves the triviality of the action of $G$ on $H(G,M)$, i.e. $s[a]=[a]$ $\forall [a]\in H^n(G,M)$, $s\in G$. Adapted to cochains, we prove that $sa-a=(h_sd+dh_s)(a)$ $\forall a\in C^n(G,M)$, for some explicit map $h_s:C(G,M)\to C(G,M)[-1]$.
The second result regards the commutativity of the cup product, i.e. $[a]\cup [b]=(-1)^{pq}t_*([b]\cup [a])$ $\forall [a]\in H^p(G,N)$, $[b]\in H^q(G,M)$. (Here $t:N\otimes M\to M\otimes N$ is the natural bijection.) Adapted to cochains, we prove that $(-1)^{pq}t_*(b\cup a)-a\cup b=(hd+dh)(a\otimes b)$ $\forall a\in C^p(G,M)$, $b\in C^q(G,N)$, for some explicit map $h:C(G,M)\otimes C(G,N)\to C(G,M\otimes N)[-1]$.
△ Less
Submitted 16 August, 2023;
originally announced August 2023.
-
Four conjectures by Zhi-Hong Sun
Authors:
Constantin N. Beli
Abstract:
We prove some results conjectured by Zhi-Hong Sun regarding the value $\mod p$ of $\varepsilon_d^{\frac{p-1}4}$, where $\varepsilon_d$ is a unit of norm $-1$ in some fields $\mathbb Q(\sqrt d)$, with $\left(\frac{-1}p\right) =\left(\frac dp\right) =1$. The answer is given in terms of how $p$ writes as $p=f(x,y)=u^2+v^2$, with $x,y,u,v\in\mathbb Z$, where $f$ is a certain quadratic form of determin…
▽ More
We prove some results conjectured by Zhi-Hong Sun regarding the value $\mod p$ of $\varepsilon_d^{\frac{p-1}4}$, where $\varepsilon_d$ is a unit of norm $-1$ in some fields $\mathbb Q(\sqrt d)$, with $\left(\frac{-1}p\right) =\left(\frac dp\right) =1$. The answer is given in terms of how $p$ writes as $p=f(x,y)=u^2+v^2$, with $x,y,u,v\in\mathbb Z$, where $f$ is a certain quadratic form of determinant $-4d$.
△ Less
Submitted 24 August, 2020;
originally announced August 2020.
-
Universal integral quadratic forms over dyadic local fields
Authors:
Constantin N. Beli
Abstract:
A quadratic form over a non-archimedian local field of characteristic zero $F$ is called universal if it is integral and it represents all non-zero integers of $F$. Xu Fei and Zhang Yang determined all universal quadratic forms in the case when $F$ is non-dyadic. In the more complicated dyadic case, when $F$ is a finite extension of $\mathbb Q_2$, they solved the same problem only in the ternary c…
▽ More
A quadratic form over a non-archimedian local field of characteristic zero $F$ is called universal if it is integral and it represents all non-zero integers of $F$. Xu Fei and Zhang Yang determined all universal quadratic forms in the case when $F$ is non-dyadic. In the more complicated dyadic case, when $F$ is a finite extension of $\mathbb Q_2$, they solved the same problem only in the ternary case. In our paper we solve this problem in the general case. Our result is given in terms of BONGs (bases of norm generators) but in section 3 of the paper we translate (without a proof) our result in terms of the more traditional Jordan splittings.
In the last section we give some results on $n$-universality. We show that it can be reduced to the cases $n\leq 4$ and we give explicit necessary conditions for $n$-universality in the case when $n\geq 3$, $n$ odd. (A quadratic form is called $n$-maximal if it is integral and it represents all non-degenerate integral quadratic forms of rank $n$.)
△ Less
Submitted 26 June, 2022; v1 submitted 23 August, 2020;
originally announced August 2020.
-
Explicit formulas for the cohomology of the elementary abelian $p$-groups
Authors:
Constantin-Nicolae Beli
Abstract:
Let $G$ be an elementary abelian $p$-group, $G\cong{\mathbb F}_p^r$ and let $s_1,\ldots,s_r$ be a basis of $G$ over ${\mathbb F}_p$.
Let $V$ be the dual of $G$, $V={\rm Hom}(G,{\mathbb F}_p)=H^1(G,{\mathbb F}_p)$. Let $x_1,\ldots,x_r$ be the basis of $V$ over ${\mathbb F}_p$ which is dual to the basis $s_1,\ldots,s_r$ of $G$. For $1\leq i\leq r$ we denote by $y_i=β(x_i)\in H^2(G,{\mathbb F}_p)$,…
▽ More
Let $G$ be an elementary abelian $p$-group, $G\cong{\mathbb F}_p^r$ and let $s_1,\ldots,s_r$ be a basis of $G$ over ${\mathbb F}_p$.
Let $V$ be the dual of $G$, $V={\rm Hom}(G,{\mathbb F}_p)=H^1(G,{\mathbb F}_p)$. Let $x_1,\ldots,x_r$ be the basis of $V$ over ${\mathbb F}_p$ which is dual to the basis $s_1,\ldots,s_r$ of $G$. For $1\leq i\leq r$ we denote by $y_i=β(x_i)\in H^2(G,{\mathbb F}_p)$, where $β:H^1(G,{\mathbb F}_p)\to H^2(G,{\mathbb F}_p)$ is the connecting Bockstein map.
The ring $(H^*(G,{\mathbb F}_p),+,\cup )$ satisfies $$H^*(G,{\mathbb F}_p)\cong\begin{cases}{\mathbb F}_p[x_1,\ldots,x_r]&p=2\\ Λ(x_1,\ldots,x_r)\otimes{\mathbb F}_p[y_1,\ldots,y_r]&p>2\end{cases}.$$
When $p=2$ the isomorphism $τ:{\mathbb F}_p[x_1,\ldots,x_r]\to H^*(G,{\mathbb F}_p)$ is given by $x_{i_1}\cdots x_{i_n}\mapsto x_{i_1}\cup\cdots\cup x_{i_n}\in H^n(G,{\mathbb F}_p)$. When $p>3$ the isomorphism $τ:Λ(x_1,\ldots,x_r)\otimes{\mathbb F}_p[y_1,\ldots,y_r]\to H^*(G,{\mathbb F}_p)$ is given by $x_{i_1}\wedge\cdots\wedge x_{i_l}\otimes y_{j_1}\cdots y_{j_k}\mapsto x_{i_1}\cup\cdots\cup x_{i_l}\cup y_{j_1}\cup\cdots\cup y_{j_k}\in H^{2k+l}(G,{\mathbb F}_p)$.
In this paper we give explicit formulas for the inverse isomorphism $τ^{-1}$. The elements of $H^*(G,{\mathbb F}_p)$ are written in terms of normalized cochains. During the proof we use an alternative way to describe the normalized cochains. Namely, for every $G$-module $M$ we have $C^n(G,M)\cong{\rm Hom}(T^n({\mathcal I}),M)$, where ${\mathcal I}$ is the augmented ideal of $G$, ${\mathcal I}=\ker\varepsilon :{\mathbb Z}[G]\to{\mathbb Z}$.
△ Less
Submitted 24 May, 2020;
originally announced May 2020.
-
On the kernel of the projection map $T(V)\to S(V)$
Authors:
Constantin-Nicolae Beli
Abstract:
If $V$ is a vector space over a field $F$, then we consider the projection from the tensor algebra to the symmetric algebra, $ρ_{T,S}:T(V)\to S(V)$. Our main result, in $§$1, gives a description of $\kerρ_{T,S}$. Explicitly, we consider the ${\mathbb Z}_{\geq 2}$-graded $T(V)$-bimodule $T(V)\otimesΛ^2(V)\otimes T(V)$ and we define $M(V)=(T(V)\otimesΛ^2(V)\otimes T(V))/W_M(V)$, where $W_M(V)$ is th…
▽ More
If $V$ is a vector space over a field $F$, then we consider the projection from the tensor algebra to the symmetric algebra, $ρ_{T,S}:T(V)\to S(V)$. Our main result, in $§$1, gives a description of $\kerρ_{T,S}$. Explicitly, we consider the ${\mathbb Z}_{\geq 2}$-graded $T(V)$-bimodule $T(V)\otimesΛ^2(V)\otimes T(V)$ and we define $M(V)=(T(V)\otimesΛ^2(V)\otimes T(V))/W_M(V)$, where $W_M(V)$ is the subbimodule of $T(V)\otimesΛ^2(V)\otimes T(V)$ generated by $[x,y]\otimesξ\otimes z\wedge t-x\wedge y\otimesξ\otimes [z,t]$, with $x,y,z,t\in V$ and $ξ\in T(V)$. $[x,y\wedge z]+[y,z\wedge x]+[z,x\wedge y]$, with $x,y,z\in V$. (If $η\in T(V)$ and $ξ\in T(V)\otimesΛ^2(V)\otimes T(V)$ (or vice-versa) then $[η,ξ]:=η\otimesξ-ξ\otimesη\in T(V)\otimesΛ^2(V)\otimes T(V)$.) Then $M(V)$ is a ${\mathbb Z}_{\geq 2}$-graded $T(V)$-bimodule. If $η\in T(V)\otimesΛ^2(V)\otimes T(V)$ the we denote by $[η]$ its class in $M(V)$. ${\bf Theorem}$ We have an exact sequence $$0\to M(V)\xrightarrow{ρ_{M,T}}T(V)\xrightarrow{ρ_{T,S}}S(V)\to 0,$$ where $ρ_{M,T}$ is given by $[η\otimes x\wedge y\otimes ξ]\mapstoη\otimes [x,y]\otimesξ$ $\forall x,y\in V$, $η,ξ\in T(V)$. In $§$2 we define the graded algebra $S'(V)=T(V)/W_{S'}(V)$, where $S'(V)\subseteq T(V)$ is the ideal generated by $x\otimes y\otimes z- y\otimes z\otimes x$, $x,y,z\in V$, and we prove that there is a n exact sequence $$0\toΛ^{\geq 2}(V)\xrightarrow{ρ_{Λ^{\geq 2},S'}}S'(V)\xrightarrow{ρ_{S',S}}S(V)\to 0.$$ When we consider the homogeneous parts of degree $2$ we have $M^2(V)=Λ^2(V)$ and $S'^2(V)=T^2(V)$. Then both short exact sequences above become $0\toΛ^2(V)\to T^2(V)\to S^2(V)\to 0$ where the first morphism is given by $x\wedge y\mapsto [x,y]=x\otimes y-y\otimes x$, a well known result.
△ Less
Submitted 7 December, 2019;
originally announced December 2019.
-
Representations of quadratic lattices over dyadic local fields
Authors:
Constantin-Nicolae Beli
Abstract:
Given two quadratic lattices $M$ and $N$ over a dyadic local field $F$, i.e. a finite extension of ${\mathbb Q}$, we give necessary and sufficient conditions such that $M$ represents $N$. Previous results on this problem were obtained by O.T. O'Meara in 1958, who solved this problem in the case when the base field $F$ is 2-adic, i.e. a non-ramified extension of ${\mathbb Q}_2$, and by C. Riehm in…
▽ More
Given two quadratic lattices $M$ and $N$ over a dyadic local field $F$, i.e. a finite extension of ${\mathbb Q}$, we give necessary and sufficient conditions such that $M$ represents $N$. Previous results on this problem were obtained by O.T. O'Meara in 1958, who solved this problem in the case when the base field $F$ is 2-adic, i.e. a non-ramified extension of ${\mathbb Q}_2$, and by C. Riehm in 1964, who solved the case when $M$ is unimodular. Some notable work on quadratic forms over dyadic local fields, in particular, on representations has also been done by Fei Xu.
Our result is given in terms of BONGs (bases of norm generators), which is a new way to describe quadratic lattices over dyadic local fields, complimentary to the more traditional Jordan splittings. However, they can be easily translated in the language of Jordan splittings. The use of BONGs is not meant to completely replace the Jordan splitting. Neither they make the proofs shorter. The study of quadratic lattices over dyadic local fields is well known to be very complicated and technical. However, by using BONGs the results can be written in a more compact form and it is easier to make educated guesses on general results by extrapolating results in small dimensions.
△ Less
Submitted 30 May, 2022; v1 submitted 11 May, 2019;
originally announced May 2019.
-
A representation theorem for the $p^n$ torsion of the Brauer group in characteristic $p$
Authors:
Constantin-Nicolae Beli
Abstract:
If $K$ is a field of characteristic $p$ then the $p$-torsion of the Brauer group, ${}_p{\rm Br\,}(K)$, is represented by a quotient of the group of $1$-forms, $Ω^1(K)$. Namely, we have a group isomorphism $$α_p:Ω^1(K)/\langle{\rm d}a,\, (a^p-a){\rm dlog}b\, :\, a,b\in K,\, b\neq 0\rangle\to{}_p{\rm Br\,}(K),$$ given by $a{\rm d}b\mapsto [ab,b)_p$ $\forall a,b\in K$, $b\neq 0$. Here…
▽ More
If $K$ is a field of characteristic $p$ then the $p$-torsion of the Brauer group, ${}_p{\rm Br\,}(K)$, is represented by a quotient of the group of $1$-forms, $Ω^1(K)$. Namely, we have a group isomorphism $$α_p:Ω^1(K)/\langle{\rm d}a,\, (a^p-a){\rm dlog}b\, :\, a,b\in K,\, b\neq 0\rangle\to{}_p{\rm Br\,}(K),$$ given by $a{\rm d}b\mapsto [ab,b)_p$ $\forall a,b\in K$, $b\neq 0$. Here $[\cdot,\cdot )_p:K/\wp (K)\times K^\times/K^{\times p}\to{}_p{\rm Br\,}(K)$ denotes the Artin-Schreier symbol.
In this paper we generalize this result. Namely, we prove that for every $n\geq 1$ we have a representation of ${}_{p^n}{\rm Br\,}(K)$ by a quotient of $Ω^1(W_n(K))$, where $W_n(K)$ is the truncation of length $n$ of the ring of $p$-typical Witt vectors, i.e. $W_{\{1,p,\ldots,p^{n-1}\}}(K)$.
Explicitly, we have a group isomorphism $$α_{p^n}:Ω^1(W_{p^n}(K))/\langle Fa{\rm d}b-a{\rm d}Vb\, :\, a,b\in W_n(K),\, ([a^p]-[a]){\rm dlog}[b]\, :\, a,b\in K,\, b\neq 0\rangle\to{}_{p^n}{\rm Br\,}(K).$$ Here $F$ is the Frobenius isomorphism, $V$ is the Verschiebung map and $[a]$ is the Teichmüller representative of $a\in K$, $[a]=(a,0,0,\ldots )$.
△ Less
Submitted 12 October, 2018; v1 submitted 2 November, 2017;
originally announced November 2017.
-
Analogues of the $p^n$th Hilbert symbol in characteristic $p$ (updated)
Authors:
Constantin-Nicolae Beli
Abstract:
The $p$th degree Hilbert symbol $(\cdot,\cdot )_p:K^\times/K^{\times p}\times K^\times/K^{\times p}\to{}_p{\rm Br}(K)$ from characteristic $\neq p$ has two analogues in characteristic $p$, $$[\cdot,\cdot )_p:K/\wp (K)\times K^\times/K^{\times p}\to{}_p{\rm Br}(K),$$ where $\wp$ is the Artin-Schreier map $x\mapsto x^p-x$, and $$((\cdot,\cdot ))_p:K/K^p\times K/K^p\to{}_p{\rm Br}(K).$$
The symbol…
▽ More
The $p$th degree Hilbert symbol $(\cdot,\cdot )_p:K^\times/K^{\times p}\times K^\times/K^{\times p}\to{}_p{\rm Br}(K)$ from characteristic $\neq p$ has two analogues in characteristic $p$, $$[\cdot,\cdot )_p:K/\wp (K)\times K^\times/K^{\times p}\to{}_p{\rm Br}(K),$$ where $\wp$ is the Artin-Schreier map $x\mapsto x^p-x$, and $$((\cdot,\cdot ))_p:K/K^p\times K/K^p\to{}_p{\rm Br}(K).$$
The symbol $[\cdot,\cdot )_p$ generalizes to an analogue of $(\cdot,\cdot )_{p^n}$ via the Witt vectors, $$[\cdot,\cdot )_{p^n}:W_n(K)/\wp (W_n(K))\times K^\times/K^{\times p^n}\to{}_{p^n}{\rm Br}(K).$$
Here $W_n(K)$ is the truncation of length $n$ of the ring of $p$-typical Witt wectors, i.e. $W_{\{1,p,\ldots,p^{n-1}\}}(K)$.
In this paper we construct similar generalizations for $((\cdot,\cdot ))_p$. Our construction involves Witt vectors and Weyl algebras. In the process we obtain a new kind of Weyl algebras in characteristic $p$, with many interesting properties.
The symbols we introduce, $((\cdot,\cdot ))_{p^n}$ and, more generally, $((\cdot,\cdot ))_{p^m,p^n}$, which here are defined in terms of central simple algebras, coincide with the homonymous symbols we introduced in [arXiv:1711.00980] in terms of the symbols $[\cdot,\cdot )_{p^n}$. This will be proved in a future paper. In the present paper we only introduce the symbols and we prove that they have the same properties with the symbols from [arXiv:1711.00980]. These properies are enough to obtain the representation theorem for ${}_{p^n}{\rm Br}(K)$ from [arXiv:1711.00980], Theorem 4.10.
△ Less
Submitted 15 February, 2018; v1 submitted 3 July, 2017;
originally announced July 2017.
-
On a Waring's problem for integral quadratic and hermitian forms
Authors:
Constantin N. Beli,
Wai Kiu Chan,
Maria Ines Icaza,
Jingbo Liu
Abstract:
For each positive integer $n$, let $g_{\mathbb Z}(n)$ be the smallest integer such that if an integral quadratic form in $n$ variables can be written as a sum of squares of integral linear forms, then it can be written as a sum of $g_{\mathbb Z}(n)$ squares of integral linear forms. We show that as $n$ goes to infinity, the growth of $g_{\mathbb Z}(n)$ is at most an exponential of $\sqrt{n}$. Our…
▽ More
For each positive integer $n$, let $g_{\mathbb Z}(n)$ be the smallest integer such that if an integral quadratic form in $n$ variables can be written as a sum of squares of integral linear forms, then it can be written as a sum of $g_{\mathbb Z}(n)$ squares of integral linear forms. We show that as $n$ goes to infinity, the growth of $g_{\mathbb Z}(n)$ is at most an exponential of $\sqrt{n}$. Our result improves the best known upper bound on $g_{\mathbb Z}(n)$ which is in the order of an exponential of $n$. We also define an analogous number $g_{\mathcal O}^*(n)$ for writing hermitian forms over the ring of integers $\mathcal O$ of an imaginary quadratic field as sums of norms of integral linear forms, and when the class number of the imaginary quadratic field is 1, we show that the growth of $g_{\mathcal O}^*(n)$ is at most an exponential of $\sqrt{n}$. We also improve results of Conway-Sloane and Kim-Oh on $s$-integral lattices.
△ Less
Submitted 28 February, 2017;
originally announced February 2017.
-
Common slot lemmas in characteristic 2
Authors:
Constantin-Nicolae Beli
Abstract:
The Hilbert symbol $(\cdot,\cdot )$ from characteristic $\neq 2$ has two analogues in characteristic $2$, $[\cdot,\cdot )$ and $((\cdot,\cdot ))$.
In characteristic $\neq 2$ we have a well known result called the common slot lemma or the chain lemma. It involves the symbol $(\cdot,\cdot )$. This result has three analogues in characteristic $2$. Two of these analogues involve the symbol…
▽ More
The Hilbert symbol $(\cdot,\cdot )$ from characteristic $\neq 2$ has two analogues in characteristic $2$, $[\cdot,\cdot )$ and $((\cdot,\cdot ))$.
In characteristic $\neq 2$ we have a well known result called the common slot lemma or the chain lemma. It involves the symbol $(\cdot,\cdot )$. This result has three analogues in characteristic $2$. Two of these analogues involve the symbol $[\cdot,\cdot )$ and one involves $((\cdot,\cdot ))$. So far only one of these analogues has been considered. In this paper we state and prove the remaining two analogues.
△ Less
Submitted 28 October, 2015;
originally announced October 2015.
-
Examples of algebraic groups of type G2 having the same maximal tori
Authors:
Constantin Beli,
Philippe Gille,
Ting-Yu Lee
Abstract:
Answering a question of A. Rapinchuk, we construct examples of non- isomorphic semisimple algebraic groups H1 and H2 of type G2 with coherently equivalent systems of maximal k-tori.
Answering a question of A. Rapinchuk, we construct examples of non- isomorphic semisimple algebraic groups H1 and H2 of type G2 with coherently equivalent systems of maximal k-tori.
△ Less
Submitted 2 June, 2015; v1 submitted 24 March, 2015;
originally announced March 2015.
-
On maximal tori of algebraic groups of type G_2
Authors:
Constantin Beli,
Philippe Gille,
Ting-Yu Lee
Abstract:
Given an octonion algebra over a field k, its automorphism group G is an algebraic semisimple k-group of type G_2. We study the maximal tori of G in terms of the algebra C.
Given an octonion algebra over a field k, its automorphism group G is an algebraic semisimple k-group of type G_2. We study the maximal tori of G in terms of the algebra C.
△ Less
Submitted 29 January, 2015; v1 submitted 25 November, 2014;
originally announced November 2014.
-
Dispersion for 1-d Scrodinger and wave equation with BV coefficients
Authors:
Constantin N. Beli,
L. Ignat,
E. Zuazua
Abstract:
In this paper we analyze the dispersion for one dimensional wave and Schrodinger equations with BV coefficients. In the case of the wave equation we give a complete answer in terms of the variation of the logarithm of the coefficient showing that dispersion occurs if this variation is small enough but it may fail when the variation goes beyond a sharp threshold. For the Schrodigner equation we pro…
▽ More
In this paper we analyze the dispersion for one dimensional wave and Schrodinger equations with BV coefficients. In the case of the wave equation we give a complete answer in terms of the variation of the logarithm of the coefficient showing that dispersion occurs if this variation is small enough but it may fail when the variation goes beyond a sharp threshold. For the Schrodigner equation we prove that the dispersion holds under the same smallness assumption on the variation of the coefficient. But, whether dispersion may fail for larger coefficients is unknown for the Schrodinger equation.
△ Less
Submitted 20 April, 2015; v1 submitted 28 October, 2012;
originally announced October 2012.
-
Decomposability of multivariable polynomials
Authors:
Constantin-Nicolae Beli
Abstract:
Let $K$ be an algebrically closed field and let $n\geq 1$. If $P\in K[X]=K[X_1,\ldots,X_n]$, $P\neq 0$, we denote by $I(P)$ the support of $P$, which is the finite subset of $\mathbb N^n$ such that $P=\sum_{i\in I(P)}a_iX^i$ with $a_i\in K^*$. (If $i=(i_1,\ldots,i_n)$ then $X^i:=X_1^{i_1}\cdots X_n^{i_n}$.) We determine all finite, nonempty sets $I\sb\mathbb N^n$ such that every $P\in K[X]$ with…
▽ More
Let $K$ be an algebrically closed field and let $n\geq 1$. If $P\in K[X]=K[X_1,\ldots,X_n]$, $P\neq 0$, we denote by $I(P)$ the support of $P$, which is the finite subset of $\mathbb N^n$ such that $P=\sum_{i\in I(P)}a_iX^i$ with $a_i\in K^*$. (If $i=(i_1,\ldots,i_n)$ then $X^i:=X_1^{i_1}\cdots X_n^{i_n}$.) We determine all finite, nonempty sets $I\sb\mathbb N^n$ such that every $P\in K[X]$ with $I(P)=I$ is decomposable. We also consider the problem of finding all $I\sb\mathbb N^n$ such that every $P\in K[X]$ with $I(P)=I$ is irreducible. We do not solve this problem, which is very unlikely to have a simple answer. We show however that the answer depends on the characteristic of $K$ and we determine the nature of this dependence.
△ Less
Submitted 29 August, 2010;
originally announced August 2010.
-
Reciprocity laws for Legendre symbols of the type $(a+b\sqrt{m}/p)$ - Long Version
Authors:
Constantin-Nicolae Beli
Abstract:
We announce a very general statement involving the rational quartic residue symbol $(m/p)_4$ and, more generally, Legendre symbols of the type ${a+b\sqrt{m}/p$. We show how our main theorem can be used to produce many older results such as Scholz's, Lehmer's or Burde's reciprocity laws and many others. It is very likely that all existing reciprocity laws of this type can be obtained from our resul…
▽ More
We announce a very general statement involving the rational quartic residue symbol $(m/p)_4$ and, more generally, Legendre symbols of the type ${a+b\sqrt{m}/p$. We show how our main theorem can be used to produce many older results such as Scholz's, Lehmer's or Burde's reciprocity laws and many others. It is very likely that all existing reciprocity laws of this type can be obtained from our result. This is a corrected and improved version of version 2.
△ Less
Submitted 28 August, 2010; v1 submitted 2 February, 2010;
originally announced February 2010.
-
A new approach to classification of integral quadratic forms over dyadic local fields
Authors:
Constantin-Nicolae Beli
Abstract:
We translate O'Meara's classification Theorem 93:28 in terms of BONGs. BONGs, short for "basis of norm generators", are a new way of describing quadratic lattices, an alternative to the traditional Jordan decompositions. They were introduced in [B].
Our result has its own merits as it is somewhat simpler than O'Meara's 93:28. However, it's main importance is that it is a prerequisite for a fut…
▽ More
We translate O'Meara's classification Theorem 93:28 in terms of BONGs. BONGs, short for "basis of norm generators", are a new way of describing quadratic lattices, an alternative to the traditional Jordan decompositions. They were introduced in [B].
Our result has its own merits as it is somewhat simpler than O'Meara's 93:28. However, it's main importance is that it is a prerequisite for a future work where we solve the more complicated problem of representation.
[B] C. N. Beli, Integral spinor norms over dyadic local fields, J. Number Theory 102 (2003) 125-182.
△ Less
Submitted 22 March, 2009;
originally announced March 2009.
