相关论文: External Spanier-Whitehead duality and homology re…

We use super $q$-Howe duality to provide diagrammatic presentations of an idempotented form of the Hecke algebra and of categories of $\mathfrak{gl}_N$-modules (and, more generally, $\mathfrak{gl}_{N|M}$-modules) whose objects are tensor…

We consider the category of comodules over a smash coproduct coalgebra $C\smashco H$. We show that there is a Grothendieck spectral sequence connecting the derived functors of the Hom functors coming from $C\smashco H$-colinear,…

Let G be a connected reductive complex affine algebraic group, and let X denote the moduli space of G-valued representations of a rank r free group. We first characterize the singularities in X, extending a theorem of Richardson and proving…

Arithmetic duality theorems over a local field $k$ are delicate to prove if $\mathrm{char} k > 0$. In this case, the proofs often exploit topologies carried by the cohomology groups $H^n(k, G)$ for commutative finite type $k$-group schemes…

The category of rational G-equivariant cohomology theories for a compact Lie group $G$ is the homotopy category of rational G-spectra and therefore tensor-triangulated. We show that its Balmer spectrum is the set of conjugacy classes of…

The purpose of this paper is mainly to record how certain homotopy-theoretical constructions on ordinary G-equivariant cohomology spectra HM for a Mackey functor M, in particular products and duality, can be described on chain level. We…

Results on symplectic spinors and their higher spin versions, concerning representation theory and cohomology properties are presented. Exterior forms with values in the symplectic spinors are decomposed into irreducible modules including…

We build model structures on the category of equivariant simplicial operads with a fixed set of colors, with weak equivalences determined by families of subgroups. In particular, by specifying to the family of graph subgroups (or, more…

We prove cocontinuity of the $\max$-tensor product of C*-categories and develop a framework to perform factorization homology in a C*-setting. In such context, we specialize some results of D. Ben-Zvi, A. Brochier and D. Jordan. As a…

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…

Fix a noetherian scheme S. For any flat map f: X->Y of separated essentially-finite-type perfect S-schemes we define a canonical derived-category map c(f):\H(X)->f^!\H(Y), the fundamental class of f, where \H(Z) is the (pre-)Hochschild…

Let G be a profinite group, {X_alpha}_alpha a cofiltered diagram of discrete G-spectra, and Z a spectrum with trivial G-action. We show how to define the homotopy fixed point spectrum F(Z, holim_alpha X_alpha)^{hG} and that when G has…

We discuss a connection between coherent duality and Verdier duality via a Gersten-type complex of sheaves on real schemes, and show that this construction gives a dualizing object in the derived category, which is compatible with the…

Let G be a finite group. The unit sphere in a finite-dimensional orthogonal G-representation motivates the definition of homotopy representations, due to tom Dieck. We introduce an algebraic analogue, and establish its basic properties…

We establish a connection between certain unique models, or equivalently unique functionals, for representations of p-adic groups and linear characters of their corresponding Hecke algebras. This allows us to give a uniform evaluation of…

We develop an equivariant version of Seiberg-Witten-Floer cohomology for finite group actions on rational homology $3$-spheres. Our construction is based on an equivariant version of the Seiberg-Witten-Floer stable homotopy type, as…

We use String Field Theory (SFT) to construct a higher analogue of Bunke-Schick's functor $P: \mathbf{Top}^{op} \to \mathbf{Set}$ \cite{BunkeS1} by geometrizing $P.$ We use the projection of SFT onto its massless modes \cite{SFTDiffeo} to…

In the rational cohomology of a 1-connected space a structure of $C_{\infty}$-algebra is constructed and it is shown that this object determines the rational homotopy type

We construct a category $\mathrm{HomCob}$ whose objects are {\it homotopically 1-finitely generated} topological spaces, and whose morphisms are {\it cofibrant cospans}. Given a manifold submanifold pair $(M,A)$, we prove that there exists…

Given a spin rational homology sphere $Y$ equipped with a $\mathbb{Z}/m$-action preserving the spin structure, we use the Seiberg--Witten equations to define equivariant refinements of the invariant $\kappa(Y)$ from \cite{Man14}, which take…