We give bounds for various homological invariants (including Castelnuovo-Mumford regularity, degrees of local cohomology, and injective dimension) of finitely generated VI-modules in the non-describing characteristic case. It turns out that the formulas of these bounds for VI-modules are the same as the formulas of corresponding bounds for FI-modules.

We define an analogue of the Casimir element for a graded affine Hecke algebra $$ \mathbb{H} $$ , and then introduce an approximate square-root called the Dirac element. Using it, we define the Dirac cohomology$H$^{$D$}($X$) of an $$ \mathbb{H} $$ -module$X$, and show that$H$^{$D$}($X$) carries a representation of a canonical double cover of the Weyl group $$ \widetilde{W} $$ . Our main result shows that the $$ \widetilde{W} $$ -structure on the Dirac cohomology of an irreducible $$ \mathbb{H} $$ -module$X$determines the central character of$X$in a precise way. This can be interpreted as$p$-adic analogue of a conjecture of Vogan for Harish-Chandra modules. We also apply our results to the study of unitary representations of $$ \mathbb{H} $$ .

Let k be a commutative Noetherian ring. In this paper we consider filtered modules of the category FI firstly introduced by Nagpal. We show that a finitely generated FI-module V is filtered if and only if its higher homologies all vanish, and if and only if a certain homology vanishes. Using this homological characterization, we characterize finitely generated FI-modules V whose projective dimension is finite, and describe an upper bound for it. Furthermore, we give a new proof for the fact that V induces a finite complex of filtered modules, and use it as well as a result of Church and Ellenberg to obtain another upper bound for homological degrees of V.

Given a closed exact Lagrangian in the cotangent bundle of a closed smooth manifold, we prove that the projection to the base is a simple homotopy equivalence.

We present a version of a proof by Andy Chermak of the existence and uniqueness of centric linking systems associated with arbitrary saturated fusion systems. This proof differs from the one in [Ch2] in that it is based on the computation of derived functors of certain inverse limits. This leads to a much shorter proof, but one which is aimed mostly at researchers familiar with homological algebra.

Topological cyclic homology is a refinement of Connes–Tsygan’s cyclic homology which was introduced by Bökstedt–Hsiang–Madsen in 1993 as an approximation to algebraic K-theory. There is a trace map from algebraic K-theory to topological cyclic homology, and a theorem of Dundas–Goodwillie–McCarthy asserts that this induces an equivalence of relative theories for nilpotent immersions, which gives a way for computing K-theory in various situations. The construction of topological cyclic homology is based on genuine equivariant homotopy theory, the use of explicit point-set models, and the elaborate notion of a cyclotomic spectrum. The goal of this paper is to revisit this theory using only homotopy-invariant notions. In particular, we give a new construction of topological cyclic homology. This is based on a new definition of the ∞-category of cyclotomic spectra: We define a cyclotomic spectrum to be a spectrum X with S1-action (in the most naive sense) together with S1-equivariant maps φp:X→XtCp for all primes p. Here, XtCp=cofib(Nm:XhCp→XhCp) is the Tate construction. On bounded below spectra, we prove that this agrees with previous definitions. As a consequence, we obtain a new and simple formula for topological cyclic homology. In order to construct the maps φp:X→XtCp in the example of topological Hochschild homology, we introduce and study Tate-diagonals for spectra and Frobenius homomorphisms of commutative ring spectra. In particular, we prove a version of the Segal conjecture for the Tate-diagonals and relate these Frobenius homomorphisms to power operations.

We give two homological proofs of the Noetherianity of the category FI, a fundamental result discovered by Church, Ellenberg, Farb, and Nagpal.

In this paper we consider several homological dimensions of crossed products $A _{\alpha} ^{\sigma} G$, where $A$ is a left Noetherian ring and $G$ is a finite group. We revisit the induction and restriction functors in derived categories, generalizing a few classical results for separable extensions. The global dimension and finitistic dimension of $A ^{\sigma} _{\alpha} G$ are classified: global dimension of $A ^{\sigma} _{\alpha} G$ is either infinity or equal to that of $A$, and finitistic dimension of $A ^{\sigma} _{\alpha} G$ coincides with that of $A$. A criterion for skew group rings to have finite global dimensions is deduced. Under the hypothesis that $A$ is a semiprimary algebra containing a complete set of primitive orthogonal idempotents closed under the action of a Sylow $p$-subgroup $S \leqslant G$, we show that $A$ and $A _{\alpha} ^{\sigma} G$ share the same homological dimensions under extra assumptions.

We prove that every homomorphism $\mathcal{O}^{E}_{\zeta}\rightarrow\mathcal{O}^{F}_{\zeta}$ , with$E$and$F$Banach spaces and ζ∈ℂ^{$m$}, is induced by a $\mathop{\mathrm{Hom}}(E,F)$ -valued holomorphic germ, provided that 1≤$m$<∞. A similar structure theorem is obtained for the homomorphisms of type $\mathcal{O}^{E}_{\zeta}\rightarrow\mathcal{S}_{\zeta}$ , where $\mathcal{S}_{\zeta}$ is a stalk of a coherent sheaf of positive depth. We later extend these results to sheaf homomorphisms, obtaining a condition on coherent sheaves which guarantees the sheaf to be equipped with a unique analytic structure in the sense of Lempert–Patyi.

Earlier, for an action of a finite group$G$on a germ of an analytic variety, an equivariant$G$-Poincaré series of a multi-index filtration in the ring of germs of functions on the variety was defined as an element of the Grothendieck ring of$G$-sets with an additional structure. We discuss to which extent the$G$-Poincaré series of a filtration defined by a set of curve or divisorial valuations on the ring of germs of analytic functions in two variables determines the (equivariant) topology of the curve or of the set of divisors.