Related papers: Normed Fiber Functors

Given a Noetherian formal scheme $\hat X$ over ${\rm Spf}(R)$, where $R$ is a complete DVR, we first prove a theorem of meromorphic descent along a possibly infinite cover of $\hat{X}$. Using this we construct a specialization functor from…

The principal aim of this note is to give an elementary proof of the fact that any two fiber functors of a Tannakian category are locally isomorphic. This builds on an idea of Deligne concerning scalar extensions of Tannakian categories and…

Let $F$ be a global field. Let $G$ be a non trivial finite \'etale tame $F$-group scheme. We define height functions on the set of $G$-torsors over $F,$ which generalize the usual heights such as discriminant. As an analogue of the Malle…

We provide conditions for a category with a fiber functor to be equivalent to the category of representations of a linear differential algebraic group. This generalizes the notion of a neutral Tannakian category used to characterize the…

The Bruhat-Tits theory is a key ingredient in the construction of irreducible smooth representations of $p$-adic reductive groups. We describe generalizations to arbitrary such representations of several results recently obtained in the…

In the present paper, the structure of a finite group $G$ having a nonnormal T.I. subgroup $H$ which is also a Hall $\pi$-subgroup is studied. As a generalization of a result due to Gow, we prove that $H$ is a Frobenius complement whenever…

Given a Henselian and Japanese discrete valuation ring $A$ and a flat and projective $A$-scheme $X$, we follow the approach of Biswas-dos Santos to introduce a full subcategory of coherent modules on $X$ which is then shown to be Tannakian.…

One can develop the basic structure theory of linear algebraic groups (the root system, Bruhat decomposition, etc.) in a way that bypasses several major steps in the standard development, including the self-normalizing property of Borel…

Let $L/K$ be a Galois extension of local fields of characteristic $0$ with Galois group $G$. If $\mathcal{F}$ is a formal group over the ring of integers in $K$, one can associate to $\mathcal F$ and each positive integer $n$ a $G$-module…

It is well known that all torsors under an affine algebraic group over an algebraically closed field are trivial. We note that under suitable conditions this also holds if the the group is not necessarily of finite type. This has an…

Let $X$ be a locally finite irreducible affine building of dimension $\geq 2$ and $\Gamma \leq \mathrm{Aut}(X)$ be a discrete group acting cocompactly. The goal of this paper is to address the following question: When is $\Gamma$ linear?…

We study the algebra of functions on the Iwahori group via the category of graded bounded representations of its Lie algebra. In particular, we identify the standard and costandard objects in this category with certain generalized Weyl…

In math.RT/0302174 we developed a framework to study representations of groups of the form $G((t))$, where $G$ is an algebraic group over a local field $K$. The main feature of this theory is that natural representations of groups of this…

In the 1980's, the magic properties of the cohomology of elementary abelian groups as modules over the Steenrod algebra initiated a long lasting interaction between topology and modular representation theory in natural characteristic. The…

We prove that split reductive BT group schemes over a higher dimensional base are {\em affine}. Our method also gives a new construction of higher BT-group schemes more general than parahoric ones. The new ingredients are an extension of…

A very useful result concerning flatness in Algebraic Geometry is EGA's ``fiber'' criterion. We propose similar fiber criteria to verify flatness of a module while avoiding ``finiteness'' assumptions. Motivated by a Tannakian viewpoint…

We call a non-discrete Euclidean building a Bruhat-Tits space if its automorphism group contains a subgroup that induces the subgroup generated by all the root groups of a root datum of the building at infinity. This is the class of…

In a type-theoretic fibration category in the sense of Shulman (representing a dependent type theory with at least 1, Sigma, Pi, and identity types), we define the type of constant functions from A to B. This involves an infinite tower of…

We establish conditions on a family of coproduct-preserving tt-functors $f_i\colon \mathcal{T}\to \mathcal{T}_i$ between tt-categories with small coproducts, ensuring that the localizing tensor ideal generated by an object $x \in…

Each complex hyperplane arrangement gives rise to a Milnor fibration of its complement. Although the Betti numbers of the Milnor fiber $F$ can be expressed in terms of the jump loci for rank 1 local systems on the complement, explicit…