Maximal rank root subsystems of hyperbolic root systems

A Kac-Moody algebra is called hyperbolic if it corresponds to a generalized Cartan matrix of hyperbolic type. We study root subsystems of root systems of hyperbolic algebras. In this paper, we classify maximal rank regular hyperbolic subalgebras of hyperbolic Kac-Moody algebras.Comment: 16 pages, 19 figures, 1 tabl

An Overdetermined Problem in Potential Theory

We investigate a problem posed by L. Hauswirth, F. H\'elein, and F. Pacard, namely, to characterize all the domains in the plane that admit a "roof function", i.e., a positive harmonic function which solves simultaneously a Dirichlet problem with null boundary data, and a Neumann problem with constant boundary data. Under some a priori assumptions, we show that the only three examples are the exterior of a disk, a halfplane, and a nontrivial example. We show that in four dimensions the nontrivial simply connected example does not have any axially symmetric analog containing its own axis of symmetry.Comment: updated version. 20 pages, 3 figure

Compact hyperbolic Coxeter n-polytopes with n+3 facets

We use methods of combinatorics of polytopes together with geometrical and computational ones to obtain the complete list of compact hyperbolic Coxeter n-polytopes with n+3 facets, 3<n<8. Combined with results of Esselmann (1994), Andreev (1970) and Poincare (1882) this gives the classification of all compact hyperbolic Coxeter n-polytopes with n+3 facets.Comment: v4: paper is rewritten. Complete proofs added, errors corrected. 36 pages, a lot of figure

On compact hyperbolic Coxeter d-polytopes with d+4 facets

We show that there is no compact hyperbolic Coxeter d-polytope with d+4 facets for d>7. This bound is sharp: examples of such polytopes up to dimension 7 were found by Bugaenko (1984). We also show that in dimension d=7 the polytope with 11 facets is unique.Comment: v2: the paper is rewritten. A new section added in which 7-dimensional polytopes are classified. 43 pages, a lot of figure