Greenberg's conjectures

Last updated

Greenberg's conjecture is either of two conjectures in algebraic number theory proposed by Ralph Greenberg. Both are still unsolved as of 2020.

Contents

Invariants conjecture

The first conjecture was proposed in 1976 and concerns Iwasawa invariants. This conjecture is related to Vandiver's conjecture, Leopoldt's conjecture, Birch–Tate conjecture, all of which are also unsolved.

The conjecture, also referred to as Greenberg's invariants conjecture, firstly appeared in Greenberg's Princeton University thesis of 1971 and originally stated that, assuming that is a totally real number field and that is the cyclotomic -extension, , i.e. the power of dividing the class number of is bounded as . Note that if Leopoldt's conjecture holds for and , the only -extension of is the cyclotomic one (since it is totally real).

In 1976, Greenberg expanded the conjecture by providing more examples for it and slightly reformulated it as follows: given that is a finite extension of and that is a fixed prime, with consideration of subfields of cyclomtomic extensions of , one can define a tower of number fields such that is a cyclic extension of of degree . If is totally real, is the power of dividing the class number of bounded as  ? Now, if is an arbitrary number field, then there exist integers , and such that the power of dividing the class number of is , where for all sufficiently large . The integers , , depend only on and . Then, we ask: is for totally real?

Simply speaking, the conjecture asks whether we have for any totally real number field and any prime number , or the conjecture can also be reformulated as asking whether both invariants λ and µ associated to the cyclotomic -extension of a totally real number field vanish.

In 2001, Greenberg generalized the conjecture (thus making it known as Greenberg's pseudo-null conjecture or, sometimes, as Greenberg's generalized conjecture):

Supposing that is a totally real number field and that is a prime, let denote the compositum of all -extensions of . Let denote the pro- Hilbert class field of and let , regarded as a module over the ring . Then is a pseudo-null -module.

A possible reformulation: Let be the compositum of all the -extensions of and let , then is a pseudo-null -module.

Another related conjecture (also unsolved as of yet) exists:

We have for any number field and any prime number .

This related conjecture was justified by Bruce Ferrero and Larry Washington, both of whom proved (see: Ferrero–Washington theorem) that for any abelian extension of the rational number field and any prime number .

p-rationality conjecture

Another conjecture, which can be referred to as Greenberg's conjecture, was proposed by Greenberg in 2016, and is known as Greenberg's -rationality conjecture that states that for any odd prime and for any , there exist a -rational field such that . This conjecture is related to Inverse Galois problem.

Further reading

Related Research Articles

Multivariate normal distribution Generalization of the one-dimensional normal distribution to higher dimensions

In probability theory and statistics, the multivariate normal distribution, multivariate Gaussian distribution, or joint normal distribution is a generalization of the one-dimensional (univariate) normal distribution to higher dimensions. One definition is that a random vector is said to be k-variate normally distributed if every linear combination of its k components has a univariate normal distribution. Its importance derives mainly from the multivariate central limit theorem. The multivariate normal distribution is often used to describe, at least approximately, any set of (possibly) correlated real-valued random variables each of which clusters around a mean value.

In mathematics, the adele ring of a global field is a central object of class field theory, a branch of algebraic number theory. It is the restricted product of all the completions of the global field, and is an example of a self-dual topological ring.

In number theory, Iwasawa theory is the study of objects of arithmetic interest over infinite towers of number fields. It began as a Galois module theory of ideal class groups, initiated by Kenkichi Iwasawa (1959), as part of the theory of cyclotomic fields. In the early 1970s, Barry Mazur considered generalizations of Iwasawa theory to abelian varieties. More recently, Ralph Greenberg has proposed an Iwasawa theory for motives.

Semisimple Lie algebra Direct sum of simple Lie algebras

In mathematics, a Lie algebra is semisimple if it is a direct sum of simple Lie algebras.

The Artin reciprocity law, which was established by Emil Artin in a series of papers, is a general theorem in number theory that forms a central part of global class field theory. The term "reciprocity law" refers to a long line of more concrete number theoretic statements which it generalized, from the quadratic reciprocity law and the reciprocity laws of Eisenstein and Kummer to Hilbert's product formula for the norm symbol. Artin's result provided a partial solution to Hilbert's ninth problem.

Verma modules, named after Daya-Nand Verma, are objects in the representation theory of Lie algebras, a branch of mathematics.

