Showing 1–36 of 36 results for author: Rajan, C S

Relative Weyl Character formula, Relative Pieri formulas and Branching rules for Classical groups

Authors: C. S. Rajan, Sagar Shrivastava

Abstract: We give alternate proofs of the classical branching rules for highest weight representations of a complex reductive group $G$ restricted to a closed regular reductive subgroup $H$, where $(G,H)$ consist of the pairs $(GL(n+1),GL(n))$, $ (Spin(2n+1), Spin(2n)) $ and $(Sp(2n),Sp(2)\times Sp(2n-2))$. Our proof is essentially a long division. The starting point is a relative Weyl character formula and… ▽ More We give alternate proofs of the classical branching rules for highest weight representations of a complex reductive group $G$ restricted to a closed regular reductive subgroup $H$, where $(G,H)$ consist of the pairs $(GL(n+1),GL(n))$, $ (Spin(2n+1), Spin(2n)) $ and $(Sp(2n),Sp(2)\times Sp(2n-2))$. Our proof is essentially a long division. The starting point is a relative Weyl character formula and our method is an inductive application of a relative Pieri formula. We also give a proof of the branching rule for the case of $ (Spin(2n), Spin(2n-1))$, by a reduction to the case of $(GL(n),GL(n-1))$. △ Less

Submitted 30 September, 2023; originally announced October 2023.

Comments: 35 pages

MSC Class: 17B45; 20G05; 20G20; 11E57

On equidistribution of Gauss sums of cuspidal representations of $GL_d(\mathbb F_q)$

Authors: Sameer Kulkarni, C. S. Rajan

Abstract: We investigate the distribution of the angles of Gauss sums attached to the cuspidal representations of general linear groups over finite fields. In particular we show that they happen to be equidistributed w.r.t.the Haar measure. However, for representations of $PGL_2(\mathbb F_q)$, they are clustered around $1$ and $-1$ for odd $p$ and around $1$ for $p=2$. We investigate the distribution of the angles of Gauss sums attached to the cuspidal representations of general linear groups over finite fields. In particular we show that they happen to be equidistributed w.r.t.the Haar measure. However, for representations of $PGL_2(\mathbb F_q)$, they are clustered around $1$ and $-1$ for odd $p$ and around $1$ for $p=2$. △ Less

Submitted 6 October, 2021; originally announced October 2021.

A finiteness theorem for abelian varieties with totally bad reduction

Authors: Plawan Das, C. S. Rajan

Abstract: We show that up to potential isogeny, there are only finitely many abelian varieties of dimension $d$ defined over a number field $K$, such that for any finite place $v$ outside a fixed finite set $S$ of places of $K$ containing the archimedean places, it has either good reduction at $v$, or totally bad reduction at $v$ and good reduction over a quadratic extension of the completion of $K$ at $v$. We show that up to potential isogeny, there are only finitely many abelian varieties of dimension $d$ defined over a number field $K$, such that for any finite place $v$ outside a fixed finite set $S$ of places of $K$ containing the archimedean places, it has either good reduction at $v$, or totally bad reduction at $v$ and good reduction over a quadratic extension of the completion of $K$ at $v$. △ Less

Submitted 2 January, 2022; v1 submitted 2 October, 2021; originally announced October 2021.

Comments: 7 pages, added new remarks and a section

On a convexity property of tensor products of irreducible, rational representations of $SL(n)$

Authors: Hariharan Narayanan, C. S. Rajan

Abstract: The aim of this note is to point out a convexity property with respect to the root lattice for the support of the highest weights that occur in a tensor product of irreducible rational representations of $SL(n)$ over the complex numbers. The observation is a consequence of the convexity properties of the saturation cone and the validity of the saturation conjecture for $SL(n)$. The aim of this note is to point out a convexity property with respect to the root lattice for the support of the highest weights that occur in a tensor product of irreducible rational representations of $SL(n)$ over the complex numbers. The observation is a consequence of the convexity properties of the saturation cone and the validity of the saturation conjecture for $SL(n)$. △ Less

Submitted 5 July, 2021; v1 submitted 9 June, 2021; originally announced June 2021.

Comments: 6 pages, example added to indicate failure of convexity property for B_n type Lie algebras; to appear in Journal of Lie Theory

MSC Class: Primary 20G05; Secondary 22E45; 05E10

Finiteness theorems for potentially equivalent Galois representations: extension of Faltings' finiteness criteria

Authors: Plawan Das, C. S. Rajan

