As of May 31, 2023, we have updated our Code of Conduct.

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.

502 questions
Filter by
Sorted by
Tagged with
118 views

46 views

147 views

### Compatibility conditions for quadratic equations

In the context of physics, I stumbled over the following problem: I have $N$ equations, all are quadratic in a single scalar, real variable $x$: \begin{eqnarray} 0 &= A_1x^2 + B_1x + C_1 \\ &...
1 vote
90 views

### Projectivity of the fundamental ideal of Witt groups

Suppose $k$ is a field. I wonder when the Witt ring of the quadratic forms $\textbf{W}(k)$ has a projective fundamental ideal, which is the kernel of the rank modulo 2 morphism. Here I want a ...
1 vote
61 views

### A question about the sign of quadratic forms on nonnegative vectors

Let $M$ be a real square matrix of order $n\ge 3$. Assume that for every nonnegative vector $\textbf{z}\in \mathbb R^n$ which has at lease one zero entry we have $\textbf{z}^T M \textbf{z} \ge 0$. Can ...
148 views

### Equivalence of quadratic forms over $p$-adic integers vs over localisation at $p$

To discern whether two integral quadratic forms are equivalent over the $p$-adic integers, one can compute a Jordan decomposition at $p$ and read off some invariants. Restricting to $p\ne2$ for ...
1 vote
271 views

### Integral solutions of quadratic equation $5 X² − 14 X⁢Y + 5 ⁢Y² = n$

Solve for all integers $x$ and $y$ the quadratic form $5 X² − 14 X⁢Y + 5 ⁢Y² = n$ for some integer n. I know that for some cases there are recurrence solutions, but I'm not sure how to solve these ...
47 views

### Equidistribution of lattice points on quadratic forms without certain values

I have recently been studying some results about equidistribution of lattice points on positive definite quadratic forms $Q$ with $3$ or more variables. Concretely the article Duke and Schulze-Pillot, ...
796 views

### How to describe all integer solutions to $x^2+y^2=3z^2+1$?

The question is in the title. Here is a short motivation. The general quadratic Diophantine equation is $$x^TAx+bx+c=0,$$ where $x$ is a vector of $n$ variables, $A$ is $n \times n$ matrix with ...
1 vote
94 views

### Can I solve this quadratic program "fast"?

We are given a matrix $D \in \mathbb{Z}^{C \times C}$ of non-negative entries, an integer $k \geq 1$ and we need to maximize the quadratic form $x^T D x$ under some simple constraints. For all ...
50 views

### A certain property of positive-semidefinite infinite matrices

In this answer I concluded with this: For which arrays $\big(\sigma_{ij}\big)_{(i,j)\in\mathbb N^2}$ [of real numbers] whose every upper-left corner is positive-semidefinite does line $(1)$ above ...
1 vote
35 views

### Eigenvalues of orthogonal group element

Let $q$ be a quadratic form over a nonarchimedean local field $F$, and let $\operatorname{O}(q)$ be the corresponding orthogonal group. Let $g\in\operatorname{O}(q)$ be semisimple. Can we know ...
127 views

1 vote
93 views

### Integral zeros of quadratic forms

Suppose I have a definite quadratic form over $\mathbb{Z}$ in $n$ variables $$Q(\mathbf{x}) = \sum_{i,j} a_{i,j}x_ix_j$$ I'm looking to find whether an integer $m$ is representable by $Q$. Everyone ...
95 views

### Computing coefficients of theta functions associated to quadratic forms

If we take an integral positive definite quadratic form $Q$ and set $\Theta_Q(z) = \sum_{k\geq 0}R_Q(k)e^{2\pi ikz}$, what are the most efficient algorithms to compute the $R_Q(k)$? I am aware e.g. of ...
474 views

### Existence of solution for a system of quadratic diophantine equations / symmetric quadratic froms

I am interested in solving, or even just deciding the existence of a solution, for a system of quadratic diophantine equations. Let $p$ be a prime congruent to 1 modulo 8, so $p =17$ is the first ...
1 vote
250 views

### Integers representable as binary quadratic forms

It is known that odd prime $p$ can be represented as $p=x^2+y^2$ if and only if $p \equiv 1$ mod $4$, represented as $p=x^2+2y^2$ if and only if $p \equiv 1$ or $3$ mod $8$, represented as $p=x^2+3y^2$...
1 vote
### Can $12n+5$ be written as $2x^2+5y^2+9z^2+xyz$ with $x,y,z$ nonnegative integers?
Let $\mathbb N=\{0,1,2,\ldots\}$. By the Gauss-Legendre theorem on sums of three squares, for any $n\in\mathbb N$ we can write $4n+1$ as $x^2+y^2+z^2$ with $x,y,z\in\mathbb N$. Motivated by this, here ...
I am currently reading Husemoller's wonderful book on fibre bundles, specifically the section on Clifford algebras. He defines these groups $L_k$ as follows. Let $M_k$ denote the free abelian groups ...