30 problems

Let $E$ be the local field under consideration and let $G_E$ denote its absolute Galois group. Let $\rho$ be a representation of $G_E$ with finite local monodromy. For a positive i…

Let ${\mathscr F}$ be a constructible étale sheaf of flat $\Lambda$-modules on $\eta$, and let $r>1$ be a critical slope of ${\mathscr F}$. Assume that … Thus $r$ is the unique cri…

Let $X$ be a separated scheme of finite type over a perfect field $F$, let $U\subset X$ be dense, connected, smooth, and purely $d$-dimensional, let $\ell$ be invertible in $F$, an…

Swan trace formula conjecture. Then

Let $U$ be a smooth connected scheme of dimension $d$ over a perfect field $F$, and let $\mathcal F$ be a smooth $\overline{\mathbb F}_\ell$-sheaf on $U$. Swan class conjecture. (1…

Let $f:V\to U$ be a finite étale morphism of connected separated and smooth schemes of finite type purely of dimension $d$ over a perfect field $F$, and let $\sigma$ be a non-trivi…

Let $G$ be a connected reductive group over $F$ that splits over $F^t$, let $\varphi$ be a positive-depth Langlands parameter for $G(F)$, and let $\Pi(\varphi)$ be its associated…

Strict inequality conjecture. Assume $p=2$. For any irreducible orthogonal Galois representation $\rho$ of $G$ which is not tame, one has

Arboreal Sen Conjecture for PCF maps. If $p \mid d$, then the iterated extension

Let $k$ be a perfect field, let $X$ be a closed subscheme of a smooth scheme over $k$, and let $\Lambda$ be the finite local coefficient ring in the setup. Let $\mathcal F$ be a co…

Suppose that $X$ is purely of dimension $d$ and that $D$ has simple normal crossings. Let $I'\subset I$ be a subset containing $I_{\mathrm{T},\mathcal{F}}$, and let … Assume that th…

Let $p$ be a prime, let $G e \mathbb{Z}/p^nrtimesmathbb{Z}/m$ be non-abelian with $pnmid m$, and let $k[[z]]/k[[t]]$ be a local $G$-extension whose $\mathbb{Z}/p^n$-subextension has…

Let $M$ be an irreducible overconvergent $F$-isocrystal on $\operatorname{Spec}(F)$ with nonnegative slopes. Let $M^{u-r}$ be its unit-root subcrystal, and let $\eta$ be its first…

Let $K'/K$ be a geometric, purely inseparable, untwisted extension of geometric discrete valuation fields with finite exponent. Write $e$ for its ramification index, $f$ for its du…

Esnault–Kerz conjecture. One has

Esnault–Kerz conjecture. These conditions are equivalent to requiring that, for every birational morphism $f:X'\rightarrow X$ such that $X'$ is smooth over…

Oort conjecture revisited. Local cyclic extensions are liftable in towers: given the local $G$-extension $k[[z]]/k[[t]]$ and a characteristic-zero lift $R[[S]]/R[[T]]$ of a subexte…

Dihedral weak local Oort conjecture. The group $D_{2^n}$ is a weak local Oort group for $2$.

KGB obstruction conjecture. The KGB obstruction is the only obstruction to the local lifting problem for local $G$-extensions where $G$ has cyclic $p$-Sylow subgroup. In particular…

Equality conjecture. The two generalized ramification functions satisfy

Polynomial ramification criterion. For every positive integer $b$, there exists a polynomial $P_b\in\mathbb{Z}[x_1,\dots,x_{b+1}]$ such that $f$ is $b$-ramified if and only if…

Let $G$ be a finite group with a cyclic $p$-Sylow subgroup, and let $k[[z]]/k[[t]]$ be a $G$-extension. Cyclic Sylow lifting conjecture. For every such extension, the KGB obstructi…

Motivic version of Krasner's formula. In the Grothendieck-type ring $\mathcal{R}$,

Let $k$ be an algebraically closed field of characteristic $p>0$, let $d$ be a positive integer, let $S=\{P_1,\ldots,P_n\}$ be a set of points on $\mathbb{P}^1_k$, and let…

Keep the hypotheses of Conjecture A: $k$ is perfect, $X/k$ is normal, $j:U\hookrightarrow X$ is a $k$-smooth open immersion with complement supporting an effective Cartier divisor,…