The Brauer Height Zero Conjecture is a conjecture in modular representation theory of finite groups relating the degrees of the complex irreducible characters in a Brauer block and the structure of its defect groups. It was formulated by Richard Brauer in 1955.
Let be a finite group and a prime. The set of irreducible complex characters can be partitioned into Brauer -blocks. To each -block is canonically associated a conjugacy class of -subgroups, called the defect groups of . The set of irreducible characters belonging to is denoted by .
Let be the discrete valuation defined on the integers by where is coprime to . Brauer proved that if is a block with defect group then for each . Brauer's Height Zero Conjecture asserts that for all if and only if is abelian.
Brauer's Height Zero Conjecture was formulated by Richard Brauer in 1955. [1] It also appeared as Problem 23 in Brauer's list of problems. [2] Brauer's Problem 12 of the same list asks whether the character table of a finite group determines if its Sylow -subgroups are abelian. Solving Brauer's height zero conjecture for blocks whose defect groups are Sylow -subgroups (or equivalently, that contain a character of degree coprime to ) also gives a solution to Brauer's Problem 12.
The proof of the if direction of the conjecture was completed by Radha Kessar and Gunter Malle [3] in 2013 after a reduction to finite simple groups by Thomas R. Berger and Reinhard Knörr. [4]
The only if direction was proved for -solvable groups by David Gluck and Thomas R. Wolf. [5] The so called generalized Gluck—Wolf theorem, which was a main obstacle towards a proof of the Height Zero Conjecture was proven by Gabriel Navarro and Pham Huu Tiep in 2013. [6] Gabriel Navarro and Britta Späth showed that the so-called inductive Alperin—McKay condition for simple groups implied Brauer's Height Zero Conjecture. [7] Lucas Ruhstorfer completed the proof of these conditions for the case . [8] The case of odd primes was finally settled by Gunter Malle, Gabriel Navarro, A. A. Schaeffer Fry and Pham Huu Tiep using a different reduction theorem. [9]
In mathematical analysis, the Haar measure assigns an "invariant volume" to subsets of locally compact topological groups, consequently defining an integral for functions on those groups.
In analytic number theory and related branches of mathematics, a complex-valued arithmetic function is a Dirichlet character of modulus if for all integers and :
In mathematics, Pontryagin duality is a duality between locally compact abelian groups that allows generalizing Fourier transform to all such groups, which include the circle group, the finite abelian groups, and the additive group of the integers, the real numbers, and every finite-dimensional vector space over the reals or a p-adic field.
In mathematics, the Brauer group of a field K is an abelian group whose elements are Morita equivalence classes of central simple algebras over K, with addition given by the tensor product of algebras. It was defined by the algebraist Richard Brauer.
In mathematics, an Artin L-function is a type of Dirichlet series associated to a linear representation ρ of a Galois group G. These functions were introduced in 1923 by Emil Artin, in connection with his research into class field theory. Their fundamental properties, in particular the Artin conjecture described below, have turned out to be resistant to easy proof. One of the aims of proposed non-abelian class field theory is to incorporate the complex-analytic nature of Artin L-functions into a larger framework, such as is provided by automorphic forms and the Langlands program. So far, only a small part of such a theory has been put on a firm basis.
In mathematics, a quaternion algebra over a field F is a central simple algebra A over F that has dimension 4 over F. Every quaternion algebra becomes a matrix algebra by extending scalars, i.e. for a suitable field extension K of F, is isomorphic to the 2 × 2 matrix algebra over K.
In mathematics, a Gelfand pair is a pair (G,K ) consisting of a group G and a subgroup K (called a Euler subgroup of G) that satisfies a certain property on restricted representations. The theory of Gelfand pairs is closely related to the topic of spherical functions in the classical theory of special functions, and to the theory of Riemannian symmetric spaces in differential geometry. Broadly speaking, the theory exists to abstract from these theories their content in terms of harmonic analysis and representation theory.
Brauer's main theorems are three theorems in representation theory of finite groups linking the blocks of a finite group with those of its p-local subgroups, that is to say, the normalizers of its nontrivial p-subgroups.
In mathematics, the Artin conductor is a number or ideal associated to a character of a Galois group of a local or global field, introduced by Emil Artin as an expression appearing in the functional equation of an Artin L-function.
In mathematics, specifically in the field of group theory, the McKay conjecture is a conjecture of equality between the number of irreducible complex characters of degree not divisible by a prime number to that of the normalizer of a Sylow -subgroup. It is named after Canadian mathematician John McKay.
In representation theory of mathematics, the Waldspurger formula relates the special values of two L-functions of two related admissible irreducible representations. Let k be the base field, f be an automorphic form over k, π be the representation associated via the Jacquet–Langlands correspondence with f. Goro Shimura (1976) proved this formula, when and f is a cusp form; Günter Harder made the same discovery at the same time in an unpublished paper. Marie-France Vignéras (1980) proved this formula, when and f is a newform. Jean-Loup Waldspurger, for whom the formula is named, reproved and generalized the result of Vignéras in 1985 via a totally different method which was widely used thereafter by mathematicians to prove similar formulas.
Gunter Malle is a German mathematician, specializing in group theory, representation theory of finite groups, and number theory.
Pham Huu Tiep is a Vietnamese American mathematician specializing in group theory and representation theory. He is currently a Joshua Barlaz Distinguished Professor of Mathematics at Rutgers University.
In mathematics, the Gan–Gross–Prasad conjecture is a restriction problem in the representation theory of real or p-adic Lie groups posed by Gan Wee Teck, Benedict Gross, and Dipendra Prasad. The problem originated from a conjecture of Gross and Prasad for special orthogonal groups but was later generalized to include all four classical groups. In the cases considered, it is known that the multiplicity of the restrictions is at most one and the conjecture describes when the multiplicity is precisely one.
In mathematics, especially in representation theory and algebraic geometry, the Beilinson–Bernstein localization theorem relates D-modules on flag varieties G/B to representations of the Lie algebra attached to a reductive group G. It was introduced by Beilinson & Bernstein (1981).
Babai's problem is a problem in algebraic graph theory first proposed in 1979 by László Babai.
Eamonn Anthony O'Brien is a professor of mathematics at the University of Auckland, New Zealand, known for his work in computational group theory and p-groups.
Gabriel Navarro Ortega is a Spanish mathematician specializing in group theory, and representation theory of finite groups. Currently he is a full professor at the Universitat de València.
Richard Brauer's k(B) Conjecture is a conjecture in modular representation theory of finite groups relating the number of complex irreducible characters in a Brauer block and the order of its defect groups. It was first announced in 1955. It is Problem 20 in Brauer's list of problems.