Related papers: A Program For Geometric Arithmetic
The cohomology of coherent sheaves and sheaves of Abelian groups on Noetherian schemes are interpreted in second order arithmetic by means of a finiteness theorem. This finiteness theorem provably fails for the etale topology even on…
We outline an alternative approach to the geometric notion of a saddle point for real-valued functions of two variables. It is argued that this is more natural compared to the usual treatment of this topic in standard texts on Calculus.
The arithmetic mean is the mean for addition and the geometric mean is that for multiplication. Then what kind of binary operation is associated with the arithmetic-geometric mean (AGM) due to C. F. Gauss? If it is possible to construct an…
These are expanded lecture notes of a mini-course whose objectives were to introduce the basic concepts, constructions and techniques of noncommutative geometry, as well as their uses as a framework for modelling quantum spacetime. Key…
On the base of Lie algebraic and differential geometry methods, a wide class of multidimensional nonlinear integrable systems is obtained, and the integration scheme for such equations is proposed.
In this paper, we introduce and study two new types of non-abelian zeta functions for curves over finite fields, which are defined by using (moduli spaces of) semi-stable vector bundles and non-stable bundles. A Riemann-Weil type hypothesis…
We survey the development of Clifford's geometric algebra and some of its engineering applications during the last 15 years. Several recently developed applications and their merits are discussed in some detail. We thus hope to clearly…
We contribute to the arithmetic/topology dictionary by relating asymptotic point counts and arithmetic statistics over finite fields to homological stability and representation stability over $\Cb$ in the example of configuration spaces of…
In this paper we present Affine.m - program for computations in representation theory of finite-dimensional and affine Lie algebras and describe implemented algorithms. Algorithms are based upon the properties of weights and Weyl symmetry.…
This is an outline of Erlangen Program at Large. Study of objects and properties, which are invariant under a group action, is very fruitful far beyond the traditional geometry. In this paper we demonstrate this on the example of the group…
In this article we briefly survey some developments in gauged linear sigma models (GLSMs). Specifically, we give an overview of progress on constructions of GLSMs for various geometries, GLSM-based computations of quantum cohomology,…
We consider here a generalization of a well known discrete dynamical system produced by the bisection of reflection angles that are constructed recursively between two lines in the Euclidean plane. It is shown that similar properties of…
The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$. We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying…
We present an algebraic view on logic programming, related to proof theory and more specifically linear logic and geometry of interaction. Within this construction, a characterization of logspace (deterministic and non-deterministic)…
We demonstrate that the two (1 + 1)-dimensional (2D) free 1-form Abelian gauge theory provides an interesting field theoretical model for the Hodge theory. The physical symmetries of the theory correspond to all the basic mathematical…
We develop the intersection theory of non-archimedean analytic spaces and prove the projection formula and the GAGA principle. As an application, we naturally define the category of finite correspondences of analytic spaces.
We present alternative postulates for Euclidean geometry whose merit is that they lead to a new class of invariants and associated geometries for real finite-dimensional unital associative algebras.
This is a survey on weight enumerators, zeta functions and Riemann hypothesis for linear and algebraic-geometry codes.
We consider arithmetic analogs of the relative Langlands program and applications of new non-reductive geometry. Firstly, we introduce mirabolic special cycles, which produce special cycles on many Hodge type Rapoport-Zink spaces via…
An abelian arrangement is a finite set of codimension one abelian subvarieties (possibly translated) in a complex abelian variety. In this paper, we study the cohomology of the complement of an abelian arrangement. For unimodular abelian…