Abstract: We study the relationship between potential equivalence and character theory; we observe that potential equivalence of a representation $ρ$ is determined by an equality of an $m$-power character $g\mapsto Tr(ρ(g^m))$ for some natural number $m$. Using this, we extend Faltings' finiteness criteria to determine the equivalence of two $\ell$-adic, semisimple representations of the absolute Galois gro… ▽ More We study the relationship between potential equivalence and character theory; we observe that potential equivalence of a representation $ρ$ is determined by an equality of an $m$-power character $g\mapsto Tr(ρ(g^m))$ for some natural number $m$. Using this, we extend Faltings' finiteness criteria to determine the equivalence of two $\ell$-adic, semisimple representations of the absolute Galois group of a number field, to the context of potential equivalence. We also discuss finiteness results for twist unramified representations. △ Less

Submitted 16 September, 2021; v1 submitted 31 December, 2020; originally announced December 2020.

Comments: 12 pages, Revised version, to appear in Proc. Amer. Math. Soc

MSC Class: 11F80; 11G05; 11G10

A uniform bound for inertially equivalent, pure $\ell$-adic representations: an extension of Faltings' theorem

Authors: Plawan Das, C. S. Rajan

Abstract: We introduce a notion of inertial equivalence for integral $\ell$-adic representation of the Galois group of a global field. We show that the collection of continuous, semisimple, pure $\ell$-adic representations of the absolute Galois group of a global field lifting a fixed absolutely irreducible residual representation and with given inertial type outside a fixed finite set of places is uniforml… ▽ More We introduce a notion of inertial equivalence for integral $\ell$-adic representation of the Galois group of a global field. We show that the collection of continuous, semisimple, pure $\ell$-adic representations of the absolute Galois group of a global field lifting a fixed absolutely irreducible residual representation and with given inertial type outside a fixed finite set of places is uniformly bounded independent of the inertial type. △ Less

Submitted 9 June, 2021; v1 submitted 13 June, 2020; originally announced June 2020.

Comments: The proof of the main theorem contains a gap, and cannot be fixed

MSC Class: Primary 11F80; Secondary 11G05. 11G10

Singular Gauss sums, Polya-Vinogradov inequality for $GL(2)$ and growth of primitive elements

Authors: Satadal Ganguly, C. S. Rajan

Abstract: We establish an analogue of the classical Polya-Vinogradov inequality for $GL(2, \F_p)$, where $p$ is a prime. In the process, we compute the `singular' Gauss sums for $GL(2, \F_p)$. As an application, we show that the collection of elements in $GL(2,\Z)$ whose reduction modulo $p$ are of maximal order in $GL(2, \F_p)$ and whose matrix entries are bounded by $x$ has the expected size as soon as… ▽ More We establish an analogue of the classical Polya-Vinogradov inequality for $GL(2, \F_p)$, where $p$ is a prime. In the process, we compute the `singular' Gauss sums for $GL(2, \F_p)$. As an application, we show that the collection of elements in $GL(2,\Z)$ whose reduction modulo $p$ are of maximal order in $GL(2, \F_p)$ and whose matrix entries are bounded by $x$ has the expected size as soon as $x\gg p^{1/2+\ep}$ for any $\ep>0$. In particular, there exist elements in $GL(2,\Z)$ with matrix entries that are of the order $O(p^{1/2+\ep})$ whose reduction modulo $p$ are primitive elements. △ Less

Submitted 9 June, 2021; v1 submitted 3 December, 2019; originally announced December 2019.

Comments: Modified version, with another proof on the growth of primitive elements based on Weil estimates added; 41 pages

MSC Class: Primary 11T24; Secondary 20C33

On the structure of locally potentially equivalent Galois representations

Authors: Vijay M. Patankar, C. S. Rajan

Abstract: Suppose $ρ_1, ρ_2$ are two $\ell$-adic Galois representations of the absolute Galois group of a number field, such that the algebraic monodromy group of one of the representations is connected and the representations are locally potentially equivalent at a set of places of positive upper density. We classify such pairs of representations and show that up to twisting by some representation, it is g… ▽ More Suppose $ρ_1, ρ_2$ are two $\ell$-adic Galois representations of the absolute Galois group of a number field, such that the algebraic monodromy group of one of the representations is connected and the representations are locally potentially equivalent at a set of places of positive upper density. We classify such pairs of representations and show that up to twisting by some representation, it is given by a pair of representations one of which is trivial and the other abelian. Consequently, assuming that the first representation has connected algebraic monodromy group, we obtain that the representations are potentially equivalent, provided one of the following conditions hold: (a) the first representation is absolutely irreducible; (b) the ranks of the algebraic monodromy groups are equal; (c) the algebraic monodromy group of the second representation is also connected and (d) the commutant of the image of the second representation remains the same upon restriction to subgroups of finite index of the Galois group. △ Less

Submitted 11 June, 2020; v1 submitted 12 January, 2019; originally announced January 2019.

Comments: Revised version; 19 pages; corrects the main theorem of Vijay M. Patankar and C. S. Rajan, Locally potentially equivalent Galois representations, J. of Ramanujan Math. Soc., Vol. 27, No. 1, (2012), 77-90. In this revised version, the application to abelian varieties has been modified. To appear in J. Number Theory

