Related papers: $\infty$-Categorical Functional Analysis and $p$-a…
We define an elementary $\infty$-topos that simultaneously generalizes an elementary topos and Grothendieck $\infty$-topos. We then prove it satisfies the expected topos theoretic properties, such as descent, local Cartesian closure,…
We construct motivic power operations on the mod-$p$ motivic cohomology of $\Fb_p$-schemes using a motivic refinement of Nizio{\l}'s theorem. The key input is a purity theorem for motivic cohomology established by Levine. Our operations…
We construct a left semi-model structure on the category of intensional type theories (precisely, on $\mathrm{CxlCat_{Id,1,\Sigma(,\Pi_{ext})}}$). This presents an $\infty$-category of such type theories; we show moreover that there is an…
Matthew Ando produced power operations in the Lubin-Tate cohomology theories and was able to classify which complex orientations were compatible with these operations. The methods used by Ando, Hopkins and Rezk to classify orientations of…
We explore computational tools that allow to compute the class on the Grothendieck ring of varieties of finite cyclic quotients in some interesting examples. As an main application, we determine the motive of low rank representation…
In this paper, we develop an enhancement of derived algebraic geometry to apply to $\mathbb{A}^1$-homotopy theory introduced by Morel and Voevodsky. We call the enhancement "motivic derived algebraic geometry". We shall actually formulate…
Continuing our work on group-theoretic generalizations of the prime Ax-Katz Theorem, we give a lower bound on the $p$-adic divisibility of the cardinality of the set of simultaneous zeros $Z(f_1,f_2,\ldots,f_r)$ of $r$ maps…
In this article, we first study, in the framework of operator theory, Pusz and Woronowicz's functional calculus for pairs of bounded positive operators on Hilbert spaces associated with a homogeneous two-variable function on $[0,\infty)^2$.…
We prove 2-out-of-3 property for rationality of motivic zeta function in distinguished triangles in Voevodsky's category DM. As an application, we show rationality of motivic zeta functions for all varieties whose motives are in the thick…
This is an attempt at an elementary exposition, with examples, of the theory of motivic integration developed by R. Cluckers and F. Loeser, with the view towards applications in representation theory of p-adic groups.
We develop a theory of curved A-infinity-categories around equivalences of their module categories. This allows for a uniform treatment of curved and uncurved A-infinity-categories which generalizes the classical theory of uncurved…
We construct a period regulator for motivic cohomology of an algebraic scheme over a subfield of the complex numbers. For the field of algebraic numbers we formulate a period conjecture for motivic cohomology by saying that this period…
The main goal of this research is to model and investigate generalizations of functions from [31]. Arguments of modeled functions are presented by the representation $\pi_{\mathfrak p}$ from [22].
We consider summation of some finite and infinite functional p-adic series with factorials. In particular, we are interested in the infinite series which are convergent for all primes p, and have the same integer value for an integer…
The notion of $p$-compact sets arises naturally from Grothendieck's characterization of compact sets as those contained in the convex hull of a norm null sequence. The definition, due to Sinha and Karn (2002), leads to the concepts of…
A categorical action of a Kac--Moody algebra $\mathfrak{g}$ is built on a category $\mathcal{C}$ decomposed according to the weights $P$ of $\mathfrak{g}$, as well as biadjoint endofunctors $\mathcal{E}_i$ and $\mathcal{F}_i$, abstracting…
We return to some past studies of hyperkloosterman sums ([9,10]) via $p$-adic cohomology with an aim to improve earlier results. In particular, we work here with Dwork's $\theta_\infty$-splitting function and a better choice of basis for…
We give an introduction to the "categorical" approach to the p-adic Langlands program, in both the "Banach" and "analytic" settings.
Considering a (co)homology theory $\mathbb{T}$ on a base category $\mathcal{C}$ as a fragment of a first-order logical theory we here construct an abelian category $\mathcal{A}[\mathbb{T}]$ which is universal with respect to models of…
Waldhausen's $K$-theory of the sphere spectrum (closely related to the algebraic $K$-theory of the integers) is a naturally augmented $S^0$-algebra, and so has a Koszul dual. Classic work of Deligne and Goncharov implies an identification…