Search

In this paper, we introduce cell-forms on 𝔐0,n, which are top-dimensional differential forms diverging along the boundary of exactly one cell (connected component) of the real moduli space 𝔐0,n(ℝ). We show that the cell-forms generate the top-dimensional cohomology group of 𝔐0,n, so that there is a natural duality between cells and cell-forms. In the heart of the paper, we determine an explicit basis for the subspace of differential forms which converge along a given cell X. The elements of this basis are called insertion forms; their integrals over X are real numbers, called cell-zeta values, which generate a ℚ-algebra called the cell-zeta algebra. By a result of F. Brown, the cell-zeta algebra is equal to the algebra of multizeta values. The cell-zeta values satisfy a family of simple quadratic relations coming from the geometry of moduli spaces, which leads to a natural definition of a formal version of the cell-zeta algebra, conjecturally isomorphic to the formal multizeta algebra defined by the much-studied double shuffle relations.

LetGbe the simple algebraic group Sp(2,2), to be defined over ℚ. It is a non-quasi-split, ℚ-rank-two inner form of the split symplectic group Sp8of rank four. The cohomology of the space of automorphic forms onGhas a natural subspace, which is spanned by classes represented by residues and derivatives of cuspidal Eisenstein series. It is called Eisenstein cohomology. In this paper we give a detailed description of the Eisenstein cohomologyHqEis(G,E) ofGin the case of regular coefficientsE. It is spanned only by holomorphic Eisenstein series. For non-regular coefficientsEwe really have to detect the poles of our Eisenstein series. SinceGis not quasi-split, we are out of the scope of the so-called ‘Langlands–Shahidi method’ (cf. F. Shahidi,On certainL-functions, Amer. J. Math.103(1981), 297–355; F. Shahidi,On the Ramanujan conjecture and finiteness of poles for certainL-functions, Ann. of Math. (2)127(1988), 547–584). We apply recent results of Grbac in order to find the double poles of Eisenstein series attached to the minimal parabolicP0ofG. Having collected this information, we determine the square-integrable Eisenstein cohomology supported byP0with respect to arbitrary coefficients and prove a vanishing result. This will exemplify a general theorem we prove in this paper on the distribution of maximally residual Eisenstein cohomology classes.

A notion of Hochschild cohomology of an abelian category was defined by Lowen and Van den Bergh (2005) and they showed the existence of a characteristic morphism from the Hochschild cohomology into the graded centre of the (bounded) derived category. An element in the second Hochschild cohomology group corresponds to a first order deformation of the abelian category (Lowen and Van den Bergh, 2006). The problem of deforming single objects of the bounded derived category was treated by Lowen (2005). In this paper we show that the image of the Hochschild cohomology element under the characteristic morphism encodes precisely the obstructions to deforming single objects of the bounded derived category. Hence this paper provides a missing link between the above works. Finally we discuss some implications of these facts in the direction of a ``derived deformation theory''., Comment: 24 pages

We construct a complex analytic version of an equivariant cohomology theory which appeared in a paper of Rezk, and which is roughly modelled on the Borel-equivariant cohomology of the double free loop space. The construction is defined on finite, torus-equivariant CW complexes and takes values in coherent holomorphic sheaves over the moduli stack of complex elliptic curves. Our methods involve an inverse limit construction over all finite-dimensional subcomplexes of the double free loop space, following an analogous construction of Kitchloo for single free loop spaces. We show that, for any given complex elliptic curve $\mathcal {C}$, the fiber of our construction over $\mathcal {C}$ is isomorphic to Grojnowski's equivariant elliptic cohomology theory associated to $\mathcal {C}$.

The aim of this corrigendum is to correct an error in Corollary 10.7 to Theorem 10.6, one of the main results in the paper ‘On the cuspidal cohomology of $S$-arithmetic subgroups of reductive groups over number fields’. This makes necessary a thorough investigation of the conditions under which a Cartan-type automorphism exists on $G_1=\mathrm {Res}_{\mathbb {C}/\mathbb {R}}G_0$, where $G_0$ is a connected semisimple algebraic group defined over $\mathbb {R}$.

