SearcharxivSearch

arXiv subjects

Dmitry Sustretov

Publications and source records attributed to Dmitry Sustretov.

10 recordsLinked to original sources

Combinatorial part of the cohomology of the nearby fibre

Let $f: X \to S$ be a unipotent degeneration of projective complex manifolds over a disc such that the reduction of the central fibre $Y=f^{-1}(0)$ is simple normal crossings, and let $X_\infty$ be the canonical nearby fibre. Building on the work of Kontsevich, Tschinkel, Mikhalkin and Zharkov, I introduce a sheaf of graded algebras $Λ^\bullet$ on the dual intersection complex of $Y$, denoted $Δ_X$. I show that there exists a map $H^q(Δ_X, Λ^p) \to \mathrm{gr}^W_{2p} H^{p+q}(X_\infty, \mathbb{Q})$, where $W$ is the monodromy weight filtration, which is injective whenever there exists a class $ω\in H^2(Y)$ which is combinatorial and Lefschetz, a certain technical condition. When $f$ is a Type III Kulikov degeneration of $K3$ surfaces, the sheaf $Λ^1$ recovers the affine structure with singularities of Engel and Friedman on $Δ_X$. In this case, I show that existence of such class follows from the existence of a positive $d''$-closed $(1,1)$-superform or supercurrent in the sense of Lagerberg on $Δ_X$. The latter is established in the case of simple affine structure singularities in \cite{hessian}, in fact, the cohomology of sheaves $Λ^p$ coincides with the full nearby fibre cohomolgy then.

math.AG

Hessian metrics with distribution coefficients on a 2-sphere

Let $Δ$ be a 2-sphere endowed with an affine structure away from a finite set of points $P \subset Δ$, and assume that the monodromy of the associated connection $\nabla$ on $Δ\setminus P$ around any point from $P$ is unipotent. I show that there exists a pseudo-metric tensor with distribution coefficients on $Δ$ that is non-degenerate on $Δ\setminus P$ and that locally is of the form $\nabla d f$ for some convex function $f$. In particular, if $X_\infty$ is the canonical nearby fibre of a Type III degeneration of K3 surfaces in Kulikov form, $Δ_X \cong S^2$ is the dual intersection complex of the central fibre and $Δ_X$ has simple affine structure singularities, existence of such ``Hessian metric'' on $Δ_X$ implies that the map $H^1(Δ_X, Λ^1) \to \mathrm{gr}^2_W H^2(X_\infty)$, constructed previously in \cite{sus22}, where $W$ is the monodromy weight filtration on $H^2(X_\infty)$ and $Λ^1$ is the push-forward of the sheaf of parallel 1-forms along the open embedding $Δ\setminus P \hookrightarrow Δ$, is an isomorphism.

math.AG

Gromov-Hausdorff limits of flat Riemannian surfaces

I study Gromov-Hausdorff limits of complex curves endowed with singular flat metrics of constant diameter. I formulate a criterion that the limit is collapsed in terms of a certain piecewise affine weight function on the dual intersection complex of a semi-stable model of the degeneration introduced by Kontsevich and Soibelman. I describe the collapsed and non-collapsed limits, which are, respectively, metric graphs and finite collections of complex curves with flat metrics glued along finitely many points. I show that the collapsed limit of any positive genus can occur.

math.AG

Motivic volume of families of polarized rigid-analytic tori

Let $k$ be a non-Archimedean rational valued field. We construct the moduli space of linearly rigidified polarized analytic tori over $k$ that admit rigid-analytic uniformization by an algebraic torus and observe that it is in definable rigid subanalytic bijection with a $PGL_N$-bundle over a polyhedral domain in an algebraic torus. We use this observation to prove that the Hrushovski-Kazhdan motivic volume of a non-Archimedean semi-algebraic family of Abelian varieties admitting such a uniformization fibrewise vanishes. This question is motivated by the conjectural geometric interpretation of tropical refined multiplicities of Block and Goetsche proposed by Nicaise, Payne and Schroeter.

math.AG

Restricted trichotomy in higher dimensions

I prove, answering a question of Zilber, that if $M$ is an algebraic variety of dimension strictly greater than one and $(M, \ldots)$ is a strongly minimal structure with atomic relations definable in the Zariski language on $M$, then $M$ is locally modular.

math.LO

Elimination of generalised imaginaries and Galois cohomology

The objective of this article is to characterise elimination of finite generalised imaginaries (as defined by Hrushovski) in terms of group cohomology. As an application, I consider series of Zariski geometries constructed by Hrushovski and Zilber, and indicate how their non-definability in algebraically closed fields and other theories is connected to eliminability of certain generalised imaginaries.

math.LO

Quantum Harmonic Oscillator as a Zariski Geometry

We carry out a model-theoretic analysis of the Heisenberg algebra. To this end, a geometric structure is associated to the Heisenberg algebra and is shown to be a Zariski geometry. Furthermore, this Zariski geometry is shown to be non-classical, in the sense that it is not interpretable in an algebraically closed field. On assuming self-adjointness of the position and momentum operators, one obtains a discrete substructure of which the original Zariski geometry is seen as the complexification.

math.LO

Topological Semantics and Decidability

It is well-known that the basic modal logic of all topological spaces is $S4$. However, the structure of basic modal and hybrid logics of classes of spaces satisfying various separation axioms was until present unclear. We prove that modal logics of $T_0$, $T_1$ and $T_2$ topological spaces coincide and are S4$. We also examine basic hybrid logics of these classes and prove their decidability; as part of this, we find out that the hybrid logics of $T_1$ and T_2$ spaces coincide.

math.LO

Modal languages for topology: expressivity and definability

In this paper we study the expressive power and definability for (extended) modal languages interpreted on topological spaces. We provide topological analogues of the van Benthem characterization theorem and the Goldblatt-Thomason definability theorem in terms of the well established first-order topological language $L_t$.

math.LO