An index theorem for gauge-invariant families: The case of solvable groups

We define the gauge-equivariant index of a family of elliptic operators invariant with respect to the free action of a family \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal{G} \to B$$ \end{document} of Lie groups (these families are called ``gauge-invariant families'' in what follows). If the fibers of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal{G} \to B$$ \end{document} are simply-connected and solvable, we compute the Chern character of the gauge-equivariant index, the result being given by an Atiyah–Singer type formula that incorporates also topological information on the bundle \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal{G} \to B$$ \end{document}. The algebras of invariant pseudodifferential operators that we study, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\psi _{{\text{inv}}}^\infty (Y)$$ \end{document} and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $${\psi }_{{inv}}^\infty (Y)$$ \end{document}, are generalizations of ``parameter dependent'' algebras of pseudodifferential operators (with parameter in Rq), so our results provide also an index theorem for elliptic, parameter dependent pseudodifferential operators. We apply these results to study Fredholm boundary conditions on a simplex.