All Questions
Tagged with lattices quadratic-forms
48 questions
4
votes
1
answer
236
views
If a lattice can be embedded into $\mathbb Q^n,\langle-1\rangle^n$, then can it be embedded into $\mathbb Z^n,\langle -1 \rangle^n$?
Given a graph with negative integers on each vertex $\Gamma$ there is a corresponding intersection lattice denoted $Q_\Gamma$, a free $\mathbb Z$ module generated by the vertices, endowed with a ...
- 43
1
vote
0
answers
52
views
Genus of binary quadratic forms: $f(x,y), g(x,y)$ in same genus if and only if represent same values in $(\mathbb Z/m\mathbb Z)^\ast$ for all $m$
In David Cox's book: Primes of the form $x^2+ny^2$, second edition, there is a theorem(Theorem 3.21, page 52) characterize whether two binary quadratic forms in the same genus. The contents of the ...
- 287
0
votes
1
answer
127
views
Automorphism groups in class sets of ternary lattices
Let $\Lambda$ be an integral lattice in some definite ternary quadratic space $(V,Q)$ over $\mathbb{Q}$.
Consider the usual class set $\text{Cl}(\Lambda) = O(V)\backslash\text{Gen}(\Lambda)$, i.e. the ...
- 562
0
votes
0
answers
222
views
Genus of quadratic form
I am trying to understand the genus of a lattice from Conway and Sloane textbook. They said two quadratic forms $Q_1$ and $Q_2$ lie in the same genus if they are equivalent over $\mathbb{R}$ and over ...
- 1
7
votes
0
answers
259
views
K3 surfaces with no −2 curves
I seem to remember that a K3 surface with big Picard rank always
has smooth rational curves.
This question is equivalent to the following question about integral quadratic lattices. Let us call a ...
- 9,237
5
votes
1
answer
274
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 ...
- 323
4
votes
1
answer
199
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 ...
- 323
4
votes
1
answer
248
views
Relation between positive roots of $E_8$ and $\mathbb{F}_2^8 \setminus \{0\}$
There exists an explicit bijection (due to Cayley, that has built up a very nice table to describe this) between the positive roots of the lattice $E_7$ and $\mathbb{F}_2^6 \setminus \{0\}$ (where $\...
- 3,779
3
votes
2
answers
257
views
Generalization of the geometric series representation of the Kronecker delta for arbitrary lattices
In On construction of holomorphic cusp forms of half integral weight by Shintani, in the last equation of page 96, an identity for the Kronecker delta for elements of $L^*/L$ is defined. Here, $L$ is ...
anon
1
vote
0
answers
140
views
Obstruction in construction of some lattices, related with $K3$ surfaces
I am considering a certain $K3$ surface that is lattice-polarized in two ways.
This leads to the following simple problem in lattice theory:
(Let me borrow notations for lattice from Ch.14 of this ...
- 1,841
8
votes
0
answers
263
views
Positive integer solutions of $ab+ac+ad+bc+bd+cd=n$
Consider a quadratic form $Q(a,b,c,d)=ab+ac+ad+bc+bd+cd$ on $\mathbb Z^4$.
For some reason I am interested in the number of solutions $(a,b,c,d)\in\mathbb Z_{> 0}^4$ of $Q(a,b,c,d)=n$ as a function ...
- 5,053
2
votes
1
answer
242
views
Shifted lattices and the discriminant group
I'm studying a geometrical problem where an (even, negative-definite) lattice $L$ arises. Roughly, as an intersection pairing for curves on a surface. In fact, the problem naturally leads me to ...
- 1,701
4
votes
1
answer
340
views
Computing the genus of certain ternary indefinite lattices
For $k$ a positive integer, let us consider the rank 3 ternary indefinite lattice $L=L_k$ with quadratic form
$$6kx^2-2(y^2+yz+z^2).$$
Its discriminant group has length $2$.
Question. Is this lattice ...
- 91
1
vote
0
answers
43
views
About weight generator of quadratic lattices
I get stuck on Example 93:5 in O'Meara's book "Introduction to quadratic forms", where it is explained a method of find a weight generator of a quadratic lattice.
In this question I assume ...
- 620
11
votes
0
answers
158
views
Characterization of certain 4-dimensional lattices
Let $\Lambda \subset {\bf Q}^4$ be a lattice, i.e., $\Lambda$ is a free abelian group and $\Lambda \otimes {\bf Q} = {\bf Q^4}$.
The determinants of those dilation-rotations (i.e. linear maps of ${\bf ...
- 11.9k
24
votes
2
answers
889
views
Simple conjecture about rational orthogonal matrices and lattices
The following conjecture grew out of thinking about topological phases of matter. Despite being very elementary to state, it has evaded proof both by me and by everyone I've asked so far. The ...
6
votes
1
answer
410
views
The number of quadratic forms attaining Hermite's constant
$\require{AMScd}$
I'm considering minimum values (at non-zero integer points) of real, positive-definite, quadratic forms of determinant $1$. These are functions $f:\mathbb{R}^n\to \mathbb{R}$ which ...
- 675
3
votes
1
answer
781
views
Do $G$-invariant non-degenerate quadratic forms come from $G$-invariant even lattices?
The following is a somewhat well-known fact: Given an even lattice $L$ with the pairing $\langle,\rangle: L\times L\to \mathbb{Z}$, we extend the pairing to $L\otimes \mathbb{Q}$ by tensoring with $\...
- 6,123
5
votes
0
answers
376
views
Selmer Group of number fields and Ideal lattices
Let $K$ be a totally real number field of degree $n$ and dicriminant $d$, in this article of F.Lemmermeyer the selmer group of $K$ is defined as
$$\text{Sel}(K):=\{\alpha \in K^{\times}: (\alpha)=...
user115191
5
votes
2
answers
231
views
Bounded version of linear and quadratic Hasse--Minkowski theorem
The Hasse-Minkowski theorem states that if
$$Q(x_1,\ldots,x_n) = \sum_{i,j=1}^n a_{ij} x_ix_j$$
is a quadratic form with $a_{ij} \in \mathbb Z$ and $\det (a_{ij}) \neq 0$, then the equation
$$Q(x_1,\...
- 13.9k
1
vote
0
answers
234
views
Is the genus symbol implemented?
Conway and Sloane, as well as Cassels, and also O'Meara, all have their own idiosyncratic way of expressing the following result (for good primes): Every quadratic form with coefficients in $\mathbb{...
- 2,429
6
votes
0
answers
268
views
Bound on the determinant of a quadratic form restricted to a subspace
Let $Q\colon \mathbb{Z}^{n}\oplus\mathbb{Z}^m\to\mathbb{R}$ be a real quadratic form, which we denote $Q(x,y)$, $x\in\mathbb{Z}^n$, $y\in\mathbb{Z}^m$. Suppose:
The minimum of $Q(x,y)$ as $y$ varies ...
- 5,971
6
votes
2
answers
805
views
Intuition behind the definition of the Siegel-Eichler transformation
Recently I am reading Wall's paper "On the Orthogonal Groups of Unimodular Quadratic Forms II". In this paper, I encountered with the map $E^1_\omega$, which now I am interested in.
Let $X$ be an ...
3
votes
1
answer
188
views
Are those $2$ quadratic forms congruent over $\mathbb{Z}[1/q]$
Let $q$ be a natural number (the first cases of interest being $q = 10,12$ or $15$), and let $n = q^2+q+1$. Also, let $I_n$ be the $n\times n$ identity matrix, and let $A_n$ be the $n\times n$ ...
- 1,017
8
votes
2
answers
522
views
What's in the genus of the cubic lattice?
I'll write $\mathbf{Z}^n$ for the integral quadratic form $x_1^2 + \cdots + x_n^2$. For which values of $n$ is $\mathbf{Z}^n$ unique in its genus, i.e. isolated in Kneser's graph? In particular can ...
- 4,949
7
votes
0
answers
253
views
Question on some coverings of the euclidean space
Let $L$ be a maximal integral lattice in the euclidean $(\mathbf R^{8m},q)$ (thus the associated bilinear form $b(u,v)=q(u+v)-q(u)-q(v)$, once restricted to $L$, takes values in $2\mathbf Z$ and has ...
- 1,980
12
votes
3
answers
790
views
2-dimensional sublattices with all vectors having very big square (in absolute value)
QUESTION: Let $\Lambda\times\Lambda\rightarrow {\Bbb Z}$ be a lattice,
that is, ${\Bbb Z}^n$ with a non-degenerate integer quadratic form, not
definite, not necessarily unimodular, $n>2$. I want ...
- 9,237
0
votes
1
answer
123
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)$. ...
- 424
10
votes
1
answer
1k
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 ...
- 2,521
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
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
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 ...
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
0
votes
1
answer
128
views
A description of the isometry group $O(U\oplus E_8)$?
Are there any good description of the isometry group $O(U\oplus E_8)$? Here $U$ denotes the hyperbolic lattice and $E_8$ the root lattice of type $E_8$.
- 21
2
votes
1
answer
358
views
How to determine $O(L)$ is finite or not?
Let $L$ be an indefinite {\it non-unimodular} integral lattice. I am particularly interested in unimodular cases, such as $U(2)\oplus A_4, U\oplus D_4$. Are there any general method to determine ...
- 21
3
votes
1
answer
607
views
Automorphism groups of indefinite non-unimodular integer lattices
Does anyone know of any papers in which structural aspects of the orthogonal group of some indefinite non-unimodular integral lattice are calculated? The exact lattice isn't so important and they don'...
- 31
1
vote
0
answers
120
views
Tensor product with $\mathbb{R}$ of an even unimodular lattice
Let $\Lambda$ be an unimodular even lattice of signature $(m,n)$.
By a classifying theorem by Milnor, $\Lambda$ must be of the form $U^k\oplus E_8(\pm 1)^l$, where $U$ is the hyperbolic plane.
Now ...
8
votes
1
answer
781
views
genus and spinor genus over a number field
Let $F$ be a number field with ring of integers $\mathfrak{o}$. Let $(V,Q)$ be a quadratic space of dimension $n$ over $F$, and let $L$ be a free lattice in $V$ (i.e. $L\cong\mathfrak{o}^n$). If the ...
2
votes
2
answers
299
views
Involution of $E_{8}$ lattice
Let $L$ be a lattice associate to the Dykin matrix of type $E_{8}$. I would like to understand involutions of $L$ and their invariant $L^{+}$ and coinvariant lattice $L^-$ (I think they are isomorphic)...
- 21
1
vote
1
answer
132
views
Lorentz quotient and orientation
$$ U \; = \;
\left( \begin{array}{cc}
0 & 1 \\\
1 & 0
\end{array}
\right) ,
$$
Given a real oriented vector space $V$ with inner product, form Lorentzian $L = V \oplus U....
- 25.7k
5
votes
0
answers
213
views
Effect of Covering Radius on Shortest Vector
For "even" integral lattices in dimension at least 4, does a covering radius strictly less than $\sqrt 2$ imply that there is a vector of norm 2, also called a root?
Note that this is simply false in ...
- 25.7k
2
votes
0
answers
243
views
Hurwitz integers and $F_4$
The Hurwitz integers are
$$
\mathcal H=
\{a+bi+cj+dk:a,b,c,d\in\mathbb Z\;\text{ or } \;a,b,c,d\in \tfrac12+\mathbb Z\}.
$$
I want to know if there is a formula, for $m\in\mathbb Z$, for the number ...
- 2,446
0
votes
0
answers
113
views
Question regarding contiguous forms
I read about contiguous forms in Achill Scürmann's thesis on positive quadratic forms. I am wondering about one aspect of the Voronoi algorithm presented in there, that enumerates all arithmetically ...
- 149
1
vote
2
answers
303
views
About lattice $\pmod q$
For any matrix $A \in Z^{n\times m}$, Let $$\wedge_q(A)=\{ y\in Z^m\mathpunct{:}\exists s\in Z^n,\text{ s.t. }y=A^ts \pmod q \},$$ $$\wedge_q^\bot(A)=\{x\in Z^m: Ax=0 \pmod q\}.$$ There is a result ...
- 139
5
votes
1
answer
466
views
Finding Generators of O( Z^3,x^2 + xy + y^2 - z^2) and integer solutions
All pythagorean triples can be generated from $(3,4,5)^T$ and $(5,4,3)^T$ by the matrices:
\[ A = \left(\begin{array}{ccc} -1 & 2 & 2 \\\\ -2 & 1 & 2 \\\\-2 & 2 & 3 \end{array}...
- 22.8k
6
votes
1
answer
621
views
Lorentzian characterization of genus
Suppose we take the "even" indefinite lattice from page 50 in Serre A Course in Arithmetic (1973)
$$ U \; = \;
\left( \begin{array}{cc}
0 & 1 \\\
1 & 0
\end{array}
\right),$$
...
- 25.7k
18
votes
3
answers
2k
views
A Priori proof that Covering Radius strictly less than $\sqrt 2$ implies class number one
It turns out that each of Pete L. Clark's "euclidean" quadratic forms, as long as it has coefficients in the rational integers $\mathbb Z$ and is positive, is in a genus containing only one ...
- 25.7k
6
votes
2
answers
642
views
Is the square of the covering radius of an integral lattice/quadratic form always rational?
This is one of many observations from Pete L. Clark's questions on "Euclidean" quadratic forms. I sent Pete many positive integral forms that obeyed his condition. In turn, his condition turns out to ...
- 25.7k