Related papers: Eulerian cube complexes and reciprocity

Let $\mathcal{O}_K$ be a complete discrete valuation ring with field of fractions $K$ and algebraically closed residue field $k.$ Let $G$ be a smooth connected commutative algebraic group over $K$ which does not contain a copy of…

Let X be an Abelian surface and C a holomorphic curve in X representing a primitive homology class. The space of genus g curves in the class of C is g dimensional. We count the number of such curves that pass through g generic points and we…

In this article we define and study a zeta function $\zeta_G$ - similar to the Hasse-Weil zeta function - which enumerates absolutely irreducible representations over finite fields of a (profinite) group $G$. The zeta function converges on…

Based on the technique previously developed by the author, we present a conjecture which claims that the reciprocal of the n-th largest (in absolute value) eigenvalue of the Gauss-Kuzmin-Wirsing operator is equal to the sum of a certain…

Euler's gamma function is logarithmically convex on positive semi-axis. Additivity of logarithmic convexity implies that the function sum of gammas with non-negative coefficients is also log-convex. In this paper we investigate the series…

We prove that that the number p of positive eigenvalues of the connection Laplacian L of a finite abstract simplicial complex G matches the number b of even dimensional simplices in G and that the number n of negative eigenvalues matches…

Let $V$ be a Weyl module either for a reductive algebraic group $G$ or for the corresponding quantum group $U_q$. If $G$ is defined over a field of positive characteristic $p$, respectively if $q$ is a primitive $l$'th root of unity (in an…

A relation algebra is measurable if the identity element is a sum of atoms, and the square x;1;x of each subidentity atom x is a sum of non-zero functional elements. These functional elements form a group Gx. We prove that a measurable…

We call a set of positive integers closed under taking unitary divisors a unitary ideal. It can be regarded as a simplicial complex. Moreover, a multiplicative arithmetical function on such a set corresponds to a function on the simplicial…

Let $E$ be a number field and $X$ a smooth geometrically connected variety defined over a characteristic $p$ finite field. Given an $n$-dimensional pure $E$-compatible system of semisimple $\lambda$-adic representations of the \'etale…

We consider an exhaustion of the modular orbifold by compact subsurfaces and show that the growth rate, in terms of word length, of the reciprocal geodesics on such subsurfaces (so named low lying reciprocal geodesics) converge to the…

For each $n=1,2,\dots$, let $\mathsf{GL}(n,\mathbb{Z})\ltimes \mathbb{Z}^n$ be the affine group over the integers. For every point $x=(x_1,\dots,x_n) \in \mathbb{R}^n$ let $\mathrm{orb}(x)=\{\gamma(x)\in \mathbb{R}^n\mid\gamma\in…

This work is a sequel of a previous work of one of the authors (Y.\^O), which treated certain congruence relation between an elliptic Gauss sum and a coefficient of power series expansion at the origin of the lemniscate sine function. We…

In this article, we study the Gross--Kudla--Schoen diagonal cycle on the triple product of Shimura curves at a place of good reduction and prove an unramified arithmetic level raising theorem for the cohomology of this triple product. We…

Given a morphism of (small) groupoids with injective object map, we provide sufficient and necessary conditions under which the induction and co-induction functors between the categories of linear representations are naturally isomorphic. A…

Given a square matrix with elements in the group-ring of a group, one can consider the sequence formed by the trace (in the sense of the group-ring) of its powers. We prove that the corresponding generating series is an algebraic…

Let G be an arithmetic lattice in a semisimple algebraic group over a number field. We show that if G has the congruence subgroup property, then the number of n-dimensional irreducible representations of G grows like n^a, where a is a…

We say that a group G is a cube group if it is generated by a set S of involutions such that the corresponding Cayley graph Cay(G,S) is isomorphic to a cube. Equivalently, G is a cube group if it acts on a cube such that the action is…

For an Abelian surface $A$ with a symplectic action by a finite group $G$, one can define the partition function for $G$-invariant Hilbert schemes \[Z_{A, G}(q) = \sum_{d=0}^{\infty} e(\text{Hilb}^{d}(A)^{G})q^{d}.\] We prove the reciprocal…

Let $n$ be an integer greater than $1$. We consider a group presented as $G(p_1,p_2,\dots,p_n)=\langle x_1,x_2,\dots, x_n \mid x_1^{p_1} =x_2^{p_2}=\cdots =x_n^{p_n} \rangle$, with integers $p_1,p_2,\dots,p_n$ satisfying $2 \leq p_1 \leq…