Related papers: $\infty$-Categorical Functional Analysis and $p$-a…
We describe an abstract 2-categorical setting to study various notions of polynomial and analytic functors and monads.
We determine the boundedness and compactness of a large class of operators, mapping from general Banach spaces of holomorphic functions into a particular type of spaces of functions determined by the growth of the functions, or the growth…
We show how to functorially attach continuous $p$-adic representations of the profinite fundamental group to vector bundles with numerically flat reduction on a proper rigid analytic variety over $\mathbb{C}_p$. This generalizes results by…
We propose an action of a certain motivic cohomology group on the coherent cohomology of Hilbert modular varieties, extending conjectures of Venkatesh, Prasanna, and Harris. The action is described in two ways: on cohomology modulo $p$ and…
Characteristic properties of corings with a grouplike element are analysed. Associated differential graded rings are studied. A correspondence between categories of comodules and flat connections is established. A generalisation of the…
In this paper we lay the foundations for the Morse theoretical study of strongly indefinite functionals on Banach manifolds by developing the local theory for a specific model class that captures several key analytical features also arising…
The aim of this paper is to connect two important and apparently unrelated theories: motivic homotopy theory and ramification theory. We construct motivic homotopy categories over a qcqs base scheme $S$, in which cohomology theories with…
By homotopy linear algebra we mean the study of linear functors between slices of the $\infty$-category of $\infty$-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices…
We study the homological algebra in the category $\mathcal{P}_p$ of strict polynomial functors of degree $p$ over a field of positive characteristic $p$. We determine the decomposition matrix of our category and we calculate the Ext-groups…
The aim of this paper is to extend the definition of motivic homotopy theory from schemes to a large class of algebraic stacks and establish a six functor formalism. The class of algebraic stacks that we consider includes many interesting…
We introduce $\infty$-type theories as an $\infty$-categorical generalization of the categorical definition of type theories introduced by the second named author. We establish analogous results to the previous work including the…
This paper is the second in a series of two papers about generalizing Quillen's Theorem A to strict $\infty$-categories. In the first one, we presented a proof of this Theorem A of a simplicial nature, direct but somewhat ad hoc. In the…
Let k be an algebraically closed field of characteristic p>0. Let W(k) be the ring of Witt vectors with coefficients in k. We prove a motivic conjecture of Milne that relates, in the case of abelian schemes, the \'etale cohomology with…
A new class of rational parametrization has been developed and it was used to generate a new family of rational functions B-splines $\displaystyle{{\left({}^{\alpha}{\mathbf B}_{i}^{k} \right)}_{i=0}^{k}}$ which depends on an index $\alpha…
Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…
This article gives an introduction to arithmetic motivic integration in the context of p-adic integrals that arise in representation theory. A special case of the fundamental lemma is interpreted as an identity of Chow motives.
In arXiv:0805.0157v5, the authors define a class of derived stacks, called "perfect stacks" and show that for this class the categories of quasi-coherent sheaves satisfy a categorical K\"unneth formula. Motivated to extend their results to…
A study is made, of families of Hamiltonians parameterized over open subsets of Banach spaces in a way which renders many interesting properties of eigenstates and thermal states analytic functions of the parameter. Examples of such…
We give a general categorical construction that yields several monads of measures and distributions as special cases, alongside several monads of filters. The construction takes place within a categorical setting for generalized functional…
For a number field, we have a Tannaka category of mixed Tate motives at our disposal. We construct p-adic points of the associated Tannaka group by using p-adic Hodge theory. Extensions of two Tate objects yield functions on the Tannaka…