Related papers: Beck-Chevalley Fibrations

In this paper, we explain how the more general context of generalised equivariant bundles allows for a simple inductive proof of the ECHP. We also make clear the link between the ECHP and the theory of Hurewicz fibrations.

An important result in quasi-category theory due to Lurie is the that cocartesian fibrations are exponentiable, in the sense that pullback along a cocartesian fibration admits a right Quillen right adjoint that moreover preserves cartesian…

We prove that a large class of natural transformations (consisting roughly of those constructed via composition from the "functorial" or "base change" transformations) between two functors of the form $\cdots f^* g_* \cdots$ actually has…

We introduce the notion of $k$-regular factorizations for contractions into $k$ factors, generalizing the classical notion of regular factorization due to Sz.-Nagy and Foia\c{s}, and develop a systematic framework for their analysis. Using…

In his proof of the fundamental lemma, Ng\^o established the product formula for the Hitchin fibration over the anisotropic locus. One expects this formula over the larger generically regular semisimple locus, and we confirm this by…

For $k=1,\ldots,K$, let $A_k$ and $B_k$ be positive semidefinite matrices such that, for each $k$, $A_k$ commutes with $B_k$. We show that, for any unitarily invariant norm, \[ |||\sum_{k=1}^K A_kB_k||| \le ||| (\sum_{k=1}^K…

We enlarge the category of bornological coarse spaces by adding transfer morphisms and introduce the notion of an equivariant coarse homology theory with transfers. We then show that equivariant coarse algebraic $K$-homology and equivariant…

We generalize two classical homotopy theory results, the Blakers-Massey Theorem and Quillen's Theorem B, to G-equivariant cubical diagrams of spaces, for a discrete group G. We show that the equivariant Freudenthal suspension Theorem for…

We derive the geodesic equation for relatively K\"ahler metrics on fibrations and prove that any two such metrics with fibrewise constant scalar curvature are joined by a unique smooth geodesic. We then show convexity of the log-norm…

We give a new proof of the Caffarelli contraction theorem, which states that the Brenier optimal transport map sending the standard Gaussian measure onto a uniformly log-concave probability measure is Lipschitz. The proof combines a recent…

We prove the Benjamin and Lighthill conjecture for all two-dimensional steady water waves with an arbitrary vorticity distribution. We show that the flow force constant of an arbitrary smooth wave is bounded by the corresponding flow force…

Braverman and Kahzdan have introduced an influential conjecture on local functional equations for general Langlands $L$-functions. It is related to L. Lafforgue's equally influential conjectural construction of kernels for functorial…

We present a new kind of normalization theorem: linearization theorem for skew products. The normal form is a skew product again, with the fiber maps linear. It appears, that even in the smooth case, the conjugacy is only H\"older…

In this paper we show that the transverse image of the momentum map of a Hamiltonian Lie group action admits a natural integral affine stratification with the property that over each stratum the momentum map is an equivariantly locally…

Freed, Hopkins and Teleman constructed an isomorphism between twisted equivariant K-theory of compact Lie group $G$ and the "Verlinde ring" of the loop group of $G$. We call this isomorphism FHT isomorphism. However, it does not hold…

Following previous work, we continue the study of infinitesimal methods in mixed Hodge theory. In the first part, inspired by the deformation theory of curves on Calabi-Yau threefolds, we study deformations of smooth $\mathbb{Q}$-log…

Equivariant homotopy methods developed over the last 20 years lead to recent breakthroughs in the Borel isomorphism conjectures for Loday assembly maps in K- and L-theories. An important consequence of these algebraic conjectures is the…

Using topological cyclic homology, we give a refinement of Beilinson's $p$-adic Goodwillie isomorphism between relative continuous $K$-theory and cyclic homology. As a result, we generalize results of Bloch-Esnault-Kerz and Beilinson on the…

Given a closed immersion between arbitrary smooth complex projective varieties, we prove that the two operations: (1) taking the moduli space of stable sheaves, and (2) taking the deformation to the normal cone, commute in a precise sense.…

In general the processes of taking a homotopy inverse limit of a diagram of spectra and smashing spectra with a fixed space do not commute. In this paper we investigate under what additional assumptions these two processes do commute. In…