Related papers: The Transfer is Functorial

Let $F$ be a local or global field and let $G$ be a linear algebraic group over $F$. We study Tannakian categories of representations of the Kottwitz gerbes $\text{Rep}(\text{Kt}_{F})$ and the functor $G\mapsto B(F, G)$ defined by Kottwitz…

A factorisation problem in the symmetric group is central if conjugate permutations always have the same number of factorisations. We give the first fully combinatorial proof of the centrality of transitive star factorisations that is valid…

The notion of a semitransitive binary action of a group $G$ on a topological space is introduced. A duality theorem is proved, establishing a bijective correspondence between semitransitive distributive binary $G$-spaces and topological…

Let $k$ be an algebraically closed field of positive characteristic $p$ and let $\mathbb{F}$ be an algebraically closed field of characteristic 0. We consider Alperin's weight conjecture (over $k$) from the point of view of (stable)…

Spectral Mackey functors are homotopy-coherent versions of ordinary Mackey functors as defined by Dress. We show that they can be described as excisive functors on a suitable infinity-category, and we use this to show that universal…

We define a turning of a rank-$2k$ vector bundle $E \to B$ to be a homotopy of bundle automorphisms $\psi_t$ from $\mathbb{Id}_E$, the identity of $E$, to $-\mathbb{Id}_E$, minus the identity, and call a pair $(E, \psi_t)$ a turned bundle.…

Let $f:E\longrightarrow O$ be a Hurewicz fibration with a fiber space $F_{r_{o}}$ and a lifting function $L_{f}$. The \emph{$Lf-$function} $\Theta_{L_{f}}$ of $f$ is defined by the restriction map of $L_{f}$ on the space…

In this article we study the Picard functor and the Picard stack of an algebraic stack. We give a new and direct proof of the representability of the Picard stack. We prove that it is quasi-separated, and that the connected component of the…

It is proved by the method of partial fraction expansions and Sturm's oscillation theory that the zeros of certain Hankel transforms are all real and distributed regularly between consecutive zeros of Bessel functions. As an application,…

We propose a simplified definition of Quillen's fibration sequences in a pointed model category that fully captures the theory, although it is completely independent of the concept of action. This advantage arises from the understanding…

The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between B\'enabou's…

In this paper we prove an inverse function theorem in derived differential geometry. More concretely, we show that a morphism of curved $L_\infty$ spaces which is a quasi-isomorphism at a point has a local homotopy inverse. This theorem…

We generalize and clarify Gerstenhaber and Schack's "Special Cohomology Comparison Theorem". More specifically we obtain a fully faithful functor between the derived categories of bimodules over a prestack over a small category U and the…

We generalize Baker-Bowler's theory of matroids over tracts to orthogonal matroids, define orthogonal matroids with coefficients in tracts in terms of Wick functions, orthogonal signatures, circuit sets, and orthogonal vector sets, and…

This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are no hypothesis on the continuity of the partial…

We address the recently introduced notions of generalized principal bundle and generalized principal connection by keeping track of global geometric properties through local coordinate transformation laws. This approach leads us to…

Let K be a function field and C a non-isotrivial curve of genus g >= 2 over K. In this paper, we will show that if C has a global stable model with only geometrically irreducible fibers, then Bogomolov conjecture over function fields holds.

We use motivic methods to give a quick proof of Berthelot's conjecture stating that the push-forward map in rigid cohomology of the structural sheaf along a smooth and proper map has a canonical structure of overconvergent F-isocrystal on…

This is the author's PhD thesis. It is a contribution to categorical logic, in particular to the theory of realizability toposes. While the tools of categorical logic have proven very successful in analyzing and organizing proof theoretic…

In this expository article, we give the foundations, basic facts, and first examples of unstable motivic homotopy theory with a view towards the approach of Asok-Fasel to the classification of vector bundles on smooth complex affine…