Related papers: Overconvergent log isocrystals and holonomicity

In this paper, we study the singularities of a pair (X,Y) in arbitrary characteristic via jet schemes. For a smooth variety X in characteristic 0, Ein, Lazarsfeld and Mustata showed that there is a correspondence between irreducible closed…

We study the percolation properties of geometrical clusters defined in the overlap space of two statistically independent replicas of a square-lattice Ising model that are simulated at the same temperature. In particular, we consider two…

Given a $k$--scheme $X$ that admits a tilting object $T$, we prove that the Hochschild (co-)homology of $X$ is isomorphic to that of $A= End_{X}(T)$. We treat more generally the relative case when $X$ is flat over an affine scheme $Y=\Spec…

Let $B$ denote the upper triangular subgroup of $SL_2(C)$, $T$ its diagonal torus and $U$ its unipotent radical. A complex projective variety $Y$ endowed with an algebraic action of $B$ such that the fixed point set $Y^U$ is a single point,…

For a normalized transcendence degree zero arc valuation v on a nonsingular variety X (with dim X > 1), we describe the maximal irreducible subset C(v) of the arc space of X such that the valuation given by the order of vanishing along a…

This paper considers the cohomology and bounded interpolation of nonstandard finite element complexes, e.g. Stokes, Hessian, Elasticity, divdiv. Compared to the standard finite element exterior calculus, the main challenge is the existence…

We prove a restriction isomorphism for Chow groups of zero-cycles with coefficients in Milnor K-theory for smooth projective schemes over excellent henselian discrete valuation rings. Furthermore, we study torsion subgroups of these groups…

Using a local construction from a previous paper, we exhibit a numerical invariant, the differential Swan conductor, for an isocrystal on a variety over a perfect field of positive characteristic overconvergent along a boundary divisor;…

Let $\mathfrak{X}$ be a formal smooth curve over a complete discrete valuation ring of mixed characteristic and let $\mathfrak{X}\_K$ be its generic fiber. We consider respectively over $\mathfrak{X}$ and $\X\_K$ the sheaves of differential…

For a proper semistable curve $X$ over a DVR of mixed characteristics we reprove the "invariant cycles theorem" with trivial coefficients (see Chiarellotto, 1999) i.e. that the group of elements annihilated by the monodromy operator on the…

We construct a log algebraic version of the homotopy sequence for a quasi-projective normal crossing log variety over a log point of characteristic zero and prove some exactness properties of it. Our proofs are purely algebraic.

The object of this article is to compute the holonomy group of the normal connection of complex parallel submanifolds of the complex projective space. We also give a new proof of the classification of complex parallel submanifolds by using…

It is conjectured by de Jong that, if $X$ is a connected projective smooth variety over an algebraically closed field $k$ of characteristic $p>0$ with trivial etale fundamental group, any convergent isocrystal $\mathcal{E}$ on $X$ is…

We study the algebraic $K$-theory of rings of the form $R[x]/x^e$. We do this via trace methods and filtrations on topological Hochschild homology and related theories by quasisyntomic sheaves. We produce computations for $R$ a perfectoid…

We characterize those regular, holomorphic or formal maps into the orbit space $V/G$ of a complex representation of a finite group $G$ which admit a regular, holomorphic or formal lift to the representation space $V$. In particular, the…

Given a smooth variety $X$ with an action of a finite group $G$, and a semiorthogonal decomposition of the derived category, $\mathcal{D}([X/G])$, of $G$-equivariant coherent sheaves on $X$ into subcategories equivalent to derived…

We introduce in this paper a hypercohomology version of the resonance varieties and obtain some relations to the characteristic varieties of rank one local systems on a smooth quasi-projective complex variety $M$, see Theorem (3.1) and…

We give a holomorphic quartic polynomial in the overlap variables whose zeros on the torus are precisely the Weyl-Heisenberg SICs (symmetric informationally complete positive operator valued measures). By way of comparison, all the other…

We construct a theory of the derived PD-Hirsch extension of the log crystalline complex of a log smooth scheme and we construct a fundamental filtered dga $(H_{{\rm zar},{\rm TW}},P)$ and a fundamental filtered complex $(H_{\rm zar},P)$ for…

Let T be the unit circle in the complex plane C. This paper proves the existence of analytic structure in a compact subset K of T X C^n, where K has so-called "lineally convex" or "hypoconvex" fibers over T. It also addresses a related…