Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Hi,

let $L$ be a lattice isomorphic to $\mathbb{Z}^r$ for some positive integer $r$ and $E=L\otimes \mathbb{R}$. An integral paving in $E$ is a set $\Sigma$ of integral polytopes (the vertices are in $L$) $N\subset E$ with the following properties:

1) given $A,B\in\Sigma$ then $A\cap B\in\Sigma$ and $A^0\cap B^0=\emptyset$, where $()^0$ denotes the relative interior

2) if $A\in \Sigma$ and $F\subset A$ is a face then $F\in \Sigma$

3) for any bounded subset $W\subset E$ only finitely many $A\in\Sigma$ have non empty intersection with $W$

a paving $\Sigma$ is called $L$-invariant if it is $L$-translation invariant.

Example: given $q$ a positive quadratic form on $E$ one can look at the convex hull of points ${(l,q(l))}_{l\in L}$. This gives the graph of a picewise linear function $m:E\rightarrow \mathbb{R}$ and the domains of linearity of $m$ give an $L$-invariant integral paving.

Call a paving regular if it comes from a positive definite quadratic form.

My question: assume I have given an integral $L$-invariant paving, is there any criterion to estabilish when this paving is regular?

share|improve this question

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.