-
On tamely ramified infinite Galois extensions
Authors:
Farshid Hajir,
Michael Larsen,
Christian Maire,
Ravi Ramakrishna
Abstract:
For a number field $K$, we consider $K^{\rm ta}$ the maximal tamely ramified algebraic extension of~$K$, and its Galois group $G^{\rm ta}_K= Gal(K^{ta}/K)$. Choose a prime $p$ such that $μ_p \not \subset K$. Our guiding aim is to characterize the finitely generated pro-$p$ quotients of~$G^{\rm ta}$. We give a {unified point of view} by introducing the notion of {\it stably inertially generated} pr…
▽ More
For a number field $K$, we consider $K^{\rm ta}$ the maximal tamely ramified algebraic extension of~$K$, and its Galois group $G^{\rm ta}_K= Gal(K^{ta}/K)$. Choose a prime $p$ such that $μ_p \not \subset K$. Our guiding aim is to characterize the finitely generated pro-$p$ quotients of~$G^{\rm ta}$. We give a {unified point of view} by introducing the notion of {\it stably inertially generated} pro-$p$ groups~$G$, for which linear groups are archetypes. This key notion {is compatible} with local {\it tame liftings} as used in the Scholz-Reichardt Theorem. We realize every finitely generated pro-$p$ group~$G$ which is stably inertially generated as a quotient of $G^{\rm ta}$. Further examples of groups that we realize as quotients of $G^{\rm ta}$ include congruence subgroups of special linear groups over ${\mathbb Z}_p[[ T_1,\cdots, T_n ]]$. Finally, we give classes of groups which cannot be realized as quotients of $G^{\rm ta}_{\mathbb Q}$.
△ Less
Submitted 12 January, 2024; v1 submitted 11 January, 2024;
originally announced January 2024.
-
Differential Privacy for Class-based Data: A Practical Gaussian Mechanism
Authors:
Raksha Ramakrishna,
Anna Scaglione,
Tong Wu,
Nikhil Ravi,
Sean Peisert
Abstract:
In this paper, we present a notion of differential privacy (DP) for data that comes from different classes. Here, the class-membership is private information that needs to be protected. The proposed method is an output perturbation mechanism that adds noise to the release of query response such that the analyst is unable to infer the underlying class-label. The proposed DP method is capable of not…
▽ More
In this paper, we present a notion of differential privacy (DP) for data that comes from different classes. Here, the class-membership is private information that needs to be protected. The proposed method is an output perturbation mechanism that adds noise to the release of query response such that the analyst is unable to infer the underlying class-label. The proposed DP method is capable of not only protecting the privacy of class-based data but also meets quality metrics of accuracy and is computationally efficient and practical. We illustrate the efficacy of the proposed method empirically while outperforming the baseline additive Gaussian noise mechanism. We also examine a real-world application and apply the proposed DP method to the autoregression and moving average (ARMA) forecasting method, protecting the privacy of the underlying data source. Case studies on the real-world advanced metering infrastructure (AMI) measurements of household power consumption validate the excellent performance of the proposed DP method while also satisfying the accuracy of forecasted power consumption measurements.
△ Less
Submitted 8 June, 2023;
originally announced June 2023.
-
Inferring Class Label Distribution of Training Data from Classifiers: An Accuracy-Augmented Meta-Classifier Attack
Authors:
Raksha Ramakrishna,
György Dán
Abstract:
Property inference attacks against machine learning (ML) models aim to infer properties of the training data that are unrelated to the primary task of the model, and have so far been formulated as binary decision problems, i.e., whether or not the training data have a certain property. However, in industrial and healthcare applications, the proportion of labels in the training data is quite often…
▽ More
Property inference attacks against machine learning (ML) models aim to infer properties of the training data that are unrelated to the primary task of the model, and have so far been formulated as binary decision problems, i.e., whether or not the training data have a certain property. However, in industrial and healthcare applications, the proportion of labels in the training data is quite often also considered sensitive information. In this paper we introduce a new type of property inference attack that unlike binary decision problems in literature, aim at inferring the class label distribution of the training data from parameters of ML classifier models. We propose a method based on \emph{shadow training} and a \emph{meta-classifier} trained on the parameters of the shadow classifiers augmented with the accuracy of the classifiers on auxiliary data. We evaluate the proposed approach for ML classifiers with fully connected neural network architectures. We find that the proposed \emph{meta-classifier} attack provides a maximum relative improvement of $52\%$ over state of the art.
△ Less
Submitted 8 November, 2022;
originally announced November 2022.
-
On tame ${\mathbb Z}/p{\mathbb Z}$ extensions with prescribed ramification
Authors:
Farshid Hajir,
Christian Maire,
Ravi Ramakrishna
Abstract:
The tame Gras-Munnier Theorem gives a criterion for the existence of a ${\mathbb Z}/{\mathbb Z}$-extension of a number field $K$ ramified at exactly a set $S$ of places of $K$ prime to $p$ (allowing real Archimedean places when $p=2$) in terms of the existence of a dependence relation on the Frobenius elements of these places in a certain governing extension. We give a new and simpler proof of thi…
▽ More
The tame Gras-Munnier Theorem gives a criterion for the existence of a ${\mathbb Z}/{\mathbb Z}$-extension of a number field $K$ ramified at exactly a set $S$ of places of $K$ prime to $p$ (allowing real Archimedean places when $p=2$) in terms of the existence of a dependence relation on the Frobenius elements of these places in a certain governing extension. We give a new and simpler proof of this theorem that also relates the set of such extensions of $K$ to the set of these dependence relations. After presenting this proof, we then reprove the key Proposition 3 using the more sophisticated Wiles-Greenberg formula based on global duality.
△ Less
Submitted 9 August, 2022;
originally announced August 2022.
-
On Ozaki's theorem realizing prescribed $p$-groups as $p$-class tower groups
Authors:
Farshid Hajir,
Christian Maire,
Ravi Ramakrishna
Abstract:
We give a streamlined and effective proof of Ozaki's theorem that any finite $p$-group $Γ$ is the Galois group of the $p$-Hilbert class field tower of some number field $\rm F$. Our work is inspired by Ozaki's and applies in broader circumstances. While his theorem is in the totally complex setting, we obtain the result in any mixed signature setting for which there exists a number field…
▽ More
We give a streamlined and effective proof of Ozaki's theorem that any finite $p$-group $Γ$ is the Galois group of the $p$-Hilbert class field tower of some number field $\rm F$. Our work is inspired by Ozaki's and applies in broader circumstances. While his theorem is in the totally complex setting, we obtain the result in any mixed signature setting for which there exists a number field ${\rm k}_0$ with class number prime to $p$. We construct ${\rm F}/{\rm k}_0$ by a sequence of ${\mathbb Z}/p$-extensions ramified only at finite tame primes and also give explicit bounds on $[{\rm F}:{\rm k}_0]$ and the number of ramified primes of ${\rm F}/{\rm k}_0$ in terms of $\# Γ$.
△ Less
Submitted 19 April, 2022; v1 submitted 18 April, 2022;
originally announced April 2022.
-
Deficiency of p-Class Tower Groups and Minkowski Units
Authors:
Farshid Hajir,
Christian Maire,
Ravi Ramakrishna
Abstract:
Let $p$ be a prime. We define the deficiency of a finitely-generated pro-$p$ group $G$ to be $r(G)-d(G)$ where $d(G)$ is the minimal number of generators of $G$ and $r(G)$ is its minimal number of relations. For a number field $K$, let $K_\emptyset$ be the maximal unramified $p$-extension of $K$, with Galois group $G_\emptyset = Gal(K_\emptyset/K)$. In the 1960s, Shafarevich (and independently Koc…
▽ More
Let $p$ be a prime. We define the deficiency of a finitely-generated pro-$p$ group $G$ to be $r(G)-d(G)$ where $d(G)$ is the minimal number of generators of $G$ and $r(G)$ is its minimal number of relations. For a number field $K$, let $K_\emptyset$ be the maximal unramified $p$-extension of $K$, with Galois group $G_\emptyset = Gal(K_\emptyset/K)$. In the 1960s, Shafarevich (and independently Koch) showed that the deficiency of $G_\emptyset$ satisfies $$0\leq \mathrm{Def}({\rm G}_\emptyset) \leq dim (O_K^\times/(O_K^{\times })^p),$$ relating the deficiency of $G_\emptyset$ to the $p$-rank of the unit group $O_K^\times$ of the ring of integers $O_K$ of $K$. In this work, we further explore connections between relations of the group $G_\emptyset$ and the units in the tower $K_\emptyset/K$, especially their Galois module structure. In particular, under the assumption that $K$ does not contain a primitive $p$th root of unity, we give an exact formula for $\mathrm{Def}({\rm G}_\emptyset)$ in terms of the number of independent Minkowski units in the tower. The method also allows us to infer more information about the relations of G$_\emptyset$, such as their depth in the Zassenhaus filtration, which in certain circumstances makes it easier to show that G$_\emptyset$ is infinite. We illustrate how the techniques can be used to provide evidence for the expectation that the Shafarevich-Koch upper bound is "almost always" sharp.
△ Less
Submitted 17 March, 2021;
originally announced March 2021.
-
Grid-Graph Signal Processing (Grid-GSP): A Graph Signal Processing Framework for the Power Grid
Authors:
Raksha Ramakrishna,
Anna Scaglione
Abstract:
The underlying theme of this paper is to explore the various facets of power systems data through the lens of graph signal processing (GSP), laying down the foundations of the Grid-GSP framework. Grid-GSP provides an interpretation for the spatio-temporal properties of voltage phasor measurements, by showing how the well-known power systems modeling supports a generative low-pass graph filter mode…
▽ More
The underlying theme of this paper is to explore the various facets of power systems data through the lens of graph signal processing (GSP), laying down the foundations of the Grid-GSP framework. Grid-GSP provides an interpretation for the spatio-temporal properties of voltage phasor measurements, by showing how the well-known power systems modeling supports a generative low-pass graph filter model for the state variables, namely the voltage phasors. Using the model we formalize the empirical observation that voltage phasor measurement data lie in a low-dimensional subspace and tie their spatio-temporal structure to generator voltage dynamics. The Grid-GSP generative model is then successfully employed to investigate the problems pertaining to the grid of data sampling and interpolation, network inference, detection of anomalies and data compression. Numerical results on a large synthetic grid that mimics the real-grid of the state of Texas, ACTIVSg2000, and on real-world measurements from ISO-New England verify the efficacy of applying Grid-GSP methods to electric grid data.
△ Less
Submitted 10 March, 2021;
originally announced March 2021.
-
A User Guide to Low-Pass Graph Signal Processing and its Applications
Authors:
Raksha Ramakrishna,
Hoi-To Wai,
Anna Scaglione
Abstract:
The notion of graph filters can be used to define generative models for graph data. In fact, the data obtained from many examples of network dynamics may be viewed as the output of a graph filter. With this interpretation, classical signal processing tools such as frequency analysis have been successfully applied with analogous interpretation to graph data, generating new insights for data science…
▽ More
The notion of graph filters can be used to define generative models for graph data. In fact, the data obtained from many examples of network dynamics may be viewed as the output of a graph filter. With this interpretation, classical signal processing tools such as frequency analysis have been successfully applied with analogous interpretation to graph data, generating new insights for data science. What follows is a user guide on a specific class of graph data, where the generating graph filters are low-pass, i.e., the filter attenuates contents in the higher graph frequencies while retaining contents in the lower frequencies. Our choice is motivated by the prevalence of low-pass models in application domains such as social networks, financial markets, and power systems. We illustrate how to leverage properties of low-pass graph filters to learn the graph topology or identify its community structure; efficiently represent graph data through sampling, recover missing measurements, and de-noise graph data; the low-pass property is also used as the baseline to detect anomalies.
△ Less
Submitted 3 August, 2020;
originally announced August 2020.
-
Quantitative level lowering for Galois representations
Authors:
Najmuddin Fakhruddin,
Chandrashekhar Khare,
Ravi Ramakrishna
Abstract:
We use Galois cohomology methods to produce optimal mod $p^d$ level lowering congruences to a $p$-adic Galois representation that we construct as a well chosen lift of a given residual mod $p$ representation. Using our explicit Galois cohomology methods, we construct for a reductive group $G$ and a given residual representation $\barρ: Γ_F \to G(k)$, ramified at a finite set of primes $S$, in favo…
▽ More
We use Galois cohomology methods to produce optimal mod $p^d$ level lowering congruences to a $p$-adic Galois representation that we construct as a well chosen lift of a given residual mod $p$ representation. Using our explicit Galois cohomology methods, we construct for a reductive group $G$ and a given residual representation $\barρ: Γ_F \to G(k)$, ramified at a finite set of primes $S$, in favorable conditions that we identify, a finite set of lifts $ρ$, $\{ρ^q\}$ of $\barρ$ to $G(W(k))$ with the following properties: $ρ: Γ_F \to G(W(k))$ is ramified precisely at $S \cup Q$, with $Q$ a finite set of primes disjoint from $S$. For $q \in Q$, $ρ^q:G_F \to G(W(k))$ is unramified outside $S \cup Q \backslash \{q\}$ and $ρ$ and $ρ^q$ are congruent mod $p^d$ if $ρ$ mod $p^d$ is unramified at $q$. Furthermore, the Galois representations $\{ρ^q\}$ are "independent".
△ Less
Submitted 14 July, 2020; v1 submitted 16 October, 2019;
originally announced October 2019.
-
On the Shafarevich Group of Restricted Ramification Extensions of Number Fields in the Tame Case
Authors:
Farshid Hajir,
Christian Maire,
Ravi Ramakrishna
Abstract:
Let $K$ be a number field and $S$ a finite set of places of $K$. We study the kernels $\Sha_S$ of maps $H^2(G_S,\fq_p) \rightarrow \oplus_{v\in S} H^2(\G_v,\fq_p)$. There is a natural injection $\Sha_S \hookrightarrow \CyB_S$, into the dual $\CyB_S$ of a certain readily computable Kummer group $V_S$, which is always an isomorphism in the wild case. The tame case is much more mysterious. Our main r…
▽ More
Let $K$ be a number field and $S$ a finite set of places of $K$. We study the kernels $\Sha_S$ of maps $H^2(G_S,\fq_p) \rightarrow \oplus_{v\in S} H^2(\G_v,\fq_p)$. There is a natural injection $\Sha_S \hookrightarrow \CyB_S$, into the dual $\CyB_S$ of a certain readily computable Kummer group $V_S$, which is always an isomorphism in the wild case. The tame case is much more mysterious. Our main result is that given a finite $X$ coprime to $p$, there exists a finite set of places $S$ coprime to $p$ such that $\Sha_{S\cup X} \stackrel{\simeq}{\hookrightarrow} \CyB_{S\cup X} \stackrel{\simeq}{\twoheadleftarrow} \CyB_X \hookleftarrow \Sha_X$. In particular, we show that in the tame case $\Sha_Y$ can {\it increase} with increasing $Y$. This is in contrast with the wild case where $\Sha_Y$ is nonincreasing in size with increasing $Y$.
△ Less
Submitted 9 September, 2019;
originally announced September 2019.
-
Infinite class field towers of number fields of prime power discriminant
Authors:
Farshid Hajir,
Christian Maire,
Ravi Ramakrishna
Abstract:
For every prime number p, we show the existence of a solvable number field L ramified only at {p and infinity whose p-Hilbert Class field tower is infinite.
For every prime number p, we show the existence of a solvable number field L ramified only at {p and infinity whose p-Hilbert Class field tower is infinite.
△ Less
Submitted 15 April, 2019;
originally announced April 2019.
-
Cutting towers of number fields
Authors:
Farshid Hajir,
Christian Maire,
Ravi Ramakrishna
Abstract:
Given a prime $p$, a number field $\K$ and a finite set of places $S$ of $\K$, let $\K_S$ be the maximal pro-$p$ extension of $\K$ unramified outside $S$. Using the Golod-Shafarevich criterion one can often show that $\K_S/\K$ is infinite. In both the tame and wild cases we construct infinite subextensions with bounded ramification using the refined Golod-Shafarevich criterion. In
the tame setti…
▽ More
Given a prime $p$, a number field $\K$ and a finite set of places $S$ of $\K$, let $\K_S$ be the maximal pro-$p$ extension of $\K$ unramified outside $S$. Using the Golod-Shafarevich criterion one can often show that $\K_S/\K$ is infinite. In both the tame and wild cases we construct infinite subextensions with bounded ramification using the refined Golod-Shafarevich criterion. In
the tame setting we achieve new records on Martinet constants (root discriminant bounds) in the totally real and totally complex cases.
We are also able to answer a question of Ihara by producing infinite asymptotically good extensions in which infinitely many primes split completely.
△ Less
Submitted 14 January, 2019;
originally announced January 2019.
-
A Stochastic Model for Short-Term Probabilistic Forecast of Solar Photo-Voltaic Power
Authors:
Raksha Ramakrishna,
Anna Scaglione,
Vijay Vittal
Abstract:
In this paper, a stochastic model with regime switching is developed for solar photo-voltaic (PV) power in order to provide short-term probabilistic forecasts. The proposed model for solar PV power is physics inspired and explicitly incorporates the stochasticity due to clouds using different parameters addressing the attenuation in power.Based on the statistical behavior of parameters, a simple r…
▽ More
In this paper, a stochastic model with regime switching is developed for solar photo-voltaic (PV) power in order to provide short-term probabilistic forecasts. The proposed model for solar PV power is physics inspired and explicitly incorporates the stochasticity due to clouds using different parameters addressing the attenuation in power.Based on the statistical behavior of parameters, a simple regime-switching process between the three classes of sunny, overcast and partly cloudy is proposed. Then, probabilistic forecasts of solar PV power are obtained by identifying the present regime using PV power measurements and assuming persistence in this regime. To illustrate the technique developed, a set of solar PV power data from a single rooftop installation in California is analyzed and the effectiveness of the model in fitting the data and in providing short-term point and probabilistic forecasts is verified. The proposed forecast method outperforms a variety of reference models that produce point and probabilistic forecasts and therefore portrays the merits of employing the proposed approach.
△ Less
Submitted 16 September, 2017; v1 submitted 16 June, 2017;
originally announced June 2017.
-
Hypergeometric Functions over Finite Fields
Authors:
Jenny Fuselier,
Ling Long,
Ravi Ramakrishna,
Holly Swisher,
Fang-Ting Tu
Abstract:
Building on the developments of many people including Evans, Greene, Katz, McCarthy, Ono, Roberts, and Rodriguez-Villegas, we consider period functions for hypergeometric type algebraic varieties over finite fields and consequently study hypergeometric functions over finite fields in a manner that is parallel to that of the classical hypergeometric functions. Using a comparison between the classic…
▽ More
Building on the developments of many people including Evans, Greene, Katz, McCarthy, Ono, Roberts, and Rodriguez-Villegas, we consider period functions for hypergeometric type algebraic varieties over finite fields and consequently study hypergeometric functions over finite fields in a manner that is parallel to that of the classical hypergeometric functions. Using a comparison between the classical gamma function and its finite field analogue the Gauss sum, we give a systematic way to obtain certain types of hypergeometric transformation and evaluation formulas over finite fields and interpret them geometrically using a Galois representation perspective. As an application, we obtain a few finite field analogues of algebraic hypergeometric identities, quadratic and higher transformation formulas, and evaluation formulas. We further apply these finite field formulas to compute the number of rational points of certain hypergeometric varieties.
△ Less
Submitted 5 October, 2022; v1 submitted 9 October, 2015;
originally announced October 2015.
-
PackageBuilder: From Tuples to Packages
Authors:
Matteo Brucato,
Rahul Ramakrishna,
Azza Abouzied,
Alexandra Meliou
Abstract:
In this demo, we present PackageBuilder, a system that extends database systems to support package queries. A package is a collection of tuples that individually satisfy base constraints and collectively satisfy global constraints. The need for package support arises in a variety of scenarios: For example, in the creation of meal plans, users are not only interested in the nutritional content of i…
▽ More
In this demo, we present PackageBuilder, a system that extends database systems to support package queries. A package is a collection of tuples that individually satisfy base constraints and collectively satisfy global constraints. The need for package support arises in a variety of scenarios: For example, in the creation of meal plans, users are not only interested in the nutritional content of individual meals (base constraints), but also care to specify daily consumption limits and control the balance of the entire plan (global constraints). We introduce PaQL, a declarative SQL-based package query language, and the interface abstractions which allow users to interactively specify package queries and easily navigate through their results. To efficiently evaluate queries, the system employs pruning and heuristics, as well as state-of-the-art constraint optimization solvers. We demonstrate PackageBuilder by allowing attendees to interact with the system's interface, to define PaQL queries and to observe how query evaluation is performed.
△ Less
Submitted 3 July, 2015;
originally announced July 2015.
-
Lifting torsion Galois representations
Authors:
Chandrashekhar Khare,
Ravi Ramakrishna
Abstract:
Typos in the abstract have been corrected.
Let $ρ_n$ be an ordinary weight two representation of absolute Galois group of the rationals to $GL_2(\mathcal O/π^n)$. Here $\mathcal O$ is a ramified DVR with uniformiser $π$. If $ρ_n$ satisfies mild hypotheses we lift it to a characteristic zero $\mathcal O$-valued geometric weight two representation. The earlier methods could handle only the unramif…
▽ More
Typos in the abstract have been corrected.
Let $ρ_n$ be an ordinary weight two representation of absolute Galois group of the rationals to $GL_2(\mathcal O/π^n)$. Here $\mathcal O$ is a ramified DVR with uniformiser $π$. If $ρ_n$ satisfies mild hypotheses we lift it to a characteristic zero $\mathcal O$-valued geometric weight two representation. The earlier methods could handle only the unramified case. We show that the deformation ring of a residual representation arising from a newform can be arranged to be a prescribed DVR provided we choose a suitable auxiliary level. We extend earlier proofs of modularity of $p$-adic lifts of modular residual representations, via $p$-adic approximations, to cover cases when the lift is defined over ramified DVR's $\mathcal O$.
△ Less
Submitted 8 September, 2014; v1 submitted 5 September, 2014;
originally announced September 2014.
-
Some supercongruences occurring in truncated hypergeometric series
Authors:
Ling Long,
Ravi Ramakrishna
Abstract:
For the purposes of this paper supercongruences are congruences between terminating hypergeometric series and quotients of $p$-adic Gamma functions that are stronger than those one can expect to prove using commutative formal group laws. We prove a number of such supercongruences by using classical hypergeometric transformation formulae. These formulae (see the appendix), most of which are decades…
▽ More
For the purposes of this paper supercongruences are congruences between terminating hypergeometric series and quotients of $p$-adic Gamma functions that are stronger than those one can expect to prove using commutative formal group laws. We prove a number of such supercongruences by using classical hypergeometric transformation formulae. These formulae (see the appendix), most of which are decades or centuries old, allow us to write the terminating series as the ratio of products of of $Γ$-values. At this point sums have become quotients. Writing these $Γ$-quotients as $Γ_p$-quotients, we are in a situation that is well-suited for proving $p$-adic congruences. These $Γ_p$-functions can be $p$-adically approximated by their Taylor series expansions. Sometimes there is cancelation of the lower order terms, leading to stronger congruences. Using this technique we prove, among other things, a conjecture of Kibelbek and a strengthened version of a conjecture of van Hamme.
△ Less
Submitted 3 September, 2014; v1 submitted 20 March, 2014;
originally announced March 2014.
-
Transcendental l-adic Galois representations
Authors:
Chandrashekhar Khare,
Michael Larsen,
Ravi Ramakrishna
Abstract:
We consider continuous representations of the Galois group G of a number field K taking values in the completion C of an algebraic closure A of the field of l-adic numbers. We give a construction of irreducible representations of G in GL(2,C) which cannot be conjugated into GL(2,A) but for which there exist density-one sets of primes with Frobenius traces in A. We also show that any such represe…
▽ More
We consider continuous representations of the Galois group G of a number field K taking values in the completion C of an algebraic closure A of the field of l-adic numbers. We give a construction of irreducible representations of G in GL(2,C) which cannot be conjugated into GL(2,A) but for which there exist density-one sets of primes with Frobenius traces in A. We also show that any such representation must be ramified at infinitely many primes of K.
△ Less
Submitted 13 April, 2004;
originally announced April 2004.
-
Constructing semisimple p-adic Galois representations with prescribed properties
Authors:
Chandrashekhar Khare,
Michael Larsen,
Ravi Ramakrishna
Abstract:
In this paper we show that two dimensional (mod p) Galois representations satisfying mild hypotheses can be lifted to p-adic Galois representations ramified at infinitely many primes such that the characteristic polynomials of Frobenius at a density one set of unramified primes are defined over the rational integers. In particular we show that often one can "density one compatibly" lift mod p an…
▽ More
In this paper we show that two dimensional (mod p) Galois representations satisfying mild hypotheses can be lifted to p-adic Galois representations ramified at infinitely many primes such that the characteristic polynomials of Frobenius at a density one set of unramified primes are defined over the rational integers. In particular we show that often one can "density one compatibly" lift mod p and mod q Galois representations.
△ Less
Submitted 17 September, 2003;
originally announced September 2003.
-
Finiteness of Selmer groups and deformation rings
Authors:
Chandrashekhar Khare,
Ravi Ramakrishna
Abstract:
We prove the finiteness of Selmer groups attached to lifts of certain 2-dimensional mod p representations of the absolute Galois group of Q. The mod p representation can be either even or odd. The lifts considered are the ones that were proven to exist by the seond named author.
We prove the finiteness of Selmer groups attached to lifts of certain 2-dimensional mod p representations of the absolute Galois group of Q. The mod p representation can be either even or odd. The lifts considered are the ones that were proven to exist by the seond named author.
△ Less
Submitted 31 October, 2002;
originally announced November 2002.
-
Infinitely ramified Galois representations
Authors:
Ravi Ramakrishna
Abstract:
In this paper we show how to construct, for most p >= 5, two types of surjective representations
ρ:G_Q=Gal(\bar{Q}/Q) -> GL_2(Z_p)
that are ramified at an infinite number of primes. The image of inertia at almost all of these primes will be torsion-free. The first construction is unconditional. The catch is that we cannot say whether
ρ|_{G_p=Gal(\bar{Q_p}/Q_p)
is crystalline or even pote…
▽ More
In this paper we show how to construct, for most p >= 5, two types of surjective representations
ρ:G_Q=Gal(\bar{Q}/Q) -> GL_2(Z_p)
that are ramified at an infinite number of primes. The image of inertia at almost all of these primes will be torsion-free. The first construction is unconditional. The catch is that we cannot say whether
ρ|_{G_p=Gal(\bar{Q_p}/Q_p)
is crystalline or even potentially semistable. The second construction assumes the Generalized Riemann Hypothesis (GRH). With this assumption we can further arrange that ρ|_{G_p} is crystalline at p. We remark that infinitely ramified *reducible* representations have been previously constructed by more elementary means.
△ Less
Submitted 29 February, 2000;
originally announced March 2000.
