Related papers: Characteristic classes of proalgebraic varieties a…
Grothendieck fibrations provide a unifying algebraic framework that underlies the treatment of various form of logics, such as first order logic, higher order logics and dependent type theories. In the categorical approach to logic proposed…
A new calculus of planar diagrams involving diagrammatics for biadjoint functors and degenerate affine Hecke algebras is introduced. The calculus leads to an additive monoidal category whose Grothendieck ring contains an integral form of…
The concepts of Boolean metric space and convex combination are used to characterize polynomial maps in a class of commutative Von Neumann regular rings including Boolean rings and p-rings, that we have called CFG-rings. In those rings, the…
We translate properties of the Sigma-type in Martin-L\"of Type Theory (MLTT) to properties of the Grothendieck construction in category theory. Namely, equivalences in MLTT that involve the Sigma-type motivate isomorphisms between…
We develop a theory of arithmetic characteristic classes of (fully decomposed) automorphic vector bundles equipped with an invariant hermitian metric. These characteristic classes have values in an arithmetic Chow ring constructed by means…
We characterize those varieties of universal algebras where every split epimorphism considered as a map of sets is a product projection. In addition we obtain new characterizations of protomodular, unital and subtractive varieties as well…
We define the equivariant Chern-Schwartz-MacPherson class of a possibly singular algebraic variety with a group action over the complex number field (or a field of characteristic 0). In fact, we construct a natural transformation from the…
This article introduces pre-Hilbert $*$-categories: an abstraction of categories exhibiting "algebraic" aspects of Hilbert-space theory. Notably, finite biproducts in pre-Hilbert $*$-categories can be orthogonalised using the Gram-Schmidt…
We study projective completions of affine algebraic varieties induced by filtrations on their coordinate rings. In particular, we study the effect of the 'multiplicative' property of filtrations on the corresponding completions and…
The Gorenstein property in local algebra admits several characterizations via its module category. The goal of this paper is to collect and generalize such characterizations to the relative setting, i.e., to Gorenstein morphisms as defined…
The classical arithmetic Grothendieck-Riemann-Roch theorem can be applied only to projective morphisms that are smooth over the complex numbers. In this paper we generalize the arithmetic Grothendieck-Riemann-Roch theorem to the case of…
A simple method of constructing a big stock of algebraic varieties with trivial Makar-Limanov invariant is described, the Derksen invariant of some varieties is computed, the generalizations of the Makar-Limanov and Derksen invariants are…
Following [14], we compute the motivic cohomology ring of the Nisnevich classifying space of the unitary group associated to the standard split hermitian form of a quadratic extension. This provides us with subtle characteristic classes…
The aim of the present paper is to study arithmetic properties of $\mathcal{D}$-modules on an algebraic variety over the field of algebraic numbers. We first provide a framework for extending a class of $G$-connections (resp., globally…
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…
Given an elliptic curve defined over a number field $F$, we study the algebraic structure and prove a control theorem for Wuthrich's fine Mordell--Weil groups over a $\mathbb{Z}_p$-extension of $F$, generalizing results of Lee on the usual…
In this article we give an expression of the motivic Milnor fiber at infinity and the motivic nearby cycles at infinity of a polynomial $f$ in two variables with coefficients in an algebraic closed field of characteristic zero. This…
Inspired by p-adic (and real) principal value integrals, we introduce motivic principal value integrals associated to multi-valued rational differential forms on smooth algebraic varieties. We investigate the natural question whether (for…
In this Master of Science Thesis I introduce geometric algebra both from the traditional geometric setting of vector spaces, and also from a more combinatorial view which simplifies common relations and operations. This view enables us to…
Motivated by the Poisson Dixmier-Moeglin equivalence problem, a systematic study of commutative unitary rings equipped with a {\em biderivation}, namely a binary operation that is a derivation in each argument, is here begun, with an eye…