Comments on Arithmetic Teichmuller Spaces
I provide some comments on Arithmetic Teichmuller Spaces constructed in my paper arXiv:2106.11452.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Kirti Joshi contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
I provide some comments on Arithmetic Teichmuller Spaces constructed in my paper arXiv:2106.11452.
I show that a conjecture of Joshi-Rajan on primes of Hodge-Witt reduction and in particular a conjecture of Jean-Pierre Serre on primes of good, ordinary reduction for an abelian variety over a number field follows from a certain conjecture on Galois rep- resentations which may perhaps be easier to prove (and I prove this conjecture for abelian compatible systems of a suitable type). This reduction (to a conjecture about certain sys- tems of Galois representations) is based on a new slope estimate for non Hodge-Witt abelian varieties. In particular for any abelian variety over a number field with at least one prime of good ordinary or split toric reduction, I show that the conjecture of Joshi-Rajan and the conjecture of Serre on ordinary reductions can be reduced to proving that a certain rational trace of Frobenius is in fact an integer. The assertion that this trace is an integer is proved for abelian systems of Galois representations (of suitable type).
In this note we study numbers which occur as conductors of elliptic curves over Q. We show, by constructing families of elliptic curves with quadratic discriminant and invoking a theorem of Iwaniec, that this set contains infinitely many almost primes. We show, assuming a strong version of the Cohen-Lenstra heuristics, that the set of prime conductors has an explicitly bounded density in the set of primes. Studying the Cremona and Stein-Watkins databases of elliptic curves we conjecture that the set of conductors should be of density zero in the set of natural numbers and that the set of prime conductors should be of density zero in the set of prime numbers.
Let X be a smooth projective curve of genus g \textgreater{}1 defined over an algebraically closed field k of characteristic p \textgreater{}0. For p sufficiently large (explicitly given in terms of r,g) we construct an atlas for the locus of all Frobenius-destabilized bundles (i.e. we construct all Frobenius-destabilized bundles of degree zero up to isomorphism). This is done by exhibiting a surjective morphism from a certain Quot-scheme onto the locus of stable Frobenius-destabilized bundles. Further we show that there is a bijective correspondence between the set of stable vector bundles E over X such that the pull-back F^*(E) under the Frobenius morphism of X has maximal Harder-Narasimhan polygon and the set of opers having zero p-curvature. We also show that, after fixing the determinant, these sets are finite, which enables us to derive the dimension of certain Quot-schemes and certain loci of stable Frobenius-destabilized vector bundles over X. The finiteness is proved by studying the properties of the Hitchin-Mochizuki morphism; an alternative approach to finiteness has been realized in a recent preprint by Chen and Zhu. In particular we prove a generalization of a result of Mochizuki to higher ranks.
I make some remarks on Hodge symmetry, and prove for instance that if $k$ is a perfect field of characteristic $p>0$ and $X/k$ smooth, proper and Hodge-Witt scheme, and Hodge de Rham sequence of $X$ degenerates at $E_1$ and $X$ has torsion-free crystalline cohomology, then Hodge symmetry holds for $X$.
In this paper we determine the explicit structure of the semisimple part of the Hecke algebra that acts on Drinfeld modular forms of full level modulo T . We use computations of the Hecke action modulo T to find Drinfeld modular forms that cannot be eigenforms. Finally, we conjecture that the Hecke algebra that acts on Drinfeld modular forms of full level is not smooth for large weight.
We construct the t-motivic mixed Carlitz zeta category over $\F_q(t)$ and show that it contains all the (mixed) t-motives with Carlitz-Thakur multi-zeta values as periods constructed by Anderson and Thakur. Our construction is canonical and our category is Tannakian and neutral and every object is equipped with a weight filtration whose graded pieces are Carlitz motives over $\F_q(t)$. For any finite separable extension L/\F_q(t) we show that existence of a similar category over $L$ is a consequence of a version of a conjecture of L. Taelman. Along the way we also prove the existence of the category of mixed $t$-motives and the category of mixed Carlitz motives over any $L$ (these two existence results are independent of any conjectures).
We investigate class field towers of number fields obtained as fixed fields of modular representations of the absolute Galois group of the rational numbers. First, for each $k\in\{12,16,18,20,22,26\}$, we give explicit rational primes $ł$ such that the fixed field of the mod-$ł$ representation attached to the unique normalized cusp eigenforms of weight $k$ on $\Sl_2(\Z)$ has an infinite class field tower. Under a conjecture of Hardy and Littlewood, we further prove that there exist infinitely many such primes for each $k$ (in the above list). Second, given a non-CM curve $E/\Q$, we show that there exists an integer $M_E$ such that the fixed field of the representation attached to the $n$-division points of $E$ has an infinite class field tower for a set of integers $n$ of density one among integers coprime to $M_E$.
We introduce and study arithmetic spin structures on elliptic curves. We show that there is a unique isogeny class of elliptic curves over $\F_{p^2}$ which carries a unique arithmetic spin structure and provides a geometric object of weight 1/2 in the sense of Deligne and Grothendieck. This object is thus a candidate for $\Q(1/4)$.
We study the Picard groups of moduli spaces in positive characteristics and we give a "$p$-adic" proof that the Picard group of moduli of vector bundles of fixed determinant is isomorphic to the group of integers. Along the way we prove that the local fundamental group scheme of a normal unirational projective variety is trivial. This is reminiscent of results of Serre and Nygaard who studied the fundamental groups of smooth, projective, unirational varieties.
We prove the following: (1) if $X$ is ordinary, the Fulton-MacPherson configuration space $X[n]$ is ordinary for all $n$; (2) the moduli of stable $n$-pointed curves of genus zero is ordinary. (3) More generally we show that a wonderful compactification $X_\sg$ is ordinary if and only if $(X,\sg)$ is an ordinary building set. This implies the ordinarity of many other well-known configuration spaces (under suitable assumptions).
We consider a variant of a question of N. Koblitz. For an elliptic curve $E/\Q$ which is not $\Q$-isogenous to an elliptic curve with torsion, Koblitz has conjectured that there exists infinitely many primes $p$ such that $N_p(E)=#E(\F_p)=p+1-a_p(E)$ is also a prime. We consider a variant of this question. For a newform $f$, without CM, of weight $k\geq 4$, on $Γ_0(M)$ with trivial Nebentypus $χ_0$ and with integer Fourier coefficients, let $N_p(f)=χ_0(p)p^{k-1}+1-a_p(f)$ (here $a_p(f)$ is the $p^{th}$-Fourier coefficient of $f$). We show under GRH and Artin's Holomorphy Conjecture that there are infinitely many $p$ such that $N_p(f)$ has at most $[5k+1+\sqrt{\log(k)}]$ distinct prime factors. We give examples of about hundred forms to which our theorem applies.
In this paper we show that semistable vector bundles on a Castelnuovo curve of genus g >= 2 have theta divisors. As a corollary, we deduce that semistable vector bundles on a smooth, general curve of genus g >= 2 which extend to semistable vector bundles on any Castelnuovo degeneration of the general curve admit a theta divisor.
We show that the locally free sheaf of locally exact differentials on a smooth projective curve of genus at least two over an algebraically closed field k of characteristic p is a stable vector bundle. This answers a question of Raynaud.
Let X be an irreducible smooth projective curve of genus at least two over an algebraically closed field k of characteristic p>0. In this paper we study the natural stratification, defined using the absolute Frobenius of X, on the moduli space of vector bundles on X of suitable rank. In characteristic two we provide a complete classification of rank two semi-stable vector bundles whose Frobenius pull-back is not semi-stable. We also obtain fairly good information about the strata of the Frobenius stratification, including the irreducibility and the dimension of each non-empty Frobenius stratum. In particular we show that the locus of Frobenius destabilized bundles has dimension 3g-4 in the moduli space of semi-stable bundles of rank two. We also construct stable bundles that are destabilized by Frobenius in the following situations: characteristic p=2 and rank four, (2) characteristic p=rank=3, (3) characteristic p=rank=5 and g at least three. We also explore (in any characteristic) the connection between Frobenius destabilized bundles and (pre)-opers, this approach allows us to reinterpret some of our results in terms of pre-opers and also allows us to construct Frobenius destablised bundles from certain pre-opers (or opers). The other result we obtain is (for characteristic two): we show that the Gunning bundle descends under Frobenius when genus g is even. If g is odd, then the Gunning bundle twisted by any odd degree line bundle also descends.
In this note we give a p-adic proof of Hodge symmetry for smooth, projective threefolds over complex numbers.
In this note we complement a part of a theorem of Fontaine-Mazur. We show that if $(V,ρ)$ is an irreducible finite dimensional representation of the Galois group $Gal({\bar K}/K)$ of a finite extension of $K\Q_p$, of Hodge-Tate type $(0,1)$ then it is potentially semi-stable if and only if it is potentially crystalline. This was proved by Fontaine-Mazur for dimension two and $p\geq 5$ by their classfication theorem.
In this note we show that Frobenius split smooth, projective threefolds are Hodge-Witt (using a criterion for the degeneration of the slope spectral sequence of smooth projective threefolds which we prove), and that smooth, projective Frobenius split varieties do not have exotic torsion in their slope spectral sequence. We also record a few simple observations on Frobenius split threefolds. This paper complements authors paper with C. S. Rajan ``On Frobenius splitting and ordinarity'' which is also available on this archive.
We examine the relationship between the notion of Frobenius splitting and ordinarity for varieties. We show the following: a) The de Rham-Witt cohomology groups $H^i(X, W({\mathcal O}_X))$ of a smooth projective Frobenius split variety are finitely generated over $W(k)$. b) we provide counterexamples to a question of V. B. Mehta that Frobenius split varieties are ordinary or even Hodge-Witt. c) a Kummer $K3$ surface associated to an Abelian surface is $F$-split (ordinary) if and only if the associated Abelian surface is $F$-split (ordinary). d) for a $K3$-surface defined over a number field, there is a set of primes of density one in some finite extension of the base field, over which the surface acquires ordinary reduction. This paper should be read along with first author's paper `Exotic torsion, Frobenius splitting and the slope spectral sequence' which is also available in this archive.
The Griffiths group $\Gr^r(X)$ of a smooth projective variety $X$ over an algebraically closed field is defined to be the group of homologically trivial algebraic cycles of codimension $r$ on $X$ modulo the subgroup of algebraically trivial algebraic cycles. The main result of this paper is that the Griffiths group $\Gr^2(A_\kbar)$ of a supersingular abelian variety $A_\kbar$ over the algebraic closure of a finite field of characteristic $p$ is at most a $p$-primary torsion group. As a corollary the same conclusion holds for supersingular Fermat threefolds. In contrast, using methods of C. Schoen it is also shown that if the Tate conjecture is valid for all smooth projective surfaces and all finite extensions of the finite ground field $k$ of characteristic $p>2$, then the Griffiths group of any ordinary abelian threefold $A_\kbar$ over the algebraic closure of $k$ is non-trivial.
This is a revised version of the preprint which has been available electronically for a while. The paper will now appear in J. Ramanujan Math. Soc.
Let $X$ be a projective curve of genus 2 over an algebraically closed field of characteristic 2. The Frobenius map on X induces a rational map on the moduli space of rank-2 bundles. We show that up to isomorphism, there is only one (up to tensoring by an order two line bundle) semi-stable vector bundle of rank 2 with determinant equal to a theta characteristic whose Frobenius pull-back is not stable. The indeterminacy of the Frobenius map at this point can be resolved by introducing Higgs bundles.
In the note we construct a family of étale coverings of the affine line. More specifically, let $F$ be a finite field of characteristic $p$ and suppose that the cardinality of $F$ is at least 4. Let $A = F[T]$ be the polynomial ring in one variable $T$, $K=F(T)$. Let $K_\infty$ be the completion of $K$ along the valuation given by $1/T$, and let $C$ be the completion of the algebraic closure of $K_\infty$. We prove in this note that there is a continous surjection $$π_1^{alg}(\A^1_C) \to \lim_{\leftarrow \atop I} SL_2( A/I )/{\pm 1},$$ where $π_1^{alg}(\A^1_C)$ is the algebraic fundamental group of the affine line over $C$, and the inverse limit on the right (above) is taken over all nonzero proper ideals in $A=F[T]$. We use the theory of Drinfel'd modular curves to obtain these coverings.