Related papers: Non-discrete affine buildings and convexity
Let X be a building of uniform thickness q+1. L^2-Betti numbers of X are reinterpreted as von-Neumann dimensions of weighted L^2-cohomology of the underlying Coxeter group. The dimension is measured with the help of the Hecke algebra. The…
Quasicrystals described as the projections of higher dimensional cubic lattices, and the particular affine extensions of the dihedral group $I_2(h)$ of order $2h$, $h=2n$ being the Coxeter number, as a subgroup of affine $B_n$ offers a…
The investigation into large families of non-opposite flags in finite spherical buildings has been a recent addition to a long line of research in extremal combinatorics, extending classical results in vector and polar spaces. This line of…
We revisit the classical dual ascent algorithm for minimization of convex functionals in the presence of linear constraints, and give convergence results which apply even for non-convex functionals. We describe limit points in terms of the…
We introduce a new family of affine metrics on a locally strictly convex surface $M$ in affine 4-space. Then, we define the symmetric and antisymmetric equiaffine planes associated with each metric. We show that if $M$ is immersed in a…
Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic…
Let $G$ be a semisimple connected Lie group of non-compact type with finite center. Let $K<G$ be a maximal compact subgroup and $P<G$ be a minimal parabolic subgroup. For any pair $(F,x)$, where $F$ is a maximal flat in $G/K$ and $x \in…
We show that on a surface locally every affine torsion-free connection is projectively equivalent to a Weyl connection. First, this is done using exterior differential system theory. Second, this is done by showing that the solutions of the…
We introduce new objects, called $(G,c)$-bands, associated with a simple simply-connected algebraic group $G$, and a Coxeter element $c$ in its Weyl group. We show that bands of a given type are the $K$-points of an infinite dimensional…
Interior-point methods offer a highly versatile framework for convex optimization that is effective in theory and practice. A key notion in their theory is that of a self-concordant barrier. We give a suitable generalization of…
Convex hulls are fundamental objects in computational geometry. In moderate dimensions or for large numbers of vertices, computing the convex hull can be impractical due to the computational complexity of convex hull algorithms. In this…
The convexity theorem of Atiyah and Guillemin-Sternberg says that any connected compact manifold with Hamiltonian torus action has a moment map whose image is the convex hull of the image of the fixed point set. Sjamaar-Lerman proved that…
We explain how any Artin stack $\mathfrak{X}$ over $\mathbb{Q}$ extends to a functor on non-negatively graded commutative cochain algebras, which we think of as functions on Lie algebroids or stacky affine schemes. There is a notion of…
We use real algebraic geometry to construct an affine $\Lambda$-building $B$ associated to the $\mathbb{F}$-points of a semisimple algebraic group, where $\mathbb{F}$ is a valued real closed field. We characterize the spherical building at…
There are several real spherical models associated with a root arrangement, depending on the choice of a building set. The connected components of these models are manifolds with corners which can be glued together to obtain the…
We prove several reflection theorems on $D$-spaces, which are Hausdorff topological spaces $X$ in which for every open neighbourhood assignment $U$ there is a closed discrete subspace $D$ such that \[ \bigcup\{U(x): x\in D\}=X. \] The…
We prove several reflection theorems on $D$-spaces, which are Hausdorff topological spaces $X$ in which for every open neighbourhood assignment $U$ there is a closed discrete subspace $D$ such that \[ \bigcup\{U(x): x\in D\}=X. \] The…
Conserved charges in theories with gauge symmetries are supported on codimension-2 surfaces in the bulk spacetime. It has recently been suggested that various classical formulations of gravity dynamics display different symmetries, and…
A universal symmetry algebra organizing the gravitational phase space has been recently found. It corresponds to the subset of diffeomorphisms that become physical at corners -- codimension-$2$ surfaces supporting Noether charges. It…
We show that every automorphism of a thick twin building interchanging the halves of the building maps some residue to an opposite one. Furthermore we show that no automorphism of a locally finite 2-spherical twin building of rank at least…