Related papers: Kolyvagin's trace relations for Siegel sixfolds
A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize \v{C}ech cohomology theory and invertible sheaves to semiring schemes. In particular, when $X=\mathbb{P}^n_M$, a projective…
This book discusses the construction of triangulated categories of mixed motives over a noetherian scheme of finite dimension, extending Voevodsky's definition of motives over a field. In particular, it is shown that motives with rational…
We compute the space of Poisson traces on symmetric powers of affine symplectic varieties. In the case of symplectic vector spaces, we also consider the quotient by the diagonal translation action, which includes the quotient singularities…
We investigate graded retracts of polytopal algebras (essentially the homogeneous rings of affine cones over projective toric varieties) as polytopal analogues of vector spaces. In many cases we show that these retracts are again polytopal…
We compute the trace of Frobenius on the sheaf of nearby cycles for the integral model of the Siegel modular variety with pro-p Iwahori level structure, constructed by Haines and Stroh, in the case of $\text{GSp}_4$. To this end, we make…
In the present paper we study the variation of the dimensions $h_k$ of spaces of symplectically harmonic cohomology classes (in the sense of Brylinski) on closed symplectic manifolds. We give a description of such variation for all…
We give a new, simple proof of the trace formula for Hecke operators on modular forms for finite index subgroups of the modular group. The proof uses algebraic properties of certain universal Hecke operators acting on period polynomials of…
A spectral sequence for the computation of the Hochschild cohomology of a coconnective dga over a field is presented. This spectral sequence has a similar flavour to the spectral sequence constructed by Cohen, Jones and Yan for the…
We study the multiplicative structure of orbifold Hochschild cohomology in an attempt to generalize the results of Kontsevich and Calaque-Van den Bergh relating the Hochschild and polyvector field cohomology rings of a smooth variety. We…
We introduce new finite-dimensional cohomologies on symplectic manifolds. Each exhibits Lefschetz decomposition and contains a unique harmonic representative within each class. Associated with each cohomology is a primitive cohomology…
A procedure for constructing bivariant theories by means of Grothendieck duality is developed. This produces, in particular, a bivariant theory of Hochschild (co)homology on the category of schemes that are flat, separated and essentially…
The correspondence between Lie algebras, Lie groups, and algebraic groups, on one side and commutative Hopf algebras on the other side are known for a long time by works of Hochschild-Mostow and others. We extend this correspondence by…
Given a Liouville manifold $M$, we introduce an invariant of $M$ that we call the Heegaard Floer symplectic cohomology $SH^*_\kappa(M)$ for any $\kappa \ge 1$ that coincides with the symplectic cohomology for $\kappa=1$. Writing $\hat{M}$…
Kazhdan and Lusztig identified the affine Hecke algebra $\mathcal{H}$ with an equivariant $K$-group of the Steinberg variety, and applied this to prove the Deligne-Langlands conjecture, i.e., the local Langlands parametrization of…
We develop a theory of modulus sheaves with transfers, which generalizes Voevodsky's theory of sheaves with transfers. This paper and its sequel are foundational for the theory of motives with modulus, which is developed in [KMSY20].
A geometric extension algebra is an extension algebra of a semi-simple perverse sheaf (allowing shifts), e.g. a push-forward of the constant sheaf under a projective map. Particular nice situations arise for collapsings of homogeneous…
A systematic study of the contributions at infinity for the cohomology of variations of polarized Hodge structures over quasicompact K\"ahler manifolds. Several isomorphisms between different cohomologies given.
We extend results of Colliot-Th\'el\`ene and Raskind on the $\mathcal{K}_2$-cohomology of smooth projective varieties over a separably closed field $k$ to the \'etale motivic cohomology of smooth, not necessarily projective, varieties over…
The two main approaches to the study of irreducible representations of orders (via traces and Poisson orders) have so far been applied in a completely independent fashion. We define and study a natural compatibility relation between the two…
This is the second companion paper of arXiv:1601.03586. We consider the morphism from the variety of triples introduced in arXiv:1601.03586 to the affine Grassmannian. The direct image of the dualizing complex is a ring object in the…