On Brauer’s Problem 21

Jiwen Zeng,Jiping Zhang

DOI: https://doi.org/10.1007/bf02877070

2001-01-01

Science in China Series A Mathematics

Abstract:For ap-blockB of a finite groupG, we give a bound of the order of its defect groupD in terms ofk(B), the number of the irreducible ordinary characters inB.

What problem does this paper attempt to address?

Brauer's problem 21 for principal blocks

Alexander Moretó,Noelia Rizo,A. A. Schaeffer Fry

2023-09-30

Abstract:Problem 21 of Brauer's list of problems from 1963 asks whether for any positive integer k there are finitely many isomorphism classes of groups that occur as the defect group of a block with k irreducible characters. We solve this problem for principal blocks. Another long-standing open problem (from 1982) in this area asks whether the defect group of a block with 3 irreducible characters is necessarily the cyclic group of order 3. In most cases we reduce this problem to a question on simple groups that is closely related to the recent solution of Brauer's height zero conjecture.

Group Theory,Representation Theory
Cartan matrices and Brauer's k(B)-Conjecture III

Benjamin Sambale

DOI: https://doi.org/10.48550/arXiv.1412.7017

2014-12-22

Abstract:For a block $B$ of a finite group we prove that $k(B)\le(\det C-1)/l(B)+l(B)\le\det C$ where $k(B)$ (respectively $l(B)$) is the number of irreducible ordinary (respectively Brauer) characters of $B$, and $C$ is the Cartan matrix of $B$. As an application, we show that Brauer's $k(B)$-Conjecture holds for every block with abelian defect group $D$ and inertial quotient $T$ provided there exists an element $u\in D$ such that $C_T(u)$ acts freely on $D/<u>$. This gives a new proof of Brauer's Conjecture for abelian defect groups of rank at most $2$. We also prove the conjecture in case $l(B)\le 3$.

Representation Theory
Exterior Algebras and Two Conjectures on Finite Abelian Groups

Tao Feng,Zhi-Wei Sun,Qing Xiang

DOI: https://doi.org/10.1007/s11856-011-0037-1

2011-01-01

Israel Journal of Mathematics

Abstract:Let G be a finite abelian group with |G| > 1. Let a (1), aEuro broken vertical bar, a (k) be k distinct elements of G and let b (1), aEuro broken vertical bar, b (k) be (not necessarily distinct) elements of G, where k is a positive integer smaller than the least prime divisor of |G|. We show that there is a permutation pi on {1, aEuro broken vertical bar,k} such that a (1) b (pi(1)), aEuro broken vertical bar, a (k) b (pi(k)) are distinct, provided that any other prime divisor of |G| (if there is any) is greater than k!. This in particular confirms the Dasgupta-Karolyi-Serra-Szegedy conjecture for abelian p-groups. We also pose a new conjecture involving determinants and characters, and show that its validity implies Snevily's conjecture for abelian groups of odd order. Our methods involve exterior algebras and characters.
Bounding p-Brauer characters in finite groups with two conjugacy classes of p-elements

Nguyen Ngoc Hung,Benjamin Sambale,Pham Huu Tiep

DOI: https://doi.org/10.1007/s11856-024-2613-1

2024-04-28

Israel Journal of Mathematics

Abstract:Let k ( B 0 ) and l ( B 0 ) respectively denote the number of ordinary and p -Brauer irreducible characters in the principal block B 0 of a finite group G . We prove that, if k ( B 0 )− l ( B 0 ) = 1, then l ( B 0 ) ≥ p − 1 or else p = 11 and l ( B 0 ) = 9. This follows from a more general result that for every finite group G in which all non-trivial p -elements are conjugate, l ( B 0 ) ≥ p − 1 or else p = 11 and . These results are useful in the study of principal blocks with few characters.

mathematics
On the Brauer groups of fibrations II

Yanshuai Qin

2024-10-14

