The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
0answers
40 views

Subgroup of spinor norm 1 has index 2

Let $L$ be a lattice (free $\mathbb{Z}$-module) with even unimodular quadratic form $q$. Let $L$ be of even rank $2m$ and let's write $L_{\mathbb{R}}$ for $L\otimes \mathbb{R}$. I know that each ...
7
votes
1answer
212 views

Main problems on lattice-basis reduction algorithms (such as LLL)?

What are the main open problems on lattice-basis reduction algorithms (such as LLL)? I am looking for problems satisfying the following two conditions: (a) their solution would likely be of some ...
1
vote
1answer
76 views

Submodular measures on the hypercube

By the hypercube I mean the lattice formed by all n-bit strings ordered by pointwise inequality. For example, $000 \leq 110$, $010 \leq 110$, $110$ and $001$ are not comparable. Further we have the ...
1
vote
0answers
75 views

lattice coset counting

Let $m\geq 1$ be an integer and denote $B_m = \{-m, -m+1, \dots, m\}^n$. Suppose that $M\subseteq \mathbb{Z}^n$ is a module. By the structure theorem we can write $$ \mathbb{Z}^n/M \simeq ...
0
votes
2answers
113 views

sublattice generated by lattice points intersecting a convex set

Suppose that $M\subseteq \mathbb{Z}^n$ is a module such that $\mathbb{Z}^n/M$ is free and $S\subseteq \mathbb{R}^n$ is a bounded, symmetric (around $0$) convex set. Let $M'$ be the module generated by ...
1
vote
0answers
76 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
123 views

Techniques for showing optimality of given packing

There are some natural packing problems that have been asked in mathematics. Some of them are: 1)How many balls can be placed with in a cube? 2)How many equidistant points can be place on the ...
2
votes
2answers
246 views

Embedding a brouwerian lattice into a boolean lattice

I have already asked a similar question at http://math.stackexchange.com/questions/470704/can-a-brouwerian-lattice-be-extended-into-a-boolean-algebra but have received no answer. Sorry, I ask a ...
3
votes
2answers
156 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 ...
1
vote
0answers
120 views

Determine lattice basis from given lattice points

I'm working on the Shortest Lattice Vector Problem (SVP) for a paper that I'm currently writing. I wish to verify whether a particular structural, namely the building block property ( refer to the ...
6
votes
1answer
281 views

A characterization of the poset of filters on a set

For the lattices of all subsets of a given set it is known an axiomatic characterization: A poset is isomorphic to a set of all subsets of some set iff it is a complete atomic boolean algebra. The ...
6
votes
0answers
211 views

What are the homological properties of Young's lattice?

Young's lattice $Y$ is a graded poset and a distributive lattice whose elements are all the partitions of $n$ for $n \in \mathbb{N}$ with the poset relation coming from inclusion of Young diagrams. ...
0
votes
1answer
69 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$.
2
votes
1answer
251 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 ...
2
votes
2answers
113 views

Are there atomistic ortholattices which are not modular?

Let $L$ be an atomic ortholattice. We say that two elements $a$ and $b$ of $L$ are orthogonal if $a\leq b^\perp$. If $L$ is orthomodular then every element of $L$ can be written as a join of pairwise ...
2
votes
1answer
270 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 ...
1
vote
1answer
187 views

Diagonalization of Quaternion Hermitian matrices

How do I go about diagonalizing such a matrix. I ask because I need to sort out the following problem: Let $D$ be the quaternion algebra over $\mathbb{Q}$ with $i^2 = -1, j^2 = -11, ij=-ji=k$. ...
0
votes
0answers
112 views

Lattice basis reductions and finding minimal values

While reading several articles about lattice basis reduction I am left with a few questions. For one, I came across this piece of text Let $\alpha$ and $\beta \in \mathbb{R}$. Also let $X>0$ and ...
1
vote
0answers
39 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 ...
1
vote
0answers
54 views

Reference request: Compact metrizable semilattices with small connected semilattices are absolute retracts

Let $X$ be a compact metrizable topological semilattice with a neighbourhood base of sub-semilattices that are path connected. I need a reference for a proof that $X$ is an absolute retract. Here is ...
2
votes
1answer
209 views

Lattice points in cross-polytopes

Let $E\subset \mathbb{R}^n$ be a cross-polytope: $$E= \left\lbrace x : \frac{|x_1|}{q_1}+\cdots+\frac{|x_n|}{q_n}\leq 1 \right\rbrace, $$ where $q_1,\dots,q_n$ are positive integers. I am interested ...
4
votes
1answer
173 views

Zoll Flat Finsler tori and convex bodies on a starry night

The starry night. The "celestial sphere" is given by set of non-zero vectors in $\mathbb{R}^n$ modulo positive dilations (i.e., $v \equiv w$ if $v = \lambda w$ for some $ \lambda > 0$) and the ...
1
vote
2answers
131 views

Equivalence relations in suplattices

I am wondering about generalisations of the concept of equivalence relations to suplattices. Here is my motivation: Given a set $X$. The powerset $\mathcal{P}(X)$ is a suplattice. For suplattices ...
1
vote
1answer
189 views

Commutative, idempotent partially ordered monoids

A unital quantale is a suplattice with a compatible monoid structure. A quantale is called idempotent if it is idempotent as a monoid (every element is idempotent) (analogously for commutativity). ...
6
votes
3answers
542 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)$ ...
6
votes
0answers
138 views

