Related papers: Beilinson-Parshin adeles via solid algebraic geome…
Fabian Januszewski and the author established the theory of twisted D-modules over general base schemes. In this short note, we construct a $K$-invariant positive exhaustive filtration on the globalization of the twisted D-module on a…
We study the structure of Jacobians of geometrically reduced curves over arbitrary (i. e., not necessarily perfect) fields. We show that, while such a group scheme cannot in general be decomposed into an affine and an Abelian part as over…
Ardakov-Wadsley defined the sheaf D-cap of $p$-adic analytic differential operators on a smooth rigid analytic variety $X$ by restricting to the case where $X$ is affinoid and the tangent sheaf admits a smooth Lie lattice. We generalize…
We introduce the notion of lef line bundles on a complex projective manifold. We prove that lef line bundles satisfy the Hard Lefschetz Theorem, the Lefschetz Decomposition and the Hodge-Riemann Bilinear Relations. We study proper…
We display a symmetric monoidal equivalence between the stable $\infty$-category of filtered spectra, and quasi-coherent sheaves on $\mathbb{A}^1 / \mathbb{G}_m$, the quotient in the setting of spectral algebraic geometry, of the flat…
We present a formalization of constructive affine schemes in the Cubical Agda proof assistant. This development is not only fully constructive and predicative, it also makes crucial use of univalence. By now schemes have been formalized in…
We study the affine schemes of modules over gentle algebras. We describe the smooth points of these schemes, and we also analyze their irreducible components in detail. Several of our results generalize formerly known results, e.g. by…
Let $X$ be a smooth projective and geometrically irreducible curve over the finite field $\mathbb{F}_q$ with $q$ elements and $K$ be its function field. Let $\infty$ be a fixed closed point on $X$ and $A$ be the ring of functions regular…
A previously introduced scheme for describing integrable deformations of of algebraic curves is completed. Lenard relations are used to characterize and classify these deformations in terms of hydrodynamic type systems. A general solution…
The slope filtration theorem gives a partial analogue of the eigenspace decomposition of a linear transformation, for a Frobenius-semilinear endomorphism of a finite free module over the Robba ring (the ring of germs of rigid analytic…
While decomposition of one-parameter persistence modules behaves nicely, as demonstrated by the algebraic stability theorem, decomposition of multiparameter modules is known to be unstable in a certain precise sense. Until now, it has not…
In this paper we define the formal and tempered Deligne cohomology groups, that are obtained by applying the Deligne complex functor to the complexes of formal differential forms and tempered currents respectively. We then prove the…
We characterize the class of persistence modules indexed over $\mathbb{R}^2$ that are decomposable into summands whose support have the shape of a {\em block}---i.e. a horizontal band, a vertical band, an upper-right quadrant, or a…
In this paper, we propose a general meshless structure-preserving Galerkin method for solving dissipative PDEs on surfaces. By posing the PDE in the variational formulation and simulating the solution in the finite-dimensional approximation…
Deformations of compact Riemann surfaces are considered using a \v{C}ech cohomology sliding overlaps approach. Cocycles are calculated for conformal cutting and regluing deformations at zeros of Abelian differentials. A second order…
We establish a new criterion for a compatible almost complex structure on a symplectic four-manifold to be integrable and hence K\"ahler. Our main theorem shows that the existence of three linearly independent closed J-anti-invariant…
The framework of templicial objects was put forth in arXiv:2302.02484v1 in order to develop higher categorical concepts in the presence of enrichment. In particular, quasi-categories in modules constitute a subclass of templicial modules…
The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…
We extend the author's and CPTVV's correspondence between shifted symplectic and Poisson structures to establish a correspondence between exact shifted symplectic structures and non-degenerate shifted Poisson structures with formal…
We show how to use Jantzen's sum formula for Weyl modules to prove semisimplicity criteria for endomorphism algebras of $\textbf{U}_q$-tilting modules (for any field $\mathbb{K}$ and any parameter $q\in\mathbb{K}-\{0,-1\}$). As an…