arXiv subjects

Devendra Tiwari

Publications and source records attributed to Devendra Tiwari.

10 recordsLinked to original sources

arXiv2026

A Hypergeometric RM Surface: Integral Monodromy and Level-11 Covers

We study a genus-two hypergeometric family whose Jacobians have real multiplication by $\Q(\sqrt5)$. We identify the relevant primitive factor and integral rank-two monodromy; at one real embedding the projective image is $Δ(2,5,\infty)$, while the conjugate image is nondiscrete. At the primes above $11$, the degree-$12$ Borel covers are quadratic pullbacks of genus-one triangular modular curves. The same rank-two systems have finite-field hypergeometric Frobenius traces, yielding the local Euler factors and a quadratic transformation twisted by the character of $2$.

math.NT↗

arXiv2026

Shimura curves of discriminant 14 and 15 and associated Heun Functions

We study the Shimura curves $X_D^*(1)$ of discriminant $D$ for $D=14, 15$ relating specific weight $4$ modular forms on these Shimura curves to the associated Heun functions for the quadrilateral group. We also discuss how the Picard-Fuchs equation of the associated family of abelian surfaces has solutions coming from modular forms on $X^*_{D}(1)$. We determine the rational exceptional sets of the associated Heun functions, and the algebraic values attained by the Heun function at these points. For example, $${\rm He}\left( 81, \frac{1}{2}; \frac{1}{3}, \frac{1}{6}, \frac{1}{2}, \frac{1}{2};-\frac{729}{112}\right)= \left( \frac{2^2 \cdot 3^3 \cdot 5^3}{7^5} \right)^{\frac{1}{6}} $$.

math.NT↗

arXiv2026

Farey Symbols for the Picard Group

We develop Picard Farey symbols for finite-index subgroups of $G=\PSL_2(\ZZ[i])$ from the Gaussian Farey tessellation of $\HH^3$ by ideal octahedra. The ambient geometry naturally involves two different index-two extensions of $G$: the orientation-preserving group $\PGL_2(\ZZ[i])$ and a reflection extension. This distinction explains the two $G$-orbits of Farey faces, which merge into one $\PGL_2$-orbit, and the classical extended modular tessellation appears as a totally geodesic slice. A Picard Farey symbol records finitely many Gaussian-rational octahedral occurrences, their local stabilizers, and cooriented face-pairing transformations. We prove that such a symbol reconstructs the finite Picard-cell action and hence the subgroup; moreover, when subgroup membership is decidable, the symbol can be found by a terminating finite double-coset procedure. For torsion-free subgroups we obtain whole-octahedron fundamental domains. The marked symbol also supplies finite orbit relations for the established Gaussian Steinberg edge--face presentation, with its corresponding Bianchi modular-symbol relations. When the natural modular-to-Picard coset map is bijective, a side-connected Kulkarni special polygon lifts, using the same modular representatives, to a Picard fundamental polyhedron whose intersection with the invariant real plane is exactly that polygon; the level-$(2+i)$/level-$5$ family is worked out explicitly. Comparison examples show that octahedral boundary minimization, absolute geometric face minimization, and preservation of such a modular section are distinct problems. Canonical reduction and effective Hecke reduction remain open.

math.NT↗

arXiv2026

Hecke Triangle Groups and Dessins d'Enfants

We study finite-index subgroups of the Hecke triangle group $H_q$ of signature $(2,q,\infty)$ through the finite-edge tessellation, special polygons, and the associated dessins. The quotient finite-edge graph is a connected bipartite ribbon graph in which even vertices have degree $1$ or $2$ and odd vertices may have any degree $d\mid q$; geometrically, degree $d$ records a $d$-cluster and an elliptic stabilizer of order $q/d$. We determine two finite ambiguities that arise when one passes from this quotient graph to a special polygon. First, all tree diagrams obtained from a fixed ribbon graph are classified by the possible spanning-tree cuts modulo graph automorphisms. Second, at a proper cluster one must record which cyclic gap contains the omitted branches of the universal $q$-star; every such choice develops to a special polygon. Combining the two gives an explicit finite description of all polygon orbits over a fixed dessin, together with a separate count of normalized realizations in the fixed tessellation. Concrete examples for $H_5$, $H_6$, and $H_7$ illustrate the geometry, and two arithmetic corollaries concern level-$2$ cusp labels and Galois orbits of principal congruence dessins.

math.CO↗

arXiv2026

Modular elliptic curves and hyperbolic uniformization

