Related papers: Geometry on totally separably closed schemes
We develop sheaf-theoretic methods to deal with non-smooth objects in symplectic geometry. We show the completeness of a derived category of sheaves with respect to the interleaving distance and construct a sheaf quantization of a…
We prove that the cyclic homology of a scheme with an ample line bundle coincides with the cyclic homology of its category of algebraic vector bundles. As a byproduct of the proof, we obtain a new construction of the Chern character of a…
We prove that some skew group algebras have Noetherian cohomology rings, a property inherited from their component parts. The proof is an adaptation of Evens' proof of finite generation of group cohomology. We apply the result to a series…
Divided into three parts, the first marks out enormous geometric issues with the notion of quasi-freenss of an algebra and seeks to replace this notion of formal smoothness with an approximation by means of a minimal unital commutative…
In Arakelov theory a completion of an arithmetic surface is achieved by enlarging the group of divisors by formal linear combinations of the ``closed fibers at infinity''. Manin described the dual graph of any such closed fiber in terms of…
Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on…
We develop theory of (possibly large) cotilting objects of injective dimension at most one in general Grothendieck categories. We show that such cotilting objects are always pure-injective and that they characterize the situation where the…
A basic assumption of tiling theory is that adjacent tiles can meet in only a finite number of ways, up to rigid motions. However, there are many interesting tiling spaces that do not have this property. They have "fault lines", along which…
For a flat proper morphism of finite presentation between schemes with almost coherent structural sheaves (in the sense of Faltings), we prove that the higher direct images of quasi-coherent and almost coherent modules are quasi-coherent…
For a quasi-compact quasi-separated scheme X and an arbitrary scheme Y we show that the pullback construction implements an equivalence between the discrete category of morphisms Y --> X and the category of cocontinuous tensor functors…
Let $k$ be a non-archimedean complete field. We prove a substitute for the reduced fiber theorem (of Bosch, L\"utkebohmert and Raynaud) that holds for every morphism $Y\to X$ flat and with geometrically reduced fibers between $k$-affinoid…
In this paper, we establish the existence of an equidistributed sequence of nondegenerate closed geodesics for generic Finsler, symmetric Finsler and Riemannian metrics on every closed surface. The proof relies on the volume property of…
We verify basic properties of the \'etale site of a `scheme with marking'. The coverings are \'etale coverings that split over all marked points. Familiar cases are the small \'etale site (no marking) and the Nisnevich site (all points are…
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…
We prove that any geometrically connected curve $X$ over a field $k$ is an algebraic $K(\pi,1)$, as soon as its geometric irreducible components have nonzero genus. This means that the cohomology of any locally constant constructible…
In this article we extend Deligne's construction of Grothendieck's six operations on the derived category of torsion sheaves over the \'etale site of a scheme for morphisms of finite type to a larger class of morphisms. This class includes…
In arXiv:math/0606241v2 M. Kontsevich and Y. Soibelman argue that the category of noncommutative (thin) schemes is equivalent to the category of coalgebras. We propose that under this correspondence the affine scheme of a k-algebra A is the…
We review the theory of almost coherent modules that was introduced in "Almost Ring Theory" by Gabber and Ramero. Then we globalize it by developing a new theory of almost coherent sheaves on schemes and on a class of "nice" formal schemes.…
Building upon work of Y. Shalom we give a homological-algebra flavored definition of an induction map in group homology associated to a topological coupling. As an application we obtain estimates of the (co)homological dimension of groups G…
A classic result states that on any locally contractible and paracompact topological space, singular cohomology and sheaf cohomology are isomorphic. A result by Ramanan claims that the paracompactness assumption may be removed, but…