Minkowski's convex body theorem for ellipsoids

Minkowski's theorem states that if $K\subseteq\mathbb{Z}^n$ is a convex compact set, $K=-K$, and $\mathrm{volume}(K)\geq 2^n$, then $K$ contains a nonzero integral vector. Can this bound be improved ...
1
vote
0answers
126 views

A question on the theorem of Minkowski-Hlawka

The Minkowski-Hlawka theorem (as stated by Gruber in his lovely book Convex and Discrete Geometry) says that if $S$ is a Jordan measurable set in $\mathbb{R}^n$ with volume < 1. Then there is a ...
1
vote
1answer
112 views

General and translational Birkhoff lattices. Equational classes.

By  lattice  I'll mean  Birkhoff lattice. The two classical equational classes of lattices are modular lattices and distributive lattices. The old problem used to be: Is there an ...
9
votes
4answers
720 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 ...
7
votes
6answers
1k views

Giving $Top(X,Y)$ an appropriate topology

I am not sure if its OK to ask this question here. Let $Top$ be the category of topological spaces. Let $X,Y$ be objects in $Top$. Let $F:\mathbb{I}\rightarrow Top(X,Y)$ be a function (I will ...
7
votes
1answer
177 views

Is the group of integer points of ${\rm SO}(n,1)$ maximal?

That is, is it true that there does not exist a lattice in $G = {\rm SO}(n,1)$ which contains the group of integer points of $G$ as a proper subgroup (obviously then of finite index)? if such a ...
0
votes
0answers
116 views

Relation between the index of (the sum of) lattices in euclidean space, and their orthogonal complement.

I am trying to figure out something concerning the index of lattices. The question came about after reading the paper of W.Fulton and B.Sturmfels, ("Intersection theorey on toric varieties"). To ...
1
vote
1answer
299 views

Minkowski's successive minima: A quantity not much larger than det(L)^(1/n) and not much smaller than λ_n(L)?

Let $\mathbf{v}_1, \mathbf{v}_2, ..., \mathbf{v}_n$ be $n$ linearly independent vectors in an $n$-dimensional lattice $\Lambda$ in $\mathbf{R}^n$ and let $\mathbf{v}^*_1 ,\mathbf{v}^*_2, ..., ...
1
vote
1answer
109 views

Lattice basis with Gram-Schmidt vectors of increasing length

Let $\Lambda$ be an $n$-dimensional lattice in $\mathbb R^n$ and let $\cal B$ be the set of all bases that generate $\Lambda$. For a basis $\mathbf{B}=[\mathbf{b}_1, ... ,\mathbf{b}_n]\in {\cal B}$, ...
5
votes
0answers
193 views

Lattice points inside a (n-dimensional) tetrahedron

Hi, overflowers. I was interested in a sharp lower bound for the number of lattice points (say, integral lattice points) inside the tetrahedron defined by the coordinate hyperplanes and ...
5
votes
2answers
460 views

Area of a lattice polygon in terms of its width

Let $M$ be a lattice polygon on a plane (i.e. its vertices are integer points $(i,j)\in\mathbb Z^2$). Let us define lattice width in a direction $v=(m,n)\in\mathbb Z^2$ as $w_v(M)=\max\limits_{x,y\in ...
1
vote
0answers
74 views

Orthogonal trasformations with trivial spinor norm as product of reflections $r_w$ with $(w,w)=-2$

I'm trying to prove that, for a standard unimodular even lattice $\Lambda$ (by standard i mean that it is direct sum of copies of the hyperbolic plane $U$ and $E_8$) every element of $O^+(\Lambda)$ ...
4
votes
1answer
241 views

A question of compactness in the geometry of numbers

Given a star body $S \subset \mathbb{R}^n$ with the origin as interior point, the critical determinant of $S$---usually denoted as $\Delta(S)$---is the infimum of the determinants of all lattices ...
8
votes
4answers
467 views

Applications of n-dimensional crystallographic groups

I would like to know what are the applications of the theory of $n$-dimensional crystallographic groups (aka space groups) 1) in mathematics 2) outside of mathematics, besides the applications to ...
4
votes
1answer
137 views

