Related papers: Relative Bott-Chern Secondary Characteristic Class…

We give a few properties equivalent to the Bloch-Kato conjecture (now the norm residue isomorphism theorem).

In this article we will introduce a central problem in additive combinatorics, which arised from the famous van der Waerden theorem and an early conjecture of Erd\H{o}s and Tur\'{a}n. The first important theorem was due to Roth in 1953.…

We deduce the Riemann-Roch type formula expressing the microlocal Euler class of a perfect complex of D-modules in terms of the Chern character of the associated symbol complex and the Todd class of the manifold from the Riemann-Roch type…

We investigate the properties of relative analogues of admissible Ind, Pro, and elementary Tate objects for pairs of exact categories, and give criteria for those categories to be abelian. A relative index map is introduced, and as an…

We prove a Delorme-Guichardet type theorem for discrete quantum groups expressing property (T) of the quantum group in question in terms of its first cohomology groups. As an application, we show that the first L^2-Betti number of a…

Given a vector bundle $V$ over a curve $X$, we define and study a surjective rational map $\mathrm{Hilb}^d (\mathbb{P} V ) - \mathrm{Quot}^{0, d} ( V^* )$ generalising the natural map $\mathrm{Sym}^d X \to \mathrm{Quot}^{0, d} ({\mathcal…

Let $f: X \to S$ be a smooth morphism in characteristic 0, and let $(E, \nabla_{X/S})$ be a relative regular connection. We define a cohomology of relative differential characters on $X$ which receives classes of $(E, \nabla_{X/S})$. It…

The paper continues the line of model-theoretic characterizations for versions of intuitionistic logic previously achieved by the author, further generalizing them. This results in a model-theoretic characterization of expressive powers of…

The aim of this note is threefold. The first is to obtain a simple characterization of relative constructible sheaves when the parameter space is projective. The second is to study the relative Fourier-Mukai for relative constructible…

We build a notion of algebraic recognition for visibly pushdown languages by finite algebraic objects. These come with a typical Eilenberg relationship, now between classes of visibly pushdown languages and classes of finite algebras.…

A new approach to the solution of quasilinear nonelliptic first-order systems of inhomogeneous PDEs in many dimensions is presented. It is based on a version of the conditional symmetry and Riemann invariant methods. We discuss in detail…

We investigate the generic 3D topological field theory within AKSZ-BV framework. We use the Batalin-Vilkovisky (BV) formalism to construct explicitly cocycles of the Lie algebra of formal Hamiltonian vector fields and we argue that the…

We extend the notions of "$R_\infty$-property" and "full (extended) Reidemeister spectrum" to finite groups in a meaningful way. We provide examples of finite groups admitting these properties, if they exist, by looking at groups of small…

We extend the notion of connection in order to be able to study singular geometric structures, namely, we consider a notion of connection on a Lie algebroid which is a natural extension of the usual concept of connection. Using connections,…

We establish bounds on a finite separable extension of function fields in terms of the relative class number, thus reducing the problem of classifying extensions with a fixed relative class number to a finite computation. We also solve the…

The Riemann-Roch theorem is of utmost importance in the algebraic geometric theory of compact Riemann surfaces. It tells us how many linearly independent meromorphic functions there are having certain restrictions on their poles. The aim of…

We prove several K\"unneth formulas in motivic homotopy categories and deduce a Verdier pairing in these categories following SGA5, which leads to the characteristic class of a constructible motive, an invariant closely related to the…

In what follows, essentially two things will be accomplished: Firstly, it will be proven that a version of the Arzel\`a--Ascoli theorem and the Fr\'echet--Kolmogorov theorem are equivalent to the axiom of countable choice for subsets of…

This is the second paper in a series devoted to developing an arithmetic PDE analogue of Riemannian geometry. In Part 1 arithmetic PDE analogues of Levi-Civita and Chern connections were introduced and studied. In this paper arithmetic…

The Bott-Thurston cocycle is a $2$-cocycle on the group of orientation-preserving diffeomorphisms of the circle. We introduce and study a formal analog of Bott-Thurston cocycle. The formal Bott-Thurston cocycle is a $2$-cocycle on the group…