Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2611.07970

A positive answer to Barsotti and Carman's question on unit groups of Burnside rings of fusion systems

Chunbo Zhou·Heguo Liu
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let F be a saturated fusion system on a finite 2-group S, and let B(F) be the Burnside ring of F. Barsotti and Carman proved that when S is abelian, B(F)^*=B(S)^* if and only if F=F_S(S). Barsotti and Carman asked on page 728 of their paper whether there exists a counterexample to Corollary 9.3 for a nonabelian 2-group. We have given a positive answer. Our main conclusion is that the following are equivalent for all finite 2-groups: (1)F=F_S(S); (2)B(F)^*=B(S)^*; (3)For every maximal subgroup M of S, 1-[S/M] is in B(F)^*.

Explore related subjects

math.GR

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Chunbo Zhou, Heguo Liu. 2026-11-05. A positive answer to Barsotti and Carman's question on unit groups of Burnside rings of fusion systems. https://arxiv.org/abs/2611.07970

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Bounds on Negligible Thresholds in Group Cohomology

Let $F$ be a field, $K/F$ a field extension with $Γ_K:=\text{Gal}(K_\text{sep}/K)$, $G$ a finite group, $j:Γ_K\rightarrow G$ a continuous group homomorphism, and $M$ an abelian group. There is an induced map of profinite cohomology $j^*:H^n (G;M)\rightarrow H^n (K;M)=:H^n (Γ_K;M)$. An element $u\in H^n (G;M)$ is negligible over $F$ if $j^* (u)=0$ for all such $j$ and field extensions $K/F$. The subset of negligible elements forms a subgroup $H^n (G;M)_{\text{neg},F}\subseteq H^n (G;M)$. The negligible threshold $\text{nthres}^G_F (M)$ is the smallest $N\in\mathbb{N}_{\geq 0}\cup\{\infty\}$ such that $H^n (G;M)_{\text{neg},F}=H^n (G;M)$ for all $n\geq N$. In this paper, we first establish some general bounds for negligible thresholds of arbitrary triples $(G,M,F)$ consisting of a finite group $G$, trivial $G$-module $M$, and field $F$. We then compute the negligible thresholds of an arbitrary group when $F$ is a field of characteristic $p$ and $M=\mathbb{Z}/p^k\mathbb{Z}$. Continuing in the characteristic $p$ setting, we compute these thresholds for $G$ a $p$-group and $M=\mathbb{Z}$, and we compute the thresholds for $G=\mathbb{Z}/\ell\mathbb{Z},M=\mathbb{Z}/s\mathbb{Z}$ for integers $s,\ell\in\mathbb{N}_{>1}$ satisfying certain number theoretic conditions. For fields containing sufficiently many roots of unity, we show that the negligible threshold of odd exponent finitely-generated trivial $G$-modules is finite. For $G$-modules of the form $\mathbb{Z}/p\mathbb{Z}$, $p$ an odd prime, we compute an explicit upper bound for the negligible threshold in terms of $p$ and $|G|$. We conclude by providing explicit computations of the negligible thresholds of elementary abelian $p$-groups with mod-$p$ coefficients, negligible thresholds of cyclic groups, and bounds on mod-$p$ negligible thresholds of general finite abelian $p$-groups.

math.GR↗
arXiv2026

On the triple product property for subgroups of finite groups of nilpotency class $2$

Some non-trivial upper bounds are proved relating to the triple product property (TPP) for subgroups of finite nilpotent groups of class $2$ using elementary group theory. The TPP is the property defined for three non-empty subsets $S, T, U$ of a group $G$ that the group equation $s's^{-1}t't^{-1}u'u^{-1} = 1$, over pairs of elements $s', s \in S$, $t', t \in T$, $u', u \in U$, is satisfied if and only if $s' = s$, $t' = t$, $u' = u$. When $G$ is finite, and the parameter $ρ_0(G)$, called \emph{subgroup TPP ratio}, is defined as $ρ_0(G) := \max\frac{|S||T||U|}{|G|}$, where the maximum is over the collection of all triples of subgroups $S, T, U$ of $G$ satisfying the TPP, this paper proves that \textup{(1)} $ρ_0(G) < \sqrt{G:Z(G)}$} for (all) groups of nilpotency class $2$, \textup{(2)} $ρ_0(G) \leq p$ for $p$-groups with a cyclic commutator subgroup of order $p$, \textup{(3)} $ρ_0(G) = 1$ for $p$-groups of nilpotency class $2$ with a "large" centre such that either $G/Z(G)$ is isomorphic to $C_p \times C_p$ or $C_{p^2} \times C_p$, \textup{(4)} and $ρ_0(G) = 1$ for $p$-groups of nilpotency class $2$ with "small" (irreducible, complex) character degrees of $1$ or $p$ where $G/Z(G)$ is not isomorphic to $C_p \times C_p \times C_p$.

math.GR↗