Related papers: Constructive Homological Algebra and Applications
We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Espan\~ol and the authors. We show that this gives a constructive…
A constructive algorithm based on the theory of spectral pairs for constructing nonuniform wavelet basis in $L^2(\mathbb R)$ was considered by Gabardo and Nashed (J Funct. Anal. 158:209-241, 1998). In this setting, the associated…
We give a concise, self-contained introduction to perturbation theory in cosmology at linear and second order, striking a balance between mathematical rigour and usability. In particular we discuss gauge issues and the active and passive…
An extended summary of the lecture course given at the V School on Geometry and Physics, Bia\l owe\.za 2016, in which an algebraic approach to differentiation and integration that is characteristic for non-commutative geometry is described.
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…
This paper documents and reviews the state of the art concerning computational models of construction grammar learning. It brings together prior work on the computational learning of form-meaning pairings, which has so far been studied in…
This text is a slightly edited version of lecture notes for a course I gave at ETH, during the Summer term 2001, to undergraduate Mathematics and Physics students. It covers a few selected topics from perturbation theory at an introductory…
Recent elegant work on the structure of Perturbative Quantum Field Theory (PQFT) has revealed an astonishing interplay between analysis(Riemann Zeta functions), topology (Knot theory), combinatorial graph theory (Feynman Diagrams) and…
This article is an expository account of the theory of twisted commutative algebras, which simply put, can be thought of as a theory for handling commutative algebras with large groups of linear symmetries. Examples include the coordinate…
We determine an explicit presentation by generators and relations of the cohomology algebra $H^*(\mathbb P^2\setminus C,\mathbb C)$ of the complement to an algebraic curve $C$ in the complex projective plane $\mathbb P^2$, via the study of…
A Hom-Lie algebra $(L, \alpha_L)$ is said to be capable if there exists a Hom-Lie algebra $(H, \alpha_H)$ such that $L \cong H/Z(H)$. We obtain a characterisation of capable Hom-Lie algebras involving its epicentre and we use this theory to…
Let $A \subseteq E$ be an extension of Hopf algebras such that there exists a normal left $A$-module coalgebra map $\pi : E \to A$ that splits the inclusion. We shall describe the set of all coquasitriangular structures on the Hopf algebra…
A lemma stated by Ke Li in [arXiv:1208.1400] has been used in e.g. [arXiv:1510.04682,arXiv:1706.04590,arXiv:1612.01464,arXiv:1308.6503,arXiv:1602.08898] for various tasks in quantum hypothesis testing, data compression with quantum side…
We develop a new framework for noncommutative differential geometry based on double derivations. This leads to the notion of moment map and of Hamiltonian reduction in noncommutative symplectic geometry. For any smooth associative algebra…
Recent developments in applied algebraic topology can simplify and extend results in graphic statics - the analysis of equilibrium forces, dual diagrams, and more. The techniques introduced here are inspired by recent developments in…
Algebra extensions A < B where A is a left B-module such that the B-action extends the multiplication in A are ubiquitous. We encounter examples of such extensions in the study of group actions, group gradings or more general Hopf actions…
The non-commutative algebraic analog of the moduli of vector and covector fields is built. The structure of moduli of derivations of non-commutative algebras are studied. The canonical coupling is introduced and the conditions for…
The classical ``computation'' methods in Algebraic Topology most often work by means of highly infinite objects and in fact +are_not+ constructive. Typical examples are shown to describe the nature of the problem. The Rubio-Sergeraert…
The purpose of this paper is to study the structure and the algebraic varieties of Hom-associative algebras. We give characterize multiplicative simple Hom-associative algebras and show some examples deforming the $2\times 2$-matrix algebra…
In this paper, we develop the deformation theory controlled by pre-Lie algebras; the main tool is a new integration theory for pre-Lie algebras. The main field of application lies in homotopy algebra structures over a Koszul operad; in this…