# 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

**3**

votes

**0**answers

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

**21**

votes

**2**answers

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

**1**

vote

**2**answers

307 views

### basis of the lattice generated by the integer points inside a subspace of R^L

Consider $K$ linearly independent vectors $\mathbf{a}_1, \mathbf{a}_2, ..., \mathbf{a}_K \in \mathbb{Z}^L$, where $1 \leq K<L $. Hence, the span of $\lbrace\mathbf{a}_1, \mathbf{a}_2, ..., \mathbf{...

**1**

vote

**1**answer

99 views

### What information about the lattice $\Lambda$ can be recovered from the metric space $\mathbb{R}^n/\Lambda$?

Let $\Lambda\subset\mathbb{R}^n$ a lattice, i.e., a discrete subgroup that spans $\mathbb{R}^n$. Now we can look at the torus $T=\mathbb{R}^n/\Lambda$ which naturally carries the metric $d_T$ induced ...

**2**

votes

**1**answer

117 views

### Basis for a lattice in a subspace of $\Bbb R^n$

Let $S$ be a linear subspace of $\Bbb R^n$ having dimension $k<n$ and assume $S$ is described by $n-k$ linear equations with integer coefficients. Look at now the intersection $\Lambda=S\cap \Bbb Z^...

**3**

votes

**1**answer

151 views

### A problem of non-emptiness of intersections of certain chains of regular open sets

Let $X$ be a topological space and $\mathrm{RO}(X)$ its complete boolean algebra of regular opens. Define well inside relation: $$U\prec V\iff\overline{U}\subseteq V.$$ Let $\mathcal C\subseteq\mathrm{...

**20**

votes

**2**answers

536 views

### Simple conjecture about rational orthogonal matrices and lattices

The following conjecture grew out of thinking about topological phases of matter. Despite being very elementary to state, it has evaded proof both by me and by everyone I've asked so far. The ...

**0**

votes

**0**answers

85 views

### Integers on Pentagrid

in de Bruijn's Pentagrid, the generating lines for Penrose Tiling are done by an intersection of a $2D$ hyperplane with the unit cube in $\mathbb{R}^5$, which formula can be found here:
http://www....

**6**

votes

**1**answer

243 views

### Problem with the vertices of a convex quadrilateral on integer lattice

I made the following observation and I am wondering if it is always true.
Let $x_1$, $x_2$, $x_3$ and $x_4$ be four positive integer points in the plane ($x_i\in\mathbb{Z^2_{\geq 0}}$) forming a ...

**2**

votes

**0**answers

108 views

### Distribution of Smith normal forms for lower triangular matrices with given diagonals

Given integers $m$ and $n$ and $d_1, \ldots, d_m \in \mathbb{Z}/n \mathbb{Z}$, consider the set of all lower-triangular matrices of dimension $m$ with diagonal elements equal to $d_i$. What can be ...

**4**

votes

**1**answer

184 views

### Counting points on the intersection of a box and a lattice

Let $A:\mathbb{Z}^n\to \mathbb{Z}^n$ be non-singular. Consider a box $B=[0,N_1]\times [0,N_2] \times \dotsc \times [0,N_n]$. Let $p_1,\dotsc,p_n$ be primes (distinct, if you wish) and let $L = p_1\...

**2**

votes

**1**answer

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

**4**

votes

**1**answer

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

**4**

votes

**0**answers

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

**7**

votes

**1**answer

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

**4**

votes

**1**answer

157 views

### Free abelian subgroups of $\mathrm{SL}_n(\mathbb{Z})$

Does anybody know what is the biggest $r$ such that $\mathbb{Z}^r$ is isomorphic to a subgroup of $\mathrm{SL}_n(\mathbb{Z})$?
It cannot be bigger that the virtual cohomological dimension of $\...

**2**

votes

**1**answer

67 views

### distribution of diagonal entries of Hermite Normal Forms

Consider a $n$-by-$n$ matrix $A$ over the integers and let $H$ be its Hermite Normal Form. Is there any result about the distribution of the diagonal entries of $H$, when $A$ is "randomly selected"? ...

**5**

votes

**0**answers

87 views

### Examples of non-uniform lattices in products of trees

Consider a product of two locally-finite, infinite, unimodular trees $X=T_1\times T_2$. Assume that both ${\rm Aut}(T_1)$ and ${\rm Aut}(T_2)$ are not discrete.
So as a vague general question, what ...

**1**

vote

**1**answer

117 views

### Reference request: The commensurator of an arithmetic lattice is a simple group

I am interested in a reference and proof for some version of the following (folklore?) statement:
``Let $G$ be a (semi)simple Lie group (with no compact factors and trivial centre) and let $\Gamma$ ...

**8**

votes

**0**answers

196 views

### When does a locally symmetric space have no odd degree Betti numbers?

Let $G$ be a semisimple real lie group, $K$ be a maximal compact subgroup of $G$, $\Gamma$ be a torsion-free cocompact discrete subgroup. The Betti number the locally symmetric space $X_{\Gamma}:=\...

**0**

votes

**0**answers

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

**5**

votes

**1**answer

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

**2**

votes

**2**answers

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

**11**

votes

**2**answers

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

**5**

votes

**0**answers

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

**9**

votes

**1**answer

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

**5**

votes

**2**answers

332 views

### Lower bound for the number of lattice points on high dimensional spheres

Let $rS^{d-1}$ denote the sphere of radius $r$ in dimension $d$ (centered at the origin). I'm interested in the number of lattice points on the sphere (not inside).
More precisely, let $$
N(r,d):=\...

**10**

votes

**4**answers

954 views

### An interesting sum over lattice points in a large disk centered at the origin

Evaluate the the limit, as $r \rightarrow \infty $, of the sum $\displaystyle \sum \limits_{(m,n) \in D_r}$ $\displaystyle (-1)^{m+n} \over \displaystyle m^2 + n^2$, where $D_r$ denotes the closed ...

**2**

votes

**1**answer

197 views

### Find a lattice basis given too many points

Fix a discrete addition subgroup in $\mathbb{R}^n$. Given a finite spanning set, how can one find a group basis?

**10**

votes

**1**answer

281 views

### Chromatic number of Voronoi diagrams of lattices

Let $L$ be a Euclidean lattice. Define a graph whose vertex set is $L$ and where two points $x,y\in L$ are declared to be adjacent whenever the cells of $x$ and $y$ in the Voronoi diagram of $L$ have ...

**1**

vote

**0**answers

33 views

### Lattices with no roots and spread out shells

I am looking for lattices with the following properties:
The lattice has no roots.
The norm (squared length) of the second shortest vectors should be at least twice as large as the norm of the ...

**4**

votes

**0**answers

75 views

### Edges of the contact polytope of the Leech lattice

Let $P\subset\Bbb R^{24}$ be the contact polytope of the Leech lattice, that is, $P$ is the convex hull of the 196,560 shortest vectors of $\Lambda_{24}$.
Question: What are the edges of $P$?
Let'...

**6**

votes

**0**answers

166 views

### Counting lattice points in adelic spaces

Let $\mathbb{A}$ denote the ring of adeles of $\mathbb{Q}$, let $\mu$ be the Haar measure of $\mathbb{A}$, and let $\|\cdot\|_{\infty}$ denote the sup-norm of the components in the Archimedean ...

**8**

votes

**0**answers

150 views

### Representation of the space of lattices in $\Bbb R^n$

The space of 2D lattices in $\Bbb R^2$ can be represented with the two Eisenstein series $G_4$ and $G_6$. Each lattice uniquely maps to a point in $\Bbb C^2$ using these two invariants, and the points ...

**1**

vote

**1**answer

98 views

### Submersion to $ T^{2}$

Let $ M$ be a $2n$-dimensional compact and connected manifold.
Suppose there is $\Omega\in\Omega^{1}(M,\mathbb{C}) $ a closed complex form whose real and imaginary parts represent linearly ...

**2**

votes

**0**answers

34 views

### Rational linear independence of holomorphic functions

Fix an integer $ m $ and a lattice $ \Lambda \subset \mathbb{C}^{m} $. Identify $ \Lambda \otimes \mathbb{R} $ with $ \mathbb{C}^{m} $.
Take $ n $ holomorphic functions $ f_{1}, \ldots, f_{n}: U \to \...

**3**

votes

**1**answer

127 views

### Convex Hulls of Demazure Modules

Let $G$ be a semisimple algebraic group over $\mathbb{C}$ and for a highest weight $\lambda$, denote by $V_{\lambda}^w$ the Demazure module associated with $\lambda$ and $w$. More precisely, $V_{\...

**1**

vote

**0**answers

83 views

### Lattices are not solvable in non-compact semisimple Lie groups

I'm trying to prove the following result.
If $G$ is a non compact semisimple Lie group with no compact factors (lying in some $SL(l,\mathbb{R})$), and $\Gamma$ is a lattice in $G$, then $\Gamma$ is ...

**3**

votes

**0**answers

47 views

### Selfsimilar lattices in $\mathbb R^d$

Let $\Lambda\subset \mathbb R^d$ a discrete subgroup, up to diminishing $d$ we assume it is of the form $A\mathbb Z^d$ with $A\in GL(d)$. Up to dilation we assume that the shortest vector in $\Lambda\...

**5**

votes

**2**answers

196 views

### Bounded version of linear and quadratic Hasse--Minkowski theorem

The Hasse-Minkowski theorem states that if
$$Q(x_1,\ldots,x_n) = \sum_{i,j=1}^n a_{ij} x_ix_j$$
is a quadratic form with $a_{ij} \in \mathbb Z$ and $\det (a_{ij}) \neq 0$, then the equation
$$Q(x_1,\...

**1**

vote

**1**answer

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

**3**

votes

**0**answers

160 views

### Lattice points in a rotated product-of-balls

Fix $U$ unitary over $\mathbb{R}^{K},$ take $U_n=I_{n\times n}\otimes U$ and denote the unit ball at 0 in $\mathbb{R}^n$ as $B^n$. For $d_1,\dots,d_K>0$, fix $S_n:=U_n\left(\prod_{k=1}^K d_k B^n\...

**2**

votes

**1**answer

206 views

### Partitioning $\{0,1\}^n$ into $n$ sets

I am working on an answer to the question
Magic trick based on deep mathematics
and came across the following problem: I am trying to partition the cube $\{0,1\}^n$ into $n$ sets $P_1,\dots,P_n$ ...

**14**

votes

**4**answers

1k views

### Localic locales? Towards very pointless spaces by iterated internalization.

One can think of locales as (generalizations of) topological spaces which don't necessary have (enough) points. Of course when one studies locales, one "actually" studies frames,
certain sorts of ...

**4**

votes

**0**answers

305 views

### How should the proof of the XYZ theorem be understood?

The XYZ Theorem of Shepp [1] states that for a given poset $P$. Consider the probability space of all the linear extensions of $P$, where each possible extension is equally likely. Then for any three ...

**1**

vote

**0**answers

83 views

### Name for a pair of lattices one of which having theta series with coefficients a subsequence of another lattice's theta series coefficients

Is there a name for a pair of lattices which have the property given in the title (up to a change of variable)? The following example of a pair captures the property mentioned above:
$$(i)\ 1 + 80q^3 ...

**0**

votes

**0**answers

42 views

### The case of a redundant disjoint sum

I'm trying to calculate $\Sigma (\Gamma_{\sigma})$ as discussed on p.230 of 'Structured meanings and reflexive domains' by Serge Lapierre.
Use '$\Sigma(\Gamma)$' to indicate the disjoint sum of all $...

**7**

votes

**0**answers

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

**1**

vote

**0**answers

194 views

### List of Automorphism groups of Abelian Varieties for Dummies

(%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 ...

**1**

vote

**0**answers

72 views

### Smallest integer lattice point by box measure in a polytope?

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