Questions tagged [quadratic-forms]
Algebraic and geometric theory of quadratic forms and symmetric bilinear forms, e.g., values attained by quadratic forms, isotropic subspaces, the Witt ring, invariants of quadratic forms, the discriminant and Clifford algebra of a quadratic form, Pfister forms, automorphisms of quadratic forms.
543 questions
5
votes
1
answer
648
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 ...
- 25.7k
4
votes
1
answer
188
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 ...
- 25.7k
0
votes
1
answer
118
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 ...
- 3,779
7
votes
0
answers
191
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,
$b(x,...
- 1,312
1
vote
1
answer
155
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 Tate-...
- 1,479
2
votes
2
answers
187
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 the answer to my previous question ...
6
votes
1
answer
1k
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 ...
- 3,779
4
votes
1
answer
544
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,371
4
votes
1
answer
506
views
$p$-adic analogues of $\mathrm{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 (...
- 6,224
4
votes
1
answer
277
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
$$SO_n(k,...
- 5,654
7
votes
2
answers
296
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 ...
- 91
2
votes
0
answers
123
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 $V^{\mathbb{R}}:={\...
- 14.2k
8
votes
2
answers
562
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 ...
- 2,521
8
votes
3
answers
3k
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, https://math.stackexchange.com/questions/209512/binary-quadratic-forms-over-z-and-...
- 25.7k
3
votes
1
answer
432
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 ...
- 81
5
votes
1
answer
260
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 ...
- 25.7k
11
votes
2
answers
1k
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, ...
- 25.7k
5
votes
1
answer
233
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 $I^n(...
- 1,479
2
votes
0
answers
192
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$ ...
- 1,101
4
votes
3
answers
1k
views
Solving a quadratic matrix equation with fat matrix
I am trying to find an $n \times m$ fat (i.e., $m > n$) matrix $T$ that solves
$$T^T T = X$$
where $X$ is a given $m \times m$ symmetric, positive semidefinite matrix.
I saw this post, but ...
- 143
0
votes
1
answer
149
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$) ...
- 1,479
2
votes
0
answers
207
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 $Q(x_1,\ldots,...
- 1,639
1
vote
0
answers
191
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). ...
- 960
3
votes
1
answer
159
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 ...
- 3,031
9
votes
4
answers
752
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 ...
- 21.3k
1
vote
0
answers
102
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
2
answers
328
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?
user19475
2
votes
1
answer
107
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$ ...
- 704
2
votes
1
answer
186
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 non-...
- 1,529
1
vote
1
answer
928
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 ...
- 139
9
votes
2
answers
3k
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 ...
- 499
2
votes
1
answer
376
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,108
3
votes
1
answer
355
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,692
-1
votes
1
answer
954
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} $ ...
- 29
2
votes
1
answer
522
views
Representation of rationals by quadratic form
In one paper about number 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 ...
- 7,377
15
votes
3
answers
10k
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 a common zero of all of these polynomials? In other words, ...
- 253
11
votes
1
answer
749
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:
$...
- 25.7k
4
votes
1
answer
141
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 ...
- 16.9k
3
votes
1
answer
558
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 $...
- 638
4
votes
0
answers
390
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 $x=...
- 3,979
2
votes
0
answers
86
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. ...
- 143
7
votes
3
answers
2k
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 \,\...
- 362
5
votes
1
answer
2k
views
Maximizing quadratic form on the 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 ...
15
votes
3
answers
1k
views
orbits of automorphism group for indefinite lattices
I have a question about indefinite lattices.
QUESTION: Let $\Lambda\times\Lambda\rightarrow {\Bbb Z}$ be a lattice,
that is, ${\Bbb Z}^n$ with a non-degenerate integer quadratic form,
not necessarily ...
- 9,237
3
votes
1
answer
227
views
Are these powers of a characteristic 3 power series annihilated by certain Hecke operators?
Let D in Z/3[[x]] be sum ((a_n)(x^n)) where the sum runs over all n prime to 6 and a_n is the mod 3 reduction of the number of ideals of norm n in the ring of integers of Q(root(-3)). (So D=x+2(x^7)+2(...
- 5,422
9
votes
1
answer
569
views
The Dissertation of F. J. van der Linden
Does anyone have access to the 1984 dissertation of Franciscus Jozef van der Linden under Hendrik Lenstra? It is called Euclidean Rings with two infinite primes. The theory is that this has the ...
- 25.7k
3
votes
1
answer
774
views
maximizing convex quadratic form over the intersection of unit sphere and positive orthant
For a positive semi-definite matrix $C$, I want to find the solution to the following problem:
$\arg\max_{h\geq 0} h^T C h\quad$ s.t. $\quad h^T h\leq 1$
Any pointers are welcome.
- 373
13
votes
1
answer
1k
views
primes represented by an indefinite binary quadratic form
Suppose I have a form $$ f(x,y) = a x^2 + b x y + c y^2, $$ with $a,b,c$ integers, $\gcd(a,b,c)=1$ and $\Delta = b^2 - 4 a c > 0,$ but $\Delta \neq n^2$ for any integer $n.$
Do there exist (...
- 25.7k
0
votes
0
answers
180
views
A quadratic form pair
Let $Q_s(x)\in\Bbb Z[x_1,x_2,\dots,x_s],\hat{Q}_{\hat s}(y)\in \Bbb Z[y_1,y_2,\dots,y_\hat s]$ be pair of homogeneous purely non-diagonal (every term of form $x_ix_j$ or $y_iy_j$) quadratic forms and ...
3
votes
1
answer
127
views
Set of isomorphisms of Pfister forms corresponding to first cohomology of algebraic group
Assume $k_0$ is a field with char($k_0$) not $2$. Let us define functors from $\rm Field_{/k_0}\to \rm Sets$ as $\rm Pfister_n(k):=\{\text{isomorphism classes of n-fold Pfister forms over k}\}$;
$\...
- 57