Related papers: Algebraic classes in mixed characteristic and Andr…

This paper combines two important directions of research in temporal resoning: that of finding maximal tractable subclasses of Allen's interval algebra, and that of reasoning with metric temporal information. Eight new maximal tractable…

Given a linear differential equation with coefficients in $\mathbb{Q}(x)$, an important question is to know whether its full space of solutions consists of algebraic functions, or at least if one of its specific solutions is algebraic.…

Given finitely many consecutive terms of an infinite sequence, we discuss the construction of a polynomial difference equation that the sequence may satisfy. We also present a method to seek a candidate polynomial differential equation for…

The Tate conjecture has two parts: i) Tate classes are linear combination of algebraic classes, ii) semisimplicity of Galois representations (for smooth projective varieties). B. Moonen proved that i) implies ii) in characteristic 0, using…

We develop a detailed arithmetic theory related to special values at arbitrary integers of the Artin $L$-series of linear characters. To do so we define canonical generalized Stark elements of arbitrary `rank' and `weight', thereby…

We survey our recent work on an extension of the theory of motivic integration, called arithmetic motivic integration. We developed this theory to understand how p-adic integrals of a very general type depend on p.

Let $A$ be an Artin algebra. We investigate subalgebras of $A$ with certain conditions and obtain some classes of algebras whose finitistic dimensions are finite.

We construct a category, $\Omega$, of which the objects are pointed categories and the arrows are pointed correspondences. The notion of a "spec datum" is introduced, as a certain relation between categories, of which one has been given a…

For appropriate parameters $k,p,q$, we introduce and systematically study the class of $(k,p,q)$-differential subalgebras. This is a vast class of Banach $^*$-algebras defined by their relation with their $C^*$-envelopes. Some examples are…

In this paper, motivated by the theory of operads and PROPs we reveal the combinatorial nature of tensor calculus for strict tensor categories and show that there exists a monad which is described by the coarse-graining of graphs and…

A semialgebraic bijection from the field of p-adic numbers to itself minus one point is constructed. Semialgebraic p-adic sets are classified up to semialgebraic bijection. A cell decomposition theorem for restricted analytic p-adic maps is…

A somewhat pretentious presentation of number systems (N, Z, Q, R, C, Q_p, >...). The problem of a p-adic characterisation of good-reduction p-adic curves is posed.

For a finite central extension $\tilde{G}$ of a classical $p$-adic reductive group, we consider the endomorphism algebra of some induced projective generator \`a la Bernstein of the category of smooth representations of $\tilde{G}$. In the…

Michael Gromov has recently initiated what he calls ``symbolic algebraic geometry", in which objects are proalgebraic varieties: a proalgebraic variety is by definition the projective limit of a projective system of algebraic varieties. In…

We study what we call topological cylindric algebras and tense cylindric algebras defined for every ordinal $\alpha$. The former are cylindric algebras of dimension $\alpha$ expanded with $\sf S4$ modalities indexed by $\alpha$. The…

This article concerns commutative algebras over a field $k$ of characteristic zero which are finite dimensional as vectorspaces, and particularly those of such algebras which are graded. Here the term graded is applied to non-negatively…

We introduce the concept of degree to classify the periods in the sense of Kontsevich. Using this notion we give some new understanding of some problems in transcendental number theory.

We apply the structure theory of finite dimensional algebras in order to deduce dimension formulas for spaces of period numbers, i.e., complex numbers defined by integrals of algebraic nature. We get a complete and conceptually clear answer…

We introduce characteristic numbers of a finite commutative unital $\mathbb{C}$-algebra, which are numerical invariants arising from algebraic intersection theory. We characterize Gorenstein and local complete intersection algebras in terms…

We establish a valuative version of Grothendieck's section conjecture for curves over p-adic local fields. The image of every section is contained in the decomposition subgroup of a valuation which prolongs the p-adic valuation to the…