Let F be a field finitely generated and of transcendence degree 2 over \(\bar{\mathbb{Q}}\). We describe a correspondence between the smooth algebraic surfaces X defined over \(\bar{\mathbb{Q}}\) with field of rational ...

The present paper studies the connection between the category of modules over the affine Kac-Moody Lie algebra at the critical level, and the category of D-modules on the affine flag scheme \(G((t))/I\), where \(I\) is the ...

We extend the theory of chiral and factorization algebras, developed for curves by Beilinson and Drinfeld (American Mathematical Society Colloquium Publications, 51. American Mathematical Society, Providence, RI, 2004), ...

We sketch a proof of the abundance conjecture that the Kodaira dimension of a compact complex algebraic manifold equals its numerical Kodaira dimension. The proof consists of the following three parts: (i) the case of ...

We develop the notion of indscheme in the context of derived algebraic geometry, and study the categories of quasi-coherent sheaves and ind-coherent sheaves on indschemes. The main results concern the relation between ...

We prove that the algebra of endomorphisms of a Weyl module of critical level is isomorphic to the algebra of functions on the space of monodromy-free opers on the disc with regular singularity and residue determined by ...

The (2,3,7) triangle group is known to be associated with a quaternion algebra A/K ramified at two of the three real places of K=Q(cos2π/7) and unramified at all other places of K. This triangle group and its congruence ...

A module over an affine Kac–Moody algebra $\hat{g}$ is called spherical if the action of the Lie subalgebra g[[t]] on it integrates to an algebraic action of the corresponding group G[[t]]. Consider the category of spherical ...

We study two dimension estimates regarding linear series on algebraic curves. First, we generalize the classical Brill-Noether theorem to many cases where the Brill-Noether number is negative. Second, we extend results of ...

The goal of the paper is to show that the (derived) category of D-modules on the stack \(Bun_G(X)\) is compactly generated. Here X is a smooth complete curve, and G is a reductive group. The problem is that \(Bun_G(X)\) ...