Related papers: New foundations for geometry

We give illustrative examples of how the computer algebra system OSCAR can support research in commutative algebra and algebraic geometry. We start with a thorough introduction to Groebner basis techniques, with particular emphasis on the…

The notion of a $\Gamma $-symmetric space is a generalization of the classical notion of a symmetric space, where a general finite abelian group $\Gamma $ replaces the group $Z_2$. The case $\Gamma =\Z_k$ has also been studied, from the…

We revise general relativity (GR) from the perspective of calculus for moving surfaces (CMS). While GR is intrinsically constructed in pseudo-Riemannian geometry, a complete understanding of moving manifolds requires embedding in a higher…

We continue the study of the Hrushovski-Kazhdan integration theory and consider exponential integrals. The Grothendieck ring is enlarged via a tautological additive character and hence can receive such integrals. We then define the Fourier…

We develop the noncommutative geometry (bundles, connections etc.) associated to algebras that factorise into two subalgebras. An example is the factorisation of matrices $M_2(\C)=\C\Z_2\cdot\C\Z_2$. We also further extend the coalgebra…

Let HN denote the problem of determining whether a system of multivariate polynomials with integer coefficients has a complex root. It has long been known that HN in P implies P=NP and, thanks to recent work of Koiran, it is now known that…

We consider, for each exchange matrix B, a category of geometric cluster algebras over B and coefficient specializations between the cluster algebras. The category also depends on an underlying ring R, usually the integers, rationals, or…

Zonotopal algebras of vector arrangements are combinatorially-defined algebras with connections to approximation theory, introduced by Holtz and Ron and independently by Ardila and Postnikov. We show that the internal zonotopal algebra of a…

We study general relativity in the framework of non-commutative differential geometry. In particular, we introduce a gravity action for a space-time which is the product of a four dimensional manifold by a two-point space. In the simplest…

Let W be a finite Coxeter group. We define its Hecke-group algebra by gluing together appropriately its group algebra and its 0-Hecke algebra. We describe in detail this algebra (dimension, several bases, conjectural presentation,…

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…

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 develop a calculus based on graph enumeration for $S_n$-equivariant motivic invariants of graphically stratified moduli spaces. We apply our theory to the Deligne--Mumford moduli space $\overline{\mathcal{M}}_{g, n}$ and to the space of…

An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is…

In this paper we introduce a homotopy theoretic technique for proving that the $K$-theoretic assembly map is an equivalence. It is an extension of the methods used to prove split injectivity of the assembly and applies to any geometrically…

This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…

In this expositional paper, we discuss commutative algebra -- a study inspired by the properties of integers, rational numbers, and real numbers. In particular, we investigate rings and ideals, and their various properties. After, we…

Over a field of characteristic zero, we show that the forgetful functor from the homotopy category of commutative dg algebras to the homotopy category of dg associative algebras is faithful. In fact, the induced map of derived mapping…

We prove that the classical algebraic varieties over algebraically closed fields can be defined over arbitrary fields $k.$ Then we prove that for associative algebras $A$, there exist local representing objects $A_M$ for simple modules $M.$…

Geometric quantization is an attempt at using the differential-geometric ingredients of classical phase spaces regarded as symplectic manifolds in order to define a corresponding quantum theory. Generally, the process of geometric…