Related papers: Models for quotients of modular curves
We obtain the modular automorphism group of any quotient modular curve of level $N$, with $4,9\nmid N$. In particular, we obtain some non-expected automorphisms of order 3 that appear for the quotient modular curves when the Atkin-Lehner…
We formulate a mathematical setup for computational neural networks using noncommutative algebras and near-rings, in motivation of quantum automata. We study the moduli space of the corresponding framed quiver representations, and find…
These course notes are about computing modular forms and some of their arithmetic properties. Their aim is to explain and prove the modular symbols algorithm in as elementary and as explicit terms as possible, and to enable the devoted…
Let f be a newform, as specified by its Hecke eigenvalues, on a Shimura curve X. We describe a method for evaluating f. The most interesting case is when X arises as a compact quotient of the hyperbolic plane, so that classical q-expansions…
Given an holomorphic Higgs bundle on a compact Riemann surface of genus greater than one, we construct a DQ-module supported by the spectral curve associated to this bundle. Then, we relate quantum curves arising in various situations…
In this expository article we give a categorical definition of the integral cohomology ring of a stack. We show that for quotient stacks the categorical cohomology may be identified with equivariant cohomology. Via this identification we…
We present an algorithm for computing curves and families of curves of prescribed degree and geometric genus on real rational surfaces.
In this work, we estimate the genus of the intermediate modular curves between $X_1(N)$ and $X_0(N),$ and determine all the trigonal ones.
The modularity theorem implies that for every elliptic curve $E /\mathbb{Q}$ there exist rational maps from the modular curve $X_0(N)$ to $E$, where $N$ is the conductor of $E$. These maps may be expressed in terms of pairs of modular…
Let $E$ be an elliptic curve defined over $\mathbb{Q}$, and let $\mathbb{Q}^{ab}$ be the maximal abelian extension of $\mathbb{Q}$. In this article we classify the groups that can arise as $E(\mathbb{Q}^{ab})_{\text{tors}}$ up to…
We describe how the quadratic Chabauty method may be applied to explicitly determine the set of rational points on modular curves of genus $g>1$ whose Jacobians have Mordell--Weil rank $g$. This extends our previous work on the split Cartan…
For a square-free integer $N$, we present a procedure to compute $\mathbb{Q}$-curves parametrized by rational points of the modular curve $X_0^*(N)$ when this is hyperelliptic.
For a fixed odd prime p and a representation \rho of the absolute Galois group of Q into the projective group PGL(2,p), we provide the twisted modular curves whose rational points supply the quadratic Q-curves of degree N prime to p that…
We develop algorithms to turn quotients of rings of rings of integers into effective Euclidean rings by giving polynomial algorithms for all fundamental ring operations. In addition, we study normal forms for modules over such rings and…
We construct an arithmetic analogue of the quantum local systems on the moduli of curves, and study its basic structure. Such an arithmetic local system gives rise to a uniform way of assigning a Galois cohomology class of the first…
We consider three kinds of quotients of the curve complex which are obtained by coning off uniformly quasi-convex subspaces: symmetric curve sets, non-maximal train track sets, and compression body disc sets. We show that the actions of the…
Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehension are related to measurement, not only in quantum logic,…
We contribute to the foundations of tropical geometry with a view towards formulating tropical moduli problems, and with the moduli space of curves as our main example. We propose a moduli functor for the moduli space of curves and show…
We determine the automorphism group of the modular curve $X_0^*(N)$, obtained as the quotient of the modular curve $X_0(N)$ by the group of its Atkin-Lehner involutions, for all square-free values of $N$.
We quantize the coordinate ring of the moduli space of B-bundles on the elliptic curve. Here B is a Borel subgroup of some semisimple Lie group. We construct some representations of these algebras and study intertwining operators for these…