Questions tagged [integral-quadratic-forms]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
2 answers
258 views

Does $\mathbb Z^n$ contain $A_n$?

Are there any positive integer $n > 3$ such that the root lattice $A_n$ is contained in $\mathbb Z^n$?
WKC's user avatar
  • 646
4 votes
1 answer
184 views

Computing spinor equivalence for positive definite forms

Given an integral positive-definite rank $n$ quadratic form $f$, one can use the algorithm in Conway and Sloane (Chapter 15, SPLaG) to efficiently determine if the genus of $f$ contains more than one ...
a196884's user avatar
  • 323
3 votes
0 answers
108 views

Similar reduced integral matrices

Let $d\geq 1$ be an integer. I'm not assuming anything here about $d$ (it is not necessarily squarefree, for example), but if necessary I'm willing to reduce to the case where $d$ is squarefree and $-...
GreginGre's user avatar
  • 1,639
3 votes
1 answer
103 views

Normalizing trains without sign walking in compartments

Consider the quadratic form $5x^2+6y^2$. This has Conway Sloan $2$-adic symbol $[1^{-1}2^{-1}]_0$. After a sign walk from $1$ to $2$ the symbol becomes $[1^{+1}2^{+1}]_4$. However, there doesn't exist ...
Watson Ladd's user avatar
  • 2,409
0 votes
0 answers
109 views

p-adic numerical analysis question for a quadratic form

Let $A$ be a symmetric matrix with even diagonal and elements in $\mathbb{Z}_p$ and nonzero discriminant. (Yes, $p$ can be two) and $a$ an nonzero integer. Suppose there exists a solution to $x^{\top}...
Watson Ladd's user avatar
  • 2,409
5 votes
1 answer
268 views

Are stably equivalent quadratic forms over Z equivalent?

Let $Q_1, Q_2, R$ be quadratic froms over $\mathbb{Z}$ such that $Q_1 \oplus R \cong Q_2 \oplus R$ as quadratic forms. Is it necessary that $Q_1 \cong Q_2$? I know that by Witt's theorem it is true ...
user49822's user avatar
  • 1,978
3 votes
1 answer
334 views

Indefinite Ternary Forms with Square Discriminant

Is there any general theory to find the numbers represented by ternary forms of the type $q(x,y,z)=ax^2+bx^2-abz^2,$ when $a,b$ are prime? By doing an internet search, the closest I found was the ...
Campello's user avatar
  • 800
3 votes
2 answers
427 views

Paper of Denis Simon on quadratic equations in dimensions 4, 5?

In several places I have come across references to a 2005-6 preprint of Denis Simon entitled Quadratic equations in dimensions 4, 5, and more This paper gives fast algorithms to find isotropic ...
benblumsmith's user avatar
  • 2,831
0 votes
1 answer
114 views

Lower bounds on the rank of a unimodular lattice, given the binlinear pairing of a subset of basis vectors

I have some questions on lower bounds on the rank of unimodular lattices given the bilinear pairing of a subset of its basis is known. Let $\Lambda$ be an odd, unimodular matrix of signature $(1,T)$. ...
D. S. Park's user avatar
3 votes
3 answers
214 views

A question on an involution of $E_8$ lattice

There exits an involution $\iota$ of the $E_8$ lattice such that $(E_8)^{\pm} \cong D_4$, where $(E_8)^{\pm}$ denotes the $\pm$ eigen-lattice of the involution $\iota$. Could someone kindly give me an ...
Howei's user avatar
  • 31
1 vote
0 answers
184 views

Orthogonal transformations with trivial spinor norm as product of reflections $r_w$ with $(w,w)=-2$

I'm trying to prove that, for a standard unimodular even lattice $\Lambda$ (by standard I mean that it is direct sum of copies of the hyperbolic plane $U$ and $E_8$) every element of $O^+(\Lambda)$, i....
Konrad's user avatar
  • 83