Related papers: Logarithmic purity and logarithmic Nori fundamenta…
For an arbitrary non-archimedean local field we classify reductive group schemes over the corresponding Fargues-Fontaine curve by group schemes over the category of isocrystals. We then classify torsors under such reductive group schemes by…
We prove a general structure theorem for finitely presented torsion modules over a class of commutative rings that need not be Noetherian. As a first application, we then use this result to study the Weil- \'etale cohomology groups of…
We study finite and semi-finite vector bundles on complex tori. We give an explicit decomposition of such bundles in terms of torsion and unipotent factors. As a consequence, we prove that the extended Nori fundamental group scheme of a…
We prove a conjecture of Koll\'ar stating that the local fundamental group of a klt singularity $x$ is finite. In fact, we prove a stronger statement, namely that the fundamental group of the smooth locus of a neighbourhood of $x$ is…
Theorem 1.2.6 of [ATW20] provides a relatively functorial logarithmic principalization of ideals on relative logarithmic orbifolds $X\to B$ in characteristic 0, relying on a delicate monomialization theorem for Kummer ideals. The paper…
In this note, we prove that the F-fundamental group scheme is birational invariant for smooth projective varieties. We prove that the F-fundamental group scheme is naturally a quotient of the Nori fundamental group scheme. For elliptic…
We generalize the Cartier transform of Ogus and Vologodsky to log smooth schemes. More precisely, we generalize a local version of this transform, due to Shiho, and a topos-theoretic version, due to Oyama. Let $k$ be a perfect field of…
We consider local-global principles for torsors under linear algebraic groups, over function fields of curves over complete discretely valued fields. The obstruction to such a principle is a version of the Tate-Shafarevich group; and for…
The construction of a satisfactory dg category of logarithmic coherent sheaves remains a central open problem in logarithmic geometry. In this paper, we propose an alternative correspondence-theoretic approach based on logarithmic…
This paper investigates the relations between the Toda conformal field theories, quantum group theory and the quantisation of moduli spaces of flat connections. We use the free field representation of the $\mathcal{W}$-algebras to define…
We introduce the notion of a meromorphic group, weakening somewhat Fujiki's definition We prove that a meromorphic group is meromorphically an extension of a complex torus by a linear algebraic group, generalizing results in [Fujiki, 1978].…
We upgrade the classical operation of \textit{isomonodromic deformations} along a path $\gamma$ to a functor $\mathbb{P}_{\gamma}$ between categories of flat connections with logarithmic singularities along a divisor $D$, which itself…
We compute the fundamental group of moduli spaces of Lie group valued representations of surface and torus groups.
In this article, we prove the comparison theorem between the relative log de Rham-Witt cohomology and the relative log crystalline cohomology for a log smooth saturated morphism of fs log schemes satisfying certain condition. Our result…
Given a relative faithfully flat pointed scheme over the spectrum of a discrete valuation ring $X \to S$ this paper is motivated by the study of the natural morphism from the fundamental group scheme of the generic fiber $X_\eta $ to the…
Lueck expressed the Gromov norm of a knot complement in terms of an infinite series that can be computed from a presentation of the fundamental group of the knot complement. In this note we show that Lueck's formula, applied to torus knots,…
We construct a logarithmic version of the Hilbert scheme, and more generally the Quot scheme, of a simple normal crossings pair. The logarithmic Quot space admits a natural tropicalisation called the space of tropical supports, which is a…
We analyze here Hamiltonian stationary surfaces in the complex projective plane as (local) solutions to an integrable system, formulated as a zero curvature on a loop group. As an application, we show in details why such tori are finite…
We give a short new computation of the quantum cohomology of an arbitrary smooth toric variety $X$, by showing directly that the Kodaira-Spencer map of Fukaya-Oh-Ohta-Ono defines an isomorphism onto a suitable Jacobian ring. The proof is…
Let $f\colon X \to \mathbb{A}^1_t$ be an affine flat morphism of finite type, and let $V = f^{-1}(0)$. Then, we obtain a morphism of log schemes $f\colon (X|V) \to (\mathbb{A}^1_t|0)$. In this article, we develop algorithmic tools to study…