Related papers: The symmetric power and \'{e}tale realisation func…
Let $f$ be a cuspidal Hecke eigenform of level 1. We prove the automorphy of the symmetric power lifting $\mathrm{Sym}^n f$ for every $n \geq 1$. We establish the same result for a more general class of cuspidal Hecke eigenforms, including…
The main purpose of this paper is to introduce a method to stabilize certain spaces of homomorphisms from finitely generated free abelian groups to a Lie group $G$, namely $Hom(\mathbb Z^n,G)$. We show that this stabilized space of…
We investigate functorial properties of Putnam's homology theory for Smale spaces. Our analysis shows that the addition of a conjugacy condition is necessary to ensure functoriality. Several examples are discussed that elucidate the need…
We establish a purely geometric form of the concentration theorem (also called localization theorem) for actions of a linearly reductive group $G$ on an affine scheme $X$ over an affine base scheme $S$. It asserts the existence of a…
We introduce a notion of formally \'etale $\mathbb{E}_{\infty}$-coalgebras and show that they admit essentially unique, functorial lifts along square zero extensions of $\mathbb{E}_{\infty}$-rings. Using this, we show that for a perfect…
We consider closed, Weyl-transitive groups of automorphisms of thick buildings. For each element of such a group, we derive a combinatorial formula for its scale and establish the existence of a tidy subgroup for it that equals the…
We are interested in quantitative rectifiability results for subsets of infinite dimensional Hilbert space $H$. We prove a version of Azzam and Schul's $d$-dimensional Analyst's Travelling Salesman Theorem in this setting by showing for any…
Using the analytic assembly map that appears in the Baum-Connes conjecture in noncommutative geometry, we generalise the $\Spin^c$-version of the Guillemin-Sternberg conjecture that `quantisation commutes with reduction' to (discrete series…
We study Translation functors and Wall-Crossing functors on infinite dimensional representations of a complex semisimple Lie algebra using D-modules. This functorial machinery is then used to prove the Endomorphism-theorem and the…
We give a systematic account of the various pictures of KK-theory for real C*-algebras, proving natural isomorphisms between the groups that arise from each picture. As part of this project, we develop the universal properties of KK-theory,…
By adapting the work of Kudla and Millson we obtain a lifting of cuspidal cohomology classes for the symmetric space associated to GO(V) for an indefinite rational quadratic space V of even dimension to holomorphic Siegel modular forms on…
This paper investigates the transformation of determinants of pairs of Fredholm operators with trace class commutators. We study the extent to which the functional calculus commutes, modulo operator ideals, with projections in a finitely…
We determine all pairs of real numbers $(\alpha, \beta)$ such that the dilated floor functions $\lfloor \alpha x\rfloor$ and $\lfloor \beta x\rfloor$ commute under composition, i.e., such that $\lfloor \alpha \lfloor \beta x\rfloor\rfloor =…
We show that certain tilting results for quivers are formal consequences of stability, and as such are part of a formal calculus available in any abstract stable homotopy theory. Thus these results are for example valid over arbitrary…
We give a new formulation and proof of a theorem of Halmos and Wallen on the structure of power partial isometries on Hilbert space. We then use this theorem to give a structure theorem for a finite set of partial isometries which…
We show how the formal Wirthmuller isomorphism theorem proven in "Isomorphisms between left and right adjoints", by Fausk, Hu, and May, simplifies the proof of the Wirthmuller isomorphism in equivariant stable homotopy theory. Other…
We study the commutants of a Schr\"{o}dinger operator whose potential function possesses inverse square singularities along some hyperplanes passing through the origin. It is shown that the Weyl group symmetry of the potential function and…
We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an \'etale topological realization of the stable motivic homotopy theory of smooth schemes over a base…
Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the…
We establish the existence of the symmetric power liftings of all holomorphic Hecke eigenforms.