MSC Class: 11F80; 11G05; 11G15

Solvable base change

Authors: L. Clozel, C. S. Rajan

Abstract: We determine the image and fibres for solvable base change. We determine the image and fibres for solvable base change. △ Less

Submitted 7 June, 2018; originally announced June 2018.

Comments: 27 pages

MSC Class: 22E55 (11F70; 11F72; 11F39)

A universal Torelli theorem for elliptic surfaces

Authors: C. S. Rajan, S. Subramanian

Abstract: Given two semistable, non potentially isotrivial elliptic surfaces over a curve $C$ defined over a field of characteristic zero or finitely generated over its prime field, we show that any compatible family of effective isometries of the N{é}ron-Severi lattices of the base changed elliptic surfaces for all finite separable maps $B\to C$ arises from an isomorphism of the elliptic surfaces. Without… ▽ More Given two semistable, non potentially isotrivial elliptic surfaces over a curve $C$ defined over a field of characteristic zero or finitely generated over its prime field, we show that any compatible family of effective isometries of the N{é}ron-Severi lattices of the base changed elliptic surfaces for all finite separable maps $B\to C$ arises from an isomorphism of the elliptic surfaces. Without the effectivity hypothesis, we show that the two elliptic surfaces are isomorphic. We also determine the group of universal automorphisms of a semistable elliptic surface. In particular, this includes showing that the Picard-Lefschetz transformations corresponding to an irreducible component of a singular fibre, can be extended as universal isometries. In the process, we get a family of homomorphisms of the affine Weyl group associated to $\tilde{A}_{n-1}$ to that of $\tilde{A}_{dn-1}$, indexed by natural numbers $d$, which are closed under composition. △ Less

Submitted 16 July, 2017; v1 submitted 2 June, 2017; originally announced June 2017.

Comments: 42 pages, Revised, minor modifications, correcting typos

MSC Class: 14J27; 14D99; 11G05; 11G99

Distinguishing Galois representations by their normalized traces

Authors: Vijay M. Patankar, C. S. Rajan

Abstract: Suppose \( ρ_1 \) and \( ρ_2 \) are two pure Galois representations of the absolute Galois group of a number field $K$ of weights \( k_1 \) and \( k_2 \) respectively, having equal normalized Frobenius traces \( Tr(ρ_1(σ_v)) /Nv^{k_1/2}\) and \( Tr(ρ_2(σ_v)) /Nv^{k_2/2}\) at a set of primes \( v\) of $K$ with positive upper density. Assume further that the algebraic monodromy group of $ρ_1$ is con… ▽ More Suppose \( ρ_1 \) and \( ρ_2 \) are two pure Galois representations of the absolute Galois group of a number field $K$ of weights \( k_1 \) and \( k_2 \) respectively, having equal normalized Frobenius traces \( Tr(ρ_1(σ_v)) /Nv^{k_1/2}\) and \( Tr(ρ_2(σ_v)) /Nv^{k_2/2}\) at a set of primes \( v\) of $K$ with positive upper density. Assume further that the algebraic monodromy group of $ρ_1$ is connected and the repesentation is absolutely irreducible. We prove that \( ρ_1 \) and \( ρ_2 \) are twists of each other by power of a Tate twist times a character of finite order. We apply this to modular forms and deduce a result proved by Murty and Pujahari. △ Less

Submitted 30 September, 2016; originally announced September 2016.

Hermitian symmetric space, flat bundle and holomorphicity criterion

Authors: Hassan Azad, Indranil Biswas, C. S. Rajan, Shehryar Sikander

Abstract: Let $K\backslash G$ be an irreducible Hermitian symmetric space of noncompact type and $Γ\,\subset\, G$ a closed torsionfree discrete subgroup. Let $X$ be a compact Kähler manifold and $ρ\, :\, π_1(X, x_0)\,\longrightarrow\, Γ$ a homomorphism such that the adjoint action of $ρ(π_1(X, x_0))$ on $\text{Lie}(G)$ is completely reducible. A theorem of Corlette associates to $ρ$ a harmonic map… ▽ More Let $K\backslash G$ be an irreducible Hermitian symmetric space of noncompact type and $Γ\,\subset\, G$ a closed torsionfree discrete subgroup. Let $X$ be a compact Kähler manifold and $ρ\, :\, π_1(X, x_0)\,\longrightarrow\, Γ$ a homomorphism such that the adjoint action of $ρ(π_1(X, x_0))$ on $\text{Lie}(G)$ is completely reducible. A theorem of Corlette associates to $ρ$ a harmonic map $X\, \longrightarrow\, K\backslash G/Γ$. We give a criterion for this harmonic map to be holomorphic. We also give a criterion for it to be anti--holomorphic. △ Less

Submitted 8 March, 2016; originally announced March 2016.

Comments: Final version

MSC Class: 32M15; 32L05; 53C55

