Related papers: Good formal structures on flat meromorphic connect…

In this paper, we use the idempotent decomposition to give an explicit isomorphism from an arbitrary semisimple Artinian ring to an external direct sum of finitely many full matrix rings over division rings.

We give a purely algebraic treatment of reduction theory for connections over the formal punctured disc. Our proofs apply to arbitrary connected linear algebraic groups over an algebraically closed field of characteristic 0. We also state…

Let $M$ be a complex surface. We show that there is a one-to-one correspondence between torsion-free affine connections on $M$ and Riccati distributions on $\mathbb{P}(TM)$. Furthermore, if $M$ is compact, then this correspondence induces a…

We give a formulation for descent of level structures on deformations of formal groups, and study the compatibility between the descent and a norm construction. Under this framework, we generalize Ando's construction of H-infinity complex…

We study groups of formal or germs of analytic diffeomorphisms in several complex variables. Such groups are related to the study of the transverse structure and dynamics of Holomorphic foliations, via the notion of holonomy group of a leaf…

We prove that, under mild restrictions, the space of codimension-one foliations of degree one on a smooth projective complete intersection has two irreducible components of logarithmic type. We also prove that the same conclusion holds for…

Motivated by various equivalent versions of the SHGH conjecture for $\mathbb{P}^2$ blown up at very general points, we propose a similar conjecture for Hirzebruch surfaces. We prove that this conjecture is true for the Hirzebruch surface…

In this note we extend connectedness results to formal properties of inverse images under proper maps of Schubert varieties and of the diagonal in products of projective rational homogeneous spaces

A $b$-contact structure on a $b$-manifold $(M,Z)$ is a Jacobi structure on $M$ satisfying a transversality condition along the hypersurface $Z$. We show that, in three dimensions, $b$-contact structures with overtwisted three-dimensional…

We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…

We define homology groups for flat irregular singular connections on surfaces and a pairing between these and the de Rham cohomology of the connection, generalizing work of S. Bloch and H. Enault in dimension one. Assuming a conjecture of…

Inspired by a construction by Arnaud Beauville of a surface of general type with $K^2 = 8, p_g =0$, the second author defined the Beauville surfaces as the surfaces which are rigid, i.e., they have no nontrivial deformation, and admit un…

The developable surface is an important surface in computer aided design, geometric modeling and industrial manufactory. It is often given in the stan- dard parametric form, but it can also be in the implicit form which is commonly used in…

A linear connection on a Lie algebroid is called a Cartan connection if it is suitably compatible with the Lie algebroid structure. Here we show that a smooth connected manifold $M$ is locally homogeneous - i.e., admits an atlas of charts…

We study one variable meromorphic functions mapping a planar real algebraic set $A$ to another real algebraic set in the complex plane. By using the theory of Schwarz reflection functions, we show that for certain $A$, these meromorphic…

We apply the technique of formal geometry to give a necessary and sufficient condition for a line bundle supported on a smooth Lagrangian subvariety to deform to a sheaf of modules over a fixed deformation quantization of the structure…

In previous work, the authors have developed a geometric theory of fundamental strata to study connections on the projective line with irregular singularities of parahoric formal type. In this paper, the moduli space of connections that…

We prove that holomorphic normal projective connections on compact complex surfaces are flat. We show that a holomorphic torsion-free affine connection $\nabla$ on a compact complex surface is locally modelled on a translations-invariant…

We consider proper, algebraic semismall maps f from a complex algebraic manifold X. We show that the topological Decomposition Theorem implies a "motivic" decomposition theorem for the rational algebraic cycles of X and, in the case X is…

In 1980, Faltings proved, by deep local algebra methods, a local result regarding formal functions which has the following global geometric fact as a consequence. Theorem: Let k be an algebraically closed field (of any characteristic). Let…