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

Let A be a finite dimensional algebra and D^b(A) be the bounded derived category of finitely generated left A-modules. In this paper we consider lengths of compact exceptional objects in D^b(A), proving a sufficient condition such that these lengths are bounded by the number of isomorphism classes of simple A-modules. Moreover, we show that algebras satisfying this condition is bounded derived simple.

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.

The existence of the well-known Jacquet–Langlands correspondence was established by Jacquet and Langlands via the trace formula method in 1970. An explicit construction of such a correspondence was obtained by Shimizu via theta series in 1972. In this paper, we extend the automorphic descent method of Ginzburg–Rallis–Soudry to a new setting. As a consequence, we recover the classical Jacquet–Langlands correspondence for PGL(2) via a new explicit construction.

A decorated surface S is an oriented surface, with or without boundary, and a finite set {s 1,..., s n} of special points on the boundary, considered modulo isotopy. Let G be a split reductive group over [special characters omitted].