Abstract:Let $K$ be a number field, and let $\mathcal{X}$ be a proper regular flat scheme over $\mathcal{O}_{K}$ with a generic fiber $X$ geometrically connected over $K$. We prove that there is an exact sequence up to finite groups $0\rightarrow Sha(Pic_{X/K}^0)\rightarrow Br(\mathcal{X})\rightarrow Br(X_{\bar{K}})^{G_K}\rightarrow 0$, which generalizes a theorem of Artin and Grothendieck for arithmetic surfaces to arbitrary dimensions. Consequently, we reduce Artin's question regarding the finiteness of $Br(\mathcal{X})$ for proper regular flat schemes $\mathcal{X}$ over $\mathbb{Z}$ to $3$-dimensional arithmetic schemes.

Algebraic Geometry,Number Theory
The blocks with five irreducible characters

J. Miquel Martínez,Noelia Rizo,Lucia Sanus

2023-06-07

Abstract:Let $G$ be a finite group, $p$ a prime and $B$ a Brauer $p$-block of $G$ with defect group $D$. We prove that if the number of irreducible ordinary characters in $B$ is $5$ then $D\cong C_5, C_7, D_8$ or $Q_8$, assuming that the Alperin--McKay conjecture holds for $B$.

Group Theory,Representation Theory
Blocks with the hyperfocal subgroup $Z_{2^n}\times Z_{2^n}$

Xueqin Hu,Yuanyang Zhou

DOI: https://doi.org/10.48550/arXiv.1709.05983

2018-08-29

Abstract:In this paper, we calculate the numbers of irreducible ordinary characters and irreducible Brauer characters in a block of a finite group $G$, whose associated fusion system over a 2-subgroup $P$ of $G$ (which is a defect group of the block) has the hyperfocal subgroup $\mathbb Z_{2^n}\times \mathbb Z_{2^n}$ for some $n\geq 2$, when the block is controlled by the normalizer $N_G(P)$ and the hyperfocal subgroup is contained in the center of $P$, or when the block is not controlled by $N_G(P)$ and the hyperfocal subgroup is contained in the center of the unique essential subgroup in the fusion system. In particular, Alperin's weight conjecture holds in the considered cases.

Group Theory
On P-Brauer Characters and P-Regular Conjugacy Classes

Yang Liu,Ziqun Lu,Pingzhi Yuan

DOI: https://doi.org/10.1080/00927872.2015.1053897

2016-01-01

Communications in Algebra

Abstract:For n ∈ N, we denote by π(n) the set of prime divisors of n. Let G be a finite group. Denote by IBrp(G) and cl(Gp′) the set of irreducible p-Brauer characters and the set of p-regular conjugacy classes of G, respectively. Set ρp(G) = {q prime: q|ϕ(1), ϕ ∈IBrp(G)}, , σp(G) = max{|π(ϕ(1))|: ϕ ∈IBrp(G)}, and . For a solvable group G, we prove that |ρp(G)| and are bounded by σp(G) and , respectively, if a well-known Diophantine equation has finite integer solutions.
Small Intersections of Principal Blocks

Yanjun Liu,Jiping Zhang

DOI: https://doi.org/10.1016/j.jalgebra.2016.10.018

IF: 0.908

2017-01-01

Journal of Algebra

Abstract:In this note, it is shown that a finite group G is solvable if for each odd prime divisor p of |G|, |Irr(B0(G)2)∩Irr(B0(G)p)|≤2, where Irr(B0(G)p) is the set of complex irreducible characters of the principal p-block B0(G)p of G. Also, the structure of such groups is investigated. Examples show that the bound 2 is best possible.
Landau's Theorem for pi-blocks of pi-separable groups

Benjamin Sambale

DOI: https://doi.org/10.48550/arXiv.1810.05827

2018-10-13

Abstract:Slattery has generalized Brauer's theory of p-blocks of finite groups to pi-blocks of pi-separable groups where pi is a set of primes. In this setting we show that the order of a defect group of a pi-block B is bounded in terms of the number of irreducible characters in B. This is a variant of Brauer's Problem 21 and generalizes Külshammer's corresponding theorem for p-blocks of p-solvable groups. At the same time, our result generalizes Landau's classical theorem on the number of conjugacy classes of an arbitrary finite group. The proof relies on the classification of finite simple groups.