In an article published a few years before the modularity of elliptic curves over $\Q$ was proved, Mazur \cite{maz} looked at modularity as a purely complex analytic phenomenon, defining a notion of an elliptic curve over $\Q$ having a hyperbolic uniformisation of arithmetic type. Such an elliptic curve (of conductor $N$, say) is necessarily geometrically modular, i.e. a quotient of the jacobian of the modular curve $X_0(N)$, by a morphism defined over $\Q$. We extend these ideas to elliptic curves over totally real fields of odd degree, using Shimura curves for quaternion algebras split at all finite places and one real place. In particular, we prove that the existence of a hyperbolic uniformisation of arithmetic type would imply geometric modularity.

math.NT↗

arXiv2023

High temperature equilibrium of 3D and 2D chalcogenide perovskites

Chalcogenide perovskites have been recently under the researchers spotlight as novel absorber materials for photovoltaic applications. BaZrS$_3$, the most investigated compound of this family, shows a high absorption coefficient, a bandgap of around 1.8 eV, and excellent environmental and thermal stability. In addition to the 3D perovskite BaZrS$_3$, the Ba-Zr-S compositional space contains various 2-D Ruddlesden-Popper phases Ba$_{x+1}$Zr$_x$S$_{3x+1}$ (with $x=$ 1, 2, 3) which have recently been reported. In this work it will be shown that at high temperature the Gibbs free energies of 3D and 2D perovskites are very close, suggesting that 2D phases can be easily formed at high temperatures. The analysis of the product of the BaS and ZrS$_2$ solid-state reaction, in different stoichiometric conditions, present a mixture of BaZrS$_3$ and Ba$_4$Zr$_3$S$_{10}$. To carefully resolve the composition, XRD, SEM and EDS analysis were complemented with Raman spectroscopy. For this purpose, the phonon modes, and the consequent Raman spectra, were calculated for the 3D and 2D chalcogenide perovskites, as well as for the binary precursors. This thorough characterization demonstrates the thermodynamic limitations and experimental difficulties in forming phase-pure chalcogenide perovskites through solid state synthesis, and the importance of using multiple techniques to soundly resolve the composition of these chalcogenide materials.

cond-mat.mtrl-sci↗

arXiv2021

On Free Group Generated by Two Heisenberg Translations

In this paper, we will discuss the groups generated by two Heisenberg translations of ${\rm PSp}(2,1)$ and determine when they are free. We improve a result given in \cite{xwy} by Xie, Wang, Jiang in Canad. Math. Bull. $56(2013), 881-889.$ and from that derive result for the ${\rm PSp}(2,1)$ case.

math.GR↗

arXiv2021

Discreteness Of Hyperbolic Isometries by Test Maps

Let $\mathbb F=\mathbb R$, $\mathbb C$ or $\mathbb H$. Let ${\bf H}_{\mathbb F}^n$ denote the $n$-dimensional $\mathbb F$-hyperbolic space. Let ${\rm U}(n,1; \mathbb F)$ be the linear group that acts by the isometries. A subgroup $G$ of ${\rm U}(n,1; \mathbb F)$ is called \emph{Zariski dense} if it does not fix a point on the closure of the $\mathbb F$-hyperbolic space, and neither it preserves a totally geodesic subspace of it. We prove that a Zariski dense subgroup $G$ of ${\rm U}(n,1; \mathbb F)$ is discrete if for every loxodromic element $g \in G$, the two generator subgroup $\langle f, g \rangle$ is discrete, where $f \in {\rm U}(n,1; \mathbb F)$ is a test map not necessarily from $G$.

math.GT↗

arXiv2019

On discreteness of subgroups of quaternionic hyperbolic isometries

Let ${{\bf H}_{\mathbb H}}^n$ denote the $n$-dimensional quaternionic hyperbolic space. The linear group ${\rm{Sp}}(n,1)$ acts by the isometries of ${{\bf H}_{\mathbb H}}^n$. A subgroup $G$ of ${\rm {Sp}}(n,1)$ is called \emph{Zariski dense} if it does not fix a point on ${{\bf H}_{\mathbb H}}^n \cup \partial {{\bf H}_{\mathbb H}}^n$ and neither it preserves a totally geodesic subspace of ${{\bf H}_{\mathbb H}}^n$. We prove that a Zariski dense subgroup $G$ of ${\rm{ Sp}}(n,1)$ is discrete if for every loxodromic element $g \in G$ the two generator subgroup $\langle f, g f g^{-1} \rangle$ is discrete, where the generator $f \in {\rm{Sp}}(n,1)$ is certain fixed element not necessarily from $G$.

math.GT↗

arXiv2018

On generalized Jørgensen inequality in ${\rm SL}(2, \mathbb C)$

Wang, Jiang and Cao have obtained a generalized version of the Jørgensen inequality in Proc. Indian Acad. Sci. Math. Sci., 123(2):245--251, 2013, for two generator subgroups of ${\rm SL}(2, \mathbb C)$ where one of the generators is loxodromic. We prove that their inequality is strict.

math.GR↗