Related papers: A proof of Grothendieck's base change theorem

Let $R$ be a local ring of positive characteristic and $X$ a complex with nonzero finitely generated homology and finite injective dimension. We prove that if derived base change of $X$ via the Frobenius (or more generally, via a…

In order to establish Fredholm theory on stratified topological Banach manifolds in Gromov-Witten theory, we have introduced flat structures on such manifolds in [L4]. Such a structure is obtained from local flat coordinate charts. The…

Grothendieck proved that if $f:X\longrightarrow Y$ is a proper morphism of nice schemes, then $Rf_*$ has a right adjoint, which is given as tensor product with the relative canonical bundle. The original proof was by patching local data.…

We prove some injectivity theorems. Our proof depends on the theory of mixed Hodge structures on cohomology groups with compact support. Our injectivity theorems would play crucial roles in the minimal model theory for higher-dimensional…

It is proved, that if an almost Hermitian manifold satisfies the axiom of coholomorphic spheres, it is conformal flat.

We show that isomorphisms of fundamental groups of elementary anabelian varieties -- varieties obtained as iterated fibrations of hyperbolic curves -- over sub-$p$-adic fields correspond bijectively to isomorphisms of varieties. Moreover,…

In this note, we extend the theory of Chern-Cheeger-Simons to construct canonical invariants for a one-parameter family of flat connections on a smooth manifold. These invariants lie in degrees $(2p-2)$-cohomology with $\C/\Z$-cohomology,…

This thesis develops the theory of sheaves and cosheaves with an eye towards applications in science and engineering. To provide a theory that is computable, we focus on a combinatorial version of sheaves and cosheaves called cellular…

Clozel and Labesse proved the base change fundamental lemma for spherical Hecke algebras attached to an unramified group over a p-adic field. This paper proves an analogous fundamental lemma for centers of parahoric Hecke algebras attached…

We show that the inertia stack of a topological stack is again a topological stack. We further observe that the inertia stack of an orbispace is again an orbispace. We show how a U(1)-banded gerbe over an orbispace gives rise to a flat line…

This paper proves an integral version of the Riemann-Roch theorem for surface bundles, comparing the standard cohomology classes with the cohomology classes coming from the symplectic group.

We construct some extension ({\it Stable Field Theory}) of Cohomological Field Theory. The Stable Field Theory is a system of homomorphisms to some vector spaces generated by spheres and disks with punctures. It is described by a formal…

Fix a noetherian scheme S. For any flat map f: X->Y of separated essentially-finite-type perfect S-schemes we define a canonical derived-category map c(f):\H(X)->f^!\H(Y), the fundamental class of f, where \H(Z) is the (pre-)Hochschild…

The moduli space of Gieseker vector bundles is a compactification of moduli of vector bundles on a nodal curve. This moduli space has only normal crossing singularity and it provides a flat degeneration. We prove a Torelli type theorem for…

We show that a flat principal bundle with compact connected structure group and its adjoint bundles of Lie groups have the same cohomology as the trivial bundle, which is done by proving they satisfy the condition for the Leray-Hirsch…

The Gieseker-Uhlenbeck morphism maps the Gieseker moduli space of stable rank-2 sheaves on a smooth projective surface to the Uhlenbeck compactification, and is a generalization of the Hilbert-Chow morphism for Hilbert schemes of points.…

We use motivic methods to give a quick proof of Berthelot's conjecture stating that the push-forward map in rigid cohomology of the structural sheaf along a smooth and proper map has a canonical structure of overconvergent F-isocrystal on…

We generalize the Generic Model Theorem for equivariant presheaves of structures; extending the results of Macintyre and Caicedo. We also introduce a new class of generic cohomologies and show how, for some examples, they simplify to non…

Let X be a smooth projective curve over a perfect field k of positive characteristic. This work investigates the relationship between stratified cohomology and group cohomology of the stratified fundamental group of X.

We use gauge theoretic and algebraic methods to examine sufficient conditions for smooth points on the moduli space of flat connections on a compact manifold and on the character variety of a finitely generated and presented group. We give…