Related papers: Computing fundamental domains for Fuchsian groups
Fixing an arithmetic lattice $\Gamma$ in an algebraic group $G$, the commensurability growth function assigns to each $n$ the cardinality of the set of subgroups $\Delta$ with $[\Gamma : \Gamma \cap \Delta] [\Delta: \Gamma \cap \Delta] =…
We provide a general algorithm for the computation of the unramified Brauer group of quotients of rational varieties by finite groups.
We present $\text{Fuchsia}$ $-$ an implementation of the Lee algorithm, which for a given system of ordinary differential equations with rational coefficients $\partial_x\,\mathbf{f}(x,\epsilon) =…
We present a theorem on taking the repeated indefinite summation of a holomorphic function $\phi(z)$ in a vertical strip of $\mathbb{C}$ satisfying exponential bounds as the imaginary part grows. We arrive at this result using transforms…
We introduce a sufficient condition for a finitely generated subgroup $\Gamma$ of a semisimple Lie group $G$ to admit finite-sided Dirichlet domains for polyhedral Finsler metrics on the symmetric space $G/K$. The condition always implies…
We construct a finitely presented group with undecidable word problem and with Dehn function bounded by a quadratic function on an infinite set of positive integers.
We present an algorithm for computing a holonomic system for a definite integral of a holonomic function over a domain defined by polynomial inequalities. If the integrand satisfies a holonomic difference-differential system including…
Using the categorical description of supergeometry we give an explicit construction of the diffeomorphism supergroup of a compact finite-dimensional supermanifold. The construction provides the diffeomorphism supergroup with the structure…
Let $H$ be a finite dimensional hereditary algebra over an algebraically closed field, and let $\mathcal{C}_{H}$ be the corresponding cluster category. We give a description of the (standard) fundamental domain of $\mathcal{C}_{H} $ in the…
We present an algorithm of the reduction of the differential equations for master integrals the Fuchsian form with the right-hand side matrix linearly depending on dimensional regularization parameter $\epsilon$. We consider linear…
We characterize the set of positive harmonic functions with Dirichlet boundary conditions in unbounded domains which are union of several different chambers. We analyze the asymptotic behavior of the solutions in connection with the changes…
For $G$ a connected reductive group, $\gamma\in \kg(F)$ semisimple regular integral, we introduce a fundamental domain $F_{\gamma}$ for the affine Springer fibers $\xx_{\gamma}$. There is a beautiful way to reduce the purity conjecture of…
In this note, we compute the {\Sigma}^1(G) invariant when 1 {\to} H {\to} G {\to} K {\to} 1 is a short exact sequence of finitely generated groups with K finite. As an application, we construct a group F semidirect Z_2 where F is the R.…
Let $\Gamma$ be a group and $r_n(\Gamma)$ the number of its $n$-dimensional irreducible complex representations. We define and study the associated representation zeta function $\calz_\Gamma(s) = \suml^\infty_{n=1} r_n(\Gamma)n^{-s}$. When…
We find a new class of the Fuchsian equations, which have an algebraic geometric solutions with the parameter belonging to a hyperelliptic curve. Methods of calculating the algebraic genus of the curve, and its branching points, are…
Canonical differential calculus is defined for finitely generated abelian group with an involution existing consistently. Two such canonical calculi are found out. Fermionic representation for canonical calculus is defined based on…
Motivated by the need for efficient isomorphism tests for finite groups, we present a polynomial-time method for deciding isomorphism within a class of groups that is well-suited to studying local properties of general finite groups. We…
In this paper we compute extension groups in the category of strict polynomial superfunctors and thereby exhibit certain "universal extension classes" for the general linear supergroup. Some of these classes restrict to the universal…
We provide a complete system of invariants for the formal classification of complex analytic unipotent germs of diffeomorphism at $\cn{n}$ fixing the orbits of a regular vector field. We reduce the formal classification problem to solve a…
We present an algorithm for computing the integral closure of a reduced ring that is finitely generated over a finite field.