On the splitting fields of generic elements in Zariski dense subgroups

Authors: Supriya Pisolkar, C. S. Rajan

Abstract: Let $G$ be a connected, absolutely almost simple, algebraic group defined over a finitely generated, infinite field $K$, and let $Γ$ be a Zariski dense subgroup of $G(K)$. We show, apart from some few exceptions, that the commensurability class of the field $\mathcal{F}$ given by the compositum of the splitting fields of characteristic polynomials of generic elements of $Γ$ determines the group… ▽ More Let $G$ be a connected, absolutely almost simple, algebraic group defined over a finitely generated, infinite field $K$, and let $Γ$ be a Zariski dense subgroup of $G(K)$. We show, apart from some few exceptions, that the commensurability class of the field $\mathcal{F}$ given by the compositum of the splitting fields of characteristic polynomials of generic elements of $Γ$ determines the group $G$ upto isogeny over the algebraic closure of $K$. △ Less

Submitted 6 August, 2015; originally announced August 2015.

Locally potentially equivalent two dimensional Galois representations and Frobenius fields of elliptic curves

Authors: Manisha Kulkarni, Vijay M. Patankar, C. S. Rajan

Abstract: We show that a two dimensional $\ell $-adic representation of the absolute Galois group of a number field which is locally potentially equivalent to a $GL(2)$-$\ell$-adic representation $ρ$ at a set of places of $K$ of positive upper density is potentially equivalent to $ρ$. For an elliptic curver \( E \) defined over a number field \( K \) and a finite place \( v \) of \( K \) of good reduction… ▽ More We show that a two dimensional $\ell $-adic representation of the absolute Galois group of a number field which is locally potentially equivalent to a $GL(2)$-$\ell$-adic representation $ρ$ at a set of places of $K$ of positive upper density is potentially equivalent to $ρ$. For an elliptic curver \( E \) defined over a number field \( K \) and a finite place \( v \) of \( K \) of good reduction for \( E \), let \( F(E,v) \) denote the Frobenius field of \( E \) at \( v \), given by the splitting field of the characteristic polynomial of the Frobenius automorphism at \( v \) acting on the Tate module of \( E \). As an application, suppose \( E_1 \) and \( E_2 \) defined over a number field \( K \), with at least one of them without complex multiplication. We prove that the set of places \( v \) of \( K \) of good reduction such that the corresponding Frobenius fields are equal has positive upper density if and only if \( E_1 \) and \( E_2 \) are isogenous over some extension of \( K \). We show that for an elliptic curve \( E \) defined over a number field \( K \), the set of finite places of \( K \) such that the Frobenius field \( F(E, v) \) at $v$ equals a fixed imaginary quadratic field \( F \) has positive upper density if and only if \( E \) has complex multiplication by \( F \). △ Less

Submitted 8 April, 2015; v1 submitted 22 March, 2014; originally announced March 2014.

Comments: 15 pages. This is a revised, corrected and expanded version. A new author has been added. There are also changes to the title and the abstract

MSC Class: 11G05 (Primary); 11G05; 11G15 (Secondary)

Commensurability and representation equivalent arithmetic lattices

Authors: Chandrasheel Bhagwat, Supriya Pisolkar, C. S. Rajan

Abstract: Gopal Prasad and A. S. Rapinchuk defined a notion of weakly commensurable lattices in a semisimple group, and gave a classification of weakly commensurable Zariski dense subgroups. A motivation was to classify pairs of locally symmetric spaces isospectral with respect to the Laplacian on functions. For this, in higher ranks, they assume the validity of Schanuel's conjecture. In this note, we obs… ▽ More Gopal Prasad and A. S. Rapinchuk defined a notion of weakly commensurable lattices in a semisimple group, and gave a classification of weakly commensurable Zariski dense subgroups. A motivation was to classify pairs of locally symmetric spaces isospectral with respect to the Laplacian on functions. For this, in higher ranks, they assume the validity of Schanuel's conjecture. In this note, we observe that if we use the stronger notion of representation equivalence of lattices, then Schanuel's conjecture can be avoided. Further, the results are also applicable in a $S$-arithmetic setting. We also introduce a new relation on the class of arithmetic lattices, stronger than weak commensurability, which we call as characteristic equivalence, and show that it simplifies some of the arguments used in Prasad and Rapinchuk (2009) to deduce commensurability type results from weak commensurability. △ Less

Submitted 6 December, 2012; v1 submitted 17 July, 2012; originally announced July 2012.

Comments: 17 pages, final version, to appear in IMRN

MSC Class: 22E40; 22F30; 58J53

On the irreducibility of irreducible characters of simple Lie algebras

Authors: C. S. Rajan

