In this paper we define 2-vector bundles as suitable bundles of 2-vector spaces over a base space, and compare the resulting 2-K-theory with the algebraic K-theory spectrum K(V) of the 2-category of 2-vector spaces, as well as the algebraic K-theory spectrum K(ku) of the connective topological K-theory spectrum ku. We explain how K(ku) detects v_2-periodic phenomena in stable homotopy theory, and as such is a form of elliptic cohomology.
In [1] we introduced the concept of structured space, which is a topological space that locally resembles some algebraic structures. In [2] we proceeded the study of these spaces, developing two cohomology theories. The aim of this paper is to define categories of structured spaces, (pre)sheaves with values in such categories, and generalised notions of vector bundles, ringed spaces and schemes. Then, we will construct (using some techniques and also the general method in Section 2 of [2]) various cohomology theories for these objects.
Let G be a compact, connected and simply connected Lie group, and ΩG the space of the loops in G based at the identity. This note shows a way to compute the cohomology of the total space of a principal ΩG-bundle over a manifold M, from the cohomology of G, the differential forms on M and the characteristic classes of the bundle. The equivariant situation is also treated.
The aim of this article is to establish the notion of bundle-type quasitoric manifolds and provide two classification results on them: (1) ($\mathbb{C}P^2\sharp\mathbb{C}P^2$)-bundle type quasitoric manifolds are weakly equivariantly homeomorphic if their cohomology rings are isomorphic, and (2) quasitoric manifolds over $I^3$ are homeomorphic if their cohomology rings are isomorphic. In the latter case, there are only four quasitoric manifolds up to weakly equivariant homeomorphism which are not bundle-type.
We consider the moduli space of rank two, odd degree, semi-stable Real vector bundles over a real curve, calculating the singular cohomology ring in odd and zero characteristic for most examples.
We develop a bundle theory of presheaves on small categories, based on similar work by Brent Everitt and Paul Turner. For a certain set of presheaves on posets, we produce a Leray-Serre type spectral sequence that gives a reduction property for the cohomology of the presheaf. This extends the usual cohomological reduction of posets with a unique maximum.
In this article we study the equivariant elliptic cohomology of complex toric varieties. We prove a partial reconstruction theorem showing that equivariant elliptic cohomology encodes considerable non-trivial information on the equivariant 1-skeleton of a toric variety X (although it stops short of being a complete invariant of its GKM graphs). Elliptic cohomology is supposed to encode higher categorical geometric data, and proposals have been made linking elliptic cocycles to categorified bundles. In particular, contrary to ordinary cohomology and K-theory, elliptic cohomology is expected not…
Let $\mathscr{V}\mathrm{ect}_n$ be the moduli stack of vector bundles of rank $n$ on schemes. We prove that, if $E$ is a Zariski sheaf of ring spectra which is equipped with finite quasi-smooth transfers and satisfies the projective bundle formula, then $E^*(\mathscr{V}\mathrm{ect}_{n,S})$ is freely generated by Chern classes $c_1,\dotsc,c_n$ over $E^*(S)$ for any scheme $S$. Examples include all multiplicative localizing invariants.
The purpose of this note is to define sheaves for diffeological spaces and give a construction of their Čech cohomology. As an application, we prove that the first degree Čech cohomology classes for the sheaf of smooth functions to an abelian diffeological group $G$ classify the diffeological principal $G$-bundles.
We present a calculation, which shows how the moduli of complex analytic elliptic curves arises naturally from the Borel cohomology of an extended moduli space of $U(1)$-bundles on a torus. Furthermore, we show how the analogous calculation, applied to a moduli space of principal bundles for a $K(\mathbb{Z},2)$ central extension of $U(1)^d$ give rise to Looijenga line bundles. We then speculate on the relation of these calculations to the construction of complex analytic equivariant elliptic cohomology.
We describe the singular cohomology ring, the K-ring of complex vector bundles, the Chow ring, and the Grothendieck ring of coherent sheaves of the total space of the fibre bundle with base space an irreducible nonsingular complete Noetherian scheme and fibre a nonsingular projective T-toric variety associated to a prinicipal T-bundle over the field of complex numbers.
Cohomology of the Moduli Stacks of Real Vector Bundles on Type I Real Algebraic Curves
Dipartimento di Matematica Università degli Studi di Trento（特伦托大学数学系）；Dipartimento di Matematica "Felice Casorati" Università degli Studi di Pavia（帕维亚大学费利切·卡索拉蒂数学系）
For a torus bundle (S^1 x S^1) -> E -> S^1$, we construct a finite free resolution Z over ZG, where G is the fundamental group of the total space E, and then we compute the cohomology groups H^*(G,Z) and H^*(G,Z_p) for a prime p. We also construct a partial diagonal approximation for the resolution, which allows us to compute the cup product in H^*(G,Z) and H^*(G,Z_p).
Equivariant elliptic cohomology with complex coefficients was defined axiomatically by Ginzburg, Kapranov and Vasserot and constructed by Grojnowski. We give an invariant definition of S^1-equivariant elliptic cohomology, and use it to give an entirely cohomological proof of the rigidity theorem of Witten for the elliptic genus. We also state and prove a rigidity theorem for families of elliptic genera.
We prove that the cohomology algebra of elliptic arrangements depends only on the poset of layers. In the particular case of braid elliptic arrangements, we study the cohomology as representation and we compute some Hodge numbers. Finally, we discuss 1-formality for graphic elliptic arrangements.
Using methods originating in the theory of intersection spaces, specifically a de Rham type description of the real cohomology of these spaces by a complex of global differential forms, we show that the Leray-Serre spectral sequence with real coefficients of a flat fiber bundle of smooth manifolds collapses if the fiber is Riemannian and the structure group acts isometrically. The proof is largely topological and does not need a metric on the base or total space. We use this result to show further that if the fundamental group of a smooth aspherical manifold acts isometrically on a Riemannian …
The classical BKK theorem computes the intersection number of divisors on toric variety in terms of volumes of corresponding polytopes. It was observed by Pukhlikov and the first author that the BKK theorem leads to a presentation of the cohomology ring of toric variety as a quotient of the ring of differential operators with constant coefficients by the annihilator of an explicit polynomial. In this paper we generalize this construction to the case of quasitoric bundles. These are fiber bundles with generalized quasitoric manifolds as fibers. First we obtain a generalization of the BKK theore…
Ginzburg, Kapranov and Vasserot conjectured the existence of equivariant elliptic cohomology theories. In this paper, to give a description of equivariant spectra of the theories, we study an intermediate theory, quasi-elliptic cohomology. We formulate a new category of orthogonal G-spectra and construct explicitly an orthogonal G-spectrum of quasi-elliptic cohomology in it. The idea of the construction can be applied to a family of equivariant cohomology theories, including Tate K-theory and generalized Morava E-theories. Moreover, this construction provides a functor from the category of glo…
Let $\mathcal{T}$ be an arbitrary resolution graph and $(X, 0)$ a generic complex analytic normal surface singularity, and $\tilde{X}$ a generic resolution corresponding to it. Fix an effective integer cycle $Z$ supported on the exceptional curve and also an arbitrary Chern class $Z' \in L'$. In this article we aim to compute the cohomology numbers $h^1(\mathcal{O}_{Z}(Z'))$. Notice, that the case $Z'_v < 0, v \in |Z|$ was discussed in \cite{NNA2}, where the main theorem was, that in this special case these cohomology numbers equal to the cohomology numbers of the generic line bundle in $\text…
We give a lower bound for the exponent of certain elements in the integral cohomology of the total spaces of principal BC-bundles for C a finite cyclic group. As applications we give a proof of the theorem of A. Adem and H.-W. Henn that a p-group is elementary abelian if and only if its integral cohomology has exponent p, and we exhibit some infinite groups of finite virtual cohomological dimension whose Tate-Farrell cohomology contains torsion of order greater than the l.c.m. of the orders of their finite subgroups. We also give an upper bound for the exponent of all but finitely many of the …
We investigate stable operations in supersingular elliptic cohomology using isogenies of supersingular elliptic curves over finite fields. Our main results provide a framework in which we give a conceptually simple proof of an elliptic cohomology version of the Morava change of rings theorem and also gives models for explicit stable operations in terms of isogenies and morphisms in certain enlarged isogeny categories. We relate our work to that of G. Robert on the Hecke algebra structure of the ring of supersingular modular forms.
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.
In this paper we construct twisted Real quasi-elliptic cohomology as the twisted KR-theory of loop groupoids. The theory systematically incorporates loop rotation and reflection. After establishing basic properties of the theory, we construct twisted elliptic Pontryagin characters and, without twists, Real analogues of the string power operation of quasi-elliptic cohomology. We also explore the relation of the theory to the Tate curve.
We define an elliptic version of the stable envelope of Maulik and Okounkov for the equivariant elliptic cohomology of cotangent bundles of Grassmannians. It is a version of the construction proposed by Aganagic and Okounkov and is based on weight functions and shuffle products. We construct an action of the dynamical elliptic quantum group associated with $\mathfrak{gl}_2$ on the equivariant elliptic cohomology of the union of cotangent bundles of Grassmannians. The generators of the elliptic quantum groups act as difference operators on sections of admissible bundles, a notion introduced in …
We construct a Thom class in complex equivariant elliptic cohomology extending the equivariant Witten genus. This gives a new proof of the rigidity of the Witten genus, which exhibits a close relationship to recent work on non-equivariant orientations of elliptic spectra.
Matroid bundles, introduced by MacPherson, are combinatorial analogues of real vector bundles. This paper sets up the foundations of matroid bundles, and defines a natural transformation from isomorphism classes of real vector bundles to isomorphism classes of matroid bundles, as well as a transformation from matroid bundles to spherical quasifibrations. The poset of oriented matroids of a fixed rank classifies matroid bundles, and the above transformations give a splitting from topology to combinatorics back to topology. This shows the mod 2 cohomology of the poset of rank k oriented matroids…
We study the ring generated by the Chern classes of tautological line bundles on the moduli space of parabolic bundles of arbitrary rank on a Riemann surface. We show the Poincaré duals to these Chern classes have simple geometric representatives. We use this construction to show that the ring generated by these Chern classes vanishes below the dimension of the moduli space, in analogy with the Newstead-Ramanan conjecture for stable bundles.
Using the Bockstein spectral sequence developed previously by the authors, we compute the ring ER(n)^*(BO(q)) explicitly. We then use this calculation to show that the ring spectrum MO[2^{n+1}] is ER(n)-orientable (but not ER(n+1)-orientable), where MO[2^{n+1}] is defined as the Thom spectrum for the self map of BO given by multiplication by 2^{n+1}.
We compute rational $T$-equivariant elliptic cohomology of CP(V), where $T$ is the circle group, and CP(V) is the $T$-space of complex lines for a finite dimensional complex $T$-representation V. Starting from an elliptic curve C over the complex numbers and a coordinate data around the identity, we achieve this computation by proving that the $T$-equivariant elliptic cohomology theory $EC_T$ built in [Gre05], and the $T^2$-equivariant elliptic cohomology theory $EC_{T^2}$ built in [Bar22] are 1x$T$-split. This result allows us to reduce the computation of $EC_T(CP(V))$ to the computation of $…
We study the singular cohomology of the moduli space of rank 2 parabolic bundles on a Riemann surface where the weights are all 1/4. We give a formula, based on work of Boden, for the Poincaré polynomial of this moduli space in general, and deduce a complete set of relations in the cohomology ring for the case when the genus is zero. These relations are recursive in the number of parabolic points (which must be odd), and are analogous to the relations appearing in the cohomology ring for the non-parabolic story, which are recursive in the genus. Our methods use techniques from a paper of Weits…
This paper studies connections between generalized moonshine and elliptic cohomology with a focus on the action of the Hecke correspondence and its implications for the notion of replicability.
We construct a complex analytic version of an equivariant cohomology theory which appeared in a recent paper of Rezk, and which is roughly modeled 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 …
We define the algebraic elliptic cohomology theory coming from Krichever's elliptic genus as an oriented cohomology theory on smooth varieties over an arbitrary perfect field. We show that in the algebraic cobordism ring with rational coefficients, the ideal generated by differences of classical flops coincides with the kernel of Krichever's elliptic genus. This generalizes a theorem of B. Totaro in the complex analytic setting.
The cohomology of the classifying space BU(n) of the unitary groups can be identified with the ring of symmetric polynomials on n variables by restricting to the cohomology of BT, where T is a maximal torus in U(n). In this paper we explore the situation where BT = (CP^{infinity})^n is replaced by a product of finite dimensional projective spaces (CP^d)^n, fitting into an associated bundle U(n) x_T (S^{2d+1})^n -> (CP^d)^n -> BU(n). We establish a purely algebraic version of this problem by exhibiting an explicit system of generators for the ideal of truncated symmetric polynomials. We use thi…
Quasi-elliptic cohomology is a variant of elliptic cohomology theories. It is the orbifold K-theory of a space of constant loops. For global quotient orbifolds, it can be expressed in terms of equivariant K-theories. Thus, the constructions on it can be made in a neat way. This theory reflects the geometric nature of the Tate curve. In this paper we provide a systematic introduction of its construction and definition.
We construct a cocycle model for complex analytic equivariant elliptic cohomology that refines Grojnowski's theory when the group is connected and Devoto's when the group is finite. We then construct Mathai--Quillen type cocycles for equivariant elliptic Euler and Thom classes, explaining how these are related to positive energy representations of loop groups. Finally, we show that these classes give a unique equivariant refinement of Hopkins' "theorem of the cube" construction of the ${\rm MString}$-orientation of elliptic cohomology.
For a compact Lie group acting on a smooth manifold, we define the differential cohomology of a certain quotient stack involving principal bundles with connection. This produces differential equivariant cohomology groups that map to the Cartan-Weil equivariant forms and to Borel's equivariant integral cohomology. We show the Chern-Weil homomorphism for equivariant vector bundles with connection naturally factors through differential equivariant cohomology.
We study relatively semi-stable vector bundles and their moduli on non-Kähler principal elliptic bundles over compact complex manifolds of arbitrary dimension. The main technical tools used are the twisted Fourier-Mukai transform and a spectral cover construction. For the important example of such principal bundles, the numerical invariants of a 3-dimensional non-Kähler elliptic principal bundle over a primary Kodaira surface are computed.
