52 problems
- 0 votes0 replies0 views
Mukai's conjecture on syzygies of adjoint line bundles on surfaces
Let be a surface and let be an ample line bundle on . For an integer and an integer , set . Mukai's conjecture. The line bundle satisfi…
- 0 votes0 replies0 views
Looijenga's smoothability conjecture for cusp singularities
Let be a cusp singularity. A Looijenga pair is a pair consisting of a smooth rational surface and an anticanonical divisor that is a cycle of rational cu…
- 0 votes0 replies0 views
Loewner's bound for aspherical surfaces
Loewner's bound. Every aspherical surface satisfies
- 0 votes0 replies1 view
Sabbah's conjecture on good formal structures for surface connections
Sabbah's conjecture. There is a finite sequence of point blow-ups
- 0 votes0 replies1 view
Schläfli–Yau conjecture on local isometric immersions of surfaces
Schläfli–Yau conjecture. Every two-dimensional Riemannian manifold has a local isometric immersion into .
- 0 votes0 replies0 views
Relative Pu conjecture for orientable surfaces with an involution
Relative Pu conjecture. There is a point such that
- 0 votes0 replies0 views
Uniform bound for homotopy classes of geodesics in flat strips
Uniform boundedness conjecture. There is a constant depending only on the genus of , the area of , the minimum length of the geodesics in , and the minimum of the curv…
- 0 votes0 replies3 views
The q≥4 sharpened Severi inequality conjecture
Let be a minimal surface of general type with Albanese dimension and irregularity . The q≥4 conjecture. Then … Moreover, equality holds if and only if is a p…
- 0 votes0 replies0 views
The q=3 sharpened Severi inequality conjecture
Let be a minimal surface of general type with Albanese dimension and irregularity . The q=3 conjecture. Then … and equality holds if and only if is the symmetri…
- 0 votes0 replies0 views
Stationarity of Willmore minimizers under the first mNV flow
Let be the Willmore functional on tori, and consider deformations generated by the first modified Novikov–Veselov (mNV) equation that preserve tori. Stationarity conject…
- 0 votes0 replies0 views
The -tight spanning subgraph characterization of rigidity in
Let , let be the closed orientable surface of genus , and let a simple graph be called rigid in when it has a well-positioned realisation whose associated g…
- 0 votes0 replies1 view
Conjecture on resonance multiplicities and acyclic twists for negatively curved surfaces
Resonance-multiplicity conjecture. The following assertions hold:
- 0 votes0 replies0 views
The dimension-zero–dimension-one commutation conjecture for surface Hall algebras
Let be the surface in the preceding setup, let be one of the distinguished curves, and let and denote the corresponding d…
- 0 votes0 replies0 views
Barja–González–Naranjo modified Xiao conjecture for the relative irregularity
Barja–González–Naranjo's modified conjecture. For every non-isotrivial fibred surface of genus ,
- 0 votes0 replies0 views
Non-uniqueness conjecture for constant-curvature decorated PE metrics
Let be a marked surface with Euler number , and let be a decorated piecewise Euclidean metric on . A decorated PE metric is discrete conf…
- 0 votes0 replies0 views
Blum's conjecture on the n-circle property of surfaces
A surface has the n-circle property if, through every point on it, exactly distinct circles can be drawn on the surface. Blum's conjecture. There are no surfaces with the -c…
- 0 votes0 replies0 views
Generalized Bloch conjecture for correspondences on surfaces
Generalized Bloch conjecture. If vanishes on , then vanishes on .
- 0 votes0 replies0 views
Taimanov's Willmore lower-bound conjecture for spheres
Taimanov's sphere inequality conjecture. The inequality holds for all spheres, not only for spheres with a one-dimensional potential. The text presents this…
- 0 votes0 replies0 views
Taimanov's nonstationary-torus conjecture for the mNV flow
Let a torus evolve under the modified Novikov–Veselov (mNV) flow, and regard two surfaces differing by translations as equivalent. A torus is nonstationary if its mNV evolution is…
- 0 votes0 replies1 view
Bound on the length of symmetric cusp cycles for equivariant smoothability
Let denote the length of the cycle associated with a symmetric cusp singularity equipped with an antisymplectic involution. Length-12 conjecture. The value is large enou…
- 0 votes0 replies0 views
Equivariant smoothing criterion for antisymplectic cusp singularities
Let be a cusp singularity equipped with an antisymplectic involution fixed point free on , and let be its dual cycle. Let be a smooth ra…
- 0 votes0 replies0 views
Equivariant smoothing conjecture for antisymplectic cusp singularities
Let be a cusp singularity equipped with an antisymplectic involution . Let denote the dual cycle of the cusp. An equivariant smoothing conjecture. Then…
- 0 votes0 replies0 views
Generation conjecture for compactly supported autoequivalences
Let be the surface, let be the boundary divisor, let , and let be the union of all curves in . Write , let be t…
- 0 votes0 replies1 view
Conjectural description of the smoothing-component moduli space
Assume that is negative definite. Let be the irreducible components of , and define … Let be the interior of…
- 0 votes0 replies0 views
Uehara's conjecture on compactly supported autoequivalences
Let be the surface, let be the boundary divisor, and put . Let be obtained by restricting to curves contained in…