Related papers: Logarithmic morphisms, tangential basepoints, and …
For a curve C and a reductive group G in prime characteristic, we relate the de Rham moduli of logarithmic G-connections on C to the Dolbeault moduli of logarithmic G-Higgs bundles on the Frobenius twist of C. We name this result the…
The objective of this paper is to study the anabelian object referred to as \emph{pointed virtual curves}. Namely, given a family of curves $Y \rightarrow X$ over a field $k$ under suitable conditions, we consider the…
Recently, the authors of this paper introduced logarithmic Hochschild (co)homology of logarithmic spaces in a geometric way using formality of derived intersections. In this paper, the authors extend the decomposition theorem for the…
We develop a calculus for counting pseudoholomorphic disks with boundary in tropical Lagrangians contained in almost toric manifolds, using our previous work with Venugopalan. The results are mostly in dimension four under monotonicity…
This paper gives a foundation of log smooth deformation theory. We study the infinitesimal liftings of log smooth morphisms and show that the log smooth deformation functor has a representable hull. This deformation theory gives, for…
We extend the category of (super)manifolds and their smooth mappings by introducing a notion of microformal or "thick" morphisms. They are formal canonical relations of a special form, constructed with the help of formal power expansions in…
We give a general construction of the motivic fundamental groupoid at tangential basepoints, extending previous works of P. Deligne, A. B. Goncharov, and M. Levine, which were limited to ordinary basepoints or to specific varieties. Given a…
The goal of this paper is to give a general theory of logarithmic Gromov-Witten invariants. This gives a vast generalization of the theory of relative Gromov-Witten invariants introduced by Li-Ruan, Ionel-Parker, and Jun Li, and completes a…
We establish normal form theorems for a large class of singular flat connections on complex manifolds, including connections with logarithmic poles along weighted homogeneous Saito free divisors. As a result, we show that the moduli spaces…
Real Legendrian subvarieties are classical objects of differential geometry and classical mechanics and they have been studied since antiquity. However, complex Legendrian subvarieties are much more rigid and have more exceptional…
We prove the statement/conjecture of M. Kontsevich on the existence of the logarithmic formality morphism. This question was open since 1999, and the main obstacle was the presence of $dr/r$ type singularities near the boundary $r=0$ in the…
We show the smoothness over the affine line of the Hodge moduli space of logarithmic t-connections of coprime rank and degree on a smooth projective curve with geometrically integral fibers over an arbitrary Noetherian base. When the base…
We study differential forms on an algebraic compactification of a moduli space of metric graphs. Canonical examples of such forms are obtained by pulling back invariant differentials along a tropical Torelli map. The invariant differential…
In arXiv:2511.04191 we constructed schemes of objects in small categories which contained a set of basepoints with local representing (localizing) objects. Here we prove that the category $\cat{Rings}$ of associative rings with unit has a…
For a morphism $f : X \to Y$ of schemes, we give a tropical criterion for which points of $Y$ (valued in a field, discrete valuation ring, number ring, or Dedekind domain) lift to $X$. Our criterion extends the firmaments of Abramovich to a…
Let $M$ be a compact complex manifold, and $D\, \subset\, M$ a reduced normal crossing divisor on it, such that the logarithmic tangent bundle $TM(-\log D)$ is holomorphically trivial. Let ${\mathbb A}$ denote the maximal connected subgroup…
We show that an orthogonal basis for a finite-dimensional Hilbert space can be equivalently characterised as a commutative dagger-Frobenius monoid in the category FdHilb, which has finite-dimensional Hilbert spaces as objects and continuous…
We set up an algebraic framework for the study of pseudoholomorphic discs bounding nonorientable Lagrangians, as well as equivariant extensions of such structures arising from a torus action. First, we define unital cyclic twisted…
We give sufficient conditions for cohomological flatness (in dimension 0) over discrete valuation rings, generalizing classical results of Raynaud in two different ways. The first is a higher dimensional generalization of Raynaud's…
Let $X$ be a compact Riemann surface of genus $g \geq 3$. We consider the moduli space of holomorphic connections over $X$ and the moduli space of logarithmic connections singular over a finite subset of $X$ with fixed residues. We…