Related papers: An Introduction to $\mathbf{A}^1$-Enumerative Geom…

Elementary geometric arguments are used to compute the group of homotopy classes of maps from a 4-manifold X to the 3-sphere, and to enumerate the homotopy classes of maps from X to the 2-sphere. The former completes a project initiated by…

We introduce the notion of \emph{topo-symmetric extensions} of topological groups, a new generalization of classical group extensions that incorporates both topological and symmetry constraints. We define morphisms between such extensions,…

We discuss the relation between the q-number approach to quantum mechanics suggested by Dirac and the notion of "pregeometry" introduced by Wheeler. By associating the q-numbers with the elements of an algebra and regarding the primitive…

The book covers basics of noncommutative geometry and its applications in topology, algebraic geometry and number theory. A brief survey of main parts of noncommutative geometry with historical remarks, bibliography and a list of exercises…

The purpose of this paper is to extend the cohomology and conformal derivation theories of the classical Lie conformal algebras to Hom-Lie conformal algebras. In this paper, we develop cohomology theory of Hom-Lie conformal algebras and…

This paper aims at setting out the basics of $\mathbb{Z}$-graded manifolds theory. We introduce $\mathbb{Z}$-graded manifolds from local models and give some of their properties. The requirement to work with a completed graded symmetric…

We study generically split octonion algebras over schemes using techniques of ${\mathbb A}^1$-homotopy theory. By combining affine representability results with techniques of obstruction theory, we establish classification results over…

This talk describes how a combination of symbolic computation techniques with first-order theorem proving can be used for solving some challenges of automating program analysis, in particular for generating and proving properties about the…

This is an expository introduction to simplicial sets and simplicial homotopy theory with particular focus on relating the combinatorial aspects of the theory to their geometric/topological origins. It is intended to be accessible to…

We study countable embedding-universal and homomorphism-universal structures and unify results related to both of these notions. We show that many universal and ultrahomogeneous structures allow a concise description (called here a finite…

We present mathematical details of several cosmological models, whereby the topological and the geometrical background will be emphasized.

Let $M$ be a closed simply connected smooth manifold. Let $\F_p$ be the finite field with $p$ elements where $p> 0$ is a prime integer. Suppose that $M$ is an $\F_p$-elliptic space in the sense of [FHT91]. We prove that if the cohomology…

We provide a foundation for working with homological and homotopical methods in categorical algebra. This involves two mutually complementary components, namely (a) the strategic selection of suitable axiomatic frameworks, some well known…

In this paper, we define and study (co)homology theories of a compatible associative algebra $A$. At first, we construct a new graded Lie algebra whose Maurer-Cartan elements are given by compatible associative structures. Then we define…

We survey some recent developments at the interface of algebraic geometry, surface topology, and the theory of ordinary differential equations. Motivated by "non-abelian" analogues of standard conjectures on the cohomology of algebraic…

A new category of algebro-geometric objects is defined. This construction is a vast generalization of existing F1-theories, as it contains the the theory of monoid schemes on the one hand and classical algebraic theory, e.g. Grothendieck…

In this chapter, we identify fundamental geometric structures that underlie the problems of sampling, optimisation, inference and adaptive decision-making. Based on this identification, we derive algorithms that exploit these geometric…

The notion of Lie algebroids over a topological ringed space provides a unified framework to study various geometric structures. This geometric concept is intimately connected with well-known algebraic structures, including Gerstenhaber…

``Can number and geometric spaces be reconstructed from their symmetries?'' This question, which is at the heart of anabelian geometry, a theory built on the collaborative efforts of an international community in many variants and with the…

This is a survey article on real algebra and geometry, and in particular on its recent applications in optimization and convexity. We first introduce basic notions and results from the classical theory. We then explain how these relate to…