
We show that the Grothendieck group associated to integral polytopes in
$\mathbb{R}^n$ is freeabelian by providing an explicit basis. Moreover, we
identify the involution on this polytope group given by reflection about the
origin as a sum of Euler characteristic type. We also compute the kernel of the
norm map sending a polytope to its induced seminorm on the dual of
$\mathbb{R}^n$.

We introduce the notion of groups of polytope class and show that
torsionfree amenable groups satisfying the Atiyah Conjecture possess this
property. A direct consequence is the homotopy invariance of the $L^2$torsion
polytope among $G$CWcomplexes for these groups. As another application we
prove that the $L^2$torsion polytope of an amenable group vanishes provided
that it contains a nonabelian elementary amenable normal subgroup.

We investigate FriedlL\"uck's universal $L^2$torsion for descending HNN
extensions of finitely generated free groups, and so in particular for
$F_n$by$\mathbb{Z}$ groups. This invariant induces a seminorm on the first
cohomology of the group which is an analogue of the Thurston norm for
$3$manifold groups. We prove that this Thurston seminorm is an upper bound
for the Alexander seminorm defined by McMullen, as well as for the higher
Alexander seminorms defined by Harvey. The same inequalities are known to hold
for $3$manifold groups. We also prove that the Newton polytopes of the
universal $L^2$torsion of a descending HNN extension of $F_2$ locally
determine the BieriNeumannStrebel invariant of the group. We give an explicit
means of computing the BNS invariant for such groups. As a corollary, we prove
that the BieriNeumannStrebel invariant of a descending HNN extension of $F_2$
has finitely many connected components. When the HNN extension is taken over
$F_n$ along a polynomially growing automorphism with unipotent image in $GL(n,
\mathbb{Z})$, we show that the Newton polytope of the universal $L^2$torsion
and the BNS invariant completely determine one another. We also show that in
this case the Alexander norm, its higher incarnations, and the Thurston norm
all coincide.

Polytopes in R^n with integral vertices form a monoid under the Minkowski
sum, and the Grothendieck construction gives rise to a group. We show that
every symmetric polytope is a norm in this group for every n.

Growing main memory sizes have facilitated database management systems that
keep the entire database in main memory. The drastic performance improvements
that came along with these inmemory systems have made it possible to reunite
the two areas of online transaction processing (OLTP) and online analytical
processing (OLAP): An emerging class of hybrid OLTP and OLAP database systems
allows to process analytical queries directly on the transactional data. By
offering arbitrarily current snapshots of the transactional data for OLAP,
these systems enable realtime business intelligence. Despite memory sizes of
several Terabytes in a single commodity server, RAM is still a precious
resource: Since free memory can be used for intermediate results in query
processing, the amount of memory determines query performance to a large
extent. Consequently, we propose the compaction of memoryresident databases.
Compaction consists of two tasks: First, separating the mutable working set
from the immutable "frozen" data. Second, compressing the immutable data and
optimizing it for efficient, memoryconsumptionfriendly snapshotting. Our
approach reorganizes and compresses transactional data online and yet hardly
affects the missioncritical OLTP throughput. This is achieved by unburdening
the OLTP threads from all additional processing and performing these tasks
asynchronously.