Representation Theory
Blocks with central hyperfocal subgroups

Rui Gao,Kun Zhang

DOI: https://doi.org/10.1080/00927872.2024.2425778

2024-12-04

Communications in Algebra

Abstract:Let p be a prime, G a finite group, b a p -block of G with maximal Brauer pair (P,eP) , l ( b ) the number of irreducible Brauer characters in the block b , and D the hyperfocal subgroup of b with respect to (P,eP) . Set R=CP(NG(P,eP)p′) . In this paper, we show that if D is central in P , then l(b)=l(eR) where (R,eR)≤(P,eP) . Consequently, we show that if b is a 2-block and D is central in P , then l(b)=l((eP)NG(P)) .

mathematics
The Brauer Group of Rational Numbers

Haiyu Chen

DOI: https://doi.org/10.48550/arXiv.1911.02368

2019-11-02

Abstract:In this project, we will study the Brauer group that was first defined by R. Brauer. The elements of the Brauer group are the equivalence classes of finite dimensional central simple algebra. Therefore understanding the structure of the Brauer group of a field is equivalent to a complete classification of finite dimensional central division algebras over the field. One of the important achievements of algebra and number theory in the last century is the determination of Br(Q), the Brauer group of rational numbers. The aim of this dissertation is to review this project, i.e., determining Br(Q). There are three main steps. The first step is to determine Br(R), the Brauer group of real numbers. The second step is to identify Br(k_\nu), the Brauer group of the local fields. The third step is to construct two maps Br(Q) to Br(R) and Br(Q) to Br(Q_p) and to use these two maps to understand Br(Q). This dissertation completed the first two steps of this enormous project. To the author's knowledge, in literature there is no document including all the details of determining Br(Q) and most of them are written from a advanced perspective that requires the knowledge of class field theory and cohomology. The goal of this document is to develop the result in a relatively elementary way. The project mainly follows the logic of the book [6], but significant amount of details are added and some proofs are originated by the author, for example, 1.2.6, 1.4.2(ii), 4.2.6, and maximality and uniqueness of 5.5.12.

Rings and Algebras,Group Theory,History and Overview,Number Theory
Blocks with abelian defect groups of rank 2 and one simple module

Xueqin Hu

DOI: https://doi.org/10.48550/arXiv.1909.08788

2019-09-19

Abstract:In this paper, we investigate the block that has an abelian defect group of rank $2$ and its Brauer correspondent has only one simple module. We will get an isotypy between the block and its Brauer correspondent. It will generalize the result of Kessar and Linckelmann (\cite{KL}).

Group Theory,Representation Theory
On an Open Problem of Guo-Skiba

Zhenfeng Wu,Wenbin Guo,Baojun Li

DOI: https://doi.org/10.1007/s11464-016-0572-5

2016-01-01

Frontiers of Mathematics in China

Abstract:Let G be a finite group, and let A be a proper subgroup of G. Then any chief factor H/A G of G is called a G-boundary factor of A. For any Gboundary factor H/A G of A, the subgroup (A ∩ H)/A G of G/ A G is called a G-trace of A. In this paper, we prove that G is p-soluble if and only if every maximal chain of G of length 2 contains a proper subgroup M of G such that either some G-trace of M is subnormal or every G-boundary factor of M is a p′-group. This result give a positive answer to a recent open problem of Guo and Skiba. We also give some new characterizations of p-hypercyclically embedded subgroups.
A note on the Gluck-Wolf theorem

ZiQun Lu

2002-01-01

Algebra Colloquium

Abstract:Let N be a normal subgroup of a finite group G. Let psi be an irreducible Brauer character of N. Assume pi is a set of primes and chi(1)/psi(1) is a pi'-number for any chi is an element of IBrp(G\psi). We prove that, if p\G : N\, then G/N has an abelian Hall-pi subgroup. If pis an element ofpi, then G/N has a metabelian Hall-pi subgroup. 2000 Mathematics Subject Classification: 20C20.
Brauer-Manin obstructions requiring arbitrarily many Brauer classes

