Equivariant cohomology, symmetric functions and the Hilbert schemes of points on the total space of the invertible sheaf O(-2) over the projective line
Let X be the quasi-projective symplectic surface that is given by the total space of the invertible sheaf O(-2) over the projective line. Let Hilb X be the family of Hilbert schemes of points on X.
We give and prove a closed formula expressing any multiplicative characteristic class evaluated on the Hilb X in terms of the standard Fock space description of the cohomology of the Hilb X. As a side result, we also deduce a formula for the Chern character of the tangent bundles of the Hilb X.
The results found here are another step towards a complete description of the tangent bundle of the Hilbert scheme of a general quasi-projective surface as the formulas given here yield certain coefficients in that description.
Finally, we also give a closed formula expressing any multiplicative characteristic class evaluated on some tautological bundles on the Hilb X.
We investigate the equivariant intersection cohomology of a toric variety. Considering the defining fan of the variety as a finite topological space with the subfans being the open sets (that corresponds to the "toric" topology given by the invariant open subsets), equivariant intersection cohomology provides a sheaf (of graded modules over a sheaf of graded rings) on that "fan space". We prove that this sheaf is a "minimal extension sheaf", i.e., that it satisfies three relatively simple axioms which are known to characterize such a sheaf up to isomorphism. In the verification of the second o…
We study equivariant sheaves over profinite spaces, where the group is also taken to be profinite. We resolve a serious deficit in the existing theory by constructing a good notion of equivariant presheaves, with a suitable equivariant sheafification functor. Using equivariant sheafification, we develop the general theory of equivariant sheaves of modules over a ring, give explicit constructions of infinite products and introduce an equivariant analogue of skyscraper sheaves. These results underlie recent work by the authors which proves that there is an algebraic model for rational G-spectra …
Let $k$ be a field, $C\to \Spec k$ be a stable curve and let $G$ be a finite group acting faithfully on the curve $C\to \Spec k$. In this article, we compute the vector space $\Ext^1_G(Ω_{C/k}, Ø_C)$, the sheaf $Ω_{C/k}$ being the sheaf of relative differentials. This vector space is naturally isomorphic to the set of first order $G$-equivariant deformations of $C$. The computation we do here will be used in a future article.
Let (L, h) be a pair of a semiample invertible sheaf and a semipositive continuous hermitian metric on a proper algebraic variety. In this paper, we prove that (L, h) is semiample metrized, which is a generalization of the question due to S. Zhang.
The aim of this paper is to give a recursive formula to multiply a line bundle with the structure sheaf of a schubert variety in the equivariant $K$-theory of a flag variety.
Let $k$ be an algebraically closed field of characteristic $p>0$ and let $\ell$ be another prime number. O. Gabber and F. Loeser proved that for any algebraic torus $T$ over $k$ and any perverse $\ell$-adic sheaf $\calF$ on $T$ the Euler characteristic $χ(\calF)$ is non-negative. We conjecture that the same result holds for any perverse sheaf $\calF$ on a reductive group $G$ over $k$ which is equivariant with respect to the adjoint action. We prove the conjecture when $\calF$ is obtained by Goresky-MacPherson extension from the set of regular semi-simple elements in $G$. From this we deduce th…
We give an equivariant version of the Saito duality which can be regarded as a Fourier transformation on Burnside rings. We show that (appropriately defined) reduced equivariant monodromy zeta functions of Berglund-Hübsch dual invertible polynomials are Saito dual to each other with respect to their groups of diagonal symmetries. Moreover we show that the relation between "geometric roots" of the monodromy zeta functions for some pairs of Berglund-Hübsch dual invertible polynomials described in a previous paper is a particular case of this duality.
For a toric variety X_P determined by a rational polyhedral fan P in a lattice N, Payne shows that the equivariant Chow cohomology of X_P is the Sym(N)--algebra C^0(P) of integral piecewise polynomial functions on P. We use the Cartan-Eilenberg spectral sequence to analyze the associated reflexive sheaf on Proj(N), showing that the Chern classes depend on subtle geometry of P and giving criteria for the splitting of the sheaf as a sum of line bundles. For certain fans associated to the reflection arrangement A_n, we describe a connection between C^0(P) and logarithmic vector fields tangent to …
Given an invertible sheaf, does it come from a Cartier divisor? This might fail in presence of embedded components. I give some examples and characterize those invertible sheaves that allow a Cartier divisor.
We continue the approach toward a purely combinatorial "virtual" intersection cohomology for possibly non-rational fans, based on our investigation of equivariant intersection cohomology for toric varieties (see math.AG/9904159). Fundamental objects of study are "minimal extension sheaves" on "fan spaces". These are flabby sheaves of graded modules over a sheaf of polynomial rings, satisfying three relatively simple axioms that characterize the properties of the equivariant intersection cohomology sheaf on a toric variety, endowed with the finite topology given by open invariant subsets. These…
K-theoretic Gromov-Witten invariants of a compact Kahler manifold $X$ are defined as super-dimensions of sheaf cohomology of interesting bundles over moduli spaces of n-pointed holomorphic curves in X. With this article, we begin a series of publications on K-theoretic Gromov-Witten invariants, cognizant of the $S_n$-module structure on the sheaf cohomology, induced by renumbering of the marked points. In the opening paper, we introduce such invariants, explain how the representation-theoretic information with varying $S_n$ is incorporated into generating functions of Gromov-Witten theory, and…
In this paper, using the quantum McKay correspondence, we construct the "derived category" of G-equivariant sheaves on the quantum projective line at a root of unity. More precisely, we use the representation theory of U_{q}sl(2) at root of unity to construct an analogue of the symmetric algebra and the structure sheaf. The analogue of the structure sheaf is, in fact, a complex, and moreover it is a dg-algebra. Our derived category arises via a triangulated category of G-equivariant dg-modules for this dg-algebra. We then relate this to representations of the quiver (Γ, \Om), where Γis the A,D…
We consider the T-equivariant cohomology of Bott-Samelson desingularisations of Schubert varieties in the flag manifold of a connected semi-simple complex algebraic group of adjoint type with maximal torus T. We construct a combinatorially pure (in the sense of T. Braden and R. Macpherson) sheaf on the Bruhat graph of the associated Weyl group such that its global sections give the T-equivariant cohomology of our Bott-Samelson resolution.
We show that when a torus $T$ acts on a smooth variety $X$, the twisted HKR isomorphism is equivariant. The main consequence is that the Bezrukavnikov- Lachowska isomorphism, relating the Hochschild cohomology of the principal block of the small quantum group to certain sheaf cohomology groups on the Springer resolution $\widetilde{\mathcal{N}}$ , can be upgraded to a ring isomorphism by a twist.
Given a family $π:\mc{X} \rightarrow B$ of smooth projective varieties, a closed fiber $\mc{X}_o$ and an invertible sheaf $\mc{L}$ on $\mc{X}_o$, we compare the Hodge locus in $B$ corresponding to the Hodge class $c_1(\mc{L})$ with the locus of points $b\,\in\, B$ such that $\mc{L}$ deforms to an invertible sheaf $\mc{L}_b$ on $\mc{X}_b$ with at least $h^0(\mc{L})$--dimensional space of global sections (it is a Brill-Noether type locus associated to $\mc{L}$). We finally give an application by comparing the Brill-Noether locus to a family of curves on a surface passing through a fixed set of p…
If $X$ is a smooth toric variety over an algebraically closed field of positive characteristic and $L$ is an invertible sheaf on $X$, it is known that $F_* L$, the push-forward of $L$ along the Frobenius morphism of $X$, is a direct sum of invertible sheaves. We show that this property characterizes smooth projective toric varieties.
We present a functorial computation of the equivariant intersection cohomology of a hypertoric variety, and endow it with a natural ring structure. When the hyperplane arrangement associated with the hypertoric variety is unimodular, we show that this ring structure is induced by a ring structure on the equivariant intersection cohomology sheaf in the equivariant derived category. The computation is given in terms of a localization functor which takes equivariant sheaves on a sufficiently nice stratified space to sheaves on a poset.
v2: We improved a little bit according to the referee's wishes. v1: On $X$ projective smooth over a field $k$, Pink and Roessler conjecture that the dimension of the Hodge cohomology of an invertible $n$-torsion sheaf $L$ is the same as the one of its $a$-th power $L^a$ if $a$ is prime to $n$, under the assumptions that $X$ lifts to $W_2(k)$ and $dim X\le p$, if $k$ has characteristic $p>0$. They show this if $k$ has characteristic 0 and if $n$ is prime to $p$ in characteristic $p>0$. We show the conjecture in characteristic $p>0$ if $n=p$ assuming in addition that $X$ is ordinary (in the sens…
We study the equivariant sheaf counting theory on K3 surfaces with finite group actions. Let $\sS=[S/G]$ be a global quotient stack, where $S$ is a K3 surface and $G$ is a finite group acting as symplectic homomorphisms on $S$. We show that the Joyce invariants counting Gieseker semistable sheaves on $\sS$ are independent on the Bridgeland stability conditions. As an application we prove the multiple cover formula of Y. Toda for the counting invariants for semistable sheaves on local K3 surfaces with a symplectic finite group action.
We construct a rational $T^2$-equivariant elliptic cohomology theory for the 2-torus $T^2$, starting from an elliptic curve C over the complex numbers and a coordinate data around the identity. The theory is defined by constructing an object $EC_{T^2}$ in the algebraic model category $dA(T^2)$, which by Greenlees and Shipley is Quillen-equivalent to rational $T^2$-spectra. This result is a generalization to the 2-torus of the construction [Gre05] for the circle. The object $EC_{T^2}$ is directly built using geometric inputs coming from the Cousin complex of the structure sheaf of the surface C…
We introduce the volume function for hermitian invertible sheaves on an arithmetic variety as an analogue of the geometric volume function. The main result of this paper is the continuity of the arithmetic volume function. As a consequence, we have the arithmetic Hilbert-Samuel formula for a nef hermitian invertible sheaf. We also give another several applications, for example, a generalized Hodge index theorem, an arithmetic Bogomolov-Gieseker's inequality, etc.
Let S be the spectrum of a discrete valuation ring with function field K. Let X be a scheme over S. We will say that X is semi-factorial over S if each invertible sheaf on the generic fiber X_K can be extended to an invertible sheaf on X. Here we show that any proper geometrically normal scheme over K admits a model over S which is proper, flat, normal and semi-factorial. We also construct some semi-factorial compactifications of regular S-schemes, such as Néron models of abelian varieties. Moreover, the semi-factoriality property for a scheme X/S corresponds to the Néron property of its Picar…
We give a complete answer to the question of (semi)stability of tangent bundle of any nonsingular projective complex toric variety with Picard number 2 by using combinatorial crietrion of (semi)stability of an equivariant sheaf. We also give a complete answer to the question of (semi)stability of tangent bundle of all toric Fano 4-folds with Picard number (\leq) 3 which are classified by Batyrev \cite{batyrev}. We have constructed a collection of equivariant indecomposable rank 2 vector bundles on Bott tower and pseudo-symmetric toric Fano varieties. Further in case of Bott tower, we have show…
Given a smooth projective variety over a perfect field of positive characteristic, we prove that the higher cohomologies vanish for the tensor product of the Witt canonical sheaf and the Teichmuller lift of an ample invertible sheaf. We also give a generalisation of this vanishing theorem to one of Kawamata-Viehweg type.
Fix a scheme $X$ over a field of characteristic zero that is equipped with an action of a reductive algebraic group $G$. We give necessary and sufficient conditions for a $G$-equivariant coherent sheaf on $X$ or a bounded-above complex of $G$-equivariant coherent sheaves on $X$ to descend to a good quotient $X//G$. This gives a description of the coherent derived category of $X//G$ as an admissible subcategory of the equivariant derived category of $X$.
We study the singularities of algebraic difference equations on curves from the point of view of equivariant sheaves. We propose a definition for the formal local type of an equivariant sheaf at a point in the case of a reduced curve acted on by a group which is virtually the integers. We show that with this definition, equivariant sheaves can be glued from an "open cover". Precisely, we show that an equivariant sheaf can be uniquely recovered from the following data: the restriction to the complement of a point, the local type at the point itself, and an isomorphism between the two over the p…
Let $X$ be a scheme, proper over a commutative noetherian ring $A$. We introduce the concept of an ample filter of invertible sheaves on $X$ and generalize the most important equivalent criteria for ampleness of an invertible sheaf. We also prove the Theorem of the Base for $X$ and generalize Serre's Vanishing Theorem. We then generalize results for twisted homogeneous coordinate rings which were previously known only when $X$ was projective over an algebraically closed field. Specifically, we show that the concepts of left and right $σ$-ampleness are equivalent and that the associated twisted…
Consider a smooth projective family of canonically polarized complex manifolds over a smooth quasi-projective complex base U, and suppose the family is non-isotrivial. If Y is a smooth compactification of U, such that D := Y U is a simple normal crossing divisor, then we can consider the sheaf of differentials with logarithmic poles along D. Viehweg and Zuo have shown that for some number m>0, the m-th symmetric power of this sheaf admits many sections. More precisely, the m-th symmetric power contains an invertible sheaf whose Kodaira-Iitaka dimension is at least the variation of the family. …
Let S be an algebraic space, A an S-abelian algebraic space, L an S-fiberwise numerically trivial invertible module on A, and L* the sheaf of regular sections of L considered as a G_m-torsor on A. We classify the S-minimal models of L* into two types.
In this paper we study the tangent spaces of the smooth nested Hilbert scheme $ Hil{n,n-1}$ of points in the plane, and give a general formula for computing the Euler characteristic of a $\TT^2$-equivariant locally free sheaf on $\Hil{n,n-1}$. Applying our result to a particular sheaf, we conjecture that the result is a polynomial in the variables $q$ and $t$ with non-negative integer coefficients . We call this conjecturally positive polynomial as \textsl{the nested $q,t$-Cat alan series}, for it has many conjectural properties similar to that of the $q,t $-Catalan series.
Let $f$ be an invertible polynomial and $G$ a group of diagonal symmetries of $f$. This note shows that the orbifold Jacobian algebra $\mathrm{Jac}(f,G)$ of $(f,G)$ defined by the authors and Elisabeth Werner in arXiv:1608.08962 is isomorphic as a $\mathbb{ZZ}/2\mathbb{ZZ}$-graded algebra to the Hochschild cohomology $\mathsf{HH}^*(\mathrm{MF}_G(f))$ of the dg-category $\mathrm{MF}_G(f)$ of $G$-equivariant matrix factorizations of $f$ by calculating the product formula of $\mathsf{HH}^*(\mathrm{MF}_G(f))$ given by Shklyarov in arXiv:1708.06030. We also discuss the relation of our previous resu…
Let G=SL(E) be the special linear algebraic group on E where E is a finite dimensional vector space over a field K of characteristic zero. In this paper we study the canonical filtration of the dual G-module of global sections of a G-linearized invertible sheaf L on the grassmannian G/P where P in G is the parabolic subgroup stabilizing a subspace W in E. We classify the canonical filtration as P-module and as a consequence we recover known formulas on the P-module structure of the jet bundle J(L) on projective space. We study the incidence complex for the invertible sheaf O(d) on the projecti…
In this article, we study the cohomology of some analytic sheaves on the complementary in the projective space of a suitable infinite collection of hyperplane like the Drinfel'd symetric space. In particular, the sheaf of invertible functions on these rigid spaces has no cohomology in degree greater or equal to $1$. This proves the vanishing of the Picard goup and the methods used give a convenient description of the global invertible functions.
We use the theory of cubic structures to give a fixed point Riemann-Roch formula for the equivariant Euler characteristics of coherent sheaves on projective flat schemes over Z with a tame action of a finite abelian group. This formula supports a conjecture concerning the extent to which such equivariant Euler characteristics may be determined from the restriction of the sheaf to an infinitesimal neighborhood of the fixed point locus. Our results are applied to study the module structure of modular forms having Fourier coefficients in a ring of algebraic integers, as well as the action of diam…
Let $A$ be a local noetherian ring and $N$ be a locally sheaf on the projective space $P^3_A$ : one proves easily that there exists a family $C$ of (smooth connected) curves contained in $P^3_A$, flat over $A$, and an integer $h$ such that the ideal sheaf $J$ of $C$ has a resolution $0\to P\to N\to J\to 0$ where $P$ is a direct sum of invertible sheaves $O_P(-n_i)$. In this paper we determine, for a given sheaf $N$, all the families of curves with such a resolution, especially the minimal ones (corresponding to the minimum value of $h$). It gives a description of the biliaison class related to…
This paper generalizes the easy addition formula. Given a normal variety $X$ with an invertible sheaf $L$, inequalities are found bounding $\ka(X,L)$ from above based on the behavior of $L$ restricted to a subvariety or to a pair of "positive" intersecting subvarieties.
The purpose of this paper is to give an explicit formula which allows one to compute the dimension of the cohomology groups of the sheaf $Ω_¶^p(D)$ of p-th differential forms of Zariski twisted by an ample invertible sheaf on a complete simplicial toric variety. The formula involves some combinatorial sums of integer points over all faces of the support polytope for ${Ø_X}(D)$. We also introduce a new combinatorial object, the so-called p-th Hilbert-Erhart polynomial, which generalizes the usual notion and behaves similar. Namely, there exists a generalization of the inversion law for a usual …
Let $M$ be a proper Hamiltonian $K$-space with proper moment map $μ$. The symplectic quotient $X=μ^{-1}(0)/K$ is in general a singular stratified space. In this paper we first generalize the Kirwan map to this symplectic setting which maps the $K$ equivariant cohomology of $μ^{-1}(0)$ to the middle perversity intersection cohomology $IH^*(X)$. Next, we show that there is a natural right inverse of the Kirwan map, under an assumption coming from the cosupport axiom for the intersection homology sheaf. Furthermore, we can identify the subspace of $H^*_K(μ^{-1}(0))$ which corresponds to $IH^*(X)$…
If $X$ is an abelian variety over a field and $L$ is an invertible sheaf, we know that the degree of the 0-cycle $L^g$ is divisible by $g!$. As a 0-cycle, it is not, even over a field of cohomological dimension 1. But we show that over a finite field there is perhaps some hope.
In this article, we consider regular projective arithmetic schemes in the context of Arakelov geometry, any of which is endowed with an action of the diagonalisable group scheme associated to a finite cyclic group and with an equivariant very ample invertible sheaf. For any equivariant morphism between such arithmetic schemes, which is smooth over the generic fibre, we define a direct image map between corresponding higher equivariant arithmetic K-groups and we discuss its transitivity property. Then we use the localization sequence of higher arithmetic K-groups and the higher arithmetic conce…
Let $G$ be a reductive complex Lie group acting holomorphically on normal Stein spaces $X$ and $Y$, which are locally $G$-biholomorphic over a common categorical quotient $Q$. When is there a global $G$-biholomorphism $X\to Y$? If the actions of $G$ on $X$ and $Y$ are what we, with justification, call generic, we prove that the obstruction to solving this local-to-global problem is topological and provide sufficient conditions for it to vanish. Our main tool is the equivariant version of Grauert's Oka principle due to Heinzner and Kutzschebauch. We prove that $X$ and $Y$ are $G$-biholomorphic …
A Pfaff field on a projective space is a map from the sheaf of differential s-forms, for a certain s, to an invertible sheaf. The interesting ones are those arising from a Pfaff system, as they give rise to a distribution away from their singular locus. A subscheme of the projective space is said to be invariant under the Pfaff field, if the latter induces a Pfaff field on the subscheme. We give bounds for the Castelnuovo-Mumford regularity of invariant complete intersection subschemes (more generally, arithmetically Cohen-Macaulay subschemes) of dimension s, depending on how singular these sc…
Let $X$ be a rational homogeneous space and let $QH^*(X)_{loc}^\times$ be the group of invertible elements in the small quantum cohomology ring of $X$ localised in the quantum parameters. We generalise results of arXiv:math/0609796 and realise explicitly the map $π_1({\rm Aut}(X))\to QH^*(X)_{loc}^\times$ described in arXiv:dg-ga/9511011. We even prove that this map is an embedding and realise it in the equivariant quantum cohomology ring $QH^*_T(X)_{loc}^\times$. We give explicit formulas for the product by these elements. The proof relies on a generalisation, to a quotient of the equivariant…
