The tag has no wiki summary.

learn more… | top users | synonyms

6
votes
1answer
120 views

Constructing sums of squares identities

Recall that a sum of squares formula for $[r,s,n]$ over a field $F$ is an identity of the form $$ ( x_{1}^{2} + \cdots + x_{r}^{2})( y_{1}^{2} + \cdots + y_{s}^{2}) = ( z_{1}^{2} + \cdots + ...
0
votes
0answers
43 views

Binary motives in the decomposition of a minimal Pfister neighbor

Let $\alpha \in H^n(k,\mu_2)$ and $X_\alpha$ be the respective Pfister quadric. Its well known due to Rost that the Motive $M(X_\alpha)$ decomposes as a sum of twisted Rost motives $R_\alpha$ such ...
0
votes
0answers
48 views

u-Invariants of p-adic function fields

In his Paper "Fields of u-invariant 9" Oleg Izhboldin points out that for a algebraic closed, finitely generated field $k$ we have $u(k)= 2^{cd(k)}$. In particular we have ...
0
votes
1answer
111 views

Does the Diophantine equation $(x^2+ay^2)(u^2+bv^2) = p^2+cq^2$ admit a complete solution?

In this MSE question/thread, I have been discussing the equation $$ (x^2+ay^2)(u^2+bv^2) = p^2+cq^2, \tag{$\star$} $$ where $x,a,y,u,b,v,p,c,q$ are integers. I posed a conjecture which turned out to ...
3
votes
0answers
75 views

Given a positive-definite integral unimodular Gram matrix, how to find a basis of the associated lattice (over $\mathbf Q$)?

Let $G$ be a $n\times n-$symmetric matrix with integral coefficients and determinant $1$ (i.e. unimodular) such that the associated quadratic form is positive-definite. I am interested in having an ...
5
votes
1answer
296 views

Ternary quadratic form theta series as Hecke eigenforms and class number one

At Simple comparison of positive ternary quadratic form representation counts Jeremy answered: "The reason is that the theta series for the sums of three squares form is an eigenfunction for all the ...
3
votes
1answer
87 views

Simple comparison of positive ternary quadratic form representation counts

Something came up yesterday in a referee request and I was surprised to find that I did not know the facts in full generality. This is about positive quadratic forms in three variables with integer ...
0
votes
1answer
83 views

Action of $(\mathbb{Z}/2g\mathbb{Z})$ on quadratic forms on $\mathbb{Z}/2\mathbb{Z}$-vector space

Let $\mathbb{Z}/2\mathbb{Z}$ the 2 elements field, with additive notation. I need some clarifications on the relation between quadratic forms on a $\mathbb{Z}/2\mathbb{Z}$-vector space (say, of ...
6
votes
0answers
117 views

Upper bound on the number of ismorphism classes of bilinear forms on $\mathbb{Z}^n$

$\DeclareMathOperator{\Hom}{Hom}$A symmetric, positive definite bilinear form on $\mathbb{Z}^n$ is any mapping $$b : \mathbb{Z}^n \times \mathbb{Z}^n \to \mathbb{Z}$$ satisfying $b$ is bilinear, ...
1
vote
1answer
98 views

Dimension of binary motives of a quadric

Let $Q$ be a anisotropic quadric of dimension $d$ over $k$. We work in the category of effective Chow-Motives over $k$. Let $T$ be the Tate-Motive. For a motive $M$ we write $M(l)$ for its $l$-th ...
2
votes
2answers
125 views

Asymptotic property of a quadratic form

suppose $x=\Delta$, $y=M \Phi \Delta$, where $\Delta\in N\times 1$, $M^T=M \in N \times N$ and $\Phi^T=\Phi \in N \times N$. Define $Z=xy^T+yx^T$. It is known from my previous question that $Z$ has ...
4
votes
1answer
168 views

orthogonal group in characteristic 2

Let $O(2,\mathbb{Z}_2)$ be the orthogonal group of order two matrices. On $\mathbb{Z}_2$ there should exist just one odd quadratic form, hence the stabilizer subgroup $O^-$ of an odd quadratic for ...
4
votes
1answer
349 views

Are constant connection coefficients uniquely determined by the (1,3) curvature coefficients?

Suppose that on a certain coordinate system the coefficients $\Gamma^i_{jk}$, $i,j,k=1,\cdots, n$, of a linear connection are constant. We do not require compatibility with a metric, however I am ...
1
vote
1answer
109 views

$p$-adic analogues of $SO(3)$

I read in the paper " From Laplace to Langlands via representations of orthogonal groups" by Benedict Gross and Mark Reeder that there are, up to isomorphism, two orthogonal groups of the ...
4
votes
1answer
174 views

Automorphisms of SO_n(k,f)

Let $k$ be a field, $n\in\mathbb{N}$ and $f:k^n\times k^n\to k$ a non-degenerate symmetric bilinear form. Let $$O_n(k,f):=\{ g\in GL_n(k) \mid \forall x,y\in k^n : f(x,y)=f(g.x,g.y) \}$$ and ...
0
votes
0answers
58 views

Rank 2^n quadratic form with non trivial invariant e_n

I advise you to have a look this question of mine first Rank four quadratic Form with non trivial discriminant in I(k) From quadratic form theory its well known that for a field $k$ and the ...
6
votes
1answer
73 views

space of reduced positive definite quadratic forms

What is the highest dimension for which the space of reduced positive definite quadratic forms (or the fundamental domain of $SL_n(\mathbb{R})/SL_n(\mathbb{Z})$) has been explicitly calculated? I know ...
1
vote
0answers
76 views

What is classified by $H^1(\mathbb{R},SO(p,q))$ and by $H^1(\mathbb{R},SU(p,q))$?

We denote by $F^{\mathbb{R}}_{p,q}$ the quadratic form over the field ${\mathbb{R}}$ $$ F^{\mathbb{R}}_{p,q}(x)=x_1^2+\dots+x_p^2-(x_{p+1}^2+\dots+x_{p+q}^2) $$ on the vector space ...
5
votes
1answer
309 views

Easiest way to distinguish $E_8 \oplus E_8$ from $E_{16}$

For $n$ an integer divisible by $8$, let me denote by $E_n$ the "usual" even non-degenerate positive definite integral symmetric bilinear form over $\mathbf Z^n$. It is well known that in dimension ...
4
votes
3answers
412 views

Class number for binary quadratic forms discriminant $\Delta$ to class number $\mathbb Q(\sqrt \Delta)$

Jyrki Lahtonen has suggested I write a blog post relating binary quadratic forms to quadratic field class numbers, ...
1
vote
1answer
164 views

The Chebotarev Density Theorem and the representation of infinitely many numbers by forms

Let $ax^{2}+bxy+cy^{2}$ be a primitive positive definite quadratic form of discriminant $\Delta<0$. It is well known that $ax^{2}+bxy+cy^{2}$ represents infinitely many prime numbers. One of the ...
5
votes
1answer
162 views

Positive Primes represented by an indefinite binary form, reducing poly degree from 8 to 4

In his lovely answer at Positive primes represented by indefinite binary quadratic form Noam found that a (positive) odd prime $p$ is represented by the indefinite form $x^2 + 13 x y - 9 y^2$ if and ...
7
votes
1answer
335 views

Positive primes represented by indefinite binary quadratic form

Neil Sloane asked me about commands in computer languages to find the (positive) primes represented by indefinite binary quadratic forms. So I wrote something in C++ that works. This is for the OEIS, ...
5
votes
1answer
160 views

Rank four quadratic Form with non trivial discriminant in I(k)

Im sure this is a beginners question. Let $k$ be a field and $I(k)$ the fundamental ideal in the Witt-ring W(k). The Arason-Pfister-Hauptsatz states: "If $\varphi$ is any anisotropic class in ...
1
vote
0answers
126 views

Equation in the Gaussian Integers

Let $a,b \in \mathbb{N}$. Is there a possibility to characterize the solutions of $a N(\alpha) - b N(\beta)=1$ where $\alpha,\beta \in \mathbb{Z}[i]$? In particular I am interested in the case $a=1$ ...
2
votes
3answers
272 views

Solving a quadratic matrix equation with non-squared matrix

I was trying to solve the problem of finding the value of a non-squared matrix $T$ ($n \times m$) which solves $$ T^T T = X$$ where $X$ is a symmetric and positive semidefinite $m \times m$ matrix, ...
0
votes
1answer
84 views

Rost Correspondence and minimal Pfister-Neighbors

In http://www.math.uiuc.edu/K-theory/0357/ Karpenko utters the following, $Conjecture$ $1.6.$ If an anisotropic quadric $X = Q$ possesses a Rost correspondence, then the quadratic form (defining $X$) ...
2
votes
0answers
123 views

n-ary quadratic forms with $S$-integer values

Let $Q(x_1,\ldots,x_n):=x_1^2+\cdots+x_n^2$ be an $n$-ary quadratic form. Given a finite set of (rational) primes $S$ is there an algorithm or theorem that describes all solutions to ...
1
vote
0answers
50 views

Cassels-Birch-Davenport theorem for multiple quadratic forms of certain type

A classical theorem of Cassels states that if a homogenous quadratic form $Q$ has an integer zero, then there is a zero of small height (bounded solely by the coefficients and number of variables). ...
3
votes
1answer
119 views

Sum of Squares Length of a Product

Let $n \geq 2$. Let $g_1, \ldots , g_{n-1} \in \mathbb{R}[x_1,\ldots,x_n]$ such that $q=g_1^2+\ldots +g_{n-1}^2$ is not divisible by $p=x_1^2+\ldots +x_n^2$. Let $m \geq 1$ be the smallest integer ...
9
votes
4answers
366 views

Is any quadric birational to a product of Brauer-Severi varieties?

Let $k$ be a field with algebraic closure $\bar k$. Assume that $k$ is perfect and not of characteristic $2$ for simplicity. Let $$X: \quad Q(x)=0, \quad \subset \mathbb{P}^n_k,$$ be a non-singular ...
1
vote
0answers
57 views

Is this related to a simple property of a lattice?

I am looking for a certain notion of sparseness of lattices. I want to find a vector in $\mathbb{Z}^N$ that the minimal possible inner product with all the vectors of a given lattice. Or at least, I ...
3
votes
2answers
197 views

equivalence of quadratic forms over finitely generated fields

Over number fields, two quadratic forms are equivalent iff they have the same dimension, signature, discriminant and Hasse invariant. How is the situation like over finitely generated fields?
2
votes
1answer
79 views

Principally split primes with factors in arbitrarily small angular sectors

I wonder if the following is known: let $n$ be a (square-free) positive integer. Is there ever/always a sequence of prime numbers $p$ that can be written in the form $$p = x^2 + ny^2,$$ where $x, y$ ...
2
votes
1answer
73 views

Stabilizer of a nonsingular vector in a quadratic space (char (k)=2)

suppose that $k$ is a finite field of characteristic 2 and $(V,q)$ a quadratic space, i.e., $V$ is a $k$-vector space and $q:V\to k$ quadratic form. Suppose that $\dim(V)\geq 4$ and that $q$ is ...
2
votes
1answer
119 views

Block Covariance Matrix - Positive Definite? (Quadratic Optimization) [closed]

I have a covariance matrix C. I have then formulated an quadratic optimization problem that involves the following matrix in the quadratic form: [ C C ] [ C C ] However, the quadratic solver ...
2
votes
2answers
303 views

Connection between quadratic forms and ideal class group

I'm studying the classic results on binary (integer) quadratic forms and I'm looking for a reference on the following result (maybe a book that contains a proof): Let $O_k$ be the ring of algebraic ...
2
votes
1answer
88 views

Can one determining the p-adic lattice just from the values of the quadratic form on a p-group?

Given a finite $p$-group $A$, with a non-degenerate quadratic form $q:A\rightarrow \mathbb Q/2\mathbb Z$ (that is a map satisfying $q(na)=n^2q(a)$ for all $n\in \mathbb Z,a\in A$), an important result ...
2
votes
1answer
150 views

Indefinite orthogonal groups over p-adics

Let $q$ be a rational quadratic form. How can we think of a Cartan decomposition of $O_q(Q_p)$? Is there a notion of Cartan involution for p-adic field, so that we can execute same process as we do ...
-1
votes
1answer
83 views

Uniqueness of the solution to a quadratic problem [closed]

Consider a positive definite matrix $\boldsymbol H$, the known vectors ${\boldsymbol b}$ and ${\boldsymbol a}_i$. Now the minimization problem is casted with respect to the vector ${\boldsymbol x} $ ...
2
votes
1answer
172 views

Representation of rationals by quadratic form

In one paper about namber theory author stated 2 lemmas Lemma 1. If $p$ is a prime $\equiv3(mod $ $4)$ then $x^2+y^2-pz^2$ represents a non-zero rational number $m$ if and only if $m$ is not of the ...
3
votes
3answers
338 views

Can you efficiently solve a system of quadratic multivariate polynomials?

Given a system of 2nd-degree polynomials, $P=\{p_1,\dots,p_m\}$ where $p_i: \mathbb{R}^n \rightarrow \mathbb{R}$, can you efficiently find $x_1,\dots,x_n\in\mathbb{R}$? I know that in the general ...
11
votes
1answer
304 views

Positive ternary quadratic forms in the same genus that represent the same numbers

There are three genera of positive, integral, ternary quadratic forms in which both forms (classes...) are regular, so the paired forms represent the same numbers. These pairs (complete genera) are: ...
4
votes
1answer
126 views

Which power of $2$ kills $W(k)$?

Is the following fact "well-known": if $-1$ is a sum of squares in a field $k$, then the Witt group $W(k)$ of quadratic forms is killed by multiplication by $2^N$ for some $N\ge 0$? What can one say ...
3
votes
1answer
243 views

S genus of quadratic forms

Let $f$ be a non-degenerate quadratic form with integral coefficients. The genus of $f$ is the set of quadratic forms up to integral equivalence which are equivalent to $f$ over the $p$-adic integers ...
4
votes
0answers
105 views

Fully Homomorphic Error Correction?

Consider a field $F$. Suppose we have two vectors $a,b\in F^n$, and an invertible matrix $G\in F^{n\times n}$. Let $c\in F^n$ be the point-wise product of $a$ and $b$, that is, $c_i=a_ib_i$. Let ...
2
votes
0answers
80 views

Terminology and reference question

I am working on a problem involving bilinear forms over complex Hilbert spaces, and in my case it is not natural to make the forms sesquilinear, i.e., $a(u,v)$ is linear in both complex arguments. ...
0
votes
0answers
67 views

Distribution of Quadratic Forms in Rademacher Random Vector

This is a fairly well-known theorem on quadratic form in normal distribution, which is taken from here. If $\mathbf y ∼ N(0, \sigma^2)$ is an $n\times 1$ column vector and $\mathbf M$ is an ...
5
votes
3answers
374 views

Optimization problem on trace of rotated positive definite matrices

Given two $n \times n$ symmetric positive definite matrices $A$ and $B$, I am interested in solving the following optimization problem over $n \times n$ unitary matrices $R$: $$ \mathrm{arg}\max_R ...
2
votes
1answer
177 views

quadratic programming on hypercube

I want to maximize a quadratic form $\mathbf x^T\mathbf Q\mathbf x$ and also want to find out which vector $\mathbf x$ maximizes the quadratic form when $\mathbf Q$ is an $n\times n$ positive ...