Related papers: Local fibered right adjoints are polynomial

Let $(R,\mathfrak{m})$ be a complete local ring, and $G={\rm gr}_{\mathfrak{m}}(R)$ be its associated graded ring. We introduce a homogenization technique which allows to relate $G$ to the special fiber and $R$ to the generic fiber of a…

We provide a more economical refined version of Evrard's categorical cocylinder factorization of a functor [Ev1,2]. We show that any functor between small categories can be factored into a homotopy equivalence followed by a (co)fibred…

We prove that every finitary polynomial endofunctor of a category $C$ has a final coalgebra if $C$ is locally Cartesian closed, has finite disjoint coproducts and a natural number object. More generally, we prove that the category of…

Grothendieck proved that if $f:X\longrightarrow Y$ is a proper morphism of nice schemes, then $Rf_*$ has a right adjoint, which is given as tensor product with the relative canonical bundle. The original proof was by patching local data.…

We study the relation of the notion of weak admissibility in families of filtered phi-modules, as considered in a companion paper, with the adjoint quotient. We show that the weakly admissible subset is an open subvariety in the fibers over…

We provide a criterion for the existence of right approximations in cocomplete additive categories; it is a straightforward generalisation of a result due to El Bashir. This criterion is used to construct adjoint functors in homotopy…

We derive a formula for the adjoint $\overline{A}$ of a square-matrix operation of the form $C=f(A)$, where $f$ is holomorphic in the neighborhood of each eigenvalue. We then apply the formula to derive closed-form expressions in particular…

In this paper, we formulate and prove a local intertwining relation for metaplectic groups assuming the local intertwining relation for non-quasi-split odd special orthogonal groups.

Around 1960, R. Palais and J. Cerf proved a fundamental result relating spaces of diffeomorphisms and imbeddings of manifolds: If V is a submanifold of M, then the map from Diff(M) to Imb(V,M) that takes f to its restriction to V is locally…

We study affine maps between affine manifolds. Even when the fibers are compact and diffeomorphic, two of them can inherit different affine structures from the source space. This leads to a fixed linear holonomy deformation theory of the…

If $D$ is a Reedy category and $M$ is a model category, the category $M^{D}$ of $D$-diagrams in $M$ is a model category under the Reedy model category structure. If $C \to D$ is a Reedy functor between Reedy categories, then there is an…

For a small simplicial category A, we prove that the homotopy colimit functor from the category of simplicial diagrams on A to the category of simplicial sets over the homotopy-coherent nerve of A provides a left Quillen equivalence between…

In this paper we describe two ways on which cofibred categories give rise to bisimplicial sets. The "fibred nerve" is a natural extension of Segal's classical nerve of a category, and it constitutes an alternative simplicial description of…

Let $\mathcal F=(F, +. \cdot, <, 0, 1, \dots)$ be a definably complete locally o-minimal expansion of an ordered field. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several…

We investigate functors between abelian categories having a left adjoint and a right adjoint that are \emph{similar} (these functors are called \emph{quasi-Frobenius functors}). We introduce the notion of a \emph{quasi-Frobenius bimodule}…

We show under mild hypotheses that a Quillen adjunction between stable model categories induces another Quillen adjunction between their left localizations, and we provide conditions under which the localized adjunction is a Quillen…

We discuss and prove a number of cohomological results for Milnor fibers, real links, and complex links of local complete intersections with singularities of arbitrary dimension.

We prove that if $X$ and $S$ are smooth varieties and $f\colon X\to S$ is an elliptic fibration with singular fibers curves of types I$_N$ with $N\geq 1$, II, III and IV, then the relative Jacobian $\hat{f}\colon \bar{M}_{X/S}\to S$ of $f$,…

Let f:X->Y be an algebraic fiber space such that the general fiber has a good minimal model. We show that if f is the Iitaka fibration or if f is the Albanese map of relative dimension no more than three, then X has a good minimal model.

For a localization of a smooth proper category along a subcategory preserved by the Serre functor, we show that morphisms in Efimov's algebraizable categorical formal punctured neighborhood of infinity can be computed using the natural cone…