Related papers: Special transformations in algebraically closed va…

We show that the principal types of the closed terms of the affine fragment of $\lambda$-calculus, with respect to a simple type discipline, are structurally isomorphic to their interpretations, as partial involutions, in a natural Geometry…

We study the set of generalized principal $\mathfrak{g}$-logarithms of any matrix belonging to a connected SVD-closed subgroup $G$ of $U_n$, with Lie algebra $\mathfrak{g}$. This set is a non-empty disjoint union of a finite number of…

A commutative diagram that connects the basic objects of commutative algebra with the main objects of commutative analysis is constructed. Namely, with the help of five types of canonical embeddings we constructed a diagram between two sets…

We define a motivic analogue of the Haar measure for groups of the form G(k((t))), where k is an algebraically closed field of characteristic zero, and G is a reductive algebraic group defined over k. A classical Haar measure on such groups…

In this article, we study criteria for producing six-functor formalisms and morphisms between them. One notable application is that the motivic homotopy theory of algebraic stacks is the universal six-functor functor formalism in a strong…

In this expository manuscript, we review the construction of Gromov-Witten virtual fundamental class via FOOO's theory of Kuranishi structures for moduli spaces of pseudo-holomorphic maps defined on closed Riemann surfaces. We consider…

A kind of motivic stable homotopy theory of algebras is developed. Explicit fibrant replacements for the $S^1$-spectrum and $(S^1,\mathbb G)$-bispectrum of an algebra are constructed. As an application, unstable, Morita stable and stable…

We construct a motivic lift of the action of the Hecke algebra on the cohomology of PEL Shimura varieties $S_K$. To do so, when $S_K$ is associated with a reductive algebraic group $G$ and $V$ is a local system on $S_K$ coming from a…

We establish ring isomorphisms between quantum Grothendieck rings of certain remarkable monoidal categories of finite-dimensional representations of quantum affine algebras of types $A_{2n-1}^{(1)}$ and $B_n^{(1)}$. Our proof relies in part…

We prove that if two semi-algebraic subsets of $\mathbb{Q}_p^n$ have the same $p$-adic measure, then this equality can already be deduced using only some basic integral transformation rules. On the one hand, this can be considered as a…

The construction of manifold structures and fundamental classes on the (compactified) moduli spaces appearing in Gromov-Witten theory is a long-standing problem. Up until recently, most successful approaches involved the imposition of…

We introduce a class of theories called metastable, including the theory of algebraically closed valued fields (ACVF) as a motivating example. The key local notion is that of definable types dominated by their stable part. A theory is…

Motivic homotopy theory is meant to play the role of algebraic topology, in particular homotopy theory, in the context of algebraic geometry. As proved by Oliver Rondigs and Paul Arne Ostvaer, this theory is closely connected to Voevodsky's…

Let $X$ be a variety over a complete nontrivially valued field $K$. We construct an algebraizable formal model for the analytification of $X$ in the case $X$ admits a closed embedding into a toric variety. By algebraizable we mean that the…

The holomorphic bootstrap attempts to classify rational conformal field theories. The straight ahead approach is hard to implement when the number of characters become large. We combine all characters of an RCFT to form a vector valued…

We study algebraic complexity classes and their complete polynomials under \emph{homogeneous linear} projections, not just under the usual affine linear projections that were originally introduced by Valiant in 1979. These reductions are…

Let $\mathbb K=(K,+,\cdot,v,\Gamma)$ be a valued algebraically closed field of characteristic and $(G,\oplus)$ be a $\mathcal K$-interpretable group that is either locally isomorphic to $(K,+)$ or to $(K,\cdot)$. Then if $\mathcal…

Let $\mathcal{V}$ be a complete discrete valued ring of mixed characteristic $(0,p)$, $K$ its field of fractions, $k$ its residue field which is supposed to be perfect. Let $X$ be a separated $k$-scheme of finite type and $Y$ be an open…

This monograph is devoted to a comprehensive study of graded rings and graded K-theory. A bird's eye view of the graded module theory over a graded ring gives an impression of the module theory with the added adjective "graded" to all its…

Let $X$ be a smooth projective variety of dimension $d$ over an algebraically closed field $k$. The main goal of this paper is to study, in the context of Voevodsky's triangulated category of motives $DM_k$, the group…