🔢 mathematics

On the Bogomolov-Positselski Conjecture

This paper establishes new criteria for oriented pro- $p$ groups to satisfy the Bogomolov--Positselski property, thereby relating previous approaches, answering an open question, and demonstrating that the Elementary Type Conjecture implies Positselski's Module Koszulity Conjecture for fields with finitely generated maximal pro- $p$ Galois groups.

Original authors: Julian Feuerpfeil

Published 2026-01-30

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Julian Feuerpfeil

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a detective trying to solve a mystery about the hidden structure of numbers and shapes. In the world of advanced mathematics, there is a specific type of "shape" called a pro-p group. Think of these groups as complex, multi-layered machines that describe how symmetries work in certain fields of numbers (like the solutions to equations).

The paper you are asking about is a report by a mathematician named Julian Feuerpfeil. He is investigating a famous guess (a conjecture) made by two other mathematicians, Bogomolov and Positselski.

Here is the breakdown of the paper using simple analogies:

1. The Main Mystery: The "Bogomolov-Positselski Property"

Imagine you have a complex machine (a pro-p group). Inside this machine, there are two special parts:

The Core (Kθ): A tightly packed, central cluster of gears.
The Frame (Iθ): The outer shell that holds everything together.

The Bogomolov-Positselski property is a special condition. It says that if you take the machine apart and look only at the Core (Kθ), it should be a "Free Pro-p Group."

The Analogy: Think of a "Free Pro-p Group" as a perfectly organized, empty warehouse with no tangled wires or stuck gears. It's the simplest, most flexible structure possible. The conjecture claims that for many important mathematical machines, the inner core is always this simple, perfect warehouse, even if the outside looks complicated.

2. The Problem: How to Check the Core?

For a long time, mathematicians had two ways to check if a machine had this "perfect warehouse" core:

Method A (Positselski's way): You had to check an infinite list of conditions. It was like trying to count every single grain of sand on a beach to prove the beach is clean. It was theoretically sound but practically impossible to do for complex machines.
Method B (Quadrelli and Weigel's way): They found a shortcut that only required checking two specific "gears" (cohomology groups). However, it was a very tricky, abstract way to look at them, and it wasn't clear how it connected to Method A.

3. The Author's New Tool: The "Bridge"

Julian Feuerpfeil's main achievement in this paper is building a bridge between Method A and Method B.

He introduces a new mathematical "lens" (Theorem A) that translates the infinite list of conditions from Method A into a specific, finite set of checks that look very similar to Method B.

The Analogy: Imagine you have a locked box (the mystery of the core). Method A says, "You must check every lock in the universe." Method B says, "Just check this one weird key." Julian found a translation manual that shows why that one weird key works, and it reveals that the "weird key" is actually just a specific combination of three simpler checks.

4. The New Rules (Theorems A, B, and C)

Using this new bridge, Julian proves three main things:

Theorem A (The Connection): He shows exactly how the "weird key" (from Method B) relates to the infinite list (Method A). He proves that if a certain mathematical "gap" is zero, the machine has the perfect core. This gap is calculated using a few specific numbers, making the check much more manageable.
Theorem B (The Easier Test): He refines the rules further. He shows that you don't need to check the entire infinite list from Method A. You only need to check a few specific "layers" of the machine. If those layers are clean, the whole core is clean. This makes the test much faster and less demanding.
Theorem C (The "Elementary" Machines): He looks at a specific family of machines called "Elementary Type" groups. These are machines built from simple Lego blocks (free groups and Demushkin groups). He proves that all machines built this way automatically have the "perfect warehouse" core.

5. The Big Picture: Why Does This Matter?

The paper connects to a massive idea called the Elementary Type Conjecture. This is a guess that says: "Any important number-system machine that is finitely generated is actually built from these simple Lego blocks."

Julian's paper says:

If the "Elementary Type Conjecture" is true (i.e., all these machines are made of Lego blocks),
Then the "Bogomolov-Positselski Property" is automatically true for all of them.
This also confirms another famous guess by Positselski about how these machines behave (the "Module Koszulity Conjecture").

Summary

Julian Feuerpfeil didn't just solve the mystery; he built a better map.

Before: Checking if a complex mathematical machine had a simple core was like trying to count every star in the sky.
Now: He showed that you only need to check a few specific stars (three cohomology groups) to know the answer.
Result: He proved that for a huge class of machines (those built from simple blocks), the core is definitely simple and perfect.

This work helps mathematicians understand the fundamental "DNA" of number systems without getting lost in infinite calculations.

Technical Summary: On the Bogomolov-Positselski Conjecture

Problem Statement
The paper addresses the Bogomolov–Positselski Conjecture, which posits that for a field $K$ satisfying specific conditions (containing a primitive $p$ -th root of unity, and $\sqrt{-1}$ if $p=2$ ), the kernel $K_{\theta_K}(G_K(p))$ of the orientation map on the maximal pro- $p$ Galois group is a free pro- $p$ group. Equivalently, the maximal pro- $p$ Galois group of the field $K(\sqrt[p^\infty]{K})$ is free.

This property is linked to the structure of the cohomology algebra $H^\bullet(G, \mathbb{F}_p)$ . Previous work established that if $G$ is $H^\bullet$ -quadratic (its cohomology is a quadratic algebra), the conjecture relates to the Koszulity of certain modules. Specifically, Positselski provided a criterion involving the vanishing of infinitely many cohomology groups (Koszulity of a specific kernel), while Quadrelli and Weigel offered a criterion involving the injectivity of a specific differential in a Hochschild-Serre spectral sequence. A gap remained in understanding the precise relationship between these two criteria and whether the conditions could be weakened or made more computationally accessible.

Methodology
The author employs techniques from the homological algebra of graded algebras, specifically focusing on Koszul algebras, quadratic modules, and the cohomology of graded algebras with coefficients in modules.

Spectral Sequence Analysis: The paper utilizes the Hochschild-Serre spectral sequence associated with the extension $1 \to K_\theta(G) \to G \to G(\theta) \to 1$ .
Homological Algebra of Graded Modules: The author constructs exact sequences relating the cohomology of the exterior algebra $\Lambda^\bullet(V)$ (where $V = H^1(G, \mathbb{F}_p)$ ) to the kernel of the inflation map $\psi^\bullet$ .
Quadratic Duals: The paper employs the theory of quadratic duals (following Priddy and Löfwall) to translate conditions on the vanishing of cohomology groups into dual statements, allowing for the reduction of infinite conditions to finite computations.
Inductive Construction: For groups of "elementary type," the author uses an inductive approach based on the construction of these groups from Demushkin groups, free pro- $p$ groups, and specific semidirect products.

Key Contributions and Results

Theorem A (Connecting Criteria): The paper establishes an exact sequence connecting the kernel of the differential $d_2^{2,1}$ in the Hochschild-Serre spectral sequence (Quadrelli–Weigel's criterion) with specific cohomology groups of graded modules.
$0 \to H^{1,2}(\Lambda^\bullet(V), N) \to H^{2,4}(\Lambda^\bullet(V), B) \to \ker d_2^{2,1} \to H^{0,2}(\Lambda^\bullet(V), N) \to 0$
Here, $N$ is a specific module related to the cohomology of the kernel $K_\theta(G)$ . This result answers a question posed by Quadrelli and Weigel regarding the connection between their spectral sequence criterion and Positselski's module Koszulity criterion. It shows that the vanishing of $\ker d_2^{2,1}$ (the Bogomolov–Positselski property) is equivalent to specific isomorphisms and vanishing conditions in these cohomology groups.
Corollary 4.2 (Merkurjev–Suslin Analogue): A consequence of Theorem A is a condition analogous to the Merkurjev–Suslin theorem. If the group has the Bogomolov–Positselski property, a specific cup product map is surjective.
Theorem B (Weakened Hypotheses): The author provides a new sufficient criterion for the Bogomolov–Positselski property that relaxes the conditions of Positselski's original Theorem 2. It requires that the quadratic part of the kernel $(\ker \psi^\bullet)(2)$ is a quadratic module and that $H^{i, i+3}(\Lambda^\bullet(V), \ker \psi^\bullet) = 0$ for all $i$ . This avoids the requirement of "full" Koszulity of the kernel.
- Furthermore, Section 4.3 demonstrates that verifying the conditions of Theorem B for an ideal in the exterior algebra requires computing only three specific graded cohomology groups, offering an algorithmic approach.
Theorem C (Elementary Type Groups): The paper proves that for any torsion-free oriented pro- $p$ group of "elementary type" (constructed from Demushkin groups and free pro- $p$ groups via free products and semidirect products with free abelian groups), the module $(\ker \psi^\bullet)(2)$ is Koszul.
- This implies that groups of elementary type satisfy the conditions of both Theorem B and Positselski's original Module Koszulity Conjecture 1.

Significance
The paper claims to provide a unified framework for the Bogomolov–Positselski property by relating the spectral sequence approach of Quadrelli and Weigel to the Koszulity approach of Positselski.

The primary significance lies in the implication for the Elementary Type Conjecture (proposed by I. Efrat), which suggests that the maximal pro- $p$ Galois group of any field with a finitely generated maximal pro- $p$ Galois group is of elementary type. The paper argues that if the Elementary Type Conjecture holds, then Positselski's Module Koszulity Conjecture 1 is valid for all fields $K$ satisfying the standing assumptions where $K^\times/K^{\times p}$ is finite.

The work also provides a more practical, finite computational method (via Theorem B and Section 4.3) to verify the Bogomolov–Positselski property for specific ideals, moving away from the need to verify infinite families of cohomology vanishing conditions. The paper does not claim to prove the Bogomolov–Positselski Conjecture in full generality but establishes it for the class of elementary type groups and provides tools to test it in broader contexts.