Searcharxiv⌕ Search

arXiv subjects

Kirti Joshi

Publications and source records attributed to Kirti Joshi.

At least 55 records · Page 3Linked to original sources
arXiv2013

The t-motivic mixed Carlitz zeta category and Carlitz-Thakur multi-zeta values

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).

math.NT↗
arXiv2013

On the action of Hecke operators on Drinfeld modular forms

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.

math.NT↗
arXiv2010

Remarks on the Fourier coefficients of modular forms

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.

math.NT↗
arXiv2010

Infinite Hilbert Class Field Towers from Galois Representations

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$.

math.NT↗
arXiv2010

Ordinarity of configuration spaces and of wonderful compactifications

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).

math.AG↗
arXiv2010

On the Picard group of moduli spaces

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.

math.AG↗
arXiv2010

Musings on $\Q(1/4)$: Arithmetic spin structures on elliptic curves

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)$.

math.AG↗
arXiv2007

Vector bundles with Theta divisors I: Bundles on Castelnuovo curves

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.

math.AG↗
arXiv2004

Stability and locally exact differentials on a curve

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.

math.AG↗
arXiv2002

On vector bundles destabilized by Frobenius pull-back

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.

math.AG↗
arXiv2001

Griffiths groups of supersingular abelian varieties

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.

math.AG↗
arXiv2001

A remark on potentially semi-stable representations of Hodge-Tate type (0,1)

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.

math.AG↗
arXiv2001

Exotic torsion, Frobenius splitting and the slope spectral sequence

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.

math.AG↗
arXiv2001

Frobenius splitting and ordinarity

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.

math.AG↗
arXiv1999

Moduli of Vector Bundles on Curves in Positive Characteristics

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 scheme 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 semi-stable. The indeterminacy of the Frobenius map at this point can be resolved by introducing Higgs bundles.

math.AG↗
arXiv1999

Remarks on methods of Fontaine and Faltings

In this note we prove the non existence of certain irreducible two dimensional representations of the the absolute Galois group. Such results are predicted by Serre's conjecture and we use Fontaine's methods to verify these predictions in a small number of cases. We also use a methods of Faltings to study certain finiteness conjectures for Galois representations. Key words: Serre's conjecture, Fontaine-Mazur conjectures, Galois representations.

math.NT↗