Related papers: On A Tautological Relation Conjectured By Buryak-S…

Rudyak's conjecture states that cat$(M) \geq$ cat$(N)$ given a degree one map $f:M \to N$ between closed manifolds. We generalize this conjecture to sectional category, and follow the methodology of [5] to get the following result: Given a…

Arinkin and Gaitsgory defined a category of tempered D-modules on Bun_G that is conjecturally equivalent to the category of quasi-coherent (not ind-coherent!) sheaves on LocSys_{\check{G}}. However, their definition depends on the auxiliary…

In this series of papers, we investigate a new anabelian phenomenon of curves over algebraically closed fields of positive characteristic. Let $\overline M_{g, n}$ be the moduli space of curves of type $(g, n)$ over $\overline…

The moduli space of stable relative maps to the projective line combines features of stable maps and admissible covers. We prove all standard Gromov-Witten classes on these moduli spaces of stable relative maps have tautological…

We investigate a conjecture due to Haefliger and Thurston in the context of foliated manifold bundles. In this context, Haefliger-Thurston's conjecture predicts that every $M$-bundle over a manifold $B$ where $\text{dim}(B)\leq…

Mazur, Tate, and Teitelbaum gave a p-adic analogue of the Birch and Swinnerton-Dyer conjecture for elliptic curves. We provide a generalization of their conjecture in the good ordinary case to higher dimensional modular abelian varieties…

When $g\in\mathbb{N}$ we say that $A\subset\mathbb{N}$ is a $B_{2}[g]$ sequence if every $m\in\mathbb{N}$ has at most $g$ distinct representations of the shape $m=b_{1}+b_{2}$ with $b_{1}\leq b_{2}$ and $b_{1},b_{2}\in A$. We show for every…

After recalling the various tautological algebras of the moduli space of curves and some of its partial compactifications and stating several well-known results and conjectures concerning these algebras, we prove that the natural extension…

Let $M_g$ be the moduli space of smooth genus $g$ curves. We define a notion of Chow groups of $M_g$ with coefficients in a representation of $Sp(2g)$, and we define a subgroup of tautological classes in these Chow groups with twisted…

Brill-Noether theory studies the existence and deformations of curves in projective spaces; its basic object of study is $\mathcal{W}^r_{d,g}$, the moduli space of smooth genus $g$ curves with a choice of degree $d$ line bundle having at…

We consider certain q-series depending on parameters (A,B,C), where A is a positive definite r times r matrix, B is an r-vector and C is a scalar, and ask when these q-series are modular forms. Werner Nahm conjectured a criterion for which…

A basis for the space of generalized theta functions of level one for the spin groups, parameterized by the theta characteristics (the even theta characteristcs for the odd spin groups) on a curve, is shown to be projectively flat over the…

We study a space of genus $g$ stable, $n$-marked tropical curves with total edge length $1$. Its rational homology is identified both with top-weight cohomology of the complex moduli space $M_{g,n}$ and with the homology of a marked version…

In recent work by Arena, Canning, Clader, Haburcak, Li, Mok, and Tamborini it was proven that for infinitely many values of $g$ and $n$, there exist non-tautological algebraic cohomology classes on the moduli space $\mathcal{M}_{g,n}$ of…

Relations among tautological classes on the moduli space of stable curves are obtained via the study of Witten's r-spin theory for higher r. In order to calculate the quantum product, a new formula relating the r-spin correlators in genus 0…

We connect two notions of tautological ring: one for the moduli space of curves (after Mumford, Faber, etc.), and the other for the Jacobian of a curve (after Beauville, Polishchuk, etc.). The motivic Lefschetz decomposition on the Jacobian…

We define the dimension 2g-1 Faber-Hurwitz Chow/homology classes on the moduli space of curves, parametrizing curves expressible as branched covers of P^1 with given ramification over infinity and sufficiently many fixed ramification points…

The Tate conjecture has two parts: i) Tate classes are linear combination of algebraic classes, ii) semisimplicity of Galois representations (for smooth projective varieties). B. Moonen proved that i) implies ii) in characteristic 0, using…

B\'ar\'any, Kalai, and Meshulam recently obtained a topological Tverberg-type theorem for matroids, which guarantees multiple coincidences for continuous maps from a matroid complex to d-dimensional Euclidean space, if the matroid has…

We prove, for infinitely many values of $g$ and $n$, the existence of non-tautological algebraic cohomology classes on the moduli space $\mathcal{M}_{g,n}$ of smooth, genus-$g$, $n$-pointed curves. In particular, when $n=0$, our results…