# Questions tagged [lattices]

Lattices in the sense of discrete subgroups of Euclidean spaces, as used in number theory, discrete geometry, Lie groups, etc. (Not to be confused with lattice theory or lattices as used in physics!)

497 questions
Filter by
Sorted by
Tagged with
40 views

### Closed additive submonoid of $\mathbb{R}^n$ with geometric property

Let $M$ be a closed additive submonoid of $\mathbb{R}^n$ with $n\geq1$. Suppose also that there exists $r>0$ such that every ball of radius $r$ intersects $M$. I wonder if we can obtain more ...
595 views

### Which even lattices have a theta series with this property?

This is a slight generalization of a question I made in Math StackExchange, which is still unanswered after a month, so I decided to post it here. I am sorry in advance if it is inappropriate for this ...
307 views

151 views

104 views

### Intersection of a $\mathbb{Q}$-affine space with $\mathbb{Z}^n$

Let $E$, a $\mathbb{Q}$-affine space of arbitrary dimension included in $\mathbb{Q}^n$. Is it possible to check efficiently if $E \cap \mathbb{Z}^n$ is empty or not? If is an hard problem could give ...
150 views

### Unitary representations of lattices

Let $G$ be a simple linear group over a non-archimedean local field $F$. Assume that the split-rank over $F$ is at least 2. Let $\Gamma$ be a lattice in $G$. Then $\Gamma$ is a finitely generated ...
73 views

### Collections of points maximally spaced with respect to one another

The icosahedron and dodecahedron are well known to share symmetry groups. This partially accounts for the fact that one can form a type of compound of the two where each of the vertices in the ...
167 views

### Is the commensurator of a tree lattice a simple group?

Let $T$ be an $n$-regular tree ($n\geq3$). Let $\operatorname{Aut}^+(T)$ be the subgroup of index 2 of $\operatorname{Aut}(T)$ preserving the bicoloring of the tree for which adjacent vertices have ...
157 views

110 views

### Is there exists a lattice isomorphism?

Let $\text{P}$ be the set of partitions of {1,2,...,n} and $\text{Y}$ the set of Young subsets of permutation group S(n)(the coxeter group of type An). As is well-known, the set $\text{Y}$ is a ...
212 views

### The number of quadratic forms attaining Hermite's constant

$\require{AMScd}$ I'm considering minimum values (at non-zero integer points) of real, positive-definite, quadratic forms of determinant $1$. These are functions $f:\mathbb{R}^n\to \mathbb{R}$ which ...
123 views

### enumerate line partitions of points in the plane

Let $S$ be a nonempty subset of $\mathbb{R}^2$ and $l$ a line in $\mathbb{R}^2$ disjoint from $S$. Then $l$ partitions $S$ into two disjoint sets $S = S_1 \cup S_2$ in the obvious way. Note that, at ...
767 views

### Higman's lemma and a manuscript of Erdős and Rado

Motivated by a problem in factorization theory, I've recently proved the following: Theorem. If $X$ is a non-empty finite alphabet and $\mathcal W$ an infinite subset of the free semigroup, $X^\ast$...
102 views

### Lattices in Lie groups

In the literature, people seem to predominantly look at lattices in nilpotent or reductive groups. Is there a result that gives a general description of a lattice in an arbitrary Lie group? Something ...
471 views

### Does every positive-definite integral lattice admit an angle-preserving homomorphism into $\Bbb Z^n$ for some $n$?

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 ...
332 views

113 views

### Relating the shortest vector of a lattice to the orthogonal complement of the lattice

By a lattice we mean sub-lattice of $\mathbb{Z}^n \cap V$, where $V$ is a subspace of $\mathbb{R}^n$ defined over $\mathbb{Q}$. We say that a lattice $\Lambda$ is primitive if a basis of $\Lambda$ can ...
160 views

148 views

### Constructive proof of Swan theorem

Let $M$ be an $S_n$-lattice (so it is free as an abelian group), and assume that $M$ is projective (i.e. direct summand of some $\mathbb Z[S_n]^m$). A theorem of Swan implies that $M$ is stably ...
(%Edited after abx comment%) I seek explicit linear integral representations $\rho: Aut(X,\omega) \to Sp_{2g}(\mathbb{Z})$, when $(X,\omega)$ is complex $g$-dimensional PPAV. I prefer explicit ...
Given an integer lattice $\mathcal L\subseteq\mathbb Z^n$ represented by basis $\mathcal B$ and an integer linear program $Ax\leq b$ where $x\in\mathbb Z^n$ is unknown with $A\in\mathbb Z^{m\times n}$ ...