Related papers: Nonstandard analysis, deformation quantization and…
We study the geometry of the image of the nonnegative orthant under the power-sum map and the elementary symmetric polynomials map. After analyzing the image in finitely many variables, we concentrate on the limit as the number of variables…
In order to apply nonstandard methods to questions of algebraic geometry we continue our investigation from "Enlargements of categories" (Theory Appl. Categ. 14 (2005), No. 16, 357--398) and show how important homotopical constructions…
Let $X$ be a Noetherian separated and finite dimensional scheme over a field $\mathbb{K}$ of characteristic zero. The goal of this paper is to study deformations of $X$ over a differential graded local Artin $\mathbb{K}$-algebra by using…
This review paper is a continuation of hep-th/0012145 and it deals primarily with noncommutative ${\mathbb R}^{d}$ spaces. We start with a discussion of various algebras of smooth functions on noncommutative ${\mathbb R}^{d}$ that have…
We study graph products of groups from the viewpoint of measured group theory. We first establish a full measure equivalence classification of graph products of countably infinite groups over finite simple graphs with no transvection and no…
In the first part of the thesis we focus on local symmetries. We review a self-consistent framework that we employed in order to discuss the dynamics of the theories of interest. Its merit lies in that we can make the symmetry group act…
This thesis investigates the central role of homomorphism problems (structure-preserving maps) in two complementary domains: database querying over finite, graph-shaped data, and constraint solving over (potentially infinite) structures.…
The thesis concentrates on two problems in discrete geometry, whose solutions are obtained by analytic, probabilistic and combinatoric tools. The first chapter deals with the strong polarization problem. This states that for any sequence…
This paper is part of the general project of proof mining, developed by Kohlenbach. By "proof mining" we mean the logical analysis of mathematical proofs with the aim of extracting new numerically relevant information hidden in the proofs.…
Looking to the history of mathematics one could find out two outer approaches to Geometry. First one (algebraic) is due to Descartes and second one (group-theoretic)--to Klein. We will see that they are not rivalling but are tied (by…
We classify deformation quantizations of the symplectic supervarieties that are smooth and admissible. This generalizes the corresponding result of Bezrukavnikov and Kaledin to the super case. We relate the equivalence classes of…
In this paper, we investigate a nonlinear non-autonomous elliptic difference equation, which was constructed by Ramani, Carstea and Grammaticos by integrable deautonomization of a periodic reduction of the discrete Krichever-Novikov…
We generalize the concept of affine locally symmetric spaces for parabolic geometries. We discuss mainly $|1|$--graded geometries and we show some restrictions on their curvature coming from the existence of symmetries. We use the theory of…
Let n be a positive integer, and let R be a finitely presented (but not necessarily finite dimensional) associative algebra over a computable field. We examine algorithmic tests for deciding (1) if every n-dimensional representation of R is…
In this article we consider nonholonomic deformations of disk solutions in general relativity to generic off-diagonal metrics defining knew classes of exact solutions in 4D and 5D gravity. These solutions possess Lie algebroid symmetries…
This is a Research and Instructional Development Project from the U. S. Naval Academy. In this monograph, the basic methods of nonstandard analysis for n-dimensional Euclidean spaces are presented. Specific rules are deveoped and these…
A standard combinatorial construction, due to Kontsevich, associates to any A-infinity algebra with an invariant inner product, an inhomogeneous class in the cohomology of the moduli spaces of Riemann surfaces with marked points. We…
We make explicit computations in the formal symplectic geometry of Kontsevich and determine the Euler characteristics of the three cases, namely commutative, Lie and associative ones, up to certain weights.From these, we obtain some…
In the context of a noncommutative differential calculus on the algebra of real valued functions of an $n$-dimensional manifold $M$, a commutative and associative product of 1-forms is naturally defined. Ordinary differential calculus…
In this paper we consider some classical varieties of linear algebras over the field which has characteristic 0. For every considered variety we take a category of the finite generated free algebras of this variety. And for every this…