Related papers: Wild Ramification and the Cotangent Bundle

We formulate differential cohomology and Chern-Weil theory -- the theory of connections on fiber bundles and of gauge fields -- abstractly in the context of a certain class of higher toposes that we call "cohesive". Cocycles in this…

Let $\mathfrak{X}$ be a formal smooth quasi-compact curve over a complete discrete valuation ring of mixed characteristic. We consider over $\mathfrak{X}$ the sheaves of differential operators $\widehat{\mathcal{D}}^{(0)}_{\mathfrak{X}, k ,…

We prove a refinement of Pixton's formula for the double ramification cycle with target variety which takes into account the correlator of a rubber map previously introduced by the authors. To do so, we need to: reinterpret the correlator…

Let W be the germ of a smooth complex surface around an exceptional curve and let E be a rank 2 vector bundle on W. We study the cohomological properties of a finite sequence $E_i, 1 \leq i \leq t$ of rank 2 vector bundles canonically…

Let $f : X \rightarrow Y$ be a generically smooth nonconstant morphism between irreducible projective curves, defined over an algebraically closed field, which is \'etale on an open subset of $Y$ that contains both the singular locus of $Y$…

Given a vector bundle $E$ on an irreducible projective variety $X$ we give a necessary and sufficient criterion for $E$ to be a direct image of a line bundle under an \'etale morphism. The criterion in question is the existence of a Cartan…

We prove that the derived direct image of the constant sheaf with field coefficients under any proper map with smooth source contains a canonical summand. This summand, which we call the geometric extension, only depends on the generic…

Using twisted nearby cycles, we define a new notion of slopes for complex holonomic D-modules. We prove a boundedness result for these slopes, study their functoriality and use them to characterize regularity. For a family of (possibly…

The aim of these notes is to generalize Laumon's construction [18] of automorphic sheaves corresponding to local systems on a smooth, projective curve $C$ to the case of local systems with indecomposable unipotent ramification at a finite…

This is a survey paper dealing with holomorphic foliations, with emphasis on residue theory and its applications. We start recalling the definition of holomorphic foliations as a subsheaf of the tangent sheaf of a manifold. The theory of…

The Hochschild cohomology of a differential graded algebra, or a differential graded category, admits a natural map to the graded center of its homology category: the characteristic homomorphism. We interpret it as an edge homomorphism in a…

We prove that every connected affine scheme of positive characteristic is a K(pi, 1) space for the etale topology. The main ingredient is the special case of the affine space over a field k. This is dealt with by induction on n, using a key…

Let $K$ be a complete discrete valuation field with residue class field $k$, where both are of positive characteristic $p$. Then the group of wild automorphisms of $K$ can be identified with the group under composition of formal power…

In the study of the rational cohomology of Hilbert schemes of points on a smooth surface, it is particularly interesting to understand the characteristic classes of the tautological bundles and the tangent bundle. In this note we pursue…

In this paper, we explain how the abstract notion of a differential bundle in a tangent category provides a new way of thinking about the category of modules over a commutative ring and its opposite category. MacAdam previously showed that…

We define formal orbifolds over an algebraically closed field of arbitrary characteristic as curves together with some branch data. Their \'etale coverings and their fundamental groups are also defined. These fundamental group approximates…

Characteristic classes of oriented vector bundles can be identified with cohomology classes of the disjoint union of classifying spaces BSO_n of special orthogonal groups SO_n with n=0,1,... A characteristic class is stable if it extends to…

We conjecture that any perverse sheaf on a compact aspherical K\"ahler manifold has non-negative Euler characteristic. This extends the Singer-Hopf conjecture in the K\"ahler setting. We verify the stronger conjecture when the manifold X…

An $\ell$-adic GKZ hypergeometric sheaf is defined analogously to a GKZ hypergeometric $\mathcal{D}$-module. We introduce an algorithm of computing the characteristic cycle of an $\ell$-adic GKZ hypergeometric sheaf of certain type. Our…

In this paper we consider wildly ramified power series, \emph{i.e.}, power series defined over a field of positive characteristic, fixing the origin, where it is tangent to the identity. In this setting we introduce a new invariant under…