Related papers: A Boundedness theorem for nearby slopes of holonom…
In this paper we define the notion of slow divergence integral along sliding segments in regularized planar piecewise smooth systems. The boundary of such segments may contain diverse tangency points. We show that the slow divergence…
We prove a smoothness result for spaces of linear series with prescribed ramification on twice-marked elliptic curves. In characteristic 0, we then apply the Eisenbud-Harris theory of limit linear series to deduce a new proof of the…
Curves of genus g which admit a map to CP1 with specified ramification profile mu over 0 and nu over infinity define a double ramification cycle DR_g(mu,nu) on the moduli space of curves. The study of the restrictions of these cycles to the…
In this paper, we study the holonomic $D$-modules when $D$ is the ring of $k$-linear differential operators on $A = k[\Gamma]$, the coordinate ring of an affine monomial curve over the complex numbers $k = \mathbb C$. In particular, we…
We define the characteristic cycle of a locally constant \'etale sheaf on a smooth variety in positive characteristic ramified along boundary as a cycle in the cotangent bundle of the variety, at least on a neighborhood of the generic point…
The Castelnuovo-Mumford regularity of a module gives a rough measure of its complexity. We bound the regularity of a module given a system of approximating modules whose regularities are known. Such approximations can arise naturally for…
We give an explicit formula for the holonomy of the orientation bundle of a family of real Cauchy-Riemann operators. A special case of this formula resolves the orientability question for spaces of maps from Riemann surfaces with Lagrangian…
We develop an analogue of the deformation to the normal cone in the context of derived algebraic geometry. This provides any given morphism of derived stacks with a degeneration to the zero section of its normal bundle (i.e., its 1-shifted…
A cone singularity is a normal affine variety $X$ with an effective one-dimensional torus action with a unique fixed point $x\in X$ which lies in the closure of any orbit of the $k^*$-action. In this article, we prove a boundedness theorem…
Let $X$ be a smooth projective variety defined over a finite field. We show that any algebraic $1$-cycle on $X$ is rationally equivalent to a smooth $1$-cycle, which is a $\mathbb{Z}$-linear combination of smooth curves on $X$. We also…
Algebraic holonomic $\mathcal{D}$-modules on a complex line are classified by the associated topological data consisting of local systems with Stokes structure and the nearby and vanishing cycles at the singularities. The Fourier transform…
Given a graded $E_1$-module over an $E_2$-algebra in spaces, we construct an augmented semi-simplicial space up to higher coherent homotopy over it, called its canonical resolution, whose graded connectivity yields homological stability for…
The aim of this note is a combinatorial description of a category of $D$-modules over an affine space, smooth along the stratification defined by an arrangement of hyperplanes. These $D$-modules are assumed to satisfy certain non-resonance…
We prove homology stability for elementary and special linear groups over rings with many units improving known stability ranges. Our result implies stability for unstable Quillen K-groups and proves a conjecture of Bass. For commutative…
We prove that, over a smooth quasi-projective curve, the set of non-isotrivial, smooth and projective families of polarized varieties with a fixed Hilbert polynomial and semi-ample canonical bundle is bounded. This extends the boundedness…
Let X be a separated scheme of finite type over a field k and D a non-reduced effective Cartier divisor on it. We attach to the pair (X, D) a cycle complex with modulus, whose homotopy groups - called higher Chow groups with modulus -…
We develop a framework that systematically casts the solvability and uniqueness conditions of linearized geometric boundary-value problems into cohomological terms. The theory is designed to be applicable without assumptions on the…
We develop a theory for stable maps to curves with divisible ramification. For a fixed integer $r>0$, we show that the condition of every ramification locus being divisible by $r$ is equivalent to the existence of an $r$th root of a…
For a local system and a function on a smooth complex algebraic variety, we give a proof of a conjecture of M. Kontsevich on a formula for the vanishing cycles using the twisted de Rham complex of the formal microlocalization of the…
Following a survey of the abstract boundary definition of Scott and Szekeres, a rigidity result is proved for the smooth case, showing that the topological structure of the regular part of this boundary in invariantly defined.