Related papers: Virtual normalization and virtual fundamental clas…

We investigate a simply typed modal $\lambda$-calculus, $\lambda^{\to\square}$, due to Pfenning, Wong and Davies, where we define a well-typed term with respect to a context stack that captures the possible world semantics in a syntactic…

In these lecture notes, we first recall the connection between graph neural networks, Weisfeiler-Lehman tests and logics such as first-order logic and graded modal logic. We then present a modal logic in which counting modalities appear in…

Here we show that, given a finite homological system $({\cal P},\leq,\{\Delta_u\}_{u\in {\cal P}})$ for a finite-dimensional algebra $\Lambda$ over an algebraically closed field, the category ${\cal F}(\Delta)$ of $\Delta$-filtered modules…

We introduce a non-associative model for the Hilbert scheme of points in arbitrary dimension. We define a smooth ambient space, which we call the non-associative Hilbert scheme, containing the classical nested Hilbert scheme…

Let $\mathfrak{g}$ be a Lie algebra in characteristic zero equipped with a vector space decomposition $\mathfrak{g}=\mathfrak{g}^-\oplus \mathfrak{g}^+$, and let $s$ and $t$ be commuting formal variables. We prove that the…

We compute the stable cohomology groups of the mapping class groups of compact orientable surfaces with one boundary, with twisted coefficients given by the homology of the unit tangent bundle of the surface. This stable twisted cohomology…

Tautological classes, or generalised Miller-Morita-Mumford classes, are basic characteristic classes of smooth fibre bundles, and have recently been used to describe the rational cohomology of classifying spaces of diffeomorphism groups for…

We study algebraic (Artin) stacks over $\bar{\mathcal M}_g$ giving a functorial way of compactifying the relative degree $d$ Picard variety for families of stable curves. We also describe for every $d$ the locus of genus $g$ stable curves…

We construct new "virtually smooth" modular compactifications of spaces of maps from nonsingular curves to smooth projective toric varieties. They generalize Givental's compactifications, when the complex structure of the curve is allowed…

Let G|V, G connected, reductive over C, be a stable polar representation in the sense of [DK], satisfying some mild additional hypotheses. Given a G-equivariant rank one local system L on the general fiber of the quotient map f : V --> V/G,…

This work explores the geometry of stable wild Vafa-Witten bundles over the complex projective plane $\mathbb{P}^2$. Specifically, we consider stable rank-two pairs $(E,\Phi)$, with $E\to\mathbb{P}^2$ a rank-two holomorphic vector bundle…

Let $E$ be a vector bundle of rank $r\geq 2$ on a smooth projective curve $C$ of genus $g \geq 2$ over an algebraically closed field $K$ of arbitrary characteristic. For any integer with $1\le k\le r-1$ we define $${\se}_k(E):=k\deg…

Several natural partial orders on integral partitions, such as the embeddability, the stable embeddability, the bulk embeddability and the supermajorization, raise in the quantum computation, bin-packing and matrix analysis. We find the…

Let $\Gamma$ be a discrete countable group and let $(\Omega,\mu)$ be an ergodic standard Borel probability $\Gamma$-space. Given any non-elementary virtual dendro-morphism (that is a measurable cocycle in the automorphism group of a…

Given a finite-dimensional module, $V$, for a finite-dimensional, complex, semi-simple Lie algebra $\lie g$ and a positive integer $m$, we construct a family of graded modules for the current algebra $\lie g[t]$ indexed by simple $\CC\lie…

Consider a space $X$, such as a compact space of $J$-holomorphic stable maps, that is the zero set of a Kuranishi atlas. This note explains how to define the virtual fundamental class of $X$ by representing $X$ via the zero set of a map…

This is the third paper in a series, following [FPVa] and [FPVb]. We classify all modular compactifications of the universal Jacobian over $\overline{\mathcal{M}}_{g,n}$, both as stacks and as their relative good moduli spaces. Our main…

The ordinary and $S_n$-equivariant fundamental groups of the moduli space $\overline{M_{0,n+1}}(\mathbb{R})$ of real $(n+1)$-marked stable curves of genus $0$ are known as \emph{cactus groups} $J_n$ and have applications both in geometry…

In this paper we study the topology of the space of Riemann surfaces in a simply connected space X, S_{g,n} (X, \gamma). This is the space consisting of triples, (F_{g,n}, \phi, f), where F_{g,n} is a Riemann surface of genus g and…

Modules over a vertex operator algebra V give rise to sheaves of coinvariants on moduli of stable pointed curves. If V satisfies finiteness and semi-simplicity conditions, these sheaves are vector bundles. This relies on factorization, an…