Skip to main content
Fixed title (won't bother with the question body)
Link
S. Carnahan
  • 45.7k
  • 6
  • 114
  • 220

Is Does every positive-definite integral lattice a sublattice ofadmit an angle-preserving homomorphism into $\Bbb Z^n$ for some $n$?

added 293 characters in body
Source Link
M. Winter
  • 13.6k
  • 3
  • 29
  • 70

Some initial clarifications

By lattice I mean aan additive subgroup of the additive group $\mathbb R^n$ thatwhich is isomorphic to $\mathbb Z^n$ and has full rank (that is, iti.e. spans $\mathbb R^n$$\Bbb R^n$ when considered as a set of vectors) and which is also isomorphic to $\mathbb Z^n$. A lattice $\mathcal L$ is integral if any $v,w\in\mathcal L$ have $\langle v,w\rangle\in\mathbb Z$ for all $v,w\in\mathcal L$, where $\langle\cdot,\cdot\rangle$ denotes the standard inner product.

Above terms are standard, but some of the terms I will use in the following, like "sublattice" and "lattice isomorphism", are probably not standard. Feel free to correct my terminology, as I simply do not know enough of that subject.


The actual question

I wonder whether every integral lattice $\mathcal L$ is isomorphic to a sublattice of $\mathbb Z^n$ in the following sense:

Consider some vectors $v_1,..., v_k\in\mathbb Z^n$. Then $$\mathcal L(v_1,...,v_k):=\mathrm{span}\{v_1,...,v_k\}\cap \mathbb Z^n$$ is an integral lattice in $\mathrm{span}\{v_1,...,v_k\}\subseteq\mathbb R^n$ (with the inner product inherited from $\mathbb Z^n$), and will be called a sublattice of $\mathbb Z^n$.

TwoI care about whether I can find $\mathcal L$ in $\Bbb Z^n$ with the right angles, not necessarily the right scale. So I need the following kind of "isomorphism": two lattices $\mathcal L_1$ and $\mathcal L_2$ are said to be isomorphic, if they are isomorphic as groups (by somethere is a group isomorphism $\phi:\mathcal L_1\to\mathcal L_2$) and if there exists a constant $\alpha\in\mathbb R$, so that $$\langle \phi(v),\phi(w)\rangle=\alpha \langle v,w\rangle,\quad\text{for all $v,w\in\mathcal L_1$}.$$ with

If not all integral lattices are such sublattices, are there some natural restriction (e.g. unimodularity) to make this true?$$\langle \phi(v),\phi(w)\rangle=\alpha \langle v,w\rangle,\quad\text{for all $v,w\in\mathcal L_1$}.$$

By lattice I mean a subgroup of the additive group $\mathbb R^n$ that has full rank (that is, it spans $\mathbb R^n$ when considered as a set of vectors) and which is also isomorphic to $\mathbb Z^n$. A lattice $\mathcal L$ is integral if any $v,w\in\mathcal L$ have $\langle v,w\rangle\in\mathbb Z$, where $\langle\cdot,\cdot\rangle$ denotes the standard inner product.

I wonder whether every integral lattice $\mathcal L$ is isomorphic to a sublattice of $\mathbb Z^n$ in the following sense:

Consider some vectors $v_1,..., v_k\in\mathbb Z^n$. Then $$\mathcal L(v_1,...,v_k):=\mathrm{span}\{v_1,...,v_k\}\cap \mathbb Z^n$$ is an integral lattice in $\mathrm{span}\{v_1,...,v_k\}\subseteq\mathbb R^n$ (with the inner product inherited from $\mathbb Z^n$), and will be called a sublattice of $\mathbb Z^n$.

Two lattices $\mathcal L_1$ and $\mathcal L_2$ are said to be isomorphic, if they are isomorphic as groups (by some group isomorphism $\phi:\mathcal L_1\to\mathcal L_2$) and if there exists a constant $\alpha\in\mathbb R$, so that $$\langle \phi(v),\phi(w)\rangle=\alpha \langle v,w\rangle,\quad\text{for all $v,w\in\mathcal L_1$}.$$

If not all integral lattices are such sublattices, are there some natural restriction (e.g. unimodularity) to make this true?

Some initial clarifications

By lattice I mean an additive subgroup of $\mathbb R^n$ which is isomorphic to $\mathbb Z^n$ and has full rank (i.e. spans $\Bbb R^n$ when considered as set of vectors). A lattice $\mathcal L$ is integral if $\langle v,w\rangle\in\mathbb Z$ for all $v,w\in\mathcal L$, where $\langle\cdot,\cdot\rangle$ denotes the standard inner product.

Above terms are standard, but some of the terms I will use in the following, like "sublattice" and "lattice isomorphism", are probably not standard. Feel free to correct my terminology, as I simply do not know enough of that subject.


The actual question

I wonder whether every integral lattice $\mathcal L$ is isomorphic to a sublattice of $\mathbb Z^n$ in the following sense:

Consider some vectors $v_1,..., v_k\in\mathbb Z^n$. Then $$\mathcal L(v_1,...,v_k):=\mathrm{span}\{v_1,...,v_k\}\cap \mathbb Z^n$$ is an integral lattice in $\mathrm{span}\{v_1,...,v_k\}\subseteq\mathbb R^n$ (with the inner product inherited from $\mathbb Z^n$), and will be called a sublattice of $\mathbb Z^n$.

I care about whether I can find $\mathcal L$ in $\Bbb Z^n$ with the right angles, not necessarily the right scale. So I need the following kind of "isomorphism": two lattices $\mathcal L_1$ and $\mathcal L_2$ are isomorphic, if there is a group isomorphism $\phi:\mathcal L_1\to\mathcal L_2$ and a constant $\alpha\in\mathbb R$ with

$$\langle \phi(v),\phi(w)\rangle=\alpha \langle v,w\rangle,\quad\text{for all $v,w\in\mathcal L_1$}.$$

edited tags
Link
GH from MO
  • 105.4k
  • 8
  • 293
  • 398
deleted 121 characters in body
Source Link
M. Winter
  • 13.6k
  • 3
  • 29
  • 70
Loading
added 39 characters in body
Source Link
paul garrett
  • 23k
  • 3
  • 86
  • 125
Loading
added 344 characters in body
Source Link
M. Winter
  • 13.6k
  • 3
  • 29
  • 70
Loading
added 25 characters in body
Source Link
M. Winter
  • 13.6k
  • 3
  • 29
  • 70
Loading
added 17 characters in body
Source Link
M. Winter
  • 13.6k
  • 3
  • 29
  • 70
Loading
added 483 characters in body
Source Link
M. Winter
  • 13.6k
  • 3
  • 29
  • 70
Loading
Source Link
M. Winter
  • 13.6k
  • 3
  • 29
  • 70
Loading