Rational Quadratic Forms

Одной из актуальных современных проблем алгебры и теории чисел является проблема существования и поиска фундаментальных S-единиц в гиперэллиптических полях. Проблема существования и поиска S-единиц в гиперэллиптических полях эквивалентна разрешимости норменного уравнения - функционального уравнения Пелля - с некоторыми дополнительными условиями на вид этого уравнения и его решения. Существуетглубокая связь между точками конечного порядка в якобиевом многообразии (якобиане) гиперэллиптической кривой и нетривиальными S-единицами соответствующего гиперэллиптического поля. Эта связь легла в основу предложенного В. П. Платоновым алгебраического подхода к известной фундаментальной проблеме об ограниченности кручения в якобиевых многообразиях гиперэллиптических кривых. Для эллиптических кривых над полем рациональных чисел проблема кручения была решена Мазуром в 1970-ых годах. Для кривых рода 2 и выше над полем рациональных чисел проблема кручения оказалась значительно сложнее, и пока далека от своего полного решения. Основные результаты, полученные к настоящему времени в этом направлении, относятся к описанию подгрупп кручения якобиевых многообразий конкретных гиперэллиптических кривых, а также к описанию некоторых семейств гиперэллиптических кривых рода g >= 2.В данной статье нами найден новый метод исследования разрешимости функциональных норменных уравнений, дающий полное описание гиперэллиптических кривых над полем рациональных чисел, якобиевы многообразия которых обладают точками кручения данных порядков. Наш метод основан на аналитическом изучении представителей дивизоров конечного порядка в группе классов дивизоров степени ноль и их представлений Мамфорда. В качестве иллюстрации работы нашего метода в данной статье непосредственно найдены все параметрические семейства гиперэллиптических кривых рода два над полем рациональных чисел, якобиевы многообразия которых обладают рациональными точками кручения порядков не превосходящих пяти. Более того, наш метод позволяет определить, какому найденному параметрическому семейству принадлежит данная кривая, якобиан которой обладает точкой кручения порядка, не превосходящего пяти.

The classical quadratic Gauss sum can be thought of as an exponential sum attached to a quadratic form on a cyclic group. We introduce an equivariant version of Gauss sum for arbitrary finite quadratic forms, which is an exponential sum twisted by the action of the orthogonal group. We prove that simple arithmetic formulas hold for some basic classes of quadratic forms. In applications, such invariant appears in the dimension formula for certain vector-valued modular forms.

There are close relations between Bernoulli numbers and quadratic fields or quadratic forms. In order to explain those, we give a survey of the ideal theory of quadratic fields and quadratic forms. Since Gauss , it is well known that there is a deep relation between the ideal theory of quadratic fields (i.e. quadratic extensions of the rational number field) and integral quadratic forms. This is obvious for specialists, but textbooks which explain this in detail are rare. In most textbooks, they treat the correspondence of ideals only in the case of maximal orders (the ring of all integers) for which the description is simple and easy. This is very disappointing. We cannot see the whole picture of the theory of quadratic forms by such a restricted treatment and sometimes it causes misunderstanding. We need the full description of this kind of relation when we explain later the relation between L-functions of prehomogeneous vector spaces and the Bernoulli numbers. So it would be a good chance to try to explain the full relation here.

Let $\{ {x_i } \}$ be any sequence approximating an algebraic number $\alpha $ of degree r, and let $x_{i + 1} = \varphi (x_i ,x_{i - 1} , \cdots ,x_{i - d + 1} )$, for some rational function $\varphi $ with integral coefficients. Let M denote the number of multiplications or divisions needed to compute $\varphi $ and let $\bar M$ denote the number of multiplications or divisions, except by constants, needed to compute $\varphi $. Define the multiplicative efficiency measure of $\{ {x_i } \}$ as $E = {{(\log _2 p)} / M}$ or as $\bar E = {{(\log _2 p)} / {\bar M}}$, where p is the order of convergence of $\{ {x_i } \}$. Kung [1] showed that $\bar E \leqq 1$ or equivalently, $\bar M \geqq \log _2 p$. In this paper we show that (i) $\bar M \geqq \log _2 [r(\lceil p \rceil - 1) + 1] - 1$; (ii) if $E = 1$ then $\alpha $ is a rational number; (iii) if $\bar E = 1$ then $\alpha $ is a rational or quadratic irrational number. This settles the question of when the multiplicative efficiency E or $\bar E$ achieves its optimal value of unity. Also, as a consequence of result (i), we show that the maximal efficiency $\bar E$ achievable by algebraic numbers of degree r drops at least as $O[(\log r)^{ - 1} ]$, provided that we only consider sequences $\{ {x_i } \}$ of bounded order of convergence.

The classical problem of the periodicity of continued fractions for elements of hyperelliptic fields has a long and deep history. This problem has up to now been far from completely solved. A surprising result was obtained in [1] for quadratic extensions defined by cubic polynomials with coefficients in the field of rational numbers: except for trivial cases there are only three (up to equivalence) cubic polynomials over whose square root has a periodic continued fraction expansion in the field of formal power series. In view of the results in [1], we completely solve the classification problem for polynomials with periodic continued fraction expansion of in elliptic fields with the field of rational numbers as the field of constants.