Abstract: We establish an irreducibility property for the characters of finite dimensional, irreducible representations of simple Lie algebras (or simple algebraic groups) over the complex numbers, i.e., that the characters of irreducible representations are irreducible after dividing out by (generalized) Weyl denominator type factors. For $SL(r)$ the irreducibility result is the following: let… ▽ More We establish an irreducibility property for the characters of finite dimensional, irreducible representations of simple Lie algebras (or simple algebraic groups) over the complex numbers, i.e., that the characters of irreducible representations are irreducible after dividing out by (generalized) Weyl denominator type factors. For $SL(r)$ the irreducibility result is the following: let $λ=(a_1\geq a_2\geq ... a_{r-1}\geq 0)$ be the highest weight of an irreducible rational representation $V_λ$ of $SL(r)$. Assume that the integers $a_1+r-1, ~a_2+r-2,..., a_{r-1}+1$ are relatively prime. Then the character $χ_λ$ of $V_λ$ is strongly irreducible in the following sense: for any natural number $d$, the function $χ_λ(g^d), ~g\in SL(r,\C)$ is irreducible in the ring of regular functions of $SL(r,\C)$. △ Less

Submitted 24 October, 2011; originally announced October 2011.

Comments: 48 pages

MSC Class: 17B10; 20G05

On a strong multiplicity one property for the length spectra of even dimensional compact hyperbolic spaces

Authors: Chandrasheel Bhagwat, C. S. Rajan

Abstract: We prove a strong multiplicity one theorem for the length spectrum of compact even dimensional hyperbolic spaces i.e. if all but finitely many closed geodesics for two compact even dimensional hyperbolic spaces have the same length, then all closed geodesics have the same length. We prove a strong multiplicity one theorem for the length spectrum of compact even dimensional hyperbolic spaces i.e. if all but finitely many closed geodesics for two compact even dimensional hyperbolic spaces have the same length, then all closed geodesics have the same length. △ Less

Submitted 8 February, 2011; v1 submitted 2 February, 2011; originally announced February 2011.

Some questions on spectrum and arithmetic of locally symmetric spaces

Authors: C. S. Rajan

Abstract: We consider the question that the spectrum and arithmetic of locally symmetric spaces defined by congruent arithmetical lattices should mutually determine each other. We frame these questions in the context of automorphic representations. We consider the question that the spectrum and arithmetic of locally symmetric spaces defined by congruent arithmetical lattices should mutually determine each other. We frame these questions in the context of automorphic representations. △ Less

Submitted 26 October, 2010; originally announced October 2010.

Comments: 18 pages

MSC Class: 58G25; 11F06; 20H10

Journal ref: Advanced Studies in Pure Mathematics 58 (2010) Algebraic and Arithmetic Structures of Moduli Spaces (Sapporo 2007) pp. 137-157

Locally potentially equivalent Galois representations

Authors: Vijay M. Patankar, C. S. Rajan

Abstract: We show that if two continuous semi-simple \(\ell \)-adic Galois representations are locally potentially equivalent at a sufficiently large set of places then they are globaly potentially equivalent. We also prove an analogous result for arbitrarily varying powers of character values evaluated at the Frobenius conjugacy classes. In the context of modular forms, we prove: given two non-CM newforms… ▽ More We show that if two continuous semi-simple \(\ell \)-adic Galois representations are locally potentially equivalent at a sufficiently large set of places then they are globaly potentially equivalent. We also prove an analogous result for arbitrarily varying powers of character values evaluated at the Frobenius conjugacy classes. In the context of modular forms, we prove: given two non-CM newforms $f$ and $g$ of weight at least two, such that $a_p(f)^{n_p}=a_p(g)^{n_p}$ on a set of primes of positive upper density and for some set of natural numbers $n_p$, then $f$ and $g$ are twists of each other by a Dirichlet character. △ Less

Submitted 26 October, 2010; originally announced October 2010.

Comments: 11 pages

MSC Class: Primary 11F80; Secondary 11R45

An example of non-homeomorphic conjugate varieties

Authors: C. S. Rajan

Abstract: We give examples of smooth quasi-projective varieties over complex numbers, in the context of connected Shimura varieties, which are not homeomorphic to a conjugate of itself by an automorphism of the complex numbers. We give examples of smooth quasi-projective varieties over complex numbers, in the context of connected Shimura varieties, which are not homeomorphic to a conjugate of itself by an automorphism of the complex numbers. △ Less

Submitted 24 September, 2010; originally announced September 2010.

Comments: 4 pages

On Cohomology theory for topological groups

Authors: Arati S. Khedekar, C. S. Rajan

Abstract: We construct some new cohomology theories for topological groups and Lie groups and study some of its basic properties. For example, we introduce a cohomology theory based on measurable cochains which are continuous in a neighbourhood of identity. We show that if G and A are locally compact and second countable, then the second cohomology group based on locally continuous measurable cochains as ab… ▽ More We construct some new cohomology theories for topological groups and Lie groups and study some of its basic properties. For example, we introduce a cohomology theory based on measurable cochains which are continuous in a neighbourhood of identity. We show that if G and A are locally compact and second countable, then the second cohomology group based on locally continuous measurable cochains as above parametrizes the collection of locally split extensions of G by A. △ Less

