27 problems

Let $X$ be a smooth complete curve, let $G$ be a reductive group, and let $\Bun_G$ be the moduli stack of principal $G$-bundles on $X$. Write $\Shv_{\Nilp}(\Bun_G)$ for the subcate…

Kazhdan–Lusztig singular-support conjecture. The singular support of $\sideset{^{\pi}}{_{X_w}}{\Bbb C}$ is irreducible.

Let $C$ be the underlying smooth projective curve, let $G$ be a reductive group, and let $\mathcal F_{\mathcal P^\vee}$ be the holonomic $\mathcal D_{\mathcal Bun_G}$-module associ…

Local constancy conjecture. If $U$ is contractible, then the restriction functor $i_u^*$ is an equivalence. This is the fiberwise formulation of local constancy for the automorphic…

Let $\pi:\mathfrak{X}\to S$ be the family of curves in the paper, let $\operatorname{Bun}_G(\pi_U)$ be the moduli stack of $G$-bundles on the base-changed family over a contractibl…

Let $g:\mathcal Z\to\mathcal Y$ be a quasi-smooth map, let $\phi$ be an endomorphism of $\mathcal Y$ lifting to $\mathcal Z$, and let $\mathcal N$ be a conical singular-support con…

Let $Q$ be a finite quiver without loops, let $E$ be a variety of representations of $Q$, and let $\mathcal{F}$ be an equivariant simple perverse sheaf on $E$. Let the singular sup…

Integral-model intersection conjecture.

Let $X$ be a smooth variety over an algebraically closed field $k$ of characteristic $p\neq 2$, let $\mathcal{F}\in D(X)$, and let $(x,\xi)$ be a smooth point of $SS\mathcal{F}$. F…

Let $X$ be a smooth variety over an algebraically closed field $k$ of characteristic $p\neq 2$, and let $\mathcal{F}\in D(X)$. Write $SS\mathcal{F}$ for its singular support and le…

Let $G$ be a reductive group. The category $D_{\operatorname{irreg}}(\operatorname{Bun}_G)$ of objects with irregular singular support is contained in the anti-tempered category…

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 $X$ be a smooth ambient space, let $f$ define the derived zero locus $\boldsymbol{Z}(f)$, and let $V^{\vee}$ be the ambient dual vector space. The source gives a closed immersi…

Let $X$ be a smooth ambient space and let $Z(f)\subset X$ be the zero locus of $f$. Model chains on $Z(f)$ using currents on $X$, and call a current smooth when it is represented b…

Let $f\colon X\to Y$ be a proper morphism of smooth schemes over a perfect field $K$, with $X$ of dimension $n$ and $Y$ of dimension $m$, and let $\mathcal F$ be a constructible co…

Let $G$ be the reductive group under consideration, let $\bun_G$ be its moduli stack of bundles, and let $ilp$ denote the nilpotent singular-support condition. Write…

Microlocal characterization conjecture. Any irreducible $G_{\boldsymbol{d}}$-equivariant perverse sheaf on $E_{\boldsymbol{d}}$ whose singular support is contained in…

Let $G$ be a reductive group, let $X$ be a smooth proper curve, and let $\Dmod(\Bun_G)$ carry its Hecke action. Let $\Dmod_{\on{Nilp}}(\Bun_G)$ be the subcategory with nilpotent si…

Finiteness conjecture. If $\tau>\sqrt{2}$, the support of every minimizing measure consists of finitely many points:

Let $G$ be a reductive group, let $\bun_G$ denote the moduli stack of $G$-bundles, and let $\fDmod(\bun_G)$ be its category of $\fD$-modules. Let $\fLS_{\fGch}$ be the moduli stack…

Let $G$ be a reductive group, let $\mathfrak h$ be a Cartan subalgebra with Weyl group $W$, and let $v\in\mathfrak h^*/W$. Let $x\in\mathfrak g^*$ be a semisimple lift of $v$, and…

Let $k$ be a perfect field, and let $f\colon X\to Y$ be a morphism of smooth schemes over $k$. Assume that every irreducible component of $X$ has dimension $n$ and every irreducibl…

Let $X$ be a smooth complex projective curve, let $G=GL_n$, and let $\mathcal N_{X,G}\subset T^*Bun_G(X)$ be the global nilpotent cone. A cuspidal Hecke eigensheaf is an automorphi…

Global-nilpotent gluing conjecture. This functor is fully faithful.

Gluing Conjecture. This functor is fully faithful.