2 problems

Anticanonical dual-complex conjecture. The dual simplicial complex of an anticanonical simple normal crossings divisor should be a sphere, or a closely related space.

Zero-mutable log resolution conjecture. The log scheme $X^\dagger$ admits a projective log crepant log resolution: there exist a log scheme $Y^\dagger$ and a projective morphism…