Related papers: Semitopological Barycentric Algebras

We develop the general theory of \emph{topometric spaces}, i.e., topological spaces equipped with a well-behaved lower semi-continuous metric function. Spaces of global and local types in continuous logic are the motivating examples for the…

In this article, we introduce the notion of a curved absolute $\mathcal{L}_\infty$-algebra, a structure that behaves like a curved $\mathcal{L}_\infty$-algebra where all infinite sums of operations are well-defined by definition. We develop…

In order to be able to use methods of Universal Algebra for investigating posets, we assign to every pseudocomplemented poset, to every relatively pseudocomplemented poset and to every sectionally pseudocomplemented poset a certain algebra…

Symmetric homology is an analog of cyclic homology in which the cyclic groups are replaced by symmetric groups. The foundations for the theory of symmetric homology of algebras are developed in the context of crossed simplicial groups using…

We interpret some results of persistent homology and barcodes (in any dimension) with the language of microlocal sheaf theory. For that purpose we study the derived category of sheaves on a real finite-dimensional vector space V. By using…

In this paper, we answer two questions on local $h$-vectors, which were asked by Athanasiadis. First, we characterize all possible local $h$-vectors of quasi-geometric subdivisions of a simplex. Second, we prove that the local…

The spectrum of an admissible subalgebra $\mathscr{A}(G)$ of $\mathscr{LUC}(G)$, the algebra of right uniformly continuous functions on a locally compact group $G$, constitutes a semigroup compactification $G^\mathscr{A}$ of $G$. In this…

We show that codimension one dimensional Jacobian of the barycentric straightening map is uniformly bounded for most of the higher rank symmetric spaces. As a consequence, we prove that the locally finite simplicial volume of most $\mathbb…

We establish new geometric inequalities comparing the volumes of sections and projections of a convex body, whose barycenter or Santal\'o point is at the origin, with those of its inner and outer regularizations. We also provide functional…

A nonempty closed convex set in ${\mathbb R}^n$, not containing the origin, is called a pseudo-cone if with every $x$ it also contains $\lambda x$ for $x\ge 1$. We consider pseudo-cones with a given recession cone $C$, called…

We study a family of algebras defined using a locally-finite endomorphism called a braiding map. When the braiding map is semi-simple, the algebra is a generalized vertex algebra, while when the braiding map is locally-nilpotent we have a…

We develop a valuation-theoretic framework for studying tangent cones of torsion-free sheaves on algebraic varieties. To analyze these objects, we introduce a slope stability theory, including the Harder-Narasimhan filtrations, for finitely…

Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic…

We develop axiomatics of highest weight categories and quasi-hereditary algebras in order to incorporate two semi-infinite situations which are in Ringel duality with each other; the underlying posets are either upper finite or lower…

We study families of faces for convex semi-algebraic sets via the normal cycle which is a semi-algebraic set similar to the conormal variety in projective duality theory. We propose a convex algebraic notion of a "patch" -- a term recently…

In this paper, the notion of $c$-support points of a set in a semitopological cone is introduced. It is shown that any nonempty convex Scott closed bounded set has a $c$-support point in a cancellative $bd$-cone under certain condition. We…

In this paper we consider convex subsets of locally-convex topological vector spaces. Given a fixed point in such a convex subset, we show that there exists a curve completely contained in the convex subset and leaving the point in a given…

Quasi *-algebras possessing a sufficient family $\mathcal{M}$ of invariant positive sesquilinear forms carry several topologies related to $\mathcal{M}$ which make every *-representation continuous. This leads to define the class of locally…

An algebraization of the notion of topology has been proposed more than seventy years ago in a classical paper by McKinsey and Tarski. However, in McKinsey and Tarski's setting the model theoretical notion of homomorphism does not…

We prove that each semialgebraic subset of $\R^n$ of positive codimension can be locally approximated of any order by means of an algebraic set of the same dimension. As a consequence of previous results, algebraic approximation preserving…