相关论文: T-spectra and Poincar\'e Duality

Whatever it is that animates anima and breathes life into higher algebra, this something leaves its trace in the structure of a Dirac ring on the homotopy groups of a commutative algebra in spectra. In the prequel to this paper, we…

Poincare duality lies at the heart of the homological theory of manifolds. In the presence of the action of a group it is well-known that Poincare duality fails in Bredon's ordinary, integer-graded equivariant homology. We give here a…

Over any smooth algebraic variety over a $p$-adic local field $k$, we construct the de Rham comparison isomorphisms for the \'etale cohomology with partial compact support of de Rham $\mathbb Z_p$-local systems, and show that they are…

We prove a Riemann-Roch theorem of an entirely novel nature for divisors on the Arakelov compactification of the algebraic spectrum of the integers. This result relies on the introduction of three key concepts: the cohomologies (attached to…

We give a short proof of the duality theorem for the reduced $L_p$-cohomology of a complete oriented Riemannian manifold.

We prove a conjecture of Bhatt-Hansen that derived pushforwards along proper morphisms of rigid-analytic spaces commute with Verdier duality on Zariski-constructible complexes. In particular, this yields duality statements for the…

We investigate Gamma-cohomology of some commutative cooperation algebras E_*E associated with certain periodic cohomology theories. For KU and E(1), the Adams summand at a prime p, and for KO we show that Gamma-cohomology vanishes above…

This is a paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In two previous papers, we develop the basic theory of formal manifolds,…

This book contains a detailed exposition of the nonhomogeneous Koszul duality theory in the relative situation over a noncentral, noncommutative, nonsemisimple base ring, as announced in Section 0.4 of arXiv:0708.3398. We prove the…

We compute the cohomology of the quotient algebra $\mathcal{A}(2)$ of the $\mathbb{R}$-motivic dual Steenrod algebra. We do so by running a $\rho$-Bockstein spectral sequence whose input is the cohomology of $\mathbb{C}$-motivic…

To every tree we associate a filtered cochain complex. Its cohomology and the corresponding spectral sequence have clear combinatorial description. If a tree is the Dynkin diagram of a simple plane curve singularity, the graded Euler…

Let T be a torus. We show that Koszul duality can be used to compute the equivariant cohomology of topological T-spaces as well as the cohomology of pull backs of the universal T-bundle. The new features are that no further assumptions…

We prove a Verdier Hypercovering Theorem for cohomology theories arising from motivic spectra. This allows us to construct for smooth quasi-projective complex varieties a natural morphism from etale algebraic to Hodge filtered complex…

We study Poincar\'e Duality in the context of abstract 6-functor formalisms. In particular, we give a small and simple list of assumptions that implies Poincar\'e Duality. As an application, we give new uniform (and essentially formal)…

For a group $G$ (of type $F$) acting properly on a coarse Poincar\'{e} duality space $X$, Kapovich-Kleiner introduced a coarse version of Alexander duality between $G$ and its complement in $X$. More precisely, the cohomology of $G$ with…

We consider cohomology of diagrams of algebras by Beck's approach, using comonads. We then apply this theory to computing the cohomology of $\Psi$-rings. Our main result is that there is a spectral sequence connecting the cohomology of the…

We introduce and develop the notion of "unipotent spectra." This is defined to be the stabilization of To\"en's category of affine stacks, and is related to recent work of Mondal--Reinecke. Unipotent spectra give rise to unipotent stable…

We show that the $\mathbb{Z}/2$-equivariant Morava K-theories with reality (as defined by Hu) are self-dual with respect to equivariant Anderson duality. In particular, there is a universal coefficients exact sequence in Morava K-theory…

We give an explicit formula for the duality, previously conjectured by Horja and Borisov, of two systems of GKZ hypergeometric PDEs. We prove that in the appropriate limit this duality can be identified with the inverse of the Euler…

For having a Poincar\'e duality via a cap product between the intersection homology of a paracompact oriented pseudomanifold and the cohomology given by the dual complex, G. Friedman and J. E. McClure need a coefficient field or an…