Submitted 23 September, 2010; originally announced September 2010.

Comments: 27 pages

MSC Class: 22D99; 22E99; 46M20; 57T10

On a spectral analogue of the strong multiplicity one theorem

Authors: Chandrasheel Bhagwat, C. S. Rajan

Abstract: We prove spectral analogues of the classical strong multiplicity one theorem for newforms. Let $Γ_1$ and $Γ_2$ be uniform lattices in a semisimple group $G$. Suppose all but finitely many irreducible unitary representations (resp. spherical) of $G$ occur with equal multiplicities in $L^{2}(Γ_1 \backslash G)$ and $L^{2}(Γ_2 \backslash G)$. Then… ▽ More We prove spectral analogues of the classical strong multiplicity one theorem for newforms. Let $Γ_1$ and $Γ_2$ be uniform lattices in a semisimple group $G$. Suppose all but finitely many irreducible unitary representations (resp. spherical) of $G$ occur with equal multiplicities in $L^{2}(Γ_1 \backslash G)$ and $L^{2}(Γ_2 \backslash G)$. Then $L^{2}(Γ_1 \backslash G) \cong L^{2}(Γ_2 \backslash G)$ as $G$ - modules (resp. the spherical spectra of $L^{2}(Γ_1 \backslash G)$ and $L^{2}(Γ_2 \backslash G)$ are equal). △ Less

Submitted 3 September, 2010; originally announced September 2010.

Comments: 16 Pages

Recovering modular forms and representations from tensor and symmetric powers

Authors: C. S. Rajan

Abstract: We consider the problem of determining the relationship between two representations knowing that some tensor or symmetric power of the original represetations coincide. Combined with refinements of strong multiplicity one, we show that if the characters of some tensor or symmetric powers of two absolutely irreducible $l$-adic representation with the algebraic envelope of the image being connecte… ▽ More We consider the problem of determining the relationship between two representations knowing that some tensor or symmetric power of the original represetations coincide. Combined with refinements of strong multiplicity one, we show that if the characters of some tensor or symmetric powers of two absolutely irreducible $l$-adic representation with the algebraic envelope of the image being connected, agree at the Frobenius elements corresponding to a set of places of positive upper density, then the representations are twists of each other by a finite order character. △ Less

Submitted 18 October, 2004; originally announced October 2004.

Comments: 18 pages; this is a revised version of a paper submitted to the old Number Theory archive as ANT-0357

MSC Class: Primary 11F80; Secondary 11R45

On isospectral arithmetical spaces

Authors: C. S. Rajan

Abstract: We study the relationship between the arithmetic and the spectrum of the Laplacian for manifolds arising from congruent arithmetic subgroups of SL(1,D), where D is an indefinite quaternion division algebra defined over a number field F. We give new examples of isospectral but non-isometric compact, arithmetically defined varieties, generalizing the class of examples constructed by Vigneras. Th… ▽ More We study the relationship between the arithmetic and the spectrum of the Laplacian for manifolds arising from congruent arithmetic subgroups of SL(1,D), where D is an indefinite quaternion division algebra defined over a number field F. We give new examples of isospectral but non-isometric compact, arithmetically defined varieties, generalizing the class of examples constructed by Vigneras. These examples are based on an interplay between the simply connected and adjoint group and depend explicitly on the failure of strong approximation for the adjoint group. The examples can be considered as a geometric analogue and also as an application of the concept and results on L-indistinguishability for SL(1,D) due to Labesse and Langlands. We verify that the Hasse-Weil zeta functions are equal for the examples of isospectral pair of Shimura varieties we construct giving further evidence for an archimedean analogue of Tate's conjecture, which expects that the spectrum of the Laplacian determines the arithmetic of such spaces. △ Less

Submitted 21 September, 2004; originally announced September 2004.

Comments: 16 pages

MSC Class: Primary 58G25; Secondary 22E55; 12A70

Distinguished representations, base change, and reducibility for unitary groups

Authors: U. K. Anandavardhanan, C. S. Rajan

Abstract: We show the equality of the local Asai L-functions defined via the Rankin-Selberg method and the Langlands-Shahidi method for a square integrable representation of GL(n,E). As a consequence we characterise reducibility of certain induced representations of U(n,n), and the image of the base change map from U(n) to GL(n,E) in terms of GL(n,F)-distinguishedness. We show the equality of the local Asai L-functions defined via the Rankin-Selberg method and the Langlands-Shahidi method for a square integrable representation of GL(n,E). As a consequence we characterise reducibility of certain induced representations of U(n,n), and the image of the base change map from U(n) to GL(n,E) in terms of GL(n,F)-distinguishedness. △ Less

