The lattices tag has no wiki summary.

**39**

votes

**4**answers

2k views

### How do the compact Hausdorff topologies sit in the lattice of all topologies on a set?

This question is about the space of all topologies on a
fixed set X. We may order the topologies by refinement, so
that τ ≤ σ just in case every τ open set is open in σ.
...

**28**

votes

**15**answers

2k views

### Counterexamples in universal algebra

Universal algebra - roughly - is the study, construed broadly, of classes of algebraic structures (in a given language) defined by equations. Of course, it is really much more than that, but that's ...

**26**

votes

**6**answers

5k views

### Good lattice theory books?

A recent answer motivated me to post about this. I've always had a vague, unpleasant feeling that somehow lattice theory has been completely robbed of the important place it deserves in mathematics - ...

**26**

votes

**3**answers

2k views

### Polar body of a convex body that avoids a lattice

Let $K \subset {\bf R}^d$ be a symmetric convex body (an open bounded convex neighbourhood of the origin with $K = -K$) with the property that $K + {\bf Z}^d \neq {\bf R}^d$, i.e. the projection of ...

**25**

votes

**2**answers

881 views

### A group-theoretic perspective on Frankl's union closed problem

Here is a group theoretic phrasing of a special case of the union closed conjecture:
Question: Given a finite group $G$, is there an element of prime power order which is contained in at most half ...

**22**

votes

**0**answers

360 views

### Is there an Ehrhart polynomial for Gaussian integers

Let $N$ be a positive integer and let $P \subset \mathbb{C}$ be a polygon whose vertices are of the form $(a_1+b_1 i)/N$, $(a_2+b_2 i)/N$, ..., $(a_r+b_r i)/N$, with $a_j + b_j i$ being various ...

**21**

votes

**4**answers

3k views

### Gossip about Grothendieck and distributive lattices

In Gian-Carlo Rota's Indiscrete Thoughts, there a list of mathematical gossip among which one reads:
[...] What would have happened [...] if Grothendieck had known the theory of distributive ...

**20**

votes

**7**answers

1k views

### Was lattice theory central to mid-20th century mathematics?

Four years ago, I read a book on the history of mathematics up to 1970 or so. It was very interesting up until the end. The last few chapters, though, were on lattices. The author claimed that ...

**18**

votes

**4**answers

1k views

### What exactly is the relationship between codes over finite fields and Euclidean sphere-packings?

So I know that error-correcting codes are sphere packings in the Hamming metric, and that intuition and technical tools from the Euclidean case can often be applied to the finite-field case and vice ...

**18**

votes

**1**answer

652 views

### How random are unit lattices in number fields?

I was wondering how random unit lattices in number fields are. To make this more precise:
If $K$ is a number field with embeddings $\sigma_1, \dots, \sigma_n, \overline{\sigma_{r+1}}, \dots, ...

**18**

votes

**0**answers

675 views

### Given a lattice L with n elements, are there finite groups H < G such that L $\cong$ the lattice of subgroups between H and G?

If there is no restriction on $n$, this is a famous open problem. I'm wondering if any recent work has been done for small $n>6$. I believe the question is answered (positively) for $n=6$ by ...

**17**

votes

**5**answers

549 views

### Why is the right permutohedron order (aka weak order) on $S_n$ a lattice?

