本文构建形式化的 $(\infty,1)$-范畴框架，推广 Green 关于凝聚解析层陈类的工作，通过容许单纯联络曲率上的广义不变多项式，获得特征类在 de Rham 上同调中的明确 Čech 代表元。
摘要：
在《凝聚层的陈类》中，H.I. Green 构造了凝聚解析层的 de Rham 上同调中的陈类。我们在此构造一个形式化的 $(\infty,1)$-范畴框架，将 Green 的工作纳入其中并加以推广，同时也更好地理解了单纯联络究竟应该是什么。其结果将是能够处理广义不变多项式（将在本文的续篇中引入）在所谓容许单纯联络的曲率上求值，以获得凝聚解析层特征类的 de Rham 上同调中明确的 Čech 代表元。
英文摘要：
In "Chern classes for coherent sheaves", H.I. Green constructs Chern classes in de Rham cohomology of coherent analytic sheaves. We construct here a formal $(\infty,1)$-categorical framework into which we can place Green's work and generalise it, also obtaining a better idea as to what exactly a simplicial connection should be. The result will be the ability to work with generalised invariant polynomials (which will be introduced in the sequel to this paper) evaluated at the curvature of so-called admissible simplicial connections to get explicit Čech representatives in de Rham cohomology of characteristic classes of coherent analytic sheaves.
We compare the asymptotic grows of the number of rational points on modular varieties of D-elliptic sheaves over finite fields to the grows of their Betti numbers as the degree of the level tends to infinity. This is a generalization to higher dimensions of a well-known result for modular curves. As a consequence of the main result, we also produce a new asymptotically optimal sequence of curves.
We obtain a linear algebra data presentation of the category of constructible with respect to perverse triangulation sheaves on a finite simplicial complex. We also establish Koszul duality between the above mentioned category and the category of perverse sheaves constructible with respect to the triangulation
We shall show that $q$-semipositivity of the vector bundle $E$ over a Kähler total space $\mathcal X$ implies the Griffiths-semipositivity of the $q$-th direct image of $\mathcal O(K_{\mathcal X/B}\otimes E)$. As an application, we shall give a negative-curvature criterion for the generalized Weil-Petersson metric on the base manifold.
There are two approaches to the homotopy theory of simplicial (pre-)sheaves. One developed by Joyal and Jardine works for all sites but produces a model structure which is not finitely generated even in the case of sheaves on a Noetherian topological space. The other one developed by Brown and Gersten gives a nice model structure for sheaves on a Noetherian space of finite dimension but does not extend to all sites. In this paper we define a class of sites for which a generalized version of the Brown-Gersten approach works.
We combine work of Cox on the total coordinate ring of a toric variety and results of Eisenbud-Mustata-Stillman and Mustata on cohomology of toric and monomial ideals to obtain a formula for computing the Euler characteristic of a Weil divisor D on a complete simplicial toric variety in terms of graded pieces of the Cox ring and Stanley-Reisner ring. The main point is to use Alexander duality to pass from the toric irrelevant ideal, which appears in the computation of the Euler characteristic of D, to the Stanley-Reisner ideal of the fan, which is used in defining the Chow ring. The formula al…
Via the BGG correspondence a simplicial complex Delta on [n] is transformed into a complex of coherent sheaves on P^n-1. We show that this complex reduces to a coherent sheaf F exactly when the Alexander dual Delta^* is Cohen-Macaulay. We then determine when both Delta and Delta^* are Cohen-Macaulay. This corresponds to F being a locally Cohen-Macaulay sheaf. Lastly we conjecture for which range of invariants of such Delta it must be a cone.
We consider normal projective n-dimensional varieties X whose anticanonical divisor class -K is ample and where every Weil divisor is a rational multiple of K. The index i is the largest integer such that K/i exists as a Weil divisor. We show (i) if X has log-terminal singularities, and in addition 1-forms on the smooth part of X are holomorphic on a resolution, then (-K)^n =< (max(in,n+1))^n; (ii) if the tangent sheaf of X is semistable, then (-K)^n =<(2n)^n. The proof is based on some elementary but possibly surprising slope estimates on sheaves of differential operators on plurianticanonica…
In this work we shall introduce a new model structure on the category of pro-simplicial sheaves, which is very convenient for the study of étale homotopy. Using this model structure we define a pro-space associated to a topos, as a result of applying a derived functor. We show that our construction lifts Artin and Mazur's étale homotopy type [AM] in the relevant special case. Our definition extends naturally to a relative notion, namely, a pro-object associated to a map of topoi. This relative notion lifts the relative étale homotopy type that was used in [HaSc] for the study of obstructions t…
We prove, for all reductive groups, that the cohomology sheaves with compact support of stacks of shtukas are ind-smooth over $(X - N)^I$ and that their geometric generic fibers are equiped with an action of $\text{Weil}(X - N, \overlineη)^I$. Our method does not use any compactification of stacks of shtukas.
We calculate Betti numbers of the framed moduli space of instantons on $\hat{{\bf C}^2/{\bf Z}_2}$, under the assumption that the corresponding torsion free sheaves $E$ have vanishing properties ($Hom(E,E(-l_\infty))=Ext^2(E,E(-l_\infty))=0$). Moreover we derive the generating function of Betti numbers and obtain closed formulas. On the other hand, we derive a universal relation between the generating function of Betti numbers of the moduli spaces of stable sheaves on $X$ with an $A_1$-singularity and that on $\hat{X}$ blow-uped at the singularity, by using Weil conjecture. We call this the $O…
Let $X$ be a finite connected simplicial complex, and let $δ$ be a perversity (i.e., some function from integers to integers). One can consider two categories: (1) the category of perverse sheaves cohomologically constructible with respect to the triangulation, and (2) the category of sheaves constant along the perverse simplices ($δ$-sheaves). We interpret the categories (1) and (2) as categories of modules over certain quadratic (and even Koszul) algebras $A(X,δ)$ and $B(X,δ)$ respectively, and we prove that $A(X,δ)$ and $B(X,δ)$ are Koszul dual to each other. We define the $δ$-perverse topo…
It is proved that the category of simplicial complete bornological spaces over $\mathbb R$ carries a combinatorial monoidal model structure satisfying the monoid axiom. For any commutative monoid in this category the category of modules is also a monoidal model category with all cofibrant objects being flat. In particular, weak equivalences between these monoids induce Quillen equivalences between the corresponding categories of modules. On the other hand, it is also proved that the functor of pre-compact bornology applied to simplicial $C^\infty$-rings preserves and reflects weak equivalences…
Via the BGG-correspondence a simplicial complex D on [n] is transformed into a complex of coherent sheaves L(D) on the projective space n-1-space. In general we compute the support of each of its cohomology sheaves. When the Alexander dual D* is Cohen-Macaulay there is only one such non-zero cohomology sheaf. We investigate when this sheaf can be an a'th syzygy sheaf in a locally free resolution and show that this corresponds exactly to the case of D* being a+1-Cohen-Macaulay as defined by K.Baclawski. By putting further conditions on the sheaves we get nice subclasses of a+1- Cohen-Macaulay s…
We would like to construct a new Grothendieck topology for arithmetic schemes, whose cohomology groups associated with motivic complexes of sheaves are finitely generated and whose Euler characteristics are related to special values of zeta-functions. In this paper we construct this topology for rings of algebraic integers and show that the cohomology of the constant sheaf Z is related to the behavior of zeta-functions at s = 0.
Lichtenbaum has conjectured the existence of a Grothendieck topology for an arithmetic scheme $X$ such that the Euler characteristic of the cohomology groups of the constant sheaf $\mathbb{Z}$ with compact support at infinity gives, up to sign, the leading term of the zeta-function $ζ_X(s)$ at $s=0$. In this paper we consider the category of sheaves $\bar{X}_L$ on this conjectural site for $X=Spec(\mathcal{O}_F)$ the spectrum of a number ring. We show that $\bar{X}_L$ has, under natural topological assumptions, a well defined fundamental group whose abelianization is isomorphic, as a topologic…
We construct the Weil-étale cohomology and Euler characteristics for a subclass of the class of $\mathbb{Z}$-constructible sheaves on the spectrum of the ring of integers of a totally imaginary number field. Then we show that the special value of an Artin L-function of toric type at zero is given by the Weil-étale Euler characteristic of an appropriate $\mathbb{Z}$-constructible sheaf up to signs. As applications of our result, we will derive some classical formulas of special values of L-functions of tori and their class numbers.
Using the homogeneous coordinate ring construction of a toric variety IP defined by a complete simplicial fan and the methods of local cohomology theory we develop a framework for the calculation of cohomology groups H^{*}(IP, O(p)) of twisting sheaves O(p) on IP.
In this thesis we study two main topics which culminate in a proof that four distinct definitions of the equivariant derived category of a smooth algebraic group $G$ acting on a variety $X$ are in fact equivalent. In the first part of this thesis we introduce and study equivariant categories on a quasi-projective variety $X$. These are a generalization of the equivariant derived category of Lusztig and are indexed by certain pseudofunctors that take values in the 2-category of categories. This 2-categorical generalization allow us to prove rigorously and carefully when such categories are addi…
An n-truncated model structure on simplicial (pre-)sheaves is described having as weak equivalences maps that induce isomorphisms on certain homotopy sheaves only up to degree n. Starting from one of Jardine's intermediate model structures we construct such an n-type model structure via Bousfield-Friedlander localization and exhibit useful generating sets of trivial cofibrations. Injectively fibrant objects in these categories are called n-hyperstacks. The whole setup can consequently be viewed as a description of the homotopy theory of higher hyperstacks. More importantly, we construct analog…
We study the derived category of coherent sheaves on various versions of moduli space of vector bundles on curves by the Borel-Weil-Bott theory for loop groups and $Θ$-stratification, and construct a semiorthogonal decomposition with blocks given by symmetric powers of the curve.
These lecture notes cover four topics. There is a proof of the fact that the functors represented by the motivic Eilenberg-Maclane spaces on the motivic homotopy category coincide with the motivic cohomology defined in terms of the motivic complexes. There is a description of the equivariant motivic homotopy category for a finite flat group scheme (over a noetherian base) together with a new characterization of A^1-equivalences. There is a part where we introduce a class of sheaves called solid sheaves. Finally there is a part where we study functors of the form X -> X/G and X -> X^W and show …
The purpose of this paper is to establish an injectivity theorem generalized to pseudo-effective line bundles with transcendental (non-algebraic) singular hermitian metrics and multiplier ideal sheaves. As an application, we obtain a Nadel type vanishing theorem. For the proof, we study the asymptotic behavior of the harmonic forms with respect to a family of regularized metrics, and give a method to obtain L2-estimates of solutions of the dbar-equation by using the de Rham-Weil isomorphism between the dbar-cohomology and the check{C}ech cohomology.
We prove the algebraicity of the Hilbert functor, the Hilbert stack, the Quot functor and the stack of coherent sheaves on an algebraic stack X with (quasi-)finite diagonal without any finiteness assumptions on X. We also give similar results for Hom stacks and Weil restrictions.
Using the concept of a cohesive module defined by Block, we use the theory of superconnections in the sense of Quillen to construct natural superconnections on Hermitian cohesive modules. By the Chern-Weil construction, we obtain characteristic classes with values in Bott-Chern cohomology which refines the usual deRham cohomology. The main result of this paper shows that such characteristic classes are independent of the Hermitian metric and only dependent on the homotopy class of the cohesive module in the homotopy category. This extends the Bott-Chern cohomology to the bounded derived catego…
We study the bounded derived categories of torus-equivariant coherent sheaves on smooth toric varieties and Deligne-Mumford stacks. We construct and describe full exceptional collections in these categories. We also observe that these categories depend only on the PL homeomorphism type of the corresponding simplicial complex.
We establish a formula which decomposes the cohomologies of various sheaves on a simple normal crossings divisor (SNC) $D$ in terms of the simplicial cohomologies of the dual complex $Δ(D)$ with coefficients in a presheaf of vector spaces. This presheaf consists precisely of the corresponding cohomology data on the components of $D$ and on their intersections. We use this formula to give a Hodge decomposition for SNC divisors and investigate the toric setting. We also conjecture the existence of such a formula for effective non-reduced divisors with SNC support, and show that this would imply …
In two articles by Barthel, Brasselet, Fieseler and Kaup, and, Bressler and Lunts, a combinatorial theory of intersection cohomology and perverse sheaves has been developed on fans. In the first one, one tried to present everything on an elementary level,using only some commutative algebra and no derived categories. There remained two major gaps: First of all the Hard Lefschetz Theorem was only conjectured and secondly the intersection product seemed to depend on some non-canonical choices. Meanwhile the Hard Lefschetz theorem has been proved by Karu. The proof relies heavily on the intersecti…
We extend our previous work arXiv:1007.0053 on coherent-constructible correspondence for toric varieties to include toric Deligne-Mumford (DM) stacks. Following Borisov-Chen-Smith, a toric DM stack $\cX_\bSi$ is described by a "stacky fan" $\bSi=(N,\Si,β)$, where $N$ is a finitely generated abelian group and $\Si$ is a simplicial fan in $N_\bR=N\otimes_{\bZ}\bR$. From $\bSi$ we define a conical Lagrangian $Λ_\bSi$ inside the cotangent $T^*M_\bR$ of the dual vector space $M_\bR$ of $N_\bR$, such that torus-equivariant, coherent sheaves on $\cX_\bSi$ are equivalent to constructible sheaves on $M…
The face ring of a simplicial complex modulo m generic linear forms is shown to have finite local cohomology if and only if the link of every face of dimension m or more is `nonsingular', i.e., has the homology of a wedge of spheres of the expected dimension. This is derived from an enumerative result for local cohomology of face rings modulo generic linear forms, as compared with local cohomology of the face ring itself. The enumerative result is generalized in slightly weaker form to squarefree modules. A concept of `Cohen-Macaulay in codimension c' is defined and characterized for arbitrary…
The de Rham comparison theorem for varieties, first proved by Faltings, gives the de Rham cohomology of a variety in terms of its p-adic etale cohomology. We extend this theorem to proper, smooth Deligne-Mumford stacks. Two approaches are given, which both in the end reduce the problem to the already known comparison theorem for varieties. The first approach employs the formalism of Weil cohomologies. Unfortunately, this does not result in a complete proof of the comparison theorem, as the author was unable to prove the required compatibility between intersections and cup products. Nevertheles…
In this paper we compute the motivic Chern classes and homology Hirzebruch characteristic classes of (possibly singular) toric varieties, which in the complete case fit nicely with a generalized Hirzebruch-Riemann-Roch theorem. As special cases, we obtain new (or recover well-known) formulae for the Baum-Fulton-MacPherson Todd (or MacPherson-Chern) classes of toric varieties, as well as for the Thom-Milnor L-classes of simplicial projective toric varieties. We present two different perspectives for the computation of these characteristic classes of toric varieties. First, we take advantage of …
