6
votes
0answers
112 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, ...
5
votes
2answers
146 views

Covolume of the row span of a matrix and of the kernel of a matrix

Let $L$ be a $k$-dimensional lattice in $\mathbb{R}^n$. The covolume $\hbox{CoVol}(L)$ of $L$ is the $k$-dimensional volume of a fundamental domain for $L$, i.e., the volume of the parallelopiped ...
5
votes
1answer
307 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 ...
3
votes
0answers
102 views

Lattice with trivial spinor norm

Let $\Lambda$ be a non-degenerate lattice (over $\mathbb{Z}$) with quadratic form $q$. I define the spinor norm $\theta \colon O(\Lambda_\mathbb{R} )\to \lbrace\pm 1\rbrace$ as follows: For a ...
22
votes
0answers
362 views

Is there an Ehrhart polynomial for Gaussian integers

Let $N$ be a positive integer and let $P \subset \mathbb{C}$ be a polygon whose vertices are of the form $(a_1+b_1 i)/N$, $(a_2+b_2 i)/N$, ..., $(a_r+b_r i)/N$, with $a_j + b_j i$ being various ...
3
votes
1answer
164 views

Is this bounded from below?

Let $u_1, u_2, u_3 \in \mathbb{Z}$ such that $u_1^2 + u_2^2 = u_3^2$. Is $(u_3 + \frac{u_1 + u_2}{\sqrt{2}})^2$ bounded from below? The irrationality of $\sqrt{2}$ certainly precludes zero, but can ...
7
votes
0answers
175 views

Inequality regarding sum of gaussian on lattices

When S is a subset of an inner product space, let d(S) denote ${\sum\limits_{s \in S} e^{- \langle s,s \rangle}}$ Suppose L is a discrete additive subgroup of $\mathbb{R^n}$, M is a subgroup of L, ...
0
votes
0answers
64 views

approximate coordinates in a one dimensional lattice

suppose I have a finite set of real numbers ${r_1, \ldots r_n \in \mathbf{R} }$ and a single real number $x \in \mathbf{R}$. Is there a fast algorithm for finding integer numbers ${i_1, \ldots i_n \in ...
4
votes
2answers
180 views

Even unimodular lattices with root system $32 A_1$

I'm studying Venkov's proof of the classification of even unimodular rank 24 lattices, and it prompted the following question. For an even unimodular lattice $L$, let $R(L)= \{ x \in L : (x,x) =2\}$ ...
6
votes
0answers
81 views

Minimum of the product of linear forms over a lattice

In Chapter [IX.1] of Siegel's Lectures on the Geometry of Numbers it is shown that if we have $n$ linear forms $y_{j}=\sum_{k=1}^{n}{a_{jk}x_{k}},\quad j=1,\ldots,n$, with the coefficient matrix ...
10
votes
3answers
406 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 ...
1
vote
0answers
77 views

Classification of involutions of the lattice $H\oplus H(k)^{\oplus2}$ for $k=5,6$?

Let $H$ denote the hyperbolic lattice (rank 2 lattice generated by $e,f$ such that $e^2=f^2=e.f-2=0$). Let $k >0$ be an integer. Is it possible to classify involutions $\iota$ of the lattice $$ ...
3
votes
2answers
194 views

Minkowski successive minima inequality for a lattice base?

Let $\Lambda$ be a lattice of $\mathbb{R}^n$, and $\lambda_i$ be the radius of the smallest ball containing $i$ linearly independent lattice vectors. The Minkowski successive minima inequality says ...
2
votes
1answer
258 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 ...
6
votes
3answers
548 views

Sums of inverse determinants over matrices

Let $A \in M_n(\mathbb Z)$ and $\|A\| = \max |a_{ij}|$. Denote $$ S(r) = \sum_{\substack{\|A\| \leq r \\\ \det{A} \neq 0}} \dfrac{1}{|\det{A}|} $$ - the sum over all matrices $A \in M_n(\mathbb Z)$ ...
10
votes
4answers
838 views

Concrete examples of noncongruence, arithmetic subgroups of SL(2,R)

A subgroup of $SL_2(\mathbb{R})$ is called arithmetic if it is commensurable with $SL_2(\mathbb{Z})$. An arithmetic subgroup is called congruence if it contains a subgroup of type $\Gamma(N)$ for ...
6
votes
1answer
395 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 ...
5
votes
0answers
159 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 ...
2
votes
0answers
211 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 ...
1
vote
2answers
211 views

About lattice $\pmod q$

For any matrix $A \in Z^{n\times m}$, Let $$\wedge_q(A)=\{ y\in Z^m:\exists s\in Z^n, s.t. y=A^ts (\mod q) \},$$ $$\wedge_q^\bot(A)=\{x\in Z^m: Ax=0 (\mod q)\}.$$ There is a result stating that ...
5
votes
1answer
419 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 ...
8
votes
1answer
659 views

The Number of Short Vectors in a Lattice

Given a lattice $L = \bigoplus_{i=1}^{m} \mathbb{Z}v_i$ (the $v_i$ are linearly independent vectors in $\mathbb{R}^n$) and a number $c > 0$, can one quickly compute or find a good estimate on the ...
4
votes
1answer
434 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),$$ ...
17
votes
3answers
1k 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 ...
6
votes
2answers
406 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 ...
9
votes
1answer
461 views

Niemeier lattices and theta functions

I have an extremely elementary question. Let's say someone randomly hands you a theta function associated to a Niemeier lattice (unimodular even, n=24). What can you say about which Niemeier lattice ...
5
votes
4answers
599 views

Angles in an integral lattice

Let $d\geq 1$ be a fixed integer, and $\mathbb{Z}^d$ be the lattice of all integers; consider the set $A_d \subset [-1,1]$ defined by $$ \alpha \in A_d \ \iff \ \alpha=\frac{v \cdot w}{\|v\| \|w\|} ...
18
votes
1answer
652 views

How random are unit lattices in number fields?

I was wondering how random unit lattices in number fields are. To make this more precise: If $K$ is a number field with embeddings $\sigma_1, \dots, \sigma_n, \overline{\sigma_{r+1}}, \dots, ...
0
votes
1answer
302 views

Q-lattices and commensurability, any insight into the definition and intuition?

I've been coming across $\mathbb{Q}$-lattices in $\mathbb{R}^n$ in my reading, and I'm having trouble understanding the definitions. Connes and Marcolli define it as a lattice $\Lambda \in ...
2
votes
1answer
255 views

Relative integral basis for CM extensions

Suppose $K=\mathbf{Q}(\sqrt{d})$; it's well known that $\mathcal{O}_K$ is $\mathbf{Z}+\frac{D+\sqrt{D}}{2}\mathbf{Z}$, where $D$ is the discriminant. What is the analogue of this for a CM extension ...
9
votes
1answer
431 views

Condition for existence of certain lattice points on polytopes

Let $a_1,\cdots, a_n$ be integers such that $a_i\geq 2$ for all $i$ and $k>0$ another integer. I am interested in whether there exist integers $x_1,\cdots, x_n$ with $0<x_i<a_i$ satisfying: ...
9
votes
3answers
600 views

A “round” lattice with low kissing number?

Historically, the lattices with high density were studied intensively, e.g. E_8 lattice or Leech Lattice. However, there are situations that lattices with low kissing number are required. ...