**4**

votes

**1**answer

172 views

### Finding Finite Generators of a Subset of a Quaternion Algebra/Cocompact Lattices

I was wondering if anyone had some ideas (books, papers, experience) on how to explicitly compute generators for the elements of a quaternion algebra, $Q$, with reduced norm $1$. I'm trying to ...

**2**

votes

**1**answer

153 views

### Lattice automorphisms of finite order

Are there any known examples of lattice automorphisms of finite order in indefinite lattices being classified up to conjugacy?

**1**

vote

**0**answers

76 views

### Group actions on polytopes in indefinite integer lattices

Is anything at all known about polytopes in indefinite integer lattices? I'm interested in lattice automorphisms which preserve certain polytopes of "high regularity" (e.g. cones). As a first step, ...

**7**

votes

**1**answer

254 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

**1**answer

96 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 ...

**0**

votes

**2**answers

153 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

**0**answers

81 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

**2**answers

138 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

**2**answers

378 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

**2**answers

254 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

**0**answers

176 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 ...

**7**

votes

**1**answer

395 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 ...

**7**

votes

**0**answers

247 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

**1**answer

73 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

**1**answer

269 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

**2**answers

135 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

**1**answer

316 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

**1**answer

284 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

**0**answers

142 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

**0**answers

55 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

**0**answers

59 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

**1**answer

238 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

**1**answer

186 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 ...

**2**

votes

**2**answers

165 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

**1**answer

271 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

**3**answers

563 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

**0**answers

165 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 ...

**2**

votes

**0**answers

190 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

**1**answer

115 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 ...

**10**

votes

**4**answers

1k 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 ...

**11**

votes

**6**answers

2k 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 ...

**8**

votes

**1**answer

206 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

**0**answers

134 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

**1**answer

315 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

**1**answer

134 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

**0**answers

215 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

**2**answers

484 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 ...

**4**

votes

**1**answer

254 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 ...

**9**

votes

**4**answers

578 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 ...

**5**

votes

**1**answer

160 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

**2**answers

611 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

**1**answer

105 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

**1**answer

121 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

**2**answers

552 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

**1**answer

130 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

**2**answers

332 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

**1**answer

104 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$ ...

**6**

votes

**1**answer

441 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

**0**answers

79 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

**1**answer

332 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} & ...