Searcharxiv⌕ Search

arXiv subjects

Mihran Papikian

Publications and source records attributed to Mihran Papikian.

At least 37 records · Page 2Linked to original sources

Galois extensions and a Conjecture of Ogg

Let $N=pq$ be a product of two distinct primes. There is an isogeny $J_0(N)^{\rm new}\to J^N$ defined over $\mathbf{Q}$ between the new quotient of $J_0(N)$ and the Jacobian of the Shimura curve attached to the indefinite quaternion algebra of discriminant $N$. In the case when $p=2,3,5,7,13$, Ogg made predictions about the kernels of these isogenies. We show that Ogg's conjecture is not true in general. Afterwards, we propose a strategy for proving results toward Ogg's conjecture in certain situations. Finally, we discuss this strategy in detail for $N=5\cdot 13$.

math.NT↗

On component groups of Jacobians of quaternionic modular curves

We use a combinatorial result relating the discriminant of the cycle pairing on a weighted finite graph to the eigenvalues of its Laplacian to deduce a formula for the orders of component groups of Jacobians of modular curves arising from quaternion algebras over $\mathbb{F}_q(T)$ or $\mathbb{Q}$. Our formula over $\mathbb{Q}$ recovers a result of Jordan and Livné.

math.NT↗

On Garland's vanishing theorem for $\mathrm{SL}_n$

This is an expository paper on Garland's vanishing theorem specialized to the case when the linear algebraic group is $\mathrm{SL}_n$. Garland's theorem can be stated as a vanishing of the cohomology groups of certain finite simplicial complexes. The method of the proof is quite interesting on its own. It relates the vanishing of cohomology to the assertion that the minimal positive eigenvalue of a certain combinatorial laplacian is sufficiently large. Since the 1970's, this idea has found applications in a variety of problems in representation theory, group theory, and combinatorics, so the paper might be of interest to a wide audience. The paper is intended for non-specialists and graduate students.

math.CO↗

Graph Laplacians, component groups and Drinfeld modular curves

Let $\frak{p}$ be a prime ideal of $\mathbb{F}_q[T]$. Let $J_0(\frak{p})$ be the Jacobian variety of the Drinfeld modular curve $X_0(\frak{p})$. Let $Φ$ be the component group of $J_0(\frak{p})$ at the place $1/T$. We use graph Laplacians to estimate the order of $Φ$ as $\mathrm{deg}(\frak{p})$ goes to infinity. This estimate implies that $Φ$ is not annihilated by the Eisenstein ideal of the Hecke algebra $\mathbb{T}(\frak{p})$ acting on $J_0(\frak{p})$ once the degree of $\frak{p}$ is large enough. We also obtain an asymptotic formula for the size of the discriminant of $\mathbb{T}(\frak{p})$ by relating this discriminant to the order of $Φ$; in this problem the order of $Φ$ plays a role similar to the Faltings height of classical modular Jacobians. Finally, we bound the spectrum of the adjacency operator of a finite subgraph of an infinite diagram in terms of the spectrum of the adjacency operator of the diagram itself; this result has applications to the gonality of Drinfeld modular curves.

math.NT↗

The rational torsion subgroups of Drinfeld modular Jacobians and Eisenstein pseudo-harmonic cochains

Let $\frak{n}$ be a square-free ideal of $\mathbb{F}_q[T]$. We study the rational torsion subgroup of the Jacobian variety $J_0(\frak{n})$ of the Drinfeld modular curve $X_0(\frak{n})$. We prove that for any prime number $\ell$ not dividing $q(q-1)$, the $\ell$-primary part of this group coincides with that of the cuspidal divisor class group. We further determine the structure of the $\ell$-primary part of the cuspidal divisor class group for any prime $\ell$ not dividing $q-1$.

math.NT↗

The Eisenstein ideal and Jacquet-Langlands isogeny over function fields

Let $\frak{p}$ and $\frak{q}$ be two distinct prime ideals of $\mathbb{F}_q[T]$. We use the Eisenstein ideal of the Hecke algebra of the Drinfeld modular curve $X_0(\frak{p}\frak{q})$ to compare the rational torsion subgroup of the Jacobian $J_0(\frak{p}\frak{q})$ with its subgroup generated by the cuspidal divisors, and to produce explicit examples of Jacquet-Langlands isogenies. Our results are stronger than what is currently known about the analogues of these problems over $\mathbb{Q}$.

