Related papers: On the relative Gersten conjecture for Milnor K-th…
A conjecture, recently stated by Flach and Morin, relates the action of the monodromy on the Galois invariant part of the p-adic Beilinson-Hyodo-Kato cohomology of the generic fiber of a scheme defined over a DVR of mixed characteristic to…
Let R be a Henselian discrete valuation ring with field of fractions K. If X is a smooth variety over K and G a torus over K, then we consider X-torsors under G. If XX/R is a model of X then, using a result of Brahm, we show that X-torsors…
Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $k$ its residual field, $\mathcal{P}$ a proper smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $T$ a divisor of $P$, $U:=P\setminus T$, $Y$ a…
The Farrell-Jones Fibered Isomorphism Conjecture for the stable topological pseudoisotopy theory has been proved for several classes of groups. For example for discrete subgroups of Lie groups, virtually poly-infinite cyclic groups, Artin…
Let $\V$ be a mixed characteristic complete discrete valuation ring with perfect residue field $k$. We solve Berthelot's conjectures on the stability of the holonomicity over smooth projective formal $\V$-schemes. Then we build a category…
This is an update of the first version. We clarify that the main results apply to more general smooth projective varieties X than products of elliptic curves (briefly: X is of "abelian type", e.g. an abelian variety or a product of curves,…
The goal of this papers is to extending to the complex analytic framework the relative Kleiman duality for quasi coherent sheaves. Precisely, he show that for any flat,locally projectivea and finitely presented morphism of schemes…
If C is the model category of simplicial presheaves on a site with enough points, with fibrations equal to the global fibrations, then it is well-known that the fibrant objects are, in general, mysterious. Thus, it is not surprising that,…
We prove two results about vector bundles on singular algebraic surfaces. First, on proper surfaces there are vector bundles of rank two with arbitrarily large second Chern number and fixed determinant. Second, on separated normal surfaces…
We give a criterion for smoothness of a point in any Schubert variety in any G/B in terms of the nil Hecke ring.
Let $k$ be an algebraically closed field and let $A$ be a finitely generated $k-$algebra. We show that the scheme of n-dimensional representations of $A$ is smooth when $A$ is hereditary and coherent. We deduce from this the smoothness of…
We give a proof of the formality conjecture of Kaledin and Lehn: on a complex projective K3 surface, the DG algebra RHom(F,F) is formal for any sheaf F polystable with respect to an ample line bundle. Our main tool is the uniqueness of DG…
We show that the K-theory cosheaf is a complete invariant for separable continuous fields with vanishing boundary maps over a finite-dimensional compact metrizable topological space whose fibers are stable Kirchberg algebras with rational…
In this article, we consider singular equivariant arithmetic schemes whose generic fibres are smooth. For such schemes, we prove a relative fixed point formula of Lefschetz type in the context of Arakelov geometry. This formula is an…
Given a henselian pair $(R, I)$ of commutative rings, we show that the relative $K$-theory and relative topological cyclic homology with finite coefficients are identified via the cyclotomic trace $K \to \mathrm{TC}$. This yields a…
We prove an analogue of the Gabriel--Quillen embedding theorem for exact $\infty$-categories, giving rise to a presentable version of Klemenc's stable envelope of an exact $\infty$-category. Moreover, we construct a symmetric monoidal…
For an isolated hypersurface singularity $f=0$, the Milnor number $\mu$ is greater than or equal to the Tjurina number $\tau$ (the dimension of the base of the semi-universal deformation), with equality if $f$ is quasi-homogeneous. K. Saito…
Let $A$ be a complex torus and $G$ a finite group acting on $A$ without translations such that $A/G$ is smooth. Consider the subgroup $F\leq G$ generated by elements that have at least one fixed point. We prove that there exists a point…
Making use of topological periodic cyclic homology, we extend Grothendieck's standard conjectures of type C and D (with respect to crystalline cohomology theory) from smooth projective schemes to smooth proper dg categories in the sense of…
We prove that the monodromy diffeomorphism of a complex 2-dimensional isolated hypersurface singularity of weighted-homogeneous type has infinite order in the smooth mapping class group of the Milnor fiber, provided the singularity is not a…