Related papers: On $\mathsf{G}$-isoshtukas over function fields
Let \(G\) be a reductive group over a field \(k\), and let \(\mu\) be a cocharacter of \(G\). We prove that Viehmann's double coset spaces associated with \((G, \mu)\) are representable by certain Lusztig varieties, and establish a similar…
Let $M_C(G)$ be the moduli space of semistable principal $G-$bundles over a smooth curve $C$. We show that a flat degeneration of this space $M_{C_{\Gamma}}(G)$ associated to a singular stable curve $C_{\Gamma}$ contains the free group…
Many geometric learning problems require invariants on heterogeneous product spaces, i.e., products of distinct spaces carrying different group actions, where standard techniques do not directly apply. We show that, when a group $G$ acts…
Let $f$ be an invertible polynomial and $G$ a group of diagonal symmetries of $f$. This note shows that the orbifold Jacobian algebra $\mathrm{Jac}(f,G)$ of $(f,G)$ defined by the authors and Elisabeth Werner in arXiv:1608.08962 is…
In this paper we study the corresponding categories and the corresponding cohomologies of the Hodge-Iwasawa modules we developed in our series papers on Hodge-Iwasawa theory. The corresponding cohomologies will be essential in the…
For any compact $p$-adic Lie group $G$, the Iwasawa algebra $\Omega_G$ over finite field $\mathbb{F}_p$ is a complete noetherian semilocal algebra. It is shown that $\Omega_G$ is the dual algebra of an artinian coalgebra $C$. We induce a…
Given two vector bundles E and F on a variety X and a morphism from Sym^2(E) to F, we compute the cohomology class of the locus in X where the kernel of this morphism contains a quadric of prescribed rank. Our formulas have many…
We generalize Quillen's $F$-isomorphism theorem, Quillen's stratification theorem, the stable transfer, and the finite generation of cohomology rings from finite groups to homotopical groups. As a consequence, we show that the category of…
Let F be the imaginary quadratic field of discriminant -3 and OF its ring of integers. Let Gamma be the arithmetic group GL_3 (OF), and for any ideal n subset OF let Gamma_0 (n) be the congruence subgroup of level n consisting of matrices…
Let $G$ be a simple and simply connected complex Lie group. We discuss the moduli space of holomorphic semistable principal $G$ bundles over an elliptic curve $E$. In particular we give a new proof of a theorem of Looijenga and…
We relate the theory of moduli spaces $\overline{\mathcal{M}}_{0,\mathcal{A}}$ of stable weighted curves of genus $0$ to the equivariant topology of complex Grassmann manifolds $G_{n,2}$, with the canonical action of the compact torus…
We define syzygy points of projective schemes, and introduce a program of studying their GIT stability. Then we describe two cases where we have managed to make some progress in this program, that of polarized K3 surfaces of odd genus, and…
The moduli space of stable bundles of rank 2 and degree 1 on a Riemann surface has rational cohomology generated by the so-called universal classes. The work of Baranovsky, King-Newstead, Siebert-Tian and Zagier provided a complete set of…
By constructing new quasimap compactifications of Hurwitz spaces of degrees 4 and 5, we establish a new connection between arithmetic statistics, quantum algebra, and geometry and answer a question of Ellenberg-Tran-Westerland and…
In this paper, we develop and study approximately smooth basis constructions for isogeometric analysis over two-patch domains. One key element of isogeometric analysis is that it allows high order smoothness within one patch. However, for…
We prove that the moduli space of stable sheaves of rank 2 with a certain Chern classes on a smooth quadric $Q$ in $\PP_3$, is isomorphic to $\PP_3$. Using this identification, we give a new proof that a certain Brill-Noether locus on a…
We construct certain rational functions (modular units) on the moduli stack of Drinfeld shtukas. The divisors of these rational functions are supported on horospherical divisors of the moduli stack. The key to our construction is a…
Inspired by the log Gromov-Witten (or GW) theory of Gross-Siebert/Abramovich-Chen, we introduce a geometric notion of log J-holomorphic curve relative to a simple normal crossings symplectic divisor defined in [FMZ1]. Every such moduli…
Let $B$ be a M\"obius band and $f:B \to \mathbb{R}$ be a Morse map taking a constant value on $\partial B$, and $\mathcal{S}(f,\partial B)$ be the group of diffeomorphisms $h$ of $B$ fixed on $\partial B$ and preserving $f$ in the sense…
Let $X$ be a smooth projective connected curve of genus $g\ge 2$ defined over an algebraically closed field $k$ of characteristic $p>0$. Let $G$ be a finite group, $P$ a Sylow $p$-subgroup of $G$ and $N_G(P)$ its normalizer in $G$. We show…