Lattice in motion group

Let $\Gamma$ be a discrete cocompact subgroup of the euclidean motion group $$ G={\mathbb R}^d\rtimes O(d). $$ Let $\phi:G\to O(d)$ the projection homomorphism. Is it true that $\phi(\Gamma)$ is ...
10
votes
2answers
526 views

discrete subgroups of Lie groups and actions on homogeneous spaces

Let $\Gamma$ be a discrete subgroup of a connected finite dimensional Lie group $G$. Let $K$ be a maximal compact subgroup of $G$ and denote $X=G/K$. It is well-known that $\Gamma$ acts properly on ...
0
votes
1answer
92 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. ...
1
vote
1answer
107 views

orthogonal base in unimodular lattice

Let $\Lambda$ be an unimodular lattice with a quadratic form $(-,-)$ of signature $(m,n)$ , $m,n>0$. I know that, fixed a base $e_1,\cdots,e_{m+n}$ for $\Lambda$, the matrix which has entries ...
4
votes
2answers
483 views

Property of lattices in Lie groups

Let $\Gamma$ be a lattice in a (real or p-adic) Lie group. Is it true that for a given natural number $n$ there exists a finite index subgroup $\Sigma\subset\Gamma$ such that each $\sigma\in\Sigma$ is ...
2
votes
1answer
112 views

Distributive lattice embedding into a finite lattice.

Suppose one has an inclusion $\iota : D \hookrightarrow S$ where $D$ is a finite distributive lattice and $S$ is a finite join-semilattice. If $\iota$ preserves all meets and joins one can show that ...
2
votes
2answers
281 views

Banach lattice subspace of $C([0,1])$ not a sublattice

This is probably easy, but I did not see it in standard texts. Describe a closed subspace $V$ of $C([0,1])$ such that $V$ is a Banach lattice (in the pointwise ordering), but $V$ is not a sublattice ...
1
vote
1answer
98 views

distributive sublattices of atomistic ortholattices

Let $L$ be an atomistic ortholattice (i.e. every element can be written as a join of atoms) with top and bottom elements 0 and 1, and let $M$ be a distributive atomic sub-ortholattice of $L$. Is $M$ ...
5
votes
1answer
326 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 ...
1
vote
0answers
60 views

Reference request for gluing construction of lattices

I would like to study gluing method of lattices (such as constructing Niemeier lattices from certain root lattices etc) and am looking for good references. I am aware of the book "Sphere Packings, ...
9
votes
1answer
291 views

Lattice in a certain Lie group

Let $G_n$ be the Lie group consisting of $n \times n$ upper triangular matrices of determinant $1$ with real entries. In other words, $$G_n = \{\text{$\left(\begin{matrix} a_{11} & a_{12} & ...