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!)

Filter by
Sorted by
Tagged with
3
votes
0answers
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
2answers
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
2answers
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
2answers
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
2answers
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
0answers
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
1answer
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
2answers
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
4answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
2answers
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
1answer
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
0answers
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
1answer
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
4answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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}$ ...