Jennifer Berg,Carlo Pagano,Bjorn Poonen,Michael Stoll,Nicholas Triantafillou,Bianca Viray,Isabel Vogt

2023-09-12

Abstract:On a projective variety defined over a global field, any Brauer--Manin obstruction to the existence of rational points is captured by a finite subgroup of the Brauer group. We show that this subgroup can require arbitrarily many generators.

Number Theory,Algebraic Geometry
Evaluating the wild Brauer group

Martin Bright,Rachel Newton

DOI: https://doi.org/10.1007/s00222-023-01210-8

2023-10-06

Abstract:Classifying elements of the Brauer group of a variety X over a p-adic field according to the p-adic accuracy needed to evaluate them gives a filtration on Br X. We relate this filtration to that defined by Kato's Swan conductor. The refined Swan conductor controls how the evaluation maps vary on p-adic discs: this provides a geometric characterisation of the refined Swan conductor. We give applications to rational points on varieties over number fields, including failure of weak approximation for varieties admitting a non-zero global 2-form.

Algebraic Geometry,Number Theory
Comparison of arithmetic Brauer groups with geometric Brauer groups

Xinyi Yuan

2020-01-01

Abstract: Let $X$ be a projective and smooth variety over a field $k$. The goal of this paper is to prove that the cokernel of the canonical map $Br(X)\to Br(X_{k^s})^{G_k}$ has a finite exponent. Both groups are natural invariants arising from consideration of the Tate conjecture of divisors over $X$.
On p-torsions of geometric Brauer groups

Zhenghui Li,Yanshuai Qin,with an appendix by Veronika Ertl

2024-09-14

Abstract:Let $X$ be a smooth projective integral variety over a finitely generated field $k$ of characteristic $p>0$. We show that the finiteness of the exponent of the $p$-primary part of $\mathrm{Br}(X_{k^s})^{G_k}$ is equivalent to the Tate conjecture for divisors, generalizing D'Addezio's theorem for abelian varieties to arbitrary smooth projective varieties. In combination with the Leray spectral sequence for rigid cohomology derived from the Berthelot conjecture recently proved by Ertl-Vezzani, we show that the cokernel of $\mathrm{Br}_{\mathrm{nr}}(K(X)) \rightarrow \mathrm{Br}(X_{k^s})^{G_k}$ is of finite exponent. This completes the $p$-primary part of the generalization of Artin-Grothendieck's theorem on relations between Brauer groups and Tate-Shafarevich groups to higher relative dimensions.

Algebraic Geometry
On the Brauer groups of fibrations

Yanshuai Qin

DOI: https://doi.org/10.1007/s00209-024-03487-8

2024-04-27

Mathematische Zeitschrift

Abstract:Let be a flat k -morphism between smooth integral varieties over a finitely generated field k such that the generic fiber X is smooth, projective and geometrically connected. Assuming that C is a curve with function field K , we build a relation between the Tate-Shafarevich group of and the geometric Brauer groups of and X , generalizing a theorem of Artin and Grothendieck for fibered surfaces to higher relative dimensions.

mathematics

On Brauer’s Problem 21

Brauer's problem 21 for principal blocks

Cartan matrices and Brauer's k(B)-Conjecture III

Exterior Algebras and Two Conjectures on Finite Abelian Groups

Bounding p-Brauer characters in finite groups with two conjugacy classes of p-elements

On the Brauer groups of fibrations II

The blocks with five irreducible characters

Blocks with the hyperfocal subgroup $Z_{2^n}\times Z_{2^n}$

On P-Brauer Characters and P-Regular Conjugacy Classes

Small Intersections of Principal Blocks

Landau's Theorem for pi-blocks of pi-separable groups

Blocks with central hyperfocal subgroups

The Brauer Group of Rational Numbers

Blocks with abelian defect groups of rank 2 and one simple module

On an Open Problem of Guo-Skiba

A note on the Gluck-Wolf theorem

Brauer-Manin obstructions requiring arbitrarily many Brauer classes

Evaluating the wild Brauer group

Comparison of arithmetic Brauer groups with geometric Brauer groups

On p-torsions of geometric Brauer groups

On the Brauer groups of fibrations