12,091 research outputs found
The associated sheaf functor theorem in algebraic set theory
We prove a version of the associated sheaf functor theorem in Algebraic Set Theory. The proof is established working within a Heyting pretopos equipped with a system of small maps satisfying the axioms originally introduced by Joyal and Moerdijk. This result improves on the existing developments by avoiding the assumption of additional axioms for small maps and the use of collection sites
The Decomposition Theorem and the topology of algebraic maps
We give a motivated introduction to the theory of perverse sheaves,
culminating in the Decomposition Theorem of Beilinson, Bernstein, Deligne and
Gabber. A goal of this survey is to show how the theory develops naturally from
classical constructions used in the study of topological properties of
algebraic varieties. While most proofs are omitted, we discuss several
approaches to the Decomposition Theorem, indicate some important applications
and examples.Comment: 117 pages. New title. Major structure changes. Final version of a
survey to appear in the Bulletin of the AM
Deformation of a smooth Deligne-Mumford stack via differential graded Lie algebra
For a smooth Deligne-Mumford stack over \CC, we define its associated
Kodaira-Spencer differential graded Lie algebra and show that the deformation
functor of the stack is isomorphic to the deformation functor of the
Kodaira-Spencer algebra if the stack is proper over \CC
Hyperdescent and \'etale K-theory
We study the \'etale sheafification of algebraic K-theory, called \'etale
K-theory. Our main results show that \'etale K-theory is very close to a
noncommutative invariant called Selmer K-theory, which is defined at the level
of categories. Consequently, we show that \'etale K-theory has surprisingly
well-behaved properties, integrally and without finiteness assumptions. A key
theoretical ingredient is the distinction, which we investigate in detail,
between sheaves and hypersheaves of spectra on \'etale sites.Comment: 89 pages, v3: various corrections and edit
Rational S^1-equivariant elliptic cohomology
For each elliptic curve A over the rational numbers we construct a 2-periodic
S^1-equivariant cohomology theory E whose cohomology ring is the sheaf
cohomology of A; the homology of the sphere of the representation z^n is the
cohomology of the divisor A(n) of points with order dividing n. The
construction proceeds by using the algebraic models of the author's AMS Memoir
``Rational S^1 equivariant homotopy theory.'' and is natural and explicit in
terms of sheaves of functions on A.
This is Version 5.2 of a paper of long genesis (this should be the final
version). The following additional topics were first added in the Fourth
Edition:
(a) periodicity and differentials treated
(b) dependence on coordinate
(c) relationship with Grojnowksi's construction and, most importantly,
(d) equivalence between a derived category of O_A-modules and a derived
category of EA-modules. The Fifth Edition included
(e) the Hasse square and
(f) explanation of how to calculate maps of EA-module spectra
Rationality problems and conjectures of Milnor and Bloch-Kato
We show how the techniques of Voevodsky's proof of the Milnor conjecture and
the Voevodsky- Rost proof of its generalization the Bloch-Kato conjecture can
be used to study counterexamples to the classical L\"uroth problem. By
generalizing a method due to Peyre, we produce for any prime number l and any
integer n >= 2, a rationally connected, non-rational variety for which
non-rationality is detected by a non-trivial degree n unramified \'etale
cohomology class with l-torsion coefficients. When l = 2, the varieties that
are constructed are furthermore unirational and non-rationality cannot be
detected by a torsion unramified \'etale cohomology class of lower degree.Comment: 15 pages; Revised and extended version of
http://arxiv.org/abs/1001.4574 v2; Comments welcome
- …