Source author record

Ian Kiming

Ian Kiming appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

6works
4topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2015arXiv

On the theta operator for modular forms modulo prime powers

We consider the classical theta operator $θ$ on modular forms modulo $p^m$ and level $N$ prime to $p$ where $p$ is a prime greater than 3. Our main result is that $θ$ mod $p^m$ will map forms of weight $k$ to forms of weight $k+2+2p^{m-1}(p-1)$ and that this weight is optimal in certain cases when $m$ is at least 2. Thus, the natural expectation that $θ$ mod $p^m$ should map to weight $k+2+p^{m-1}(p-1)$ is shown to be false. The primary motivation for this study is that application of the $θ$ operator on eigenforms mod $p^m$ corresponds to twisting the attached Galois representations with the cyclotomic character. Our construction of the $θ$-operator mod $p^m$ gives an explicit weight bound on the twist of a modular mod $p^m$ Galois representation by the cyclotomic character.

preprint2012arXiv

Lifts of projective congruence groups, II

We continue and complete our previous paper `Lifts of projective congruence groups' [2] concerning the question of whether there exist noncongruence subgroups of $\SL_2(\Z)$ that are projectively equivalent to one of the groups $Γ_0(N)$ or $Γ_1(N)$. A complete answer to this question is obtained: In case of $Γ_0(N)$ such noncongruence subgroups exist precisely if $N\not\in {3,4,8}$ and we additionally have either that $4\mid N$ or that $N$ is divisible by an odd prime congruent to 3 modulo 4. In case of $Γ_1(N)$ these noncongruence subgroups exist precisely if $N>4$. As in our previous paper the main motivation for this question is the fact that the above noncongruence subgroups represent a fairly accessible and explicitly constructible reservoir of examples of noncongruence subgroups of $\SL_2(\Z)$ that can serve as basis for experimentation with modular forms on noncongruence subgroups.

preprint2012arXiv

On modular Galois representations modulo prime powers

We study modular Galois representations mod $p^m$. We show that there are three progressively weaker notions of modularity for a Galois representation mod $p^m$: we have named these `strongly', `weakly', and `dc-weakly' modular. Here, `dc' stands for `divided congruence' in the sense of Katz and Hida. These notions of modularity are relative to a fixed level $M$. Using results of Hida we display a `stripping-of-powers of $p$ away from the level' type of result: A mod $p^m$ strongly modular representation of some level $Np^r$ is always dc-weakly modular of level $N$ (here, $N$ is a natural number not divisible by $p$). We also study eigenforms mod $p^m$ corresponding to the above three notions. Assuming residual irreducibility, we utilize a theorem of Carayol to show that one can attach a Galois representation mod $p^m$ to any `dc-weak' eigenform, and hence to any eigenform mod $p^m$ in any of the three senses. We show that the three notions of modularity coincide when $m=1$ (as well as in other, particular cases), but not in general.

preprint2012arXiv

Quadratic twists of rigid Calabi-Yau threefolds over $\QQ$

We consider rigid Calabi--Yau threefolds defined over $\QQ$ and the question of whether they admit quadratic twists. We give a precise geometric definition of the notion of a quadratic twists in this setting. Every rigid Calabi--Yau threefold over $\QQ$ is modular so there is attached to it a certain newform of weight 4 on some $Γ_0(N)$. We show that quadratic twisting of a threefold corresponds to twisting the attached newform by quadratic characters and illustrate with a number of obvious and not so obvious examples. The question is motivated by the deeper question of which newforms of weight 4 on some $Γ_0(N)$ and integral Fourier coefficients arise from rigid Calabi--Yau threefolds defined over $\QQ$.

preprint2011arXiv

On some new invariants for strong shift equivalence for shifts of finite type

We introduce a new computable invariant for strong shift equivalence of shifts of finite type. The invariant is based on an invariant introduced by Trow, Boyle, and Marcus, but has the advantage of being readily computable. We summarize briefly a large-scale numerical experiment aimed at deciding strong shift equivalence for shifts of finite type given by irreducible $2\times 2$-matrices with entry sum less than 25, and give examples illustrating to power of the new invariant, i.e., examples where the new invariant can disprove strong shift equivalence whereas the other invariants that we use can not.

preprint2010arXiv

Lifts of projective congruence groups

We show that noncongruence subgroups of SL_2(Z) projectively equivalent to congruence subgroups are ubiquitous. More precisely, they always exist if the congruence subgroup in question is a principal congruence subgroup Gamma(N) of level N>2, and they exist in many cases also for Gamma_0(N). The motivation for asking this question is related to modular forms: projectively equivalent groups have the same spaces of cusp forms for all even weights whereas the spaces of cusp forms of odd weights are distinct in general. We make some initial observations on this phenomenon for weight 3 via geometric considerations of the attached elliptic modular surfaces. We also develop algorithms that construct all subgroups projectively equivalent to a given congruence subgroup and decides which of them are congruence. A crucial tool in this is the generalized level concept of Wohlfahrt.