Derived induction and restriction theory

Let $G$ be a finite group. To any family $\mathscr{F}$ of subgroups of $G$, we associate a thick $\otimes$-ideal $\mathscr{F}^{\mathrm{Nil}}$ of the category of $G$-spectra with the property that every $G$-spectrum in $\mathscr{F}^{\mathrm{Nil}}$ (which we call $\mathscr{F}$-nilpotent) can be reconstructed from its underlying $H$-spectra as $H$ varies over $\mathscr{F}$. A similar result holds for calculating $G$-equivariant homotopy classes of maps into such spectra via an appropriate homotopy limit spectral sequence. In general, the condition $E\in \mathscr{F}^{\mathrm{Nil}}$ implies strong collapse results for this spectral sequence as well as its dual homotopy colimit spectral sequence. As applications, we obtain Artin and Brauer type induction theorems for $G$-equivariant $E$-homology and cohomology, and generalizations of Quillen's $\mathcal{F}_p$-isomorphism theorem when $E$ is a homotopy commutative $G$-ring spectrum. We show that the subcategory $\mathscr{F}^{\mathrm{Nil}}$ contains many $G$-spectra of interest for relatively small families $\mathscr{F}$. These include $G$-equivariant real and complex $K$-theory as well as the Borel-equivariant cohomology theories associated to complex oriented ring spectra, any $L_n$-local spectrum, the classical bordism theories, connective real $K$-theory, and any of the standard variants of topological modular forms. In each of these cases we identify the minimal family such that these results hold.Comment: 63 pages. Many edits and some simplifications. Final version, to appear in Geometry and Topolog

Nilpotence and descent in equivariant stable homotopy theory

Let $G$ be a finite group and let $\mathscr{F}$ be a family of subgroups of $G$. We introduce a class of $G$-equivariant spectra that we call $\mathscr{F}$-nilpotent. This definition fits into the general theory of torsion, complete, and nilpotent objects in a symmetric monoidal stable $\infty$-category, with which we begin. We then develop some of the basic properties of $\mathscr{F}$-nilpotent $G$-spectra, which are explored further in the sequel to this paper. In the rest of the paper, we prove several general structure theorems for $\infty$-categories of module spectra over objects such as equivariant real and complex $K$-theory and Borel-equivariant $MU$. Using these structure theorems and a technique with the flag variety dating back to Quillen, we then show that large classes of equivariant cohomology theories for which a type of complex-orientability holds are nilpotent for the family of abelian subgroups. In particular, we prove that equivariant real and complex $K$-theory, as well as the Borel-equivariant versions of complex-oriented theories, have this property.Comment: 63 pages. Revised version, to appear in Advances in Mathematic

On a nilpotence conjecture of J.P. May

We prove a conjecture of J.P. May concerning the nilpotence of elements in ring spectra with power operations, i.e., $H_\infty$-ring spectra. Using an explicit nilpotence bound on the torsion elements in $K(n)$-local $H_\infty$-algebras over $E_n$, we reduce the conjecture to the nilpotence theorem of Devinatz, Hopkins, and Smith. As corollaries we obtain nilpotence results in various bordism rings including $M\mathit{Spin}_*$ and $M\mathit{String}_*$, results about the behavior of the Adams spectral sequence for $E_\infty$-ring spectra, and the non-existence of $E_\infty$-ring structures on certain complex oriented ring spectra.Comment: 17 pages. To appear in Journal of Topolog

An LMI based Robust H? SOF Controller for AVR in an SMIB System

This paper presents the design of an H? (H-infinity) controller to stabilize an uncertain power system using mixed sensitivity approach through an iterative LMI (Linear Matrix Inequality) algorithm. Here a robust control methodology is suggested to improve the voltage regulation of a synchronous generator. H? control method is used in this control theory to synthesize controller to obtain robust performance and stabilization. This technique has the advantage over classical control techniques that it is readily applicable to the problems including multivariable systems. The proposed robust controller enhances the performance as well as minimizes the disturbances’ effect more effectively. In this paper the controller is designed and simulated under MATLAB/Simulink for electric generator stabilization studies for an SMIB system

Descent and vanishing in chromatic algebraic KK-theory via group actions

We prove some $K$-theoretic descent results for finite group actions on stable $\infty$-categories, including the $p$-group case of the Galois descent conjecture of Ausoni-Rognes. We also prove vanishing results in accordance with Ausoni-Rognes's redshift philosophy: in particular, we show that if $R$ is an $\mathbb{E}_\infty$-ring spectrum with $L_{T(n)}R=0$, then $L_{T(n+1)}K(R)=0$. Our key observation is that descent and vanishing are logically interrelated, permitting to establish them simultaneously by induction on the height.Comment: 47 pages, comments welcom

Influence of Roads Infrastructure Development on Community Livelihood in Dodoma City

This study, which pondered on establishing presence of influences brought up by the development of road infrastructure to the community livelihood in the City of Dodoma, focused on establishing community livelihood baseline status in the City of Dodoma, examine influence that roads network development has had on the community livelihood in the City of Dodoma and to assess strategies for sustainable funding of roads network in Dodoma City. The study intends to examine the influence that roads infrastructure development has on community Livelihood and targeted 99 respondents from roads users and Government officials from Dodoma City and TARURA. The study applies Primary and Secondary data collection whereby questionnaires were used during survey in collecting Primary data and Secondary data were obtained from readings documents in the City Council, internet and past reports. The data collected was sorted, cleared, edited and coded using “Statistical Packages for Social Sciences. The research found that majority of the people interviewed agrees that roads improvement and development enhance community livelihood development and that the baseline indicator for livelihood development is justified by how communities earn income in terms of wage, salar