Related papers: On finite arithmetic simplicial complexes

Let $\mathrm{R}$ be a real closed field and $\mathrm{D} \subset \mathrm{R}$ an ordered domain. We consider the algorithmic problem of computing the generalized Euler-Poincar\'e characteristic of real algebraic as well as semi-algebraic…

On a cotangent bundle $T\sp*G$ of a Lie group $G$ one can describe the standard Liouville form $\theta$ and the symplectic form $d \theta$ in terms of the right Maurer Cartan form and the left moment mapping (of the right action of $G$ on…

We construct $p$-adic analogs of operator colligations and their characteristic functions. Consider a $p$-adic group $G=GL(\alpha+k\infty, Q_p)$, its subgroup $L=O(k\infty,Z_p)$, and the subgroup $K=O(\infty,Z_p)$ embedded to $L$…

This paper provides an overview of the theory of Bruhat-Tits buildings. Besides, we explain how Bruhat-Tits buildings can be realized inside Berkovich spaces. In this way, Berkovich analytic geometry canbe used to compactify buildings. We…

We describe an algorithm for computing certain quaternionic quotients of the Bruhat-Tits tree for GL2(Qp). As an application, we describe an algorithm to obtain (conjectural) equations for the canonical embedding of Shimura curves.

Summation by parts is used to find the sum of a finite series of generalized harmonic numbers involving a specific polynomial or rational function. The Euler-Maclaurin formula for sums of powers is used to find the sums of some finite…

The Gauss-Bonnet theorem for a polyhedron (a union of finitely many compact convex polytopes) in $n$-dimensional Euclidean space expresses the Euler characteristic of the polyhedron as a sum of certain curvatures, which are different from…

The Euler characteristic, thought of as a function that assigns a numerical value to every finite simplicial complex, is locally determined in both a combinatorial sense and a geometric sense. In this note we show that not every function…

We use some basic properties of binomial and Stirling numbers to prove that the Euler characteristic is, essentially, the unique numerical topological invariant for compact polyhedra which can be expressed as a linear combination of the…

We consider quotients of complex Stiefel manifolds by finite cyclic groups whose action is induced by the scalar multiplication on the corresponding complex vector space. We obtain a description of their tangent bundles, compute their mod p…

Let $\Lambda$ be a maximal $\mathbb{F}_q[T]$-order in a division quaternion algebra over $\mathbb{F}_q(T)$ which is split at the place $\infty$. The present article gives an algorithm to compute a fundamental domain for the action of the…

A general technique is presented for constructing a quantum theory of a finite number of interacting particles satisfying Poincar\'e invariance, cluster separability, and the spectral condition. Irreducible representations and…

We consider quotients of the unit cube semigroup algebra by particular $\mathbb{Z}_r\wr S_n$-invariant ideals. Using Gr\"obner basis methods, we show that the resulting graded quotient algebra has a basis where each element is indexed by…

An algorithm for computing power conjugate presentations for finite soluble quotients of predetermined structure of finitely presented groups is described. Practical aspects of an implementation are discussed.

Using quantum representations of mapping class groups we prove that profinite completions of Burnside-type surface group quotients are not virtually prosolvable, in general. Further, we construct infinitely many finite simple characteristic…

Let $k$ be an algebraically closed field of prime characteristic $p$. Let $kGe$ be a block of a group algebra of a finite group $G$, with normal defect group $P$ and abelian $p'$ inertial quotient $L$. Then we show that $kGe$ is a matrix…

We use coefficient systems on the affine Bruhat-Tits building to study admissible representations of reductive p-adic groups in characteristic not equal to p. We show that the character function is locally constant and provide explicit…

The exceptional group $G_2$, when constructed over $Q_p$, may at the same time be considered as the group of automorphisms of an octonion algebra over $Q_p$, or alternatively it may be constructed as a Chevalley group from the root diagram…

We construct explicitly an infinite family of Ramanujan graphs which are bipartite and biregular. Our construction starts with the Bruhat-Tits building of an inner form of $SU_3(\mathbb Q_p)$. To make the graphs finite, we take successive…

In this paper we study the geometry of GIT configurations of $n$ ordered points on $\mathbb{P}^1$ both from the the birational and the biregular viewpoint. In particular, we prove that any extremal ray of the Mori cone of effective curves…