Related papers: Topological Birkhoff
For $G$ a finite group acting linearly on $\mathbb{A}^2$, the equivariant Hilbert scheme $\operatorname{Hilb}^r[\mathbb{A}^2/G]$ is a natural resolution of singularities of $\operatorname{Sym}^r(\mathbb{A}^2/G)$. In this paper we study the…
Let A and B be two connected graded commutative k-algebras of finite type, where k is a perfect field of positive characteristic p. We prove that the quasi--shuffle algebras generated by A and B are isomorphic as Hopf algebras if and only…
Let V be a variety of not necessarily associative algebras, and A an inverse limit of nilpotent algebras A_i\in V, such that some finitely generated subalgebra S \subseteq A is dense in A under the inverse limit of the discrete topologies…
Consider a tree $\mathbb T$, all whose vertices have countable valence; its boundary is the Baire space $\mathbb{B} \simeq\mathbb{N}^{\mathbb N}$; continued fractions expansions identify the set of irrational numbers $\mathbb{R}\setminus…
We assign a relational structure to any finite algebra in a canonical way, using solution sets of equations, and we prove that this relational structure is polymorphism-homogeneous if and only if the algebra itself is…
Let G be a countable group. We proof that there is a model companion for the approximate theory of a Hilbert space with a group G of automorphisms. We show that G is amenable if and only if the structure induced by countable copies of the…
A classical theorem of Micallef says that if $F \colon (\Sigma, g) \to \mathbb{R}^4$ is a stable minimal immersion of an oriented $2$-dimensional complete Riemannian manifold (that is parabolic) into $\mathbb{R}^4$, it is necessarily…
Broadly speaking the present is a homotopy complement to the book of Giraud, albeit in a couple of different ways. In the first place there is a representability theorem for maps to a topological champ (a.k.a. stack) and whence an extremely…
A condition is identified which guarantees that the coinvariants of a coaction of a Hopf algebra on an algebra form a subalgebra, even though the coaction may fail to be an algebra homomorphism. A Hilbert Theorem (finite generation of the…
In these lectures we present our minimality theorem by which in cohomology of a topological space appear multioperations which turn it ot Stasheff $A(\infty)$ algebra. This rich structure carries more information than just the structure of…
We present a functorial construction which, starting from a congruence $\alpha$ of finite index in an algebra A, yields a new algebra C with the following properties: the congruence lattice of C is isomorphic to the interval of congruences…
Motivated by the cohomology theory of loop spaces, we consider a special class of higher order homotopy commutative differential graded algebras and construct the filtered Hirsch model for such an algebra $A$. When $x\in H(A)$ with…
What makes two computational systems equivalent? Topos theory answers with classifying toposes: a system's semantic content is encoded in the geometric theory it classifies, and two presentations are equivalent when their classifying…
In this paper, some features of countably $\alpha$-compact topological spaces are presented and proven. The connection between countably $\alpha$% -compact, Tychonoff, and $\alpha$-Hausdorff spaces is explained. The space is countably…
We consider a natural graph operation $\Omega_k$ that is a certain inverse (formally: the right adjoint) to taking the k-th power of a graph. We show that it preserves the topology (the $\mathbb{Z}_2$-homotopy type) of the box complex, a…
We interpret mathematically the pair (master equation, solution of master equation) up to equivalence, as the pair (a presentation of a free triangular dga T over a combination operad O, dga map of T into C, a dga over O) up to homotopy…
The topological Tverberg theorem claims that for any continuous map of the (q-1)(d+1)-simplex to R^d there are q disjoint faces such that their images have a non-empty intersection. This has been proved for affine maps, and if $q$ is a…
One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was…
New deformed affine algebras A_{\hbar,\eta}(\hat{g}) are defined for any simply-laced classical Lie algebra g, which are generalizations of the algebra A_{\hbar,\eta}(\hat{sl_2}) recently proposed by Khoroshkin, Lebedev and Pakuliak (KLP).…
Let $\mathcal{A}$ be an algebra, and let $\mathcal{A}^2 =$ span$\{ab : a, b \in \mathcal{A}\}$ be a subalgebra of $\mathcal{A}$. In this paper, we prove that if $\mathcal{A}^2$ has infinite codimension in $\mathcal{A}$ iff $\mathcal{A}$ has…