Related papers: Notes on A^1-contractibility and A^1-excision

(Makes a Gamma-acylic coherent resolution of a coherent sheaf on a projection scheme.)

We prove that continuous Hochschild and cyclic homology satisfy excision for extensions of nuclear H-unital Frechet algebras and use this to compute them for the algebra of Whitney functions on an arbitrary closed subset of a smooth…

We prove an L^1 subsequence ergodic theorem for sequences chosen by independent random selector variables, thereby showing the existence of universally L^1-good sequences nearly as sparse as the set of squares. In the process, we prove that…

Raynaud--Gruson characterized flat and pure morphisms between affine schemes in terms of projective modules. We give a similar characterization for non-affine morphisms. As an application, we show that every quasi-coherent sheaf is the…

Let $C$ be an irreducible smooth projective curve of genus $g\geq 2$ over an algebraically closed field. We prove that the moduli stack of semi-stable vector bundles on $C$ of fixed rank and determinant is $\mathbb{A}^1$--connected. We also…

For zero-dimensional complete intersections with homogeneous ideal generators of equal degrees over an algebraically closed field of characteristic zero, we give a combinatorial proof of the smoothness of the corresponding catalecticant…

We show in this work how the machinery of C^1-approximate flows introduced in our previous work "Flows driven by rough paths", provides a very efficient tool for proving well-posedness results for path-dependent rough differential equations…

Let X/S be a quasi-projective morphism over an affine base. We develop in this article a technique for proving the existence of closed subschemes H/S of X/S with various favorable properties. We offer several applications of this technique,…

If the $\ell$-adic cohomology of a projective smooth variety, defined over a local field $K$ with finite residue field $k$, is supported in codimension $\ge 1$, then every model over the ring of integers of $K$ has a $k$-rational point. For…

We define \emph{piecewise rank 1} manifolds, which are aspherical manifolds that generally do not admit a nonpositively curved metric but can be decomposed into pieces that are diffeomorphic to finite volume, irreducible, locally symmetric,…

Given a coherent sheaf E on a scheme of finite type X over a perfect field, we introduce a category of complexes of \'etale sheaves on X with logarithmic conductors bounded by E and study its compatibilities with finite push-forward.

Criterions for constancy of the holomorphic sectional curvature and the antiholomorphic sectional curvature are proved for almost Hermitian manifolds. It is shown, that an almost Hermitian manifold satisfying the axiom of antiholomorphic…

We establish a number of results about smooth and topological concordance of knots in $S^1\times S^2$. The winding number of a knot in $S^1\times S^2$ is defined to be its class in $H_1(S^1\times S^2;\mathbb{Z})\cong \mathbb{Z}$. We show…

Let p be an odd regular prime, and assume that the Lichtenbaum-Quillen conjecture holds for K(Z[1/p]) at p. Then the p-primary homotopy type of the smooth Whitehead spectrum Wh(*) is described. A suspended copy of the cokernel-of-J spectrum…

For a holomorphic one-form $\mathbf{\xi}$ on a weakly 1-complete manifold $X$ with certain properties, we discussed the connectivity of the pair $(\hat{X}, F^{-1}(z))$, where $\pi : \hat{X} \to X$ is a covering map and…

Let $C$ be an irreducible smooth projective curve defined over an algebraically closed field. We prove that the symmetric product ${\rm Sym}^d(C)$ has the diagonal property for all $d \geq 1$. For any positive integers $n$ and $r$, let…

We prove a certain transcendence property of the unipotent Albanese map of a smooth variety, conditional on the Ax-Schanuel conjecture for variations of mixed Hodge structure. We show that this property allows the Chabauty-Kim method to be…

We study the representability of motivic spheres by smooth varieties. We show that certain explicit "split" quadric hypersurfaces have the $\mathbb A^1$-homotopy type of motivic spheres over the integers and that the $\mathbb A^1$-homotopy…

For an abelian or a projective K3 surface $X$ over an algebraically closed field $k$, consider the moduli space $\splcpx_{X/k}\uet$ of the objects $E$ in $D^b(\mathrm{Coh}(X))$ satisfying $\Ext^{-1}_X(E,E)=0$ and $\Hom(E,E)\cong k$. Then we…

It is proved that for any cohomology theory A in the sense of [PS] and any essentially k-smooth semi-local X the Cousin complex is exact. As a consequence we prove that for any integer n the Nisnevich sheaf A^n_Nis, associated with the…