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.

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.

We study the coinduction functor on the category of FI-modules and its variants. Using the coinduction functor, we give new and simpler proofs of (generalizations of) various results on homological properties of FI-modules. We also prove that any finitely generated projective VI-module over a field of characteristic 0 is injective.

In this paper we study the singularities of holomorphic functions of bicomplex variables introduced by G. B. Price ($An Introduction to Multicomplex Spaces and Functions$, Dekker, New York,1991). In particular, we use computational algebra techniques to show that even in the case of one bicomplex variable, there cannot be compact singularities. The same techniques allow us to prove a duality theorem for such functions.

In this paper we describe an inductive machinery to investigate asymptotic behaviors of homology groups and related invariants of representations of certain graded combinatorial categories over a commutative Noetherian ring k, via introducing inductive functors which generalize important properties of shift functors of FI-modules. In particular, a sufficient criterion for finiteness of Castelnuovo-Mumford regularity of finitely generated representations of these categories is obtained. As applications, we show that a few important infinite combinatorial categories appearing in representation stability theory are equipped with inductive functors, and hence the finiteness of Castelnuovo-Mumford regularity of their finitely generated representations is guaranteed. We also prove that truncated representations of these categories have linear minimal resolutions by relative projective modules, which are precisely linear minimal projective resolutions when k is a field of characteristic 0.

This paper applies$K$-homology to solve the index problem for a class of hypoelliptic (but not elliptic) operators on contact manifolds.$K$-homology is the dual theory to$K$-theory. We explicitly calculate the$K$-cycle (i.e., the element in geometric$K$-homology) determined by any hypoelliptic Fredholm operator in the Heisenberg calculus.

We show that the FI-homology of an FI-module can be computed via a Koszul complex. As an application, we prove that the Castelnuovo-Mumford regularity of a finitely generated torsion FI-module is equal to its degree.

Let k be a commutative Noetherian ring and C−− be a locally finite k-linear category equipped with a self-embedding functor of degree 1. We show under a moderate condition that finitely generated torsion representations of C−− are super finitely presented (that is, they have projective resolutions each term of which is finitely generated). In the situation that these self-embedding functors are genetic functors, we give upper bounds for homological degrees of finitely generated torsion modules. These results apply to quite a few categories recently appearing in representation stability theory. In particular, when k is a field of characteristic 0, we obtain another upper bound for homological degrees of finitely generated FI-modules.

Let $D$ be a Dedekind scheme with the characteristic of all residue fields not equal to 2. To every tame cover $C\to D$ with only odd ramification we associate a second Stiefel-Whitney class in the second cohomology with mod 2 coefficients of a certain tame orbicurve $[D]$ associated to $D$ . This class is then related to the pull-back of the second Stiefel-Whitney class of the push-forward of the line bundle of half of the ramification divisor. This shows (indirectly) that our Stiefel-Whitney class is the pull-back of a sum of cohomology classes considered by Esnault, Kahn and Viehweg in ‘Coverings with odd ramification and Stiefel-Whitney classes’. Perhaps more importantly, in the case of a proper and smooth curve over an algebraically closed field, our Stiefel-Whitney class is shown to be the pull-back of an invariant considered by Serre in ‘Revêtements à ramification impaire et thêta-caractéristiques’, and in this case our arguments give a new proof of the main result of that article.

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 construct relative and global Euler sequences of a module. We apply it to prove some acyclicity results of the Koszul complex of a module and to compute the cohomology of the sheaves of (relative and absolute) differential $p$ -forms of a projective bundle. In particular we generalize Bott’s formula for the projective space to a projective bundle over a scheme of characteristic zero.

In the first part of this paper, we study Koszul property of directed graded categories. In the second part of this paper, we prove a general criterion for an infinite directed category to be Koszul. We show that infinite directed categories in the theory of representation stability are Koszul over a field of characteristic zero

In this paper we describe a machinery for homological calculations of representations of FI_G, and use it to develop a local cohomology theory over any commutative Noetherian ring. As an application, we show that the depth introduced by the second author coincides with a more classical invariant from commutative algebra, and obtain upper bounds of a few important invariants of FI_G-modules in terms of torsion degrees of their local cohomology groups.

No abstract uploaded!

We use techniques from both real and complex algebraic geometry to study$K$-theoretic and related invariants of the algebra$C$($X$) of continuous complex-valued functions on a compact Hausdorff topological space$X$. For example, we prove a parameterized version of a theorem by Joseph Gubeladze; we show that if$M$is a countable, abelian, cancellative, torsion-free, semi-normal monoid, and$X$is contractible, then every finitely generated projective module over$C$($X$)[$M$] is free. The particular case $$ M = \mathbb{N}_0^n $$ gives a parameterized version of the celebrated theorem proved independently by Daniel Quillen and Andrei Suslin that finitely generated projective modules over a polynomial ring over a field are free. The conjecture of Jonathan Rosenberg which predicts the homotopy invariance of the negative algebraic$K$-theory of$C$($X$) follows from the particular case $$ M = {\mathbb{Z}^n} $$ . We also give algebraic conditions for a functor from commutative algebras to abelian groups to be homotopy invariant on$C$^{*}-algebras, and for a homology theory of commutative algebras to vanish on$C$^{*}-algebras. These criteria have numerous applications. For example, the vanishing criterion applied to nil$K$-theory implies that commutative$C$^{*}-algebras are$K$-regular. As another application, we show that the familiar formulas of Hochschild–Kostant–Rosenberg and Loday–Quillen for the algebraic Hochschild and cyclic homology of the coordinate ring of a smooth algebraic variety remain valid for the algebraic Hochschild and cyclic homology of$C$($X$). Applications to the conjectures of Beĭlinson-Soulé and Farrell–Jones are also given.

Some uniform theorems on the artinianness of certain local cohomology modules are proven in a general situation. They generalize and imply previous results about the artinianness of some special local cohomology modules in the graded case.

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.

Let $\Lambda$ be a finite dimensional algebra and $G$ be a finite group whose elements act on $\Lambda$ as algebra automorphisms. Under the assumption that $\Lambda$ has a complete set $E$ of primitive orthogonal idempotents, closed under the action of a Sylow $p$-subgroup $S \leqslant G$, we show that the skew group algebra $\Lambda G$ and $\Lambda$ have the same finitistic dimension and the same strong global dimension if the action of $S$ on $E$ is free. Using a homological characterization of piecewise hereditary algebras proved by Happel and Zacharia, we deduce that $\Lambda G$ is piecewise hereditary if and only if $S$ acts freely on $E$ and $\Lambda$ is piecewise hereditary as well.

No abstract uploaded!

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} $$ .

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.

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.

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.

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.