An explicit bound is obtained for the torsion of elliptic curves over the field of rational numbers. Let Γ be an elliptic curve over the field of rational numbers R, and Qm a primitive R-point of order m on it; here m is a prime or a double prime. Hence if m=2p, then p ≤ 509, whereas if m=p, then p < 6144.

We present a new proof of a theorem of Schur's determining the least common multiple of the orders of all finite groups of complex $n \times n$-matrices whose elements have traces in the field of rational numbers. The basic method of proof goes back to Minkowski and proceeds by reduction to the case of finite fields. For the most part, we work over an arbitrary number field rather than the rationals. The first half of the article is expository and is intended to be accessible to graduate students and advanced undergraduates. It gives a self-contained treatment, following Schur, over the field of rational numbers.

Let A be a commutative Noetherian ring of dimension n (n ≥ 3). Let I be a local complete intersection ideal in A[T] of height n. Suppose I/I 2 is free A[T]/I-module of rank n and (A[T]/I) is torsion in K 0(A[T]). It is proved in this article that I is a set theoretic complete intersection ideal in A[T] if one of the following conditions holds: (1) n ≥ 5, odd; (2) n is even, and A contains the field of rational numbers; (3) n = 3, and A contains the field of rational numbers.

Composition of oriented binary quadratic form-classes over commutative rings

In a paper from 2010, Budarina, Dickinson and Levesley studied the rational approximation properties of curves parametrised by polynomials with integral coefficients in Euclidean space of arbitrary dimension. Assuming the dimension is at least three and excluding the case of linear dependence of the polynomials together with P(X) ≡ 1 over the rational number field, we establish proper generalisations of their main result.

It is commonly accepted that the knowledge and learning of rational numbers is more complex than that of the whole number field. This complexity includes the broader range of application of rational numbers, the increased level of technical complexity in the mathematical structure and symbol systems of this field and the more complex nature of many conceptual properties of the rational number field. Research on rational number learning is divided as to whether children’s difficulties in learning rational numbers arise only from the increased complexity or also include elements of conceptual change. This article argues for a fundamental conceptual difference between whole and rational numbers. It develops the position that rational numbers are fundamentally relational in nature and that the move from absolute counts to relative comparisons leads to a further level of abstraction in our understanding of number and quantity. The argument is based on a number of qualitative, in-depth research projects with children and adults. These research projects indicated the importance of such a relational understanding in both the learning and teaching of rational numbers, as well as in adult representations of rational numbers on the number line. Acknowledgement of such a conceptual change could have important consequences for the teaching and learning of rational numbers.

Introduction Classical theory of symmetric bilinear forms and quadratic forms: Bilinear forms Quadratic forms Forms over rational function fields Function fields of quadrics Bilinear and quadratic forms and algebraic extensions $u$-invariants Applications of the Milnor conjecture On the norm residue homomorphism of degree two Algebraic cycles: Homology and cohomology Chow groups Steenrod operations Category of Chow motives Quadratic forms and algebraic cycles: Cycles on powers of quadrics The Izhboldin dimension Application of Steenrod operations The variety of maximal totally isotropic subspaces Motives of quadrics Appendices Bibliography Notation Terminology.

This dissertation presents computational tools for quadratic forms over global function fields of characteristic different from 2. The majority of the algorithms we develop in this study rely on our ability to find all places dividing any coefficient of the given quadratic form. This problem is equivalent to the factorization of fractional ideals in the ring of polynomial functions of a global function field. As a result, we begin by presenting alternative approaches for factoring fractional ideals that do not rely on determining the maximum order of the global function field in question. We then propose techniques for tackling the following quadratic form theory computational problems: how to detect whether a quadratic form is isotropic or not, how to detect whether a quadratic form is hyperbolic or not, how to compute the anisotropic dimension (or equivalently the Witt index) of a quadratic form, how to construct an anisotropic part of a quadratic form, how to determine if two forms are Witt-similar or are Ono-similar or not. We further explore algorithms for computing some important field invariants that are linked to quadratic forms. Those are: the length of a sum of squares, the level of a field, the Pythagoras number of a field, as well as a Pythagoras element of a field.

Quadratic Forms and Graphs

N is the set of natural numbers. Q is the field of complex rational numbers, i.e. the field of numbers a+bi, where a and b are rational. A sequence σ of elements of Q (i.e. a function σ, σ o:N→Q) is recursive iff there exist recursive functions fj(j=1,2,3,4; fj: N→N) such that for all n in N $$ \sigma (n) = \frac{{{f_1}(n)}} {{{f_2}\left( n \right) + 1}} + \frac{{{f_3}\left( n \right)}}{{{f_4}\left( n \right) + 1}}i$$ Such a sequence σ is recursively convergent iff there exists a recursive function k(k: N→N) such that for all h,j,n in N $$h \geqslant k(n)\Lambda \,j \geqslant k(n) \Rightarrow \left| {\sigma (h) - \sigma (j)} \right| < \frac{1} {{n + 1}}$$ (1)