The notion of Hochschild cochains induces an assignment from $Aff$, affine DG schemes, to monoidal DG categories. We show that this assignment extends, under some appropriate finiteness conditions, to a functor $\mathbb H: Aff \to AlgBimod(DGCat)$, where the latter denotes the category of monoidal DG categories and bimodules. Now, any functor $\mathbb A: Aff \to AlgBimod(DGCat)$ gives rise, by taking modules, to a theory of sheaves of categories $ShvCat^{\mathbb A}$. In this paper, we study $ShvCat^{\mathbb H}$. Vaguely speaking, this theory categorifies the theory of D-modules, in the same way as Gaitsgory's original $ShvCat$ categorifies the theory of quasi-coherent sheaves. We develop the functoriality of $ShvCat^{\mathbb H}$, its descent properties and, most importantly, the notion of $\mathbb H$-affineness. We then prove the $\mathbb H$-affineness of algebraic stacks: for $Y$ a stack satisfying some mild conditions, the $\infty$-category $ShvCat^{\mathbb H}(Y)$ is equivalent to the $\infty$-category of modules for $\mathbb H(Y)$, the monoidal DG category defined in arXiv:1709.07867. As an application, consider a quasi-smooth stack $Y$ and a DG category $C$ with an action of $\mathbb H(Y)$. Then $C$ admits a theory of singular support in $Sing(Y)$, where $Sing(Y)$ is the space of singularities of $Y$., Comment: To appear in Compositio Mathematica

In this paper we prove a semistable version of the variational Tate conjecture for divisors in crystalline cohomology, showing that for$k$a perfect field of characteristic$p$, a rational (logarithmic) line bundle on the special fibre of a semistable scheme over$k\unicode[STIX]{x27E6}t\unicode[STIX]{x27E7}$lifts to the total space if and only if its first Chern class does. The proof is elementary, using standard properties of the logarithmic de Rham–Witt complex. As a corollary, we deduce similar algebraicity lifting results for cohomology classes on varieties over global function fields. Finally, we give a counter-example to show that the variational Tate conjecture for divisors cannot hold with$\mathbb{Q}_{p}$-coefficients.

We present a Langlands dual realization of the putative category of affine character sheaves. Namely, we calculate the categorical center and trace (also known as the Drinfeld center and trace, or categorical Hochschild cohomology and homology) of the affine Hecke category starting from its spectral presentation. The resulting categories comprise coherent sheaves on the commuting stack of local systems on the two-torus satisfying prescribed support conditions, in particular singular support conditions as appear in recent advances in the Geometric Langlands program. The key technical tools in our arguments are: a new descent theory for coherent sheaves or D-modules with prescribed singular support; and the theory of integral transforms for coherent sheaves developed in the companion paper [BNP]., Comment: 28 pages

We calculate equivariant elliptic cohomology of the partial flag variety G/H, where H \subseteq G are compact connected Lie groups of equal rank. We identify the RO(G)-graded coefficients Ell_G^* as powers of Looijenga's line bundle and prove that transfer along the map {\pi}: G/H -\rightarrow pt is calculated by the Weyl-Kac character formula. Treating ordinary cohomology, K-theory and elliptic cohomology in parallel, this paper organizes the theoretical framework for the elliptic Schubert calculus of [N.Ganter and A.Ram, Elliptic Schubert calculus. In preparation]., Comment: 44 pages

In this paper we prove that surfaces of general type with irregularity $q\geq 3$ are rationally cohomologically rigidified, and so are minimal surfaces $S$ with $q(S)= 2$ unless ${ K}_{S}^{2} = 8\chi ({ \mathcal{O} }_{S} )$. Here a surface $S$ is said to be rationally cohomologically rigidified if its automorphism group $\mathrm{Aut} (S)$ acts faithfully on the cohomology ring ${H}^{\ast } (S, \mathbb{Q} )$. As examples we give a complete classification of surfaces isogenous to a product with $q(S)= 2$ that are not rationally cohomologically rigidified.