In mathematics, a π-system on a set Ω is a collection P of certain subsets of Ω, such that

Vertex model

A vertex model is a type of statistical mechanics model in which the Boltzmann weights are associated with a vertex in the model. This contrasts with a nearest-neighbour model, such as the Ising model, in which the energy, and thus the Boltzmann weight of a statistical microstate is attributed to the bonds connecting two neighbouring particles. The energy associated with a vertex in the lattice of particles is thus dependent on the state of the bonds which connect it to adjacent vertices. It turns out that every solution of the Yang–Baxter equation with spectral parameters in a tensor product of vector spaces yields an exactly-solvable vertex model.

Arf invariant

In mathematics, the Arf invariant of a nonsingular quadratic form over a field of characteristic 2 was defined by Turkish mathematician Cahit Arf (1941) when he started the systematic study of quadratic forms over arbitrary fields of characteristic 2. The Arf invariant is the substitute, in characteristic 2, for the discriminant for quadratic forms in characteristic not 2. Arf used his invariant, among others, in his endeavor to classify quadratic forms in characteristic 2.

In 3-dimensional topology, a part of the mathematical field of geometric topology, the Casson invariant is an integer-valued invariant of oriented integral homology 3-spheres, introduced by Andrew Casson.

Covariance matrix adaptation evolution strategy (CMA-ES) is a particular kind of strategy for numerical optimization. Evolution strategies (ES) are stochastic, derivative-free methods for numerical optimization of non-linear or non-convex continuous optimization problems. They belong to the class of evolutionary algorithms and evolutionary computation. An evolutionary algorithm is broadly based on the principle of biological evolution, namely the repeated interplay of variation and selection: in each generation (iteration) new individuals are generated by variation, usually in a stochastic way, of the current parental individuals. Then, some individuals are selected to become the parents in the next generation based on their fitness or objective function value . Like this, over the generation sequence, individuals with better and better -values are generated.

Dirichlet process

In probability theory, Dirichlet processes are a family of stochastic processes whose realizations are probability distributions. In other words, a Dirichlet process is a probability distribution whose range is itself a set of probability distributions. It is often used in Bayesian inference to describe the prior knowledge about the distribution of random variables—how likely it is that the random variables are distributed according to one or another particular distribution.

A ratio distribution is a probability distribution constructed as the distribution of the ratio of random variables having two other known distributions. Given two random variables X and Y, the distribution of the random variable Z that is formed as the ratio Z = X/Y is a ratio distribution.

In mathematics, a content is a set function that is like a measure, but a content must only be finitely additive, whereas a measure must be countably additive. A content is a real function defined on a collection of subsets such that

In algebraic K-theory, a field of mathematics, the Steinberg group of a ring is the universal central extension of the commutator subgroup of the stable general linear group of .

In mathematics, Maass forms or Maass wave forms are studied in the theory of automorphic forms. Maass forms are complex-valued smooth functions of the upper half plane, which transform in a similar way under the operation of a discrete subgroup of as modular forms. They are Eigenforms of the hyperbolic Laplace Operator defined on and satisfy certain growth conditions at the cusps of a fundamental domain of . In contrast to the modular forms the Maass forms need not be holomorphic. They were studied first by Hans Maass in 1949.

In mathematics, convenient vector spaces are locally convex vector spaces satisfying a very mild completeness condition.

In mathematics, Topological recursion is a recursive definition of invariants of spectral curves. It has applications in enumerative geometry, random matrix theory, mathematical physics, string theory, knot theory.

In mathematics, and especially differential and algebraic geometry, K-stability is an algebro-geometric stability condition, for complex manifolds and complex algebraic varieties. The notion of K-stability was first introduced by Gang Tian and reformulated more algebraically later by Simon Donaldson. The definition was inspired by a comparison to geometric invariant theory (GIT) stability. In the special case of Fano varieties, K-stability precisely characterises the existence of Kähler–Einstein metrics. More generally, on any compact complex manifold, K-stability is conjectured to be equivalent to the existence of constant scalar curvature Kähler metrics.

In geometry, a valuation is a finitely additive function on a collection of admissible subsets of a fixed set with values in an abelian semigroup. For example, the Lebesgue measure is a valuation on finite unions of convex bodies of Euclidean space . Other examples of valuations on finite unions of convex bodies are the surface area, the mean width, and the Euler characteristic.