76 problems

Let $p_1,\dots,p_r$ be $r$ very general points in $\mathbb P^2$. For an integral curve $C\subset\mathbb P^2$, write $\operatorname{mult}_{p_i}(C)$ for its multiplicity at $p_i$. Eq…

Let the restriction maps be those in Theorem, and let $d\geqslant 1$. The paper reports that no counterexamples were found in the tested range $d<d_0(m)$. Maximal Rank Conjecture.…

Fujita's conjectures. The linear system

Segre–Harbourne–Gimigliano–Hirschowitz conjecture. Either

Let $X$ be a smooth projective variety of dimension $n\geq 2$, let $K_X$ be its canonical line bundle, and let $L$ be an ample line bundle on $X$. Moraga–Yeong's conjecture. The co…

Let $S$ be a rational surface, let $D$ be an ample, non-special divisor on $S$, and let $p_1,\ldots,p_r$ be $r$ points on $S$. Write … for the corresponding linear system, and call…

Hirschowitz–Harbourne conjecture. The system $L$ is special if and only if there exists a $-1$-curve $C\subset\mathbb{P}^{2}$ such that

Cohomological special effect conjecture. The system ${\mathcal{L}}$ is special if and only if it is cohomologically special.

Numerical special effect conjecture. The system ${\mathcal{L}}_{2,d}(-\sum_{i=1}^hm_iP_i)$ is special if and only if it is numerically special.

Segre's conjecture. If ${\mathcal{L}}_{2,d}(-\sum_{i=1}^hm_iP_i)$ is special, then its general member is non-reduced; equivalently, by Bertini's theorem, the system has a multiple…

Let $\mathbb F_{e,r}$ be the blow-up of the Hirzebruch surface $\mathbb F_e$ at $r$ very general points. Let $D$ be a divisor satisfying the paper's condition; assume $D$ is effect…

Let $X$ be the blow-up of $\mathbb P^2$ at $n$ generic points, and let $C$ be a curve on $X$. The SHGH vanishing conjecture asserts that … for every curve $C$ on $X$. The source id…

Let $\{p_1,\ldots,p_r\}\subset\mathbb{P}^2$ be general points, let $\nu:\widetilde{\mathbb{P}}^2\to\mathbb{P}^2$ be their blow-up, and let…

Let $\mathcal L=\mathcal L_{3,d}(m_1,\dots,m_s)$ be a linear system in $\mathbb P^3$ with general base points $p_1,\dots,p_s$. It is Cremona reduced when … for every…

Classification conjecture. The only numerically elementary $(-1)$-curves satisfying $\delta<2\mu_1$ are the lines through two points.

Specialness criterion. The system $\mathcal L$ is special if and only if at least one of the following holds:

Urbano's conjecture. There exists a very ample divisor $A$ such that $\mathcal{O}_X(mD)\otimes \mathcal{O}_X(A)^{\otimes m}$ is globally generated for every $m\geq 1$.

Let $Z=\sum_i m_iP_i$ be a fat point scheme in $\mathbb{P}^2$ for general points $P_i$, and suppose that $h^1(\mathcal I_Z(k))=0$. Let $\mu_k(Z)$ denote the multiplication map in d…

Let $\mathcal{L}=\mathcal{L}(d;m_0,m^n)$ be a linear system of plane curves with one base point of multiplicity $m_0$ and $n$ base points of equal multiplicity $m$. A system is…

Let $D\subset\mathbb{N}^{2}$ be finite, and consider a system $\mathcal{L}_{D}(m_{1},\dots,m_{r})$. The system admits a reduction algorithm if there is a sequence of sets … that sa…

Let $X$ be a K3 surface with $H^2=n\in2{\mathbb{Z}}$, and let ${\mathcal{L}}={\mathcal{L}}^n(d,m_1,\dots,m_h)$ be the system of curves in $|dH|$ through general points…

Let ${\mathcal{L}}=|ah+bF-\sum_{i=1}^{h}m_iP_i|$ be a system on the Hirzebruch surface ${\mathbb{F}}_e$, and let ${\mathcal{M}}$ be its residual system after repeatedly subtracting…

Segre's conjecture. If $\mathcal L$ is non-empty and reduced, then it is non-special.

Let $m_1,\ldots,m_r$ be positive integers corresponding to general points $p_1,\ldots,p_r\in\mathbb{P}^2$. Let $\mathcal{L}=\mathcal{L}_d(m_1,\ldots,m_r)$ be the linear system of d…

Let $n\geq 2$, and let $(X,H)$ be a degree-$2$ polarized irreducible symplectic variety, meaning that $X$ is an irreducible symplectic manifold deformation equivalent to…