Let $G$ be a connected, reductive algebraic group over a number field $F$ and let $E$ be an algebraic representation of ${G}_{\infty } $. In this paper we describe the Eisenstein cohomology ${ H}_{\mathrm{Eis} }^{q} (G, E)$ of $G$ below a certain degree ${q}_{ \mathsf{res} } $ in terms of Franke’s filtration of the space of automorphic forms. This entails a description of the map ${H}^{q} ({\mathfrak{m}}_{G} , K, \Pi \otimes E)\rightarrow { H}_{\mathrm{Eis} }^{q} (G, E)$, $q\lt {q}_{ \mathsf{res} } $, for all automorphic representations $\Pi $ of $G( \mathbb{A} )$ appearing in the residual spectrum. Moreover, we show that below an easily computable degree ${q}_{ \mathsf{max} } $, the space of Eisenstein cohomology ${ H}_{\mathrm{Eis} }^{q} (G, E)$ is isomorphic to the cohomology of the space of square-integrable, residual automorphic forms. We discuss some more consequences of our result and apply it, in order to derive a result on the residual Eisenstein cohomology of inner forms of ${\mathrm{GL} }_{n} $ and the split classical groups of type ${B}_{n} $, ${C}_{n} $, ${D}_{n} $.

Let ${\Xmathfrak g}={\Xmathfrak g}_{\zerox }\oplus {\Xmathfrak g}_{\onex }$ be a classical Lie superalgebra and let ℱ be the category of finite-dimensional ${\Xmathfrak g}$-supermodules which are completely reducible over the reductive Lie algebra ${\Xmathfrak g}_{\zerox }$. In [B. D. Boe, J. R. Kujawa and D. K. Nakano, Complexity and module varieties for classical Lie superalgebras, Int. Math. Res. Not. IMRN (2011), 696–724], we demonstrated that for any module M in ℱ the rate of growth of the minimal projective resolution (i.e. the complexity of M) is bounded by the dimension of ${\Xmathfrak g}_{\onex }$. In this paper we compute the complexity of the simple modules and the Kac modules for the Lie superalgebra $\Xmathfrak {gl}(m|n)$. In both cases we show that the complexity is related to the atypicality of the block containing the module.

This paper introduces the notion of a derived splinter. Roughly speaking, a scheme is a derived splinter if it splits off from the coherent cohomology of any proper cover. Over a field of characteristic 0, this condition characterises rational singularities by a result of Kov\'acs. Our main theorem asserts that over a field of characteristic p, derived splinters are the same as (underived) splinters, i.e., as schemes that split off from any finite cover. Using this result, we answer some questions of Karen Smith concerning extending Serre/Kodaira type vanishing results beyond the class of ample line bundles in positive characteristic; these are purely projective geometric statements independent of singularity considerations. In fact, we can prove "up to finite cover" analogues in characteristic p of many vanishing theorems one knows in characteristic 0. All these results fit naturally in the study of F-singularities, and are motivated by a desire to understand the direct summand conjecture, Comment: 22 pages, comments welcome!

In Boyer [Monodromy of perverse sheaves on vanishing cycles on some Shimura varieties, Invent. Math. 177 (2009), 239–280 (in French)], a sheaf version of the monodromy-weight conjecture for some unitary Shimura varieties was proved by giving explicitly the monodromy filtration of the complex of vanishing cycles in terms of local systems introduced in Harris and Taylor [The geometry and cohomology of some simple Shimura varieties (Princeton University Press, Princeton, NJ, 2001)]. The main result of this paper is the cohomological version of the monodromy-weight conjecture for these Shimura varieties, which we prove by means of an explicit description of the groups of cohomology in terms of automorphic representations and the local Langlands correspondence.

This paper is devoted to the calculation of the B-model chiral ring, used in physics, for semiample Calabi–Yau hypersurfaces. We also study the cohomology of semiample hypersurfaces.

