No abstract uploaded!

No abstract uploaded!

We extend our family rigidity and vanishing theorems in [{\bf LiuMaZ}] to the Spin^ c case. In particular, we prove a K-theory version of the main results of [{\bf H}],[{\bf Liu1}, Theorem B] for a family of almost complex manifolds.

In [W], Witten considered the indices of elliptic operators on the free loop space CM of a spin manifold M. In particular the index of the formal signature operator on the loop space is exactly the elliptic genus of Landweber-Stong-Ochanine [LS],[O]. Motivated by physics, Witten made the conjectures about the rigidity of these elliptic operators which say that their 51-equivariant indices on M are independent of g G Sl. See [L] for the early history of the subject.

We study the classes of modules which are generated by a silting module. In the case of either hereditary or perfect rings, it is proved that these are exactly the torsion T such that the regular module has a special T-preenvelope. In particular, every torsion-enveloping class in Mod-R are of the form Gen(T) for a minimal silting module T. For the dual case, we obtain for general rings that the covering torsion-free classes of modules are exactly the classes of the form Cogen(T), where T is a cosilting module.

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.

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 develop a local cohomology theory for FI^m-modules, and show that it in many ways mimics the classical theory for multi-graded modules over a polynomial ring. In particular, we define an invariant of FI^m-modules using this local cohomology theory which closely resembles an invariant of multi-graded modules over Cox rings defined by Maclagan and Smith. It is then shown that this invariant behaves almost identically to the invariant of Maclagan and Smith.

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.

In this paper we study representation theory of the category FI^m introduced by Gadish which is a product of copies of the category FI, and show that quite a few interesting representational and homological properties of FI can be generalized to FI^m in a natural way. In particular, we prove the representation stability property of finitely generated FI^m -modules over fields of characteristic 0.