math.NT↗

On the Eisenstein ideal over function fields

We study the Eisenstein ideal of Drinfeld modular curves of small levels, and the relation of the Eisenstein ideal to the cuspidal divisor group and the component groups of Jacobians of Drinfeld modular curves. We prove that the characteristic of the function field is an Eisenstein prime number when the level is an arbitrary non square-free ideal of $\mathbb{F}_q[T]$ not equal to a square of a prime.

math.NT↗

Drinfeld modules, Frobenius endomorphisms, and CM-liftings

We give a global description of the Frobenius elements in the division fields of Drinfeld modules of rank $2$. We apply this description to derive a criterion for the splitting modulo primes of a class of non-solvable polynomials, and to study the frequency with which the reductions of Drinfeld modules have small endomorphism rings. We also generalize some of these results to higher rank Drinfeld modules and prove CM-lifting theorems for Drinfeld modules.

math.NT↗

Optimal quotients of Jacobians with toric reduction and component groups

Let J be a Jacobian variety with toric reduction over a local field K. Let J -> E be an optimal quotient defined over K, where E is an elliptic curve. We give examples in which the functorially induced map Φ_J -> Φ_E on component groups of the Néron models is not surjective. This answers a question of Ribet and Takahashi. We also give various criteria under which Φ_J -> Φ_E is surjective, and discuss when these criteria hold for the Jacobians of modular curves.

math.NT↗

On Jacquet-Langlands isogeny over function fields

We propose a conjectural explicit isogeny from the Jacobians of hyperelliptic Drinfeld modular curves to the Jacobians of hyperelliptic modular curves of $\mathcal{D}$-elliptic sheaves. The kernel of the isogeny is a subgroup of the cuspidal divisor group constructed by examining the canonical maps from the cuspidal divisor group into the component groups.

math.NT↗

$\mathcal{D}$-elliptic sheaves and odd Jacobians

We examine the existence of rational divisors on modular curves of $\mathcal{D}$-elliptic sheaves and on Atkin-Lehner quotients of these curves over local fields. Using a criterion of Poonen and Stoll, we show that in infinitely many cases the Tate-Shafarevich groups of the Jacobians of these Atkin-Lehner quotients have non-square orders.

math.NT↗

On finite arithmetic simplicial complexes

We compute the Euler-Poincaré characteristic of quotients of the Bruhat-Tits building of PGL(n) under the action of arithmetic groups arising from central division algebras over rational function fields of positive characteristic. We use this result to determine the structure of the quotient simplicial complex in certain cases.

math.NT↗

Local diophantine properties of modular curves of $\cal{D}$-elliptic sheaves

We study the existence of rational points on modular curves of $\cal{D}$-elliptic sheaves over local fields and the structure of special fibres of these curves. We discuss some applications which include finding presentations for arithmetic groups arising from quaternion algebras, finding the equations of modular curves of $\cal{D}$-elliptic sheaves, and constructing curves violating the Hasse principle.

math.NT↗

On generators of arithmetic groups over function fields

Let $F=\mathbb{F}_q(T)$ be the field of rational functions with $\mathbb{F}_q$-coefficients, and $A=\mathbb{F}_q[T]$ be the subring of polynomials. Let $D$ be a division quaternion algebra over $F$ which is split at $1/T$. Given an $A$-order $Λ$ in $D$, we find an explicit finite set generating $Λ^\times$.

math.NT↗

Genus formula for modular curves of $D$-elliptic sheaves

We prove a genus formula for modular curves of $D$-elliptic sheaves. We use this formula to show that the reductions of modular curves of $D$-elliptic sheaves attain the Drinfeld-Vladut bound as the degree of the discriminant of $D$ tends to infinity.

math.NT↗

Trees, quaternion algebras and modular curves

We study the action on the Bruhat-Tits tree of unit groups of maximal orders in certain quaternion algebras over $\mathbb{F}_q(T)$ and discuss applications to arithmetic geometry and group theory.

math.NT↗