Flat base change formulas for \((\mathfrak{g}, K)\)-modules over Noetherian rings (Q1783391)

The theory of \((\mathfrak{g}, K)\)-modules is an algebraic approach to representation theory of real reductive Lie groups. Recently, integral and rational structures of real reductive groups and their representations have been studied by \textit{G. Harder} [``Harish-Chandra modules over \(\mathbb{Z}\)'', Preprint, \url{arXiv:1407.0574}] and \textit{M. Harris} [Int. Math. Res. Not. 2013, No. 9, 2000--2053 (2013; Zbl 1355.11058)], \textit{F. Januszewski} [Math. Ann. 370, No. 3--4, 1805--1881 (2018; Zbl 1403.11042)]. Fix \(k\) as a commutative ground ring. A pair \((\mathcal{A},K)\) consists of a flat affine group scheme \(K\) satisfying and a \(k\)-algebra \(\mathcal{A}\) with a \(K\)-action. According to the author's result [``Dg analogues of the Zuckerman functors and the dual Zuckerman functors. I, II'', Preprint, \url{arXiv:1507.06405}]: ``for a map \((\mathcal{A}, K)\to(\mathfrak{B}, L)\), the forgetful functor \(\mathcal{F}^{\mathcal{A},K}_{\mathcal{B},L}\) from the category of \((\mathcal{B}, L)\)-modules to that of \((\mathcal{A}, K)\)-modules admits a right adjoint functor \(I{\mathcal{B},L}_{\mathcal{A},K}\).'' The author discusses the flat base change formulas of the functor \(I{\mathcal{B},L}_{\mathcal{A},K}\) and its derived functor. In particular, a flat base change theorem for \(A_{\mathfrak q}(\lambda)\) is obtained.