Geometric and Sheaf-Theoretic Models of Nichols Algebras

Definitions and mathematical statement

For $n\geq 0$, write $\operatorname{Sym}^{n}({\mathbb{C}})={\mathbb{C}}^{n}/\mathfrak S_n$, viewed as the space of effective divisors of degree $n$ on ${\mathbb{C}}$, and let $U_n$ be its locus of divisors with distinct support. Write $\operatorname{Sym}({\mathbb{C}})=\coprod_{n\geq0}\operatorname{Sym}^{n}({\mathbb{C}})$. The extracted notation Sym6= appears to refer to a distinct-point configuration locus, but its exact meaning and degree are not recoverable from the supplied excerpt.

Let $\mathcal V$ denote the coefficient category mentioned in the source. Its hypotheses are not supplied. To fix standard terminology conditionally, when $\mathcal V$ is a braided monoidal category in which the following constructions exist, the Nichols algebra of an object $M$ is \[ \mathcal B(M)=T_{\mathcal V}(M)/I(M),\qquad T_{\mathcal V}(M)=\bigoplus_{r\geq0}M^{\otimes r}, \] where the tensor algebra has its braided Hopf structure with $M$ primitive, and $I(M)$ is the largest homogeneous braided Hopf ideal contained in $\bigoplus_{r\geq2}M^{\otimes r}$. This conditional definition does not specify the class of objects or categories intended by the report. Factorizability of a family of perverse sheaves involves compatible tensor-product identifications over loci where configurations have disjoint support; the precise coefficient and coherence conventions are also missing.

Source question. In the setting of the report, give geometric interpretations of bosonization and of the reflection functors referred to there as coming from "I", and give a geometric interpretation of the polynomials referred to as "these polynomials". The excerpt does not identify these functors, polynomials, or the reference "I". Consequently, it does not determine a precise comparison theorem or a quantified conjecture about them.

The source additionally proposes the following research directions, rather than asserting their conclusions:

1. Study the extensions denoted $j_*$ and $j_{!*}$ of local systems using a Hurwitz-space covering of the configuration locus rendered as Sym6=. The proposed aim is to obtain a simpler local system on a possibly more complicated space. The inclusion $j$, the covering, the local systems, and the extension conventions are unspecified; in particular, shifts and derived or perverse conventions cannot be fixed from the excerpt.
2. Generalize the description, attributed to the report's reference [8], of perverse sheaves on $\operatorname{Sym}^{n}({\mathbb{C}})$ by representations or birepresentations of a quiver with relations to perverse sheaves with values in $\mathcal V$. Determine the compatibilities between the quiver data in different degrees that encode factorizability, with the aim of obtaining a combinatorial description of factorizable $\mathcal V$-valued perverse sheaves on $\operatorname{Sym}({\mathbb{C}})$.
3. Investigate whether asymptotic calculations along the lines of the report's reference [4] can prove finite presentation for Nichols algebras in the intended setting. The excerpt specifies neither the class of Nichols algebras nor the meaning of finite presentation in the relevant category, and supplies no universal finite-presentation conjecture.

These questions therefore constitute an incompletely specified research programme. A precise theorem statement requires the omitted surrounding definitions and references.

Short English statement

The source asks for geometric meanings of bosonization, certain reflection functors, and certain polynomials. It also suggests Hurwitz-space methods, quiver descriptions of perverse sheaves, and asymptotic calculations as possible routes to combinatorial models and finite-presentation results for Nichols algebras. Essential objects, hypotheses, and references are missing, so these directions cannot yet be expressed as a single precise conjecture.

Sources

• Local registry: data/unsolvedmath/problems.json, supplied complete record for permanent UnsolvedMath ID $30004835$, exact source code catalogue entry, titled "Geometric and Sheaf-Theoretic Models of Nichols Algebras". No individual proposer is supplied.
• Supplied primary citation: Quantum Groups -- Algebra, Analysis and Category Theory (2022), Oberwolfach Reports, pp. 2397--2458, DOI 10.4171/owr/2021/44: https://doi.org/10.4171/owr/2021/44. The extracted passage bears page number 2433. The registry gives proposed year 2021; this is retained separately from the citation's publication year 2022.
• Supplied literature source: "Oberwolfach Report 44", https://doi.org/10.4171/owr/2021/44.
• Supplied literature source: "Shuffle algebras and perverse sheaves", https://arxiv.org/abs/1904.09325.
• Literature assessment dated exactly 2026-08-22: the supplied curation labels the problem open and states that factorizable perverse sheaves already model a substantial class of Nichols-related braided Hopf algebras, while the requested interpretations of bosonization, reflection functors, and associated polynomial conditions remain unresolved. This is supplied dated curation derived from the OWR record, not an independently verified assessment of the literature or mathematical status.
• The registry labels the statement corrected_verified and says that an explicit question was isolated from report prose and its notation normalized. This is supplied editorial metadata, not independent mathematical verification. The report's internal references "I", [8], and [4] are not identified in the supplied excerpt.