-
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.
-
Applications of the square sieve to a conjecture of Lang and Trotter for a pair of elliptic curves over the rationals
Authors:
Stephan Baier,
Vijay M. Patankar
Abstract:
Let $E$ be an elliptic curve over $\mathbb{Q}$. Let $p$ be a prime of good reduction for $E$. Then, for a prime $p \neq \ell$, the Frobenius automorphism associated to $p$ (unique up to conjugation) acts on the $\ell$-adic Tate module of $E$. The characteristic polynomial of the Frobenius automorphism has rational integer coefficients and is independent of $\ell$. Its splitting field is called the…
▽ More
Let $E$ be an elliptic curve over $\mathbb{Q}$. Let $p$ be a prime of good reduction for $E$. Then, for a prime $p \neq \ell$, the Frobenius automorphism associated to $p$ (unique up to conjugation) acts on the $\ell$-adic Tate module of $E$. The characteristic polynomial of the Frobenius automorphism has rational integer coefficients and is independent of $\ell$. Its splitting field is called the Frobenius field of $E$ at $p$. Let $E_1$ and $E_2$ be two elliptic curves defined over $\mathbb{Q}$ that are non-isogenous over $\overline{\mathbb{Q}}$ and also without complex multiplication over $\overline{\mathbb{Q}}$. In analogy with the well-known Lang-Trotter conjecture for a single elliptic curve, it is natural to consider the asymptotic behaviour of the function that counts the number of primes $p \leq x$ such that the Frobenius fields of $E_1$ and $E_2$ at $p$ coincide. In this short note, using Heath-Brown's square sieve, we provide both conditional (upon the Generalized Riemann Hypothesis) and unconditional upper bounds.
△ Less
Submitted 14 June, 2018; v1 submitted 5 October, 2017;
originally announced October 2017.
-
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.
-
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.
-
Tate Cycles on Abelian Varieties with Complex Multiplication
Authors:
V. Kumar Murty,
Vijay M. Patankar
Abstract:
We consider Tate cycles on an Abelian variety $A$ defined over a sufficiently large number field $K$ and having complex multiplication. We show that there is an effective bound $C = C(A,K)$ so that to check whether a given cohomology class is a Tate class on $A$, it suffices to check the action of Frobenius elements at primes $v$ of norm $ \leq C$. We also show that for a set of primes $v$ of $K$…
▽ More
We consider Tate cycles on an Abelian variety $A$ defined over a sufficiently large number field $K$ and having complex multiplication. We show that there is an effective bound $C = C(A,K)$ so that to check whether a given cohomology class is a Tate class on $A$, it suffices to check the action of Frobenius elements at primes $v$ of norm $ \leq C$. We also show that for a set of primes $v$ of $K$ of density 1, the space of Tate cycles on the special fibre $A_v$ of the Néron model of $A$ is isomorphic to the space of Tate cycles on $A$ itself.
△ Less
Submitted 13 April, 2013;
originally announced April 2013.
-
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.
-
Using Elimination Theory to construct Rigid Matrices
Authors:
Abhinav Kumar,
Satyanarayana V. Lokam,
Vijay M. Patankar,
Jayalal Sarma M. N
Abstract:
The rigidity of a matrix A for target rank r is the minimum number of entries of A that must be changed to ensure that the rank of the altered matrix is at most r. Since its introduction by Valiant (1977), rigidity and similar rank-robustness functions of matrices have found numerous applications in circuit complexity, communication complexity, and learning complexity. Almost all nxn matrices over…
▽ More
The rigidity of a matrix A for target rank r is the minimum number of entries of A that must be changed to ensure that the rank of the altered matrix is at most r. Since its introduction by Valiant (1977), rigidity and similar rank-robustness functions of matrices have found numerous applications in circuit complexity, communication complexity, and learning complexity. Almost all nxn matrices over an infinite field have a rigidity of (n-r)^2. It is a long-standing open question to construct infinite families of explicit matrices even with superlinear rigidity when r = Omega(n).
In this paper, we construct an infinite family of complex matrices with the largest possible, i.e., (n-r)^2, rigidity. The entries of an n x n matrix in this family are distinct primitive roots of unity of orders roughly exp(n^2 log n). To the best of our knowledge, this is the first family of concrete (but not entirely explicit) matrices having maximal rigidity and a succinct algebraic description.
Our construction is based on elimination theory of polynomial ideals. In particular, we use results on the existence of polynomials in elimination ideals with effective degree upper bounds (effective Nullstellensatz). Using elementary algebraic geometry, we prove that the dimension of the affine variety of matrices of rigidity at most k is exactly n^2-(n-r)^2+k. Finally, we use elimination theory to examine whether the rigidity function is semi-continuous.
△ Less
Submitted 16 April, 2014; v1 submitted 28 October, 2009;
originally announced October 2009.