It was proved by Ginzburg, Mirkovic and Vilonen that the G(O)-equivariant perverse sheaves on the affine Grassmannian of a connected reductive group G form a tensor category equivalent to the tensor category of finite dimensional representations of the dual group G∧. In this paper we construct explicitly the action of G∧ on the global cohomology of a perverse sheaf.

Bott–Samelson varieties are an important tool in geometric representation theory [1, 3, 10, 25]. They were originally defined as desingularizations of Schubert varieties and share many of the properties of Schubert varieties. They have an action of a Borel subgroup, and the projective coordinate ring of a Bott–Samelson variety splits into certain generalized Demazure modules (which also appear in other contexts [22, 23]). Standard Monomial Theory, developed by Seshadri and the first author [15, 16], and recently completed by the second author [20], gives explicit bases for the Demazure modules associated to Schubert varieties. In this paper, we extend the techniques of [20] to give explicit bases for the generalized Demazure modules associated to Bott–Samelson varieties, thus proving a strengthened form of the results announced by the first and third authors in [12] (see also [13]). We also obtain more elementary proofs of the cohomology vanishing theorems of Kumar [10] and Mathieu [25]; of the projective normality of Bott–Samelson varieties; and of the Demazure character formula.

The paper provides a combinatorial method to decide when the space of local systems with nonvanishing first cohomology on the complement to an arrangement of lines in a complex projective plane has as an irreducible component a subgroup of positive dimension. Partial classification of arrangements having such a component of positive dimension and a comparison theorem for cohomology of Orlik–Solomon algebra and cohomology of local systems are given. The methods are based on Vinberg–Kac classification of generalized Cartan matrices and study of pencils of algebraic curves defined by mentioned positive dimensional components.

In this paper, we investigate the action of the ℚ-cohomology of the compact dual \(\widehat X\) of a compact Shimura Variety S(Γ) on the ℚ-cohomology of S(Γ)> under a cup product. We use this to split the cohomology of S(Γ) into a direct sum of (not necessarily irreducible) ℚ-Hodge structures. As an application, we prove that for the class of arithmetic subgroups of the unitary groups U(p,q) arising from Hermitian forms over CM fields, the Mumford–Tate groups associated to certain holomorphic cohomology classes on S(Γ) are Abelian. As another application, we show that all classes of Hodge type (1,1) in H2 of unitary four-folds associated to the group U(2,2) are algebraic.

To a polynomial map f : Cn + 1 → C one can attach a monodromy transformation on the complex cohomology of its generic fiber that reflects its asymptotic behaviour. In this paper this transformation is determined for a class of generic polynomials in terms of data attached to projective hypersurfaces with isolated singularities.

In this paper, we develop a method of localization in equivariant cohomology based on the notion of partition of unity cohomology. We apply this method in two cases. In the first case, this method gives a refinement of the localization of Atiyah–Bott and Berline–Vergne (in the frame given by Bismut). After, we consider the Hamiltonian action of a torus, and we realise, following the idea of Witten, the localization on the critical points of the square of the moment map.

In this paper we compute the cohomology with compact supports of a Siegelthreefold as a virtual module over the product of the Galois group of \(\mathop \mathbb{Q}\limits^{\text{\_}} \) over \(\mathbb{Q}\) and the Hecke algebra. We use a method which has been developed by Ihara, Langlands and Kottwitz: comparison of the Grothendieck--Lefschetz formula and the Arthur--Selberg trace formula.

Proper homogeneous G-spaces (where G is semisimple algebraic group) over positive characteristic fields k can be divided into two classes, the first one being the flag varieties G/P and the second one consisting of varieties of unseparated flags (proper homogeneous spaces not isomorphic to flag varieties as algebraic varieties). In this paper we compute the Chow ring of varieites of unseparated flags, show that the Hodge cohomology of usual flag varieties extends to the general setting of proper homogeneous spaces and give an example showing (by geometric means) that the D -affinity of Beilinson and Bernstein fails for varieties of unseparated flags.