Related papers: On $\mathsf{G}$-isoshtukas over function fields
Let $K=\mathbb{F}_q(C)$ be the global function field of rational functions over a smooth and projective curve $C$ defined over a finite field $\mathbb{F}_q$. The ring of regular functions on $C-S$ where $S \neq \emptyset$ is any finite set…
Let G be a split, simple, simply connected, algebraic group over Q. The degree 4, weight 2 motivic cohomology group of the classifying space BG of G is identified with Z. We construct cocycles representing the generator of this group, known…
We give an overview of the theory of local G-shtukas and their moduli spaces that were introduced in joint work of U.~Hartl and the author, and in the past years studied by many people. We also discuss relations to moduli of global…
In this paper we construct a family of cohomology classes on the moduli space of stable curves generalizing Witten's $r$-spin classes. They are parameterized by a phase space which has one extra dimension and in genus $0$ they correspond to…
In the context of isogeometric analysis, globally $C^1$ isogeometric spaces over unstructured quadrilateral meshes allow the direct solution of fourth order partial differential equations on complex geometries via their Galerkin…
Each finite dimensional irreducible rational representation V of the symplectic group Sp_{2g} determines a generically defined local system \V over the moduli space M_g of genus g smooth projective curves. We study H^2(M_g;\V) and the mixed…
Let $p \geq 5$ be a prime number and let $G = SL_2(\mathbb{Q}_p)$. Let $\Xi$ = Spec$(Z)$ denote the spectrum of the centre $Z$ of the pro-$p$ Iwahori Hecke algebra of $G$ with coefficients in a field $k$ of characteristic $p$. Let…
Let $X$ be a compact connected Riemann surface of genus at least two, and let ${G}$ be a connected semisimple affine algebraic group defined over $\mathbb C$. For any $\delta \in \pi_1({G})$, we prove that the moduli space of semistable…
We formulate a tropical analogue of Grothendieck's section conjecture: that for every stable graph G of genus g>2, and every field k, the generic curve with reduction type G over k satisfies the section conjecture. We prove many cases of…
Let $C$ be a smooth projective curve defined over the finite field $\mathbb{F}_q$ ($q$ is odd) and let $K=\mathbb{F}_q(C)$ be its function field. Any finite set $S$ of closed points of $C$ gives rise to an integral domain…
We compute the rational homology of the moduli stack $\mathcal{M}$ of objects in the derived category of certain smooth complex projective varieties $X$ including toric varieties, flag varieties, curves, surfaces, and some 3- and 4-folds.…
Developing ideas of \cite{Fei}, we introduce canonical cosimplicial cohomology of meromorphic functions for infinite-dimensional Lie algebra formal series with prescribed analytic behavior on domains of a complex manifold $M$. Graded…
We develop a theory of \emph{reduced} Gromov-Witten and stable pair invariants of surfaces and their canonical bundles. We show that classical Severi degrees are special cases of these invariants. This proves a special case of the MNOP…
Projective structures on topological surfaces support the structure of 2d CFTs with a degree of technical simplification. We propose a complex analytic space $\mathcal{P}_g$ biholomorphic to $T^*_{(1,0)} \mathcal{M}_g$ as a candidate moduli…
Functions which are covariant or invariant under the transformations of a compact linear group $G$ acting in a euclidean space $\real^n$, can be profitably studied as functions defined in the orbit space of the group. The orbit space is the…
Schottky space ${\mathcal S}_{g}$, where $g \geq 2$ is an integer, is a connected complex orbifold of dimension $3(g-1)$; it provides a parametrization of the ${\rm PSL}_{2}({\mathbb C})$-conjugacy classes of Schottky groups $\Gamma$ of…
In this paper we apply the theory of finitely generated FI-modules developed by Church, Ellenberg and Farb to certain sequences of rational cohomology groups. Our main examples are the cohomology of the moduli space of n-pointed curves, the…
We prove that the cohomology of the moduli space of morphisms of a fixed finite degree from a smooth projective curve $C$ of genus $g$ to a complete simplicial toric variety $\mathbb{P}(\Sigma)$, denoted by the rational polyhedral fan…
We prove that for generalised partitions of unity ${\phi_i \mid i \in I}$ and coverings $\mathfrak{U}:={\phi_i^{-1} (R \setminus {0}) \mid i \in I}$ of a topological space $X$ the cohomology of abstract $\mathfrak{U}$-local cochains…
In this series of three papers, we introduce and study cyclotomic pairs and smooth profinite groups. They are a geometric axiomatisation of Kummer theory for fields, with coefficients $p$-primary roots of unity, for a prime $p$. These…