We prove the algebraic version of a conjecture of C. Sabbah on the existence of the good formal structure for meromorphic flat connections on surfaces after some blow up.
In this short note we would like to show how it is possible to use techniques introduced in the theory of local dynamics of holomorphic germs tangent to the identity to study global meromorphic self-maps of the complex projective space. In particular we shall show how a meromorphic self-map of a complex projective space induces a holomorphic foliation of the projective space in Riemann surfaces, whose singular points are exactly the fixed points and the indeterminacy points of the map; and we shall prove three index theorems, relating suitably defined local residues at the fixed and indetermin…
We determine the image of the monodromy map for meromorphic projective structures with poles of orders greater than two. This proves the analogue of a theorem of Gallo-Kapovich-Marden, and answers a question of Allegretti and Bridgeland. Our proof uses coordinates on the moduli space of framed representations arising from the work of Fock and Goncharov.
Given a flat meromorphic connection on an excellent scheme over a field of characteristic zero, we prove existence of good formal structures after blowing up; this extends a theorem of Mochizuki for algebraic varieties. The argument combines a numerical criterion for good formal structures from a previous paper, with an analysis based on the geometry of an associated valuation space (Riemann-Zariski space). We obtain a similar result over the formal completion of an excellent scheme along a closed subscheme. If we replace the excellent scheme by a complex analytic variety, we obtain a similar …
We study projective structures on a surface having poles of prescribed orders. We obtain a monodromy map from a complex manifold parameterising such structures to the stack of framed $\mathrm{PGL}_2(\mathbb{C})$ local systems on the associated marked bordered surface. We prove that the image of this map is contained in the union of the domains of the cluster charts. We discuss a number of open questions concerning this monodromy map.
A meromorphic connection on the complex projective line induces formal connections at each singular point, and these formal connections constitute the local behavior at the singularities. In this primarily expository paper, we discuss the extent to which specified local behavior at singular points determines the global connection. In particular, given a finite set of points and a collection of ``formal types'' at these points, does there exist a moduli space of meromorphic connections with this local behavior, and if so, when is this moduli space nonempty or a singleton? In this paper, we disc…
We give a criterion under which one can obtain a good decomposition (in the sense of Malgrange) of a formal flat connection on a complex analytic or algebraic variety of arbitrary dimension. The criterion is stated in terms of the spectral behavior of differential operators, and generalizes Robba's construction of the Hukuhara-Levelt-Turrittin decomposition in the one-dimensional case. As an application, we prove the existence of good formal structures for flat meromorphic connections on surfaces after suitable blowing up; this verifies a conjecture of Sabbah, and extends a result of Mochizuki…
We show that if a meromorphic function of degree at most four on a real algebraic curve of an arbitrary genus has only real critical points then it is conjugate to a real meromorphic function after a suitable projective automorphism of the image.
Given a formal flat meromorphic connection over an excellent scheme over a field of characteristic zero, in a previous paper we established existence of good formal structures and a good Deligne-Malgrange lattice after suitably blowing up. In this paper, we reinterpret and refine these results by introducing some related structures. We consider the turning locus, which is the set of points at which one cannot achieve a good formal structure without blowing up. We show that when the polar divisor has normal crossings, the turning locus is of pure codimension 1 within the polar divisor, and henc…
The main purpose of this paper is to provide a structure theorem for codimension one singular transversely projective foliationson projective manifolds. To reach our goal, we firstly extend Corlette-Simpson's classification of rank two representationsof fundamental groups of quasiprojective manifolds by dropping the hypothesis of quasi-unipotency at infinity.Secondly we establish an analogue classification for rank two flat meromorphic connections.In particular, we prove that a rank two flat meromorphic connection with irregular singularities having non trivial Stokesprojectively factors throu…
Let $M$ be a smooth compact $CR$ manifold of $CR$ dimension $n$ and $CR$ codimension $k$, which has a certain local extension property $E$. In particular, if $M$ is pseudoconcave, it has property $E$. Then the field $\Cal K(M)$ of $CR$ meromorphic functions on $M$ has transcendence degree $d$, with $d\leq n+k$. If $f_1, f_2, \hdots , f_d$ is a maximal set of algebraically independent $CR$ meromorphic functions on $M$, then $\Cal K(M)$ is a simple finite algebraic extension of the field $\Bbb C(f_1, f_2, \hdots, f_d)$ of rational functions of the $f_1, f_2, \hdots , f_d$. When $M$ has a project…
Given a connection on a meromorphic vector bundle over a compact Riemann surface with reductive Galois group, we associate to it a projective variety. Connections such that their associated projective variety are curves can be classified, up to projective equivalence, using ruled surfaces. In particular, such a meromorphic connection is the pullbacks of a Standard connection. This extend a similar result by Klein for second-order ordinary linear differential equations to a broader class of equations.
We formulate a theory of punctured affine formal schemes, suitable for certain problems within algebraic topology. As an application, we show that the Morava K-theoretic localizations of Morava E-theory corepresent a version of the Lubin-Tate moduli problem in this framework.
We introduce logarithmic Picard algebroids, a natural class of Lie algebroids adapted to a simple normal crossings divisor on a smooth projective variety. We show that such algebroids are classified by a subspace of the de Rham cohomology of the divisor complement determined by its mixed Hodge structure. We then solve the prequantization problem, showing that under the appropriate integrality condition, a log Picard algebroid is the Lie algebroid of symmetries of what is called a meromorphic line bundle, a generalization of the usual notion of line bundle in which the fibres degenerate along t…
We consider a rational map f:S->S of a complex projective surface together with an invariant meromorphic two form. Under a mild topological assumption on the map, we show that the zeroes of the invariant form can be eliminated by birational change of coordinate. In this context, when the form has no zeroes, we investigate the notion of algebraic stability for f. We show in particular that algebraic stability is equivalent to a more tractable condition involving the behavior of f on the poles of the form. Finally, we illustrate our results in the particular case where S is the projective plane …
Given any compact Riemann surface $C$, there is a canonical meromorphic 2--form $\widehatη$ on $C\times C$, with pole of order two on the diagonal $Δ\, \subset\, C\times C$, constructed in \cite{cfg}. This meromorphic 2--form $\widehatη$ produces a canonical projective structure on $C$. On the other hand the uniformization theorem provides another canonical projective structure on any compact Riemann surface $C$. We prove that these two projective structures differ in general. This is done by comparing the $(0,1)$--component of the differential of the corresponding sections of the moduli space…
We describe the structure of singular transversely affine foliations of codimension one on projective manifolds X with zero first Betti number. Our result can be rephrased as a theorem on rank two reducible flat meromorphic connections.
We study singular real-analytic Levi-flat hypersurfaces in complex projective space. We define the rank of an algebraic Levi-flat hypersurface and study the connections between rank, degree, and the type and size of the singularity. In particular, we study degenerate singularities of algebraic Levi-flat hypersurfaces. We then give necessary and sufficient conditions for a Levi-flat hypersurface to be a pullback of a real-analytic curve in $\mathbb{C}$ via a meromorphic function. Among other examples, we construct a nonalgebraic semianalytic Levi-flat hypersurface with compact leaves that is a …
We introduce a weak concept of Morita equivalence, in the birational context, for Poisson modules on complex normal Poisson projective varieties. We show that Poisson modules, on projective varieties with mild singularities, are either rationally Morita equivalent to a flat partial holomorphic sheaf, or a sheaf with a meromorphic flat connection or a co-Higgs sheaf. As an application, we study the geometry of rank two meromorphic rank two $\mathfrak{sl}_2$-Poisson modules which can be interpreted as a Poisson analogous to transversally projective structures for codimension one holomorphic foli…
The base space of a semi-universal unfolding of a hypersurface singularity carries a rich geometric structure, which was axiomatized as a CDV-structure by C. Hertling. For any CDV-structure on a Frobenius manifold M, the pull-back of the (1,0)-tangent bundle of M to the product of M by the complex line carries two natural holomorphic structures equipped with flat meromorphic connections. We show that, for any semi-simple CDV-structure, there is a formal isomorphism between these two bundles compatible with connections. Moreover, if we assume that the super-symmetric index Q vanishes, we give a…
We construct the Kuranishi spaces, or in other words, the versal deformations, for the following classes of connections with fixed divisor of poles $D$: all such connections, as well as for its subclasses of integrable, integrable logarithmic and integrable logarithmic connections with a parabolic structure over $D$ . The tangent and obstruction spaces of deformation theory are defined as the hypercohomology of an appropriate complex of sheaves, and the Kuranishi space is a fiber of the formal obstruction map.
We present results expressing conditions for the existence of meromorphic first integrals for Pfaff equations of arbitrary codimension, integrable or not, on complex manifolds. These results are in the same vein as previous ones by J-P. Jouanolou and E. Ghys. We also prove an enumerative result counting the number of hypersurfaces invariant by a projective holomorphic foliation with split tangent sheaf.
Let $X$ be a compact Kähler manifold and let $f:X\rightarrow X$ be a dominant rational map which is 1-stable. Let $λ_1$ and $λ_2$ be the first and second dynamical degrees of $f$. If $λ_1^2>λ_2$, then we show that $λ_1$ is a simple eigenvalue of $f^*:H^{1,1}(X)\rightarrow H^{1,1}(X)$, and moreover the unique eigenvalue of modulus $>\sqrt{λ_2}$. A variant of the result, where we consider the first spectral radius in the case the map $f$ may not be 1-stable, is also given. An application is stated for bimeromorphic selfmaps of 3-folds. In the last section of the paper, we prove analogs of the ab…
We show that every degree $d$ meromorphic function on a smooth connected projective curve $C\subset \mathbb P^2$ of degree $d>4$ is isomorphic to a linear projection from a point $p\in \mathbb {P}^2 \setminus C$ to $\mathbb P^1$. We then pose a Zeuthen-type problem for calculating the plane Hurwitz numbers.
We prove that the formal completion of a complex projective surface along a rigid smooth curve with trivial normal bundle determines the birational equivalence class of the surface.
Let $M$ be a complex projective manifold of dimension $n+1$ and $f$ a meromorphic function on $M$ obtained by a generic pencil of hyperplane sections of $M$. The $n$-th cohomology vector bundle of $f_0=f|_{M-\RR}$, where $\RR$ is the set of indeterminacy points of $f$, is defined on the set of regular values of $f_0$ and we have the usual Gauss-Manin connection on it. Following Brieskorn's methods in [bri], we extend the $n$-th cohomology vector bundle of $f_0$ and the associated Gauss-Manin connection to $\pl$ by means of differential forms. The new connection turns out to be meromorphic on t…
We prove Malgrange's conjecture on the absence of confluence phenomena for integrable meromorphic connections. More precisely, if $ Y\to X$ is a complex-analytic fibration by smooth curves, $Z$ a hypersurface of $Y$ finite over $X$, and $\nabla$ an integrable meromorphic connection on $Y$ with poles along $Z$, then the function which attaches to {\smit x} $\in X$ the sum of the irregularities of the fiber $\nabla_{(x)}$ at the points of $Z_x$ is lower semicontinuous. The proof relies upon a study of the formal structure of integrable meromorphic connections in several variables.
We prove the existence of (non compact) complex surfaces with a smooth rational curve embedded such that there does not exist any formal singular foliation along the curve. In particular, at arbitray small neighborhood of the curve, any meromorphic function is constant. This implies that the Picard group is not countably generated.
We prove a full generalization of the Castelnuovo's free pencil trick. We show its analogies with the Adjoint Theorem; see L. Rizzi, F. Zucconi, Differential forms and quadrics of the canonical image, arXiv:1409.1826 and also Theorem 1.5.1 in G. P. Pirola, F. Zucconi, Variations of the Albanese morphisms, J. Algebraic Geom. 12 (2003), no. 3, 535-572. Moreover we find a new formulation of the Griffiths's infinitesimal Torelli Theorem for smooth projective hypersurfaces using meromorphic $1$-forms.
This paper presents a new approach to constructing a meromorphic bundle map between flat vector bundles over a compact Riemann surface having a prescribed Weil divisor (i.e., having prescribed zeros and poles with directional as well as multiplicity information included in the vector case). This new formalism unifies the earlier approach of Ball-Clancey (in the setting of trivial bundles over an abstract Riemann surface) with an earlier approach of the authors (where the Riemann surface was assumed to be the normalizing Riemann surface for an algebraic curve embedded in ${\bold C}^2$ with dete…
We define and construct mixed Hodge structures on real schematic homotopy types of complex quasi-projective varieties, giving mixed Hodge structures on their homotopy groups and pro-algebraic fundamental groups. We also show that these split on tensoring with the ring R[x] equipped with the Hodge filtration given by powers of (x-i), giving new results even for simply connected varieties. The mixed Hodge structures can thus be recovered from the Gysin spectral sequence of cohomology groups of local systems, together with the monodromy action at the Archimedean place. As the basepoint varies, th…
We study relations between the quadraticity of the Kuranishi family of a coherent sheaf on a complex projective scheme and the formality of the DG-Lie algebra of its derived endomorphisms. In particular, we prove that for a polystable coherent sheaf on a smooth complex projective surface the DG-Lie algebra of derived endomorphisms is formal if and only if the Kuranishi family is quadratic.
The paper is devoted to peculiarities of the deformation quantization in the algebro-geometric context. A direct application of the formality theorem to an algebraic Poisson manifold gives a canonical sheaf of categories deforming coherent sheaves. The global category is very degenerate in general. Thus, we introduce a new notion of a semi-formal deformation, a replacement in algebraic geometry of an actual deformation (versus a formal one). Deformed algebras obtained by semi-formal deformations are Noetherian and have polynomial growth. We propose constructions of semi-formal quantizations of…
We construct examples of smooth proper rigid-analytic varieties admitting formal model with projective special fiber and violating Hodge symmetry for cohomology in degrees $\geq 3$. This answers negatively a question raised by Hansen and Li.
This memoir is devoted to the study of formal-analytic arithmetic surfaces. These are arithmetic counterparts, in the context of Arakelov geometry, of germs of smooth complex-analytic surfaces along a projective complex curve. Formal-analytic surfaces provide a natural framework for arithmetic algebraization theorems, old and new. Formal-analytic arithmetic surfaces admit a rich geometry which parallels the geometry of complex analytic surfaces. Notably the dichotomy between pseudoconvexity and pseudoconcavity plays a central role in their geometry. Our study of formal-analytic arithmetic surf…