Supertropical quadratic forms II: Tropical trigonometry and applications

2018 ◽  
Vol 28 (08) ◽  
pp. 1633-1676 ◽  
Author(s):  
Zur Izhakian ◽  
Manfred Knebusch ◽  
Louis Rowen

This paper is a sequel of [Z. Izhakian, M. Knebusch and L. Rowen, Supertropical semirings and supervaluations, J. Pure Appl. Algebra 220(1) (2016) 61–93], where we introduced quadratic forms on a module [Formula: see text] over a supertropical semiring [Formula: see text] and analyzed the set of bilinear companions of a quadratic form [Formula: see text] in case the module [Formula: see text] is free, with fairly complete results if [Formula: see text] is a supersemifield. Given such a companion [Formula: see text], we now classify the pairs of vectors in [Formula: see text] in terms of [Formula: see text] This amounts to a kind of tropical trigonometry with a sharp distinction between the cases for which a sort of Cauchy–Schwarz (CS) inequality holds or fails. This distinction is governed by the so-called CS-ratio [Formula: see text] of a pair of anisotropic vectors [Formula: see text] in [Formula: see text]. We apply this to study the supertropicalizations (cf. [Z. Izhakian, M. Knebusch and L. Rowen, Supertropical semirings and supervaluations, J. Pure Appl. Algebra 220(1) (2016) 61–93]) of a quadratic form on a free module [Formula: see text] over a field in the simplest cases of interest where [Formula: see text]. In the last part of the paper, we introduce a suitable equivalence relation on [Formula: see text], whose classes we call rays. (It is coarser than usual projective equivalence.) For anisotropic [Formula: see text] the CS-ratio [Formula: see text] depends only on the rays of [Formula: see text] and [Formula: see text]. We develop essential basics for a kind of convex geometry on the ray-space of [Formula: see text], where the CS-ratios play a major role.

2007 ◽  
Vol 03 (04) ◽  
pp. 541-556 ◽  
Author(s):  
WAI KIU CHAN ◽  
A. G. EARNEST ◽  
MARIA INES ICAZA ◽  
JI YOUNG KIM

Let 𝔬 be the ring of integers in a number field. An integral quadratic form over 𝔬 is called regular if it represents all integers in 𝔬 that are represented by its genus. In [13,14] Watson proved that there are only finitely many inequivalent positive definite primitive integral regular ternary quadratic forms over ℤ. In this paper, we generalize Watson's result to totally positive regular ternary quadratic forms over [Formula: see text]. We also show that the same finiteness result holds for totally positive definite spinor regular ternary quadratic forms over [Formula: see text], and thus extends the corresponding finiteness results for spinor regular quadratic forms over ℤ obtained in [1,3].


2014 ◽  
Vol 57 (3) ◽  
pp. 579-590 ◽  
Author(s):  
STACY MARIE MUSGRAVE

AbstractThis work defines a new algebraic structure, to be called an alternative Clifford algebra associated to a given quadratic form. I explored its representations, particularly concentrating on connections to the well-understood octonion algebras. I finished by suggesting directions for future research.


2017 ◽  
Vol 26 (14) ◽  
pp. 1750102 ◽  
Author(s):  
José María Montesinos-Amilibia

An example of an integral ternary quadratic form [Formula: see text] such that its associated orbifold [Formula: see text] is a manifold is given. Hence, the title is proved.


2006 ◽  
Vol 13 (4) ◽  
pp. 687-691
Author(s):  
Guram Gogishvili

Abstract Let 𝑚 ∈ ℕ, 𝑓 be a positive definite, integral, primitive, quaternary quadratic form of the determinant 𝑑 and let ρ(𝑓,𝑚) be the corresponding singular series. When studying the best estimates for ρ(𝑓,𝑚) with respect to 𝑑 and 𝑚 we proved in [Gogishvili, Trudy Tbiliss. Univ. 346: 72–77, 2004] that where 𝑏(𝑘) is the product of distinct prime factors of 16𝑘 if 𝑘 ≠ 1 and 𝑏(𝑘) = 3 if 𝑘 = 1. The present paper proves a more precise estimate where 𝑑 = 𝑑0𝑑1, if 𝑝 > 2; 𝑕(2) ⩾ –4. The last estimate for ρ(𝑓,𝑚) as a general result for quaternary quadratic forms of the above-mentioned type is unimprovable in a certain sense.


2017 ◽  
Vol 9 (3) ◽  
pp. 8
Author(s):  
Yasanthi Kottegoda

We consider homogeneous linear recurring sequences over a finite field $\mathbb{F}_{q}$, based on an irreducible characteristic polynomial of degree $n$ and order $m$. Let $t=(q^{n}-1)/ m$. We use quadratic forms over finite fields to give the exact number of occurrences of zeros of the sequence within its least period when $t$ has q-adic weight 2. Consequently we prove that the cardinality of the set of zeros for sequences from this category is equal to two.


2020 ◽  
Vol 16 (10) ◽  
pp. 2141-2148
Author(s):  
A. G. Earnest ◽  
Ji Young Kim

For every positive integer [Formula: see text], it is shown that there exists a positive definite diagonal quaternary integral quadratic form that represents all positive integers except for precisely those which lie in [Formula: see text] arithmetic progressions. For [Formula: see text], all forms with this property are determined.


1954 ◽  
Vol 6 ◽  
pp. 353-363 ◽  
Author(s):  
W. E. Briggs

The theorem that every properly primitive binary quadratic form is capable of representing infinitely many prime numbers was first proved completely by H. Weber (5). The purpose of this paper is to give an elementary proof of the case where the form is ax2 + 2bxy + cy2, with a > 0, (a, 2b, c) = 1, and D = b2 — ac not a square. The cases where the form is ax2 + bxy + cy2 with b odd, and the case where the form is ax2+ 2bxy + cy2 with D a square, can be settled very simply once the first case is taken care of, and this is done in a page and a half in the Weber paper.


1996 ◽  
Vol 141 ◽  
pp. 1-27 ◽  
Author(s):  
Yoshiyuki Kitaoka

We are concerned with representation of positive definite quadratic forms by a positive definite quadratic form. Let us consider the following assertion Am, n : Let M, N be positive definite quadratic lattices over Z with rank(M) = m and rank(N) = n respectively. We assume that the localization Mp is represented by Np for every prime p, that is there is an isometry from Mp to Np. Then there exists a constant c(N) dependent only on N so that M is represented by N if min(M) > c(N), where min(M) denotes the least positive number represented by M.


Author(s):  
Kyoungmin Kim ◽  
Yeong-Wook Kwon

For a positive definite ternary integral quadratic form [Formula: see text], let [Formula: see text] be the number of representations of an integer [Formula: see text] by [Formula: see text]. A ternary quadratic form [Formula: see text] is said to be a generalized Bell ternary quadratic form if [Formula: see text] is isometric to [Formula: see text] for some nonnegative integers [Formula: see text]. In this paper, we give a closed formula for [Formula: see text] for a generalized Bell ternary quadratic form [Formula: see text] with [Formula: see text] and class number greater than [Formula: see text] by using the Minkowski–Siegel formula and bases for spaces of cusp forms of weight [Formula: see text] and level [Formula: see text] with [Formula: see text] consisting of eta-quotients.


Sign in / Sign up

Export Citation Format

Share Document