In 70's there was discovered a construction how to attach to some algebraic-geometric data an infinite-dimensional subspace in the space k((z)) of the Laurent power series. The construction was successfully used in the theory of integrable systems, particularly, for the KP and KdV equations. There were also found some applications to the moduli of algebraic curves. But there remained a hard restriction by the case of curves, so by dimension 1. Recently, it was pointed out by the author that there are some connections between the theory of the KP-equations and the theory of n-dimensional local fields. From this point of view it becomes clear that the Krichever construction should have a generalization to the case of higher dimensions. This generalization is suggested in the paper for the case of algebraic surfaces.
In 70's there was discovered a construction how to attach to some algebraic-geometric data an infinite-dimensional subspace in the space k((z)) of the Laurent power series. Now this construction is called the Krichever map. In e-print math.AG/9911097 A.N. Parshin suggested a generalization of the Krichever map for the case of algebraic surfaces from the point of view of 2-dimensional local fields. In this work we suggest a generalization of the Krichever map to the case of algebraic varieties of arbitrary dimension from the point of view of multidimensional local fields. For surfaces our const…
In \cite{kri02}, I. M. Krichever invented the space of matrices parametrizing the cotangent bundle of moduli space of stable vector bundles over a compact Riemann surface, which is named as the Hitchin system after the investigation \cite{hit87}. We study a necessary and sufficient condition for the linearity of flows on the space of Krichever-Lax matrices in a Lax representation in terms of cohomological classes using the similar technique and analysis from the work \cite{grif85} by P. A. Griffiths.
For a given base scheme, a correspondence is established between a class of sheaves on curves over this base scheme and certain points of infinite Grassmannians. This equivalence extends to a characterization of commutative algebras of ordinary differential operators with coefficients in the ring of formal power series over a given $k$-algebra. Our construction generalizes the approach of M.Mulase, which gives the above connection in the case that the base scheme is one closed point.
The propagation differential for bosonic strings on a complex torus with three symmetric punctures is investigated. We study deformation aspects between two point and three point differentials as well as the behaviour of the corresponding Krichever-Novikov algebras. The structure constants are calculated and from this we derive a central extension of the Krichever-Novikov algebras by means of b-c systems. The defining cocycle for this central extension deforms to the well known Virasoro cocycle for certain kinds of degenerations of the torus. AMS subject classification (1991): 17B66, 17B90, 14…
We define the algebraic elliptic cohomology theory coming from Krichever's elliptic genus as an oriented cohomology theory on smooth varieties over an arbitrary perfect field. We show that in the algebraic cobordism ring with rational coefficients, the ideal generated by differences of classical flops coincides with the kernel of Krichever's elliptic genus. This generalizes a theorem of B. Totaro in the complex analytic setting.
Recently Krichever proposed a generalization of the amoeba and the Ronkin function of a plane algebraic curve. In our paper higher-dimensional version of this generalization is studied. We translate to the generalized case different geometric results known in the standard amoebas case.
We construct algebraic-geometric families of genus one (i.e. elliptic) current and affine Lie algebras of Krichever-Novikov type. These families deform the classical current, respectively affine Kac-Moody Lie algebras. The construction is induced by the geometric process of degenerating the elliptic curve to singular cubics. If the finite-dimensional Lie algebra defining the infinite dimensional current algebra is simple then, even if restricted to local families, the constructed families are non-equivalent to the trivial family. In particular, we show that the current algebra is geometrically…
Lax operator algebras were introduced by Krichever and Sheinman as a further development of I.Krichever's theory of Lax operators on algebraic curves. These are almost-graded Lie algebras of current type. In this article local cocycles and associated almost-graded central extensions are classified. It is shown that in the case that the corresponding finite-dimensional Lie algebra is simple the two-cohomology space is one-dimensional. An important role is played by the action of the Lie algebra of meromorphic vector fields on the Lax operator algebra via suitable covariant derivatives.
Using the theory infinity-categories we construct derived (dg-)categories of regular, holonomic D-modules and algebraically constructible sheaves on a complex smooth algebraic stack. We construct a natural infinity-categorical equivalence between these two categories generalising the classical Riemann-Hilbert correspondence.
In this paper, we construct certain algebraic correspondences between genus three curves and certain type of Calabi-Yau threefolds which is double coverings of three dimensional projective space. Via this correspondences, the first cohomology groups of the curves can be embedded into the third cohomology groups of the Calabi-Yau three folds. Moreover we prove that the cokernel of this inclusion of variations ofHodge structures can not be a factor of any variations of Hodge structures comming from polarized abelian schemes.
The subject of this paper is an algebraic version of the irregular Riemann-Hilbert correspondence which was mentioned in [arXiv:1910.09954] by the author. In particular, we prove an equivalence of categories between the triangulated category of algebraic holonomic D-modules on a smooth algebraic variety and the one of algebraic C-constructible enhanced ind-sheaves. Moreover we show that there exists a t-structure on the triangulated category of algebraic C-constructible enhanced ind-sheaves whose heart is equivalent to the abelian category of algebraic holonomic D-modules. Furthermore we shall…
We construct infinitely many non-isotrivial families of abelian varieties over given four punctured projective lines. These families lead to algebraic solutions of Painleve VI equation. Finally, based on a recent paper by Lin-Sheng-Wang, we prove a complete characterization for the locus of motivic Higgs bundles in the moduli space as fixed points of an ``additive'' self-map. This is a note based on the lecture given by the second named author on 04 Nov. 2022 at Tsinghua University.
We prove a result comparing the rationality of some elementary algebraic cycles introduced by Alexander Vishik, defined on orthogonal grassmannians, with the rationality of some algebraic cycles defined on fiber products of the corresponding quadric.
In the paper we show that for a normal-crossings degeneration $Z$ over the ring of integers of a local field with $X$ as generic fibre, the local monodromy operator and its powers determine invariant cocycle classes under the decomposition group in the cohomology of the product $X \times X$. More precisely, they also define algebraic cycles on the special fibre of a resolution of $Z \times Z$. In the paper, we give an explicit description of these cycles for a degeneration with at worst triple points as singularities. These cycles explain geometrically the presence of poles on specific local f…
In 70's there was discovered a construction how to attach to some algebraic-geometric data an infinite-dimensional subspace in the space k((z)) of the Laurent power series. The construction is known as the Krichever correspondence. It was applied in the theory of integrable systems, particularly, for the KP and KdV equations. We show that the Krichever construction can be generalized to the case of dimension 2. We also include a known description of connection between the KP hierarchy in the Lax form and the vector fields on infinite Grassmanian manifolds and a construction of the semi-infinit…
For a separated scheme $X$ of finite type over a perfect field $k$ of characteristic $p>0$ which admits an immersion into a proper smooth scheme over the truncated Witt ring $W_{n}$, we define the bounded derived category of locally finitely generated unit $F$-crystals with finite Tor-dimension on $X$ over $W_{n}$, independently of the choice of the immersion. Then we prove the anti-equivalence of this category with the bounded derived category of constructible étale sheaves of ${\mathbb Z}/{p^{n}{\mathbb Z}}$-modules with finite Tor dimension. We also discuss the relationship of $t$-structure…
There exists the Krichever map from the set of quintets (C,p,F,t,e) (where C is an integral and complete algebraic curve, p a smooth rational point, F a rank 2 torsion free coherent sheaf on C, t a local formal parameter in p and e a formal trivialization of F around p) to the infinite Grassmanian of $k((z)) \oplus k((z))$. We describe the images of quintets with (semi)stable sheaves F in terms of Plucker coordinates and get some analog of GIT Hilbert-Mumford numerical criterion with respect to actions of some 1-parametric subgroups of the group $SL(2,k[[z]])$ on the determinant bundle of the …
In this paper we generalize correspondence theorems of Mikhalkin and Nishinou-Siebert providing a correspondence between algebraic and parameterized tropical curves. We also give a description of a canonical tropicalization procedure for algebraic curves motivated by Berkovich's construction of skeletons of analytic curves. Under certain assumptions, we construct a one-to-one correspondence between algebraic curves satisfying toric constraints and certain combinatorially defined objects, called "stacky tropical reductions", that can be enumerated in terms of tropical curves satisfying linear c…
Let $X$ be a compact connected Riemann surface of genus at least two and $G$ a connected reductive complex affine algebraic group. The Riemann--Hilbert correspondence produces a biholomorphism between the moduli space ${\mathcal M}_X(G)$ parametrizing holomorphic $G$--connections on $X$ and the $G$--character variety $${\mathcal R}(G):= \text{Hom}(π_1(X, x_0), G)/\!\!/G\, .$$ While ${\mathcal R}(G)$ is known to be affine, we show that ${\mathcal M}_X(G)$ is not affine. The scheme ${\mathcal R}(G)$ has an algebraic symplectic form constructed by Goldman. We construct an algebraic symplectic for…
We show that the moduli spaces of irreducible labeled parametrized marked rational curves in toric varieties can be embedded into algebraic tori such that their tropicalizations are the analogous tropical moduli spaces. These embeddings are shown to respect the evaluation morphisms in the sense that evaluation commutes with tropicalization. With this particular setting in mind we prove a general correspondence theorem for enumerative problems which are defined via "evaluation maps" in both the algebraic and tropical world. Applying this to our motivational example we reprove Nishinou and Siebe…
In a work of T. Saito, the action of algebraic correspondences on the etale cohomology of varieties over local fields with semistable reduction is related to correspondences on smaller strata via weight spectral sequences. We give an intersection theoretic construction of these correspondences. Under a finiteness condition this enables us to compute them without involving the blow-ups of products, and prove their compatibility with compositions. These features are essential for the application to Shimura varieties.
Given a semistable fibration $f\colon X\to B$ we introduce a correspondence between foliations $\mathcal{F}$ on $X$ and local systems $\mathbb{L}$ on $B$. Building up on this correspondence we find conditions that give maximal rationally connected fibrations in terms of data on the foliation. We prove the Castelnuovo-de Franchis theorem in the case of $p$-forms and we apply it to show when, under some natural conditions, a line subbundle of the sheaf of $p$-forms induces the Iitaka fibration.
This work describes several first steps in extending Tate-Iwasawa's analytic method to define an L-function in higher dimensions. For generalizing this method the author advocates the usefulness of the classical Riemann-Hecke approach, his adelic complexes together with his generalization of Krichever's correspondence. He analyzes dimension 1 types of functions and discusses properties of the lattice of commensurable classes of subspaces in the adelic space associated to a divisor on an algebraic surface.
We give a novel and effective criterion for algebraicity of rational normal analytic surfaces constructed from resolving the singularity of an irreducible curve-germ on $CP^2$ and contracting the strict transform of a given line and all but the `last' of the exceptional divisors. As a by-product we construct a new class of analytic non-algebraic rational normal surfaces which are `very close' to being algebraic. These results are local reformulations of some results in (Mondal, 2011) which sets up a correspondence between normal algebraic compactifications of $C^2$ with one irreducible curve a…
Using fundamental results of Deligne, we prove a nilpotence theorem for algebraic cycles and use this to prove a torsion nilpotence result for correspondences on surfaces.
This is a write-up of my talk at the Conference on algebraic structures in Montreal, July 2003. I try to give a brief informal introduction to the proof of Y. Ruan's conjecture on orbifold cohomology multiplication for symplectic quotient singularities given in V. Ginzburg and D. Kaledin, math.AG/0212279. Version 2: minor changes, added some references.
Patchworking theorems serve as a basic element of the correspondence between tropical and algebraic curves, which is a core of the tropical enumerative geometry. We present a new version of a patchworking theorem which relates plane tropical curves with complex and real algebraic curves having prescribed multiple points. It can be used to compute Welschinger invariants of non-toric Del Pezzo surfaces.
For a smooth, projective, complex algebraic variety $X$, the Riemann--Hilbert correspondence establishes a complex analytic isomorphism between the `Betti moduli space' of rank $n$ local systems on $X^\mathrm{an}$ and the `de Rham moduli space' of rank $n$ vector bundles with flat connection on $X$. In the rank one case, C. Simpson precisely characterizes the subvarieties of these moduli spaces that are `bi-algebraic' for this typically transcendental, analytic isomorphism. In this short note, we give a new proof of this characterization of Simpson, using methods from o-minimal geometry. We ad…
We extend the categorical geometric Langlands correspondence from the locus of opers in the stack of de Rham local systems on a smooth projective algebraic curve to the formal neighborhood of opers (for any semi-simple complex algebraic group).
On any smooth algebraic variety over a $p$-adic local field, we construct a tensor functor from the category of de Rham $p$-adic étale local systems to the category of filtered algebraic vector bundles with integrable connections satisfying the Griffiths transversality, which we view as a $p$-adic analogue of Deligne's classical Riemann--Hilbert correspondence. A crucial step is to construct canonical extensions of the desired connections to suitable compactifications of the algebraic variety with logarithmic poles along the boundary, in a precise sense characterized by the eigenvalues of resi…
Constructing families of abelian varieties of $\text{GL}_2$-type over $4$-punctured complex projective line via $p$-adic Hodge theory and Langlands correspondence and application to algebraic solutions of Painleve VI equation
This is the first in a series of papers about foliations in derived geometry. After introducing derived foliations on arbitrary derived stacks, we concentrate on quasi-smooth and rigid derived foliations on smooth complex algebraic varieties and on their associated formal and analytic versions. Their truncations are classical singular foliations. We prove that a quasi-smooth rigid derived foliation on a smooth complex variety $X$ is formally integrable at any point, and, if we suppose that its singular locus has codimension $\geq 2$, then the truncation of its analytification is a locally inte…
Recently, Donaldson proved asymptotic stability for a polarized algebraic manifold $M$ with polarization class admitting a Kähler metric of constant scalar curvature, essentially when the linear algebraic part $H$ of $Aut^0(M)$ is semisimple. The purpose of this paper is to give a generalization of Donaldson's result to the case where the polarization class admits an extremal Kähler metric, even when $H$ is not semisimple.
This paper addresses a long standing open problem due to Lehmer in which the triple 2,3,7 plays a notable role. Lehmer's problem asks whether there is a gap between 1 and the next smallest algebraic integer with respect to Mahler measure. The question has been studied in a wide range of contexts including number theory, ergodic theory, hyperbolic geometry, and knot theory; and relates to basic questions such as describing the distribution of heights of algebraic integers, and of lengths of geodesics on arithmetic surfaces. This paper focuses on the role of Coxeter systems in Lehmer's problem. …
In this paper, we show the Langlands correspondence for isocrystals on curves. This shows the existence of crystalline companion in the curve case. For the proof, we construct the theory of arithmetic $\mathscr{D}$-modules for algebraic stacks whose diagonal morphisms are finite.
By analytic deformations of complex structures, we mean perturbations of the Dolbeault operator. By algebraic deformations of complex structures, we mean deformations of holomorphic glueing data. For complex manifolds there is, infinitesimally, a correspondence between these two types deformations. In this article we argue that an analogous correspondence holds between the analytic and algebraic deformations of a super Riemann surface.
We compute equations for real multiplication on the divisor classes of genus two curves via algebraic correspondences. We do so by implementing van Wamelen's method for computing equations for endomorphisms of Jacobians on examples drawn from the algebraic models for Hilbert modular surfaces computed by Elkies and Kumar. We also compute a correspondence over the universal family for the Hilbert modular surface of discriminant 5 and use our equations to prove a conjecture of A. Wright on dynamics over the moduli space of Riemann surfaces.
We describe additive (unstable) operations from a theory A^* obtained from Algebraic Cobordism of M.Levine-F.Morel by change of coefficients to any oriented cohomology theory B^*. We prove that there is 1-to-1 correspondence between the set of operations, and the set of transformations: A^n((P^{\infty})^{\times r}) ---> B^m((P^{\infty})^{\times r}) satisfying certain simple properties. This provides an effective tool of constructing such operations. As an application, we prove that (unstable) additive operations in Algebraic Cobordism are in 1-to-1 correspondence with the L\otimes_Z Q-linear c…
In this paper, we study the deformation theory of degenerate algebraic curves on singular varieties which appear as the degenerate limit of families of varieties. For this purpose, we systematically develop a new method to calculate the obstruction cohomology class of degenerate algebraic curves. This enables us to judge whether a given degenerate curve can be deformed to a smooth curve or not in variety of situations. In this paper, we apply it to curves of genus one on degeneration of toric varieties. In particular, we obtain the necessary and sufficient condition for the realizability of tr…
We survey some features of equivariant instanton partition functions of topological gauge theories on four and six dimensional toric Kahler varieties, and their geometric and algebraic counterparts in the enumerative problem of counting holomorphic curves. We discuss the relations of instanton counting to representations of affine Lie algebras in the four-dimensional case, and to Donaldson-Thomas theory for ideal sheaves on Calabi-Yau threefolds. For resolutions of toric singularities, an algebraic structure induced by a quiver determines the instanton moduli space through the McKay correspond…
Let X be a smooth projective curve over an algebraically closed field k of characteristic p>0. In this paper we explore the relation between algebraic D-modules on the moduli space $Bun_n$ of vector bundles of rank n on X and coherent sheaves on the moduli space $Loc_n$ of vector bundles endowed with a connection (in the way predicted by Beilinson and Drinfeld for k of characteristic 0). The main technical tools used in the paper are the geometry of the Hitchin system and the Azumaya property of the algebra of differential operators in characteristic p.
We study an optimization problem with the feasible set being a real algebraic variety $X$ and whose parametric objective function $f_u$ is gradient-solvable with respect to the parametric data $u$. This class of problems includes Euclidean distance optimization as well as maximum likelihood optimization. For these particular optimization problems, a prominent role is played by the ED and ML correspondence, respectively. To our generalized optimization problem we attach an optimization correspondence and show that it is equidimensional. This leads to the notion of algebraic degree of optimizati…
It is well known that there is a bijective correspondence between metric ribbon graphs and compact Riemann surfaces with meromorphic Strebel differentials. In this article, it is proved that Grothendieck's correspondence between dessins d'enfants and Belyi morphisms is a special case of this correspondence. For a metric ribbon graph with edge length 1, an algebraic curve over $\bar Q$ and a Strebel differential on it is constructed. It is also shown that the critical trajectories of the measured foliation that is determined by the Strebel differential recover the original metric ribbon graph. …
We present a novel algorithm for deciding whether a given planar curve is an image of a given spatial curve, obtained by a central or a parallel projection with unknown parameters. The motivation comes from the problem of establishing a correspondence between an object and an image, taken by a camera with unknown position and parameters. A straightforward approach to this problem consists of setting up a system of conditions on the projection parameters and then checking whether or not this system has a solution. The computational advantage of the algorithm presented here, in comparison to alg…
In this paper we introduce a space with some additional topologies using filter bases and renew the definition of Riemann surfaces of algebraic functions. We then present a Galois correspondence between these Riemann surfaces and their deck transformation groups. We also extend the monodromy theorem to the case that the global analytic function possesses singularities, which can be non-isolated.
