Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

I have found this proposition:

$W^\perp\cap\Lambda=0$ if and only if $\exists w \in W$ such as $w^\perp \cap \Lambda =0$ (of course orthogonality is referred to the quadratic form $q$)

clearly the implication $\Leftarrow$ is trivial as $W^\perp \subset w^\perp$.

I have difficulties formalizing the other implication, this is how i'm thinking, but i don't know if it's right:

In the worst case it will be $\Lambda\cap W\simeq \mathbb{Z}^3$ and so in $W$ i'm able to find a 2-dimensional plane $\widetilde{W}$ such as $\widetilde{W}\cap \Lambda=0$ (thinking in $\mathbb{R}^3$ with the canonical quadratic form i can take the plane $\langle e_1,e_2\rangle$ with $e_1=(1,0,0)$ and $e_2=(0,\sqrt{2},0)$). $\widetilde{W}$ is the orthogonal space of a vector in $W$, say $\widetilde{w}$. So now i should have $\widetilde{w}^\perp=\widetilde{W}\oplus W^\perp$ and $\widetilde{w}^\perp\cap \Lambda=0$.

Does it convince you?

share|cite|improve this question
where did you find the proposition? – Will Jagy Jan 14 '13 at 20:14
here remark 3.5 – ciccio Jan 14 '13 at 20:37

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.