This is one of those things I never expected to be hard until I tried to prove it. Why is the right permutohedron order (a.k.a. weak Bruhat order, a.k.a. weak order -- not to be confused with the ...

**17**

votes

**3**answers

1k views

### A Priori proof that Covering Radius strictly less than $\sqrt 2$ implies class number one

It turns out that each of Pete L. Clark's "euclidean" quadratic forms, as long as it has coefficients in the rational integers $\mathbb Z$ and is positive, is in a genus containing only one ...

**16**

votes

**1**answer

550 views

### Is the ball reducible in some high dimension?

Let $K$ be a bounded symmetric ($-K=K$) open convex body in $\mathbb R^n$. The critical determinant $d(K)$ of $K$ is the least possible volume $|\operatorname{det}(a_1\dots a_n)|$
of the fundamental ...

**15**

votes

**4**answers

472 views

### The latice spanned by $m$ random 0-1 vectors of length $n$

Consider $m$ random 0-1 vectors of length $n$. Let $L$ be the lattice spanned by them. What is the value of $m$ (as a function of $n$) for which it is true with positive probability that $L=Z^n$? More ...

**15**

votes

**1**answer

677 views

### Codes, lattices, vertex operator algebras

At the end of "Notes on Chapter 1" in the Preface to the Third Edition of Sphere packings, lattices and groups, Conway and Sloane write the following:
Finally, we cannot resist calling attention ...

**14**

votes

**2**answers

542 views

### Maximal number of maximal subgroups

Let $G$ be a finite group. I want to find an upper bound on the number of the maximal subgroups. My questions is does it possible to prove that the number of maximal subgroups of any finite group $G$ ...

**14**

votes

**3**answers

2k views

### Proving that a poset is a lattice

I discovered experimentally that a certain finite poset (sorry, I cannot give its definition here) seems to be in fact a (non-distributive, non-graded) lattice. The covering relations are reasonably ...

**12**

votes

**2**answers

253 views

### Lattice points and convex bodies

Given are two convex bodies $K, L \subset \mathbb{R}^n$ that contain the origin as an interior point. Assume the number of integer points contained in $\lambda K$ equals the number of integer points ...

**12**

votes

**2**answers

1k views

### How is the Ising model an example of a lattice model as per Kontsevich?

In section 3.2 of Kontsevich's very interesting paper "Notes on motives in finite characteristic,", he gives an axiomatic definition of a "lattice model" attached to a Boltzmann datum (V_1,V_2,R), ...

**12**

votes

**1**answer

1k views

### Sublattices of Young's Lattice

Young's Lattice is the lattice of inclusions of Young tableaux, or integer partitions.
In R. Stanley's Enumerative Combinatorics Vol. 1, Proposition 1.4.4., there is a generalization of integer ...

**11**

votes

**3**answers

1k views

### When are Ehrhart functions of compact convex sets polynomials?

Given a lattice $L$ and a subset $P\subset \mathbb R^d$, we define for each positive integer $t$ $$f_P(L,t)=|(tP\cap L)|$$ the number of lattice points in $tP$. Let's say $P$ is nice if $f_P(L,t)$ is ...

**11**

votes

**1**answer

275 views

### Defining measures over frames in place of $\sigma$-algebras

Normally, measures and probability spaces are defined over $\sigma$-algebras. I was wondering what would happen if one tries to define it over frames in place of $\sigma$-algebras? Specifically, ...

**10**

votes

**4**answers

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

**10**

votes

**2**answers

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

**10**

votes

**2**answers

327 views

### Inequalities for averaging over partially ordered sets

Let's start from a classical inequality:
If $0\le a_1\le\cdots\le a_k$ and $0\le b_1\le\cdots\le b_k$ then
$(a_1+\cdots+a_k)(b_1+\cdots+b_k)\le k(a_1b_1+\cdots+a_k b_k)$.
It can be written also in ...

**10**

votes

**3**answers

406 views

### orbits of automorphism group for indefinite lattices

I have a question about indefinite lattices.
QUESTION: Let $\Lambda\times\Lambda\rightarrow {\Bbb Z}$ be a lattice,
that is, ${\Bbb Z}^n$ with a non-degenerate integer quadratic form,
not necessarily ...

**9**

votes

**6**answers

551 views

### Which finite nonabelian groups have long chains of subgroups as intervals in their subgroup lattice?

Given N, what is a finite non-abelian (and preferably non-solvable) group G in whose subgroup lattice Sub[G] there is an interval that is a chain of length at least N?
Since N can be arbitrarily ...

**9**

votes

**1**answer

461 views

### Niemeier lattices and theta functions

I have an extremely elementary question. Let's say someone randomly hands you a theta function associated to a Niemeier lattice (unimodular even, n=24). What can you say about which Niemeier lattice ...

**9**

votes

**2**answers

561 views

### Ellipsoids and lattices: an enclosure problem.

$E \subset {\mathbb R}^2$ is an ellipse of area $1$ centered at the origin that contains no other point with integer coordinates. Is there a matrix $A \in SL(2,{\mathbb Z})$ such that the ellipse ...

**9**

votes

**1**answer

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

**9**

votes

**3**answers

600 views

### A “round” lattice with low kissing number?

Historically, the lattices with high density were studied intensively, e.g. E_8 lattice or Leech Lattice. However, there are situations that lattices with low kissing number are required. ...

**9**

votes

**1**answer

733 views

### Reference request: Ehrhart's conjecture on the geometry of numbers

Conjecture (Ehrhart). If a convex body $K \subset {\mathbb R}^n$ has its barycenter at the origin and contains no other point with integer coordinates, the volume of $K$ is less than or equal to $(n ...

**9**

votes

**1**answer

604 views

### Which lattices have more than one minimal periodic coloring?

The lattice $\mathbb{Z}^n$ has an essentially unique (up to permutation) minimal periodic coloring for all $n$, namely the "checkerboard" 2-coloring. Here a coloring of a lattice $L$ is a coloring of ...

**9**

votes

**1**answer

431 views

### Condition for existence of certain lattice points on polytopes

Let $a_1,\cdots, a_n$ be integers such that $a_i\geq 2$ for all $i$ and $k>0$ another integer.
I am interested in whether there exist integers $x_1,\cdots, x_n$ with $0<x_i<a_i$ satisfying:
...

**8**

votes

**6**answers

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

**8**

votes

**4**answers

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

**8**

votes

**3**answers

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

**8**

votes

**2**answers

368 views

### Lattices in $SL(n,\mathbb R)$

If $\Gamma\subseteq SL(n,\mathbb{R})$ is a lattice (i.e. discrete and finite covolume), does $\Gamma$ necessarily contain some $\mathbb{R}$-diagonalizable copy of $\mathbb{Z}^{n-1}$?
I know that the ...

**8**

votes

**3**answers

352 views

### Models with SLE scaling limit

What discrete processes/models have been proven to have scaling limits to $\text{SLE}(\kappa)$, for various $\kappa$?
I know about loop-erased random walk and uniform spanning trees.
What about ...

**8**

votes

**1**answer

180 views

### Why do the projections in the Calkin algebra not form a lattice?

Let $H$ be an infinite dimensional separable complex Hilbert space. Denote by $\mathcal{B}(H)$ the C*-algebra of bounded operators on $H$, $\mathcal{K}(H)$ the ideal of compact operators on $H$, and ...

**8**

votes

**1**answer

659 views

### The Number of Short Vectors in a Lattice

Given a lattice $L = \bigoplus_{i=1}^{m} \mathbb{Z}v_i$ (the $v_i$ are linearly independent vectors in $\mathbb{R}^n$) and a number $c > 0$, can one quickly compute or find a good estimate on the ...

**8**

votes

**3**answers

989 views

### Listing lattice points in a simplex

Let $n \in \mathbf{Z}_{\geq 1}$. Is there an algorithm which, given a simplex $\Delta \subset \mathbf{R}^n$ specified as the convex hull of $v_0,\dots,v_n \in \mathbf{Z}^n$, computes the set $\Delta ...

**7**

votes

**4**answers

1k views

### Elliptic Curves, Lattices, Lie Algebras

I've recently started to look at elliptic curves and have three basic questions:
Is it correct to say that elliptic curves $E$ in the projective plane are in bijective correspondence with lattices ...

**7**

votes

**2**answers

522 views

### What groups have a second maximal subgroup below exactly four maximal subgroups?

I am looking for a finite group $G$ with the following property: there is a (core-free) subgroup $H < G$ such that the interval $\{ K : H < K < G\}$ in Sub[$G$] contains exactly four maximal ...

**7**

votes

**2**answers

974 views

### How to find nearest lattice point to given point in R^n ? Is it NP ?

Consider some lattice in R^n.
Take some point "P" in R^n (which does not belong to this lattice in general).
What are the algorithms to find some nearest lattice point to "P" ?
"Nearest" - means in ...

**7**

votes

**4**answers

1k views

### Online introduction to Lattice Theory?

Apart from J. B Nation's (revised) Notes on Lattice Theory, is there any other (mostly introductory) material on Lattices available online?

**7**

votes

**1**answer

191 views

### Restricting representations to lattices

Let $V$ be a finite-dimensional irreducible representation of the Lie group $\text{SL}_n(\mathbb{R})$. Must $V$ remain irreducible when you restrict the action to $\text{SL}_n(\mathbb{Z})$? More ...

**7**

votes

**1**answer

254 views

### Examples of fundamental domains

Everyone knows that it's difficult to compute a general fundamental domain for an arithmetic group but are there any specific examples where such domains have been calculated? I'm mostly interested in ...

**7**

votes

**1**answer

368 views

### Octonionic reflection groups

Consider Leech lattice definition provided by Wilson (Octonions and Leech lattice, 2008).
There are 819 E8 sublattices defined by
$ (2\lambda, 0, 0); $
$ (\lambda \overline{s}, (\lambda ...