68 problems

Let $N\geq 3$, let $A_j(t)$, for $j=2,3,\ldots,N-1$, be polynomial functions, and consider the differential equation … A solution is a center at the origin if nearby solutions have…

Grothendieck–Katz and Bombieri–Dwork conjectures. The Lie algebra of the differential Galois group of $D$ is minimal with the property that, for almost all primes $\mathfrak p$ of…

Darboux characterization conjecture. Any polynomial solutions to the bilinear hypergeometric equations of propositions and are given by … , respectively.

WKB Stokes-period conjecture. The support $\Gamma_{Q_k}$ is

Mother-body conjecture. The root-counting measures of $Sp_n$ converge weakly to a positive measure $\mu_{Q_k}$ depending only on $Q_k$. Its support is a finite planar tree…

Spectral-tree and mother-body conjecture. The measures $\mu_n$ converge weakly to a probability measure $\mu_Q$ depending only on $Q_k$. Its support is a finite planar tree contain…

Let $P(t)=\sum_{j=0}^d\pi_jt^j$ satisfy $\pi_0=0$ and $\pi_1=\pi_2$, and set $p_0(x)=x$. Consider the formal expansion with recursively defined polynomial coefficients $p_k$, and l…

Let $P(t)=\sum_{j=0}^d\pi_jt^j$ satisfy $\pi_0=0$ and $\pi_1=\pi_2$, and let $p_0(x)=x$. Assume that the formal expansion has polynomial coefficients $p_k$ as in the polynomial sol…

Let $P(t)=\sum_{j=0}^d\pi_jt^j$ be a polynomial satisfying … and set $p_0(x)=x$. Let $p_k$ denote polynomials whose coefficients are determined recursively by the formal expansion…

Let $(k,\delta)$ be a differential field of characteristic zero with field of constants $C$. Consider a first-order differential equation over $k$, and, respectively, an autonomous…

Yang–Li's conjecture. The equation has no transcendental meromorphic solution when $P_1/P_3$ is a non-zero constant and $P_2/P_3$ is not the square of any rational function.

Let $P(t)$ be a non-degenerate quadratic polynomial, and consider the differential equation … An integral solution is a solution at $t=0$ of the form … with $y_n\in\mathbb{Z}$ for…

Let $k$ be a positive integer, let $a,b\in\mathbb{C}$ with $a\neq b$, let $a_i\in\mathbb{C}$ for $i=0,1,\ldots,k$ with $a_k=1$, and let $\varphi$ be an entire function. For a funct…

Gao's conjecture. This equation has no entire solution.

Gao's conjecture. If $9ab^2=-4$, then every entire solution is either

Let $\mathcal{C}_n$ be the vertex algebra under consideration, and let … be its character. An MLDE is a modular linear differential equation of the form described using Serre deriv…

Let $X/\mathbb{C}$ be a smooth projective curve, let $D\subset X$ be a reduced effective divisor, and let $(\mathscr{E},\nabla:\mathscr{E}\to\mathscr{E}\otimes\Omega_X^1(\log D))$…

Let $R\subset\mathbb{C}$ be a finitely generated $\mathbb{Z}$-algebra, let $X$ be a smooth $R$-scheme, let $(\mathscr{E},\nabla)$ be a flat vector bundle on $X/R$, let…

Let $g\in \mathbb{Q}(z,y_0,\ldots,y_{n-1})$ be a rational function, let $t_0,\ldots,t_{n-1}\in\mathbb{Q}$ be initial values for which $g(0,t_0,\ldots,t_{n-1})$ is defined, and let…

Let $X$ be a Kähler manifold, and let $\nabla_{\frac{d}{du}}$ be its associated quantum connection. Unramified exponential-type conjecture. The connection $\nabla_{\frac{d}{du}}$ i…

Let $S$ be a finite subset of $\boldsymbol{P}^1$ and let $P$ be a quasiunipotent Riemann symbol for $S$, meaning the list of eigenvalues of monodromies around points of $S$. A conn…

Bézivin's conjecture. If $Ly=0$ has a $\mathbb{Q}$-linearly independent basis of solutions in $\mathbb{Z}[[x]]$, then these solutions are algebraic over $\mathbb{Q}(x)$.

Grothendieck's $p$-curvature conjecture. If $L_py=0$ has a basis of $\mathbb{F}_p[[x^p]]$-linearly independent solutions in $\mathbb{F}_p[[x]]$ for almost all prime numbers $p$, th…

Periodic-cylinder conjecture. For $k=q+1$ and $q$ a positive integer, the generalized Chazy differential system has an invariant cylinder foliated by periodic orbits.

Let $T$ be a minimal-order telescoper for an integral … where $a$ is algebraic in $x$ and $h$. Finiteness conjecture. If the Galois group of $T$ is virtually solvable, then it is f…