Related papers: Johnson's homomorphisms and the Arakelov-Green fun…

We define the homology of a simplicial set with coefficients in a Segal's $\Gamma$-set ($\mathbf S$-module). We show the relevance of this new homology with values in $\mathbf S$-modules by proving that taking as coefficients the $\mathbf…

We define a new symmetry for morphisms of vector bundles, called triality symmetry, and compute Chern class formulas for the degeneracy loci of such morphisms. In an appendix, we show how to canonically associate an octonion algebra bundle…

Given a non compact semisimple Lie group $G$ we describe all homogeneous spaces $G/L$ carrying an invariant almost K\"ahler structure $(\omega,J)$. When $L$ is abelian and $G$ is of classical type, we classify all such spaces which are…

We define an invariant $\nabla_G(M)$ of pairs M,G, where M is a 3-manifold obtained by surgery on some framed link in the cylinder $S\times I$, S is a connected surface with at least one boundary component, and G is a fatgraph spine of S.…

We explain some results concerning the topology of varieties and stacks equipped with an action of the multiplicative group $\mathbb{G}_m$. We apply these techniques to the moduli of Higgs bundles. Our main application is to upgrade the…

We prove a Givental-style mirror theorem for toric Deligne--Mumford stacks X. This determines the genus-zero Gromov--Witten invariants of X in terms of an explicit hypergeometric function, called the I-function, that takes values in the…

Let $(X, \omega)$ be a compact symplectic manifold and $L$ be a Lagrangian submanifold. Suppose $(X, L)$ has a Hamiltonian $S^1$ action with moment map $\mu$. Take an invariant $\omega$-compatible almost complex structure, we consider…

To every compact oriented surface that is composed entirely out of 2-dimensional 0- and 1-handles, we construct a dg category using structures arising in Khovanov homology. These dg categories form part of the 2-dimensional layer (a.k.a.…

Throughout this paper $G$ is a fixed group, and $k$ is a fixed field. All categories are assumed to be $k$-linear. First we give a systematic way to induce $G$-precoverings by adjoint functors using a 2-categorical machinery, which unifies…

Let A be a complex abelian variety. The moduli space ${\mathcal M}_C$ of rank one algebraic connections on $A$ is a principal bundle over the dual abelian variety $A^\vee=\text{Pic}^0(A)$ for the group $H^0(A, \Omega^1_A)$. Take any line…

In the early 1980's, Johnson defined a homomorphism $\mathcal{I}_{g}^1\to\bigwedge^3 H_1(S_{g},\mathbb{Z})$, where $\mathcal{I}_{g}^1$ is the Torelli group of a closed, connected and oriented surface of genus $g$ with a boundary component…

We introduce a pre-symplectic structure on the space of connections in a G-principal bundle over a four-manifold and a Hamiltonian action on it of the group of gauge transformations that are trivial on the boundary. The moment map is given…

Let $X$ be a complex projective manifold, $L$ an ample line bundle on $X$, and assume that we have a $\mathbb{C}^*$ action on $(X,L)$. We classify such triples $(X,L,\mathbb{C}^*)$ for which the closure of a general orbit of the…

In the preprint arXiv:2511.07900 we proved that there exists a localizing ring $A_M$ for $A$ an associative ring with unit, and $M=\oplus_{i=1}^rM_i$ a direct sum of $r\geq 1$ simple right $A$-modules. For a homomorphism of associative…

Let M be a Riemann surface with boundary $\partial M$ and genus greater than zero. Let $\Gamma$ be the mapping class group of M fixing $\partial M$. The group $\Gamma$ acts on ${\mathcal M}_{\mathcal C} = \Hom_{\mathcal…

Let $G$ be a compact connected Lie group and $P \to M$ a smooth principal $G$-bundle. Let a `cylinder function' on the space $\A$ of smooth connections on $P$ be a continuous function of the holonomies of $A$ along finitely many piecewise…

In this paper we analyse the topological group cohomology of finite-dimensional Lie groups. We introduce a technique for computing it (as abelian groups) for torus coefficients by the naturally associated long exact sequence. The upshot in…

The moduli space of principally polarized abelian varieties $A_g$ of genus g is defined over the integers and admits a minimal compactification $A_g^*$, also defined over the integers. The Hodge bundle over $A_g$ has its Chern classes in…

Let C be a complex smooth projective algebraic curve endowed with an action of a finite group G such that the quotient curve has genus at least 3. We prove that if the G-curve C is very general for these properties, then the natural map…

A topological invariant of a polynomial map $p:X\to B$ from a complex surface containing a curve $C\subset X$ to a one-dimensional base is given by a rational second homology class in the compactification of the moduli space of genus $g$…