3
votes
1answer
109 views

Generators of Special Linear Groups

Linear algebra and special-linear group experts please help: I learn that in principle one can generate this $M$ matrix form the $B_1$ and $B_2$ matrix below. Here $$ M=\begin{pmatrix} 0& 1& ...
7
votes
1answer
58 views

Orbits of action of $SL_m(\mathbb{Z})$ on $\mathbb{Z}^m$

I'm considering the action of $SL_m(\mathbb{Z})$ on $\mathbb{Z}^m$: if $A\in SL_m(\mathbb{Z})$ and $v\in\mathbb{Z}^m$, then $Av\in\mathbb{Z}^m$. My question is: what are the orbits of this action? ...
4
votes
1answer
48 views

Lattice in a vector space of dim 2 over a valuated field.

I'm reading "Arbres, amalgames et SL2" of J.P. Serre, and something is not clear to me, but is to him :) Let $k$ be a field, with a discrete valuation $v$, ie a group epimorphism $v:k^\ast \to ...
0
votes
1answer
37 views

Equivalence of Lattices

Let $\Gamma=\{mw_1+nw_2:m,n\in\mathbb{Z}\}$ and $\Gamma'=\{mw_1'+nw_2':m,n\in\mathbb{Z}\}$. Show that $\Gamma=\Gamma'$ if and only if there exists a matrix $A\in SL(2,\mathbb{Z})$ such that $\left( ...
1
vote
0answers
68 views

A lattice-theoretic question related to noncommutative tori

[NCG] So I'm trying to pin down a fairly well-known bit of noncommutative-geometric folklore that says that for $\Theta \in M_N(\mathbb{Q})$ skew-symmetric, the corresponding noncommutative $N$-torus ...
2
votes
1answer
80 views

Proof of the finite number of Bravais lattices?

I've been taught that there are a finite number of Bravais lattices in 1, 2 and 3 dimensions. I am wondering if there is a proof of this fact. Maybe this is obvious and I am only missing certain key ...
0
votes
0answers
77 views

Obstruction to construct the set of vectors in lattice

Lets consider a lattice $\mathbb{Z}^n$ with some unimodular scalar product $\mathbb{Z}^n \times \mathbb{Z}^n \mapsto \mathbb{Z}$ and the set of vectors $e_0,\ldots,e_k$ with conditions: $$ ...
7
votes
1answer
116 views

What is the limit $\lim\limits_{(x,y)\to(1,1),\ (x,y)\in S}(1-x^py^q)(1-x^ry^s)\sum_{p/q\le m/n\le r/s}x^my^n$?

Let $S=[0,1)^2$ and $m,n$ are positive integers and $p/q,r/s$ are positive rationals with $p/q<r/s$. What is the limit $$\lim\limits_{(x,y)\to(1,1),\ (x,y)\in S}(1-x^py^q)(1-x^ry^s)\sum_{p/q\le ...
1
vote
1answer
151 views

How tell if a polyhedron contains a lattice point

So given a polyhedron $Ax \le b$ Is there an Algorithm or formula to determine whether said polyhedron contains a lattice point (integer point) I was thinking a couple things: brute force ...
2
votes
0answers
42 views

When does a simplex have an interior lattice point?

Given $r$ vectors $v_1, \dots, v_r$ in $\mathbb{Z}^n$, is there an easy way (in terms of the entries of the $v_i$) to determine if there is a point of $\mathbb{Z}^n$ in the interior of the simplex ...
1
vote
1answer
186 views

What happens when the basis vectors of an integer lattice are not linearly independent?

The definition of a lattice requires basis vectors that are not linearly independent. Why? Specifically the following three vectors are linearly independent and form the basis of a lattice: ...
0
votes
0answers
60 views

Orthogonality in a lattice

Let $\Lambda$ be a lattice with a quadratic form $q$ of signature (3,19). Let $\Lambda_{\mathbb{R}}:=\Lambda\otimes \mathbb{R}$ and $W\subset \Lambda_{\mathbb{R}}$ a positive subspace of dimention 3. ...
2
votes
1answer
33 views

dist($av$, $L$) = $a \cdot $ dist($v$, $L$)?

If $L$ is a lattice subspace and $v$ is the closest lattice point to $L$, why does dist($av$, $L$) = $a \cdot $ dist($v$, $L$)? I saw this step in a proof that every lattice has a lattice basis. (I ...
15
votes
5answers
679 views

Every integer vector in $\mathbb R^n$ with integer length is part of an orthogonal basis of $\mathbb R^n$

Suppose $\vec x$ is a (non-zero) vector with integer coordinates in $\mathbb R^n$ such that $\|\vec x\| \in \mathbb Z$. Is it true that there is an orthogonal basis of $\mathbb R^n$ containing $\vec ...
1
vote
0answers
45 views

Automorphisms of a lattice and changing to a nicer $\mathbb{Z}$-base

Suppose I have an integral lattice $L$ with an arbitrary $\mathbb{Z}$-base, equipped with a positive-definite nondegenerate symmetric bilinear form $\langle\cdot,\cdot\rangle$, and an isometry $\nu$ ...
0
votes
2answers
182 views

Finding a basis for a complex lattice given a nondivisible vector in the lattice

If I am given some lattice defined as, say $$L=\{Az_1+Bz_2\ |\ A,B \in\mathbb{Z}\}$$ and a vector $v=az_1+bz_2$ , where $\gcd(a,b)=1$, I would like to find another vector $\,w\in L\,$ such that ...
1
vote
1answer
41 views

Multiplications by unimodular matrices

I feel like this must have an obvious answer, but my knowledge of integer arithmetic is limited. Given an (integer) matrix $A$ of dimension $m \times n$ and an unimodular matrix $U_l$ of dimension $m ...
4
votes
1answer
163 views

Is there an algorithm to find a basis for the lattice $V \cap \Bbb{Z}^n$ given a basis for $V \subseteq \Bbb{Q}^n$?

This might be a stupid/very simple question, but since I can't quite seem to come up with a nice trick I will ask it anyway. Assume that we have a vectorspace $V \subseteq \mathbb{Q}^n$ given in the ...
2
votes
2answers
607 views

Finding a basis for the solution space of a system of Diophantine equations

Let $m$, $n$, and $q$ be positive integers, with $m \ge n$. Let $\mathbf{A} \in \mathbb{Z}^{n \times m}_q$ be a matrix. Consider the following set: $S = \big\{ \mathbf{y} \in \mathbb{Z}^m \mid ...
8
votes
2answers
228 views

Show that the matrix $A$ with integer entries is injective on the reals to $\mathbb{R}^m$ iff it is injective on the integer lattice.

Show that the $m \times n$ matrix $A$ with integer entries is an injective linear map from $\mathbb{R}^n$ to $\mathbb{R}^m$ iff it is injective as a linear map from $\mathbb{Z}^n$ to $\mathbb{Z}^m$. ...
2
votes
1answer
266 views

Lattices in complex vector spaces

if I have a finite dimensional complex vector space $V$ with a lattice $\Gamma$ in $V$, then I consider the complex linear span in $V\oplus \overline{V}$ of the elements $\gamma \oplus ...