253 problems
Tree discriminant magnitude homology conjecture. For ,
For every annular link , the annular Khovanov homology of is nonzero in the -grading equal to the wrapping number of :…
For every finite-dimensional associative algebra over a field , the quotient of its Hochschild cohomology ring by the ideal of nilpotent elements is a finitely generated …
Sazdanovic–Scofield conjecture. The homological span satisfies
Generic cohomology conjecture. For all , there is a graded isomorphism, natural in and ,
Derivation-module dimension conjecture. If
Extension-group conjecture. For , one has
Conjectural Poincaré–Betti series formula. The polynomial satisfies , and
Tsygan's generalized Gerstenhaber formality conjecture. For any associative algebra , the Hochschild chain complex is a module over the…
Kontsevich–Soibelman conjecture. For any saturated DG algebra over a field of characteristic , the Hodge-to-de Rham spectral seq…
Inverse-limit comparison conjecture. The map above is an isomorphism of the cohomology groups.
Comparison conjecture. There is an isomorphism of homology theories
Contraction conjecture. The contraction induces an isomorphism
Let be the algebra governing the principal block of category , let be the direct sum of the relevant Verma modules, and let be the graded ext…
Let be a semi-simple complex finite-dimensional Lie algebra, let be its Weyl group with longest element , and let and de…
Let be a local ring and let be a differential -module admitting a finite free flag. Suppose that has non-zero finite length, and write .…
Let , where is the quadratic Lie algebra generated by the elements . Consider the natural morphisms and sending…
Bar-complex resolution conjecture. If is a Koszul operad, then is a resolution of the left -module…
Let be a compact -adic analytic group, let be a closed normal subgroup of , and write and for the corresponding Iwasawa algebras. For…
Bockstein conjecture. For even,
Koszul bar-to-levelled conjecture. The composition
Let be a codifferential, and let and be extensions. Two codifferentials are formally equivalent when a formal automo…
Let be a field and let be a -Tannakian Segal category. Let denote a -Tannakian category and let be its ind-category with its in…
Let be a Noetherian algebra, and let be a Wedderburn projective -module. Write for the trace of in . Wedderburn-projective Idempotent Nakayama Conject…