Submitted 27 August, 2004; originally announced August 2004.

Comments: 13 pages

MSC Class: 11F70; 22E50

Congruences for rational points on varieties over finite fields

Authors: N. Fakhruddin, C. S. Rajan

Abstract: We show that the number of rational points on the fibres of a proper morphism of smooth varieties over a finite field k whose generic fibre has a ``trival'' Chow group of zero cycles is congruent to 1 mod |k|. As a consequence we prove that there is a rational point on any degeneration of a smooth proper rationally chain connected variety over a finite field. We also obtain a generalisation of t… ▽ More We show that the number of rational points on the fibres of a proper morphism of smooth varieties over a finite field k whose generic fibre has a ``trival'' Chow group of zero cycles is congruent to 1 mod |k|. As a consequence we prove that there is a rational point on any degeneration of a smooth proper rationally chain connected variety over a finite field. We also obtain a generalisation of the Chevalley-Warning theorem. △ Less

Submitted 7 July, 2004; v1 submitted 13 February, 2004; originally announced February 2004.

Comments: Minor changes

Unique decomposition of tensor products of irreducible representations of simple algebraic groups

Authors: C. S. Rajan

Abstract: We show that a tensor product of irreducible, finite dimensional representations of a simple Lie algebra over a field of characteristic zero, determines the individual constituents uniquely. This is analogous to the uniqueness of prime factorisation of natural numbers. We show that a tensor product of irreducible, finite dimensional representations of a simple Lie algebra over a field of characteristic zero, determines the individual constituents uniquely. This is analogous to the uniqueness of prime factorisation of natural numbers. △ Less

Submitted 29 May, 2003; originally announced May 2003.

Comments: 23 pages, to appear in Annals of Mathematics

MSC Class: Primary 17B10; Secondary 22E46

On the non-vanishing of the first Betti number of hyperbolic three manifolds

Authors: C. S. Rajan

Abstract: We show the non-vanishing of cohomology groups of sufficiently small congruence lattices in $SL(1,D)$, where $D$ is a quaternion division algebras defined over a number field $E$ contained inside a solvable extension of a totally real number field. As a corollary, we obtain new examples of compact, arithmetic, hyperbolic three manifolds, with non-torsion first homology group, confirming a conj… ▽ More We show the non-vanishing of cohomology groups of sufficiently small congruence lattices in $SL(1,D)$, where $D$ is a quaternion division algebras defined over a number field $E$ contained inside a solvable extension of a totally real number field. As a corollary, we obtain new examples of compact, arithmetic, hyperbolic three manifolds, with non-torsion first homology group, confirming a conjecture of Thurston. The proof uses the characterisation of the image of solvable base change by the author, and the construction of cusp forms with non-zero cusp cohomology by Labesse and Schwermer. △ Less

Submitted 19 February, 2003; originally announced February 2003.

Comments: 7 pages

MSC Class: 11F75; 22E40; 57M50

On strong multiplicity one for automorphic representations

Authors: C. S. Rajan

Abstract: We extend the strong multiplicity one theorem of Jacquet, Piatetski-Shapiro and Shalika. Let $π$ be a unitary, cuspidal, automorphic representation of $GL_n(\A_K)$. Let $S$ be a set of finite places of $K$, such that the sum $\sum_{v\in S}Nv^{-2/(n^2+1)}$ is convergent. Then $π$ is uniquely determined by the collection of the local components $\{π_v\mid v\not\in S, ~v \~\text{finite}\}$ of $π$.… ▽ More We extend the strong multiplicity one theorem of Jacquet, Piatetski-Shapiro and Shalika. Let $π$ be a unitary, cuspidal, automorphic representation of $GL_n(\A_K)$. Let $S$ be a set of finite places of $K$, such that the sum $\sum_{v\in S}Nv^{-2/(n^2+1)}$ is convergent. Then $π$ is uniquely determined by the collection of the local components $\{π_v\mid v\not\in S, ~v \~\text{finite}\}$ of $π$. Combining this theorem with base change, it is possible to consider sets $S$ of positive density, having appropriate splitting behavior with respect to solvable extensions of $K$, and where $π$ is determined upto twisting by a character of the Galois group of $L$ over $K$. △ Less

Submitted 16 October, 2002; originally announced October 2002.

Comments: 8 pages

MSC Class: 11F70

On Langlands functoriality- reduction to the semistable case

Authors: C. S. Rajan

Abstract: We generalize a beautiful method of Blasius and Ramakrishnan, that in order to exhibit particular instances of the Langlands functorial correspondence, it is enough to show that the correspondence holds in the semistable case, provided the arithmetic data we are considering is closed with respect to cyclic base change and descent. We generalize a beautiful method of Blasius and Ramakrishnan, that in order to exhibit particular instances of the Langlands functorial correspondence, it is enough to show that the correspondence holds in the semistable case, provided the arithmetic data we are considering is closed with respect to cyclic base change and descent. △ Less

Submitted 24 September, 2002; originally announced September 2002.

Comments: 18 pages

MSC Class: 11R39 (Primary) 11F70; 11F80; 22E55 (Secondary)

On the vanishing of the measurable Schur cohomology groups of Weil groups

Authors: C. S. Rajan

Abstract: We generalize a theorem of Tate and show that the second cohomology of the Weil group of a global or local field with coefficients in $\C^*$ (or more generally, with coefficients in the complex points of a tori over $\C$) vanish, where the cohomology groups are defined using measurable cochains in the sense of Moore. We recover a theorem of Labesse proving that admissible homomorphisms of a Weil… ▽ More We generalize a theorem of Tate and show that the second cohomology of the Weil group of a global or local field with coefficients in $\C^*$ (or more generally, with coefficients in the complex points of a tori over $\C$) vanish, where the cohomology groups are defined using measurable cochains in the sense of Moore. We recover a theorem of Labesse proving that admissible homomorphisms of a Weil group to the Langlands dual of a reductive group can be lifted to an extension of the Langlands dual group by a tori. △ Less

Submitted 22 February, 2003; v1 submitted 18 September, 2002; originally announced September 2002.

Comments: To appear in Compositio Mathematica. Minor editing, and a conjecture in the earlier version on the vanishing of the higher cohomology groups of Weil groups is false

MSC Class: 11R34 (Primary) 22E55 (Secondary)

Recovering l-adic representations

Authors: C. S. Rajan

Abstract: We consider the problem of recovering l-adic representations from a knowledge of the character values at the Frobenius elements associated to l-adic representations constructed algebraically out of the original representations. These results generalize earlier results in of the author concerning refinements of strong multiplicity one for $l$-adic represntations, and a result of Ramakrishnan reco… ▽ More We consider the problem of recovering l-adic representations from a knowledge of the character values at the Frobenius elements associated to l-adic representations constructed algebraically out of the original representations. These results generalize earlier results in of the author concerning refinements of strong multiplicity one for $l$-adic represntations, and a result of Ramakrishnan recovering modular forms from a knowledge of the squares of the Hecke eigenvalues. For example, we show that if the characters of some tensor or symmetric powers of two absolutely irreducible l-adic representation with the algebraic envelope of the image being connected, agree at the Frobenius elements corresponding to a set of places of positive upper density, then the representations are twists of each other by a finite order character. △ Less

Submitted 15 July, 2002; originally announced July 2002.

Report number: ANT-0357

On an Archimedean analogue of Tate's conjecture

Authors: Dipendra Prasad, C. S. Rajan

Abstract: We consider an Archimedean analogue of Tate's conjecture, and verify the conjecture in the examples of isospectral Riemann surfaces constructed by Vigneras and Sunada. We also enunciate a simple lemma in group theory which lies at the heart of T. Sunada's theorem about isospectral manifolds. We consider an Archimedean analogue of Tate's conjecture, and verify the conjecture in the examples of isospectral Riemann surfaces constructed by Vigneras and Sunada. We also enunciate a simple lemma in group theory which lies at the heart of T. Sunada's theorem about isospectral manifolds. △ Less

Submitted 27 March, 2002; originally announced March 2002.

Report number: ANT-0342

Frobenius splitting and ordinarity

Authors: Kirti Joshi, C. S. Rajan

Abstract: 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)… ▽ More 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. △ Less

Submitted 5 October, 2001; originally announced October 2001.

Comments: AMSLaTeX

Journal ref: International Math. Res. Notices. 2003 no. 2, (2003) Pages 109--121

On Heegner points of large conductors

Authors: Chandrashekhar Khare, C. S. Rajan

Abstract: Given a parametrisation of an elliptic curve over Q by a Shimura curve, we show that the images of almost all Heegner points are of infinite order. For parametrisations of elliptic curves by modular curves this was proven earlier by Nekovar and Schappacher by a different method. Given a parametrisation of an elliptic curve over Q by a Shimura curve, we show that the images of almost all Heegner points are of infinite order. For parametrisations of elliptic curves by modular curves this was proven earlier by Nekovar and Schappacher by a different method. △ Less

Submitted 10 December, 2000; originally announced December 2000.

Report number: ANT-0277

The density of ramified primes in semisimple p-adic Galois representations

Authors: Chandrashekhar Khare, C. S. Rajan

Abstract: We prove that the density of ramified primes in semisimple p-adic representations of Galois groups of number fields is 0. Ravi Ramakrishna has produced examples of such representations that are infinitely ramified. We prove that the density of ramified primes in semisimple p-adic representations of Galois groups of number fields is 0. Ravi Ramakrishna has produced examples of such representations that are infinitely ramified. △ Less

Submitted 26 November, 2000; originally announced November 2000.

Report number: ANT-0270