Related papers: A proof of Kurdyka's conjecture on arc-analytic fu…

We survey theory developed over the past 10 years of semirings which need not be additively cancellative. The main feature is a specified ``null ideal'' $\mcA_0$ of a semiring $\mcA,$ taking the place of a zero element, which permits…

Let $A$ be a $\sigma$-unital finite simple $C^*$-algebra which has strict comparison property. We show that if the canonical map $\Gamma$ from the Cuntz semigroup to certain lower semi-continuous affine functions is surjective, then $A$ has…

For families of smooth complex projective varieties we show that normal functions arising from algebraically trivial cycle classes are algebraic, and defined over the field of definition of the family. In particular, the zero loci of those…

Brjuno and R\"ussmann proved that every irrationally indifferent fixed point of an analytic function with a Brjuno rotation number is linearizable, and Yoccoz proved that this is sharp for quadratic polynomials. Douady conjectured that this…

The paper of S. Gulick [Sidney (Denny) L. Gulick, Commutativity and ideals in the biduals of topological algebras, Pacific J. Math 18 No. 1, 1966] contains some good mathematics, but it also contains an error. It claims that for a Banach…

Using an approach to the Jacobian Conjecture by L.M. Dru\.zkowski and K. Rusek 12], G. Gorni and G. Zampieri [19], and A.V. Yagzhev[27], we describe a correspondence between finite dimensional symmetric algebras and homogeneous tuples of…

Every finitely presented algebra S is shown to be Morita equivalent to the universal localization \sigma^{-1}R of a finite dimensional algebra R. The construction provides many examples of universal localizations which are not stably flat,…

For all $r\ge1,$ we verify the following conjecture of Hironaka: for a $p$-adic field $F$ with $p$ odd, the space of spherical functions of $\mathrm{Sym}_{r\times r}(F)\cap\mathrm{GL}_r(F)$ is free of rank $4^r$ over the Hecke algebra.

Every graph G can be embedded in a Euclidean space as a two-distance set. This allows us to reformulate the analogue of Borsuk's conjecture for two-distance sets in terms of graphs. This conjecture remains open for dimensions from 4 to 63.…

In this paper we prove that Arnold Surfaces of all real algebraic curves of even degree with non-empty real part are standard (Rokhlin's Conjecture). There is an obvious connection with classification of Arnold Surfaces up to isotopy of S^4…

An alternative proof of the completeness of relational algebra with respect to allowed formulas of first-order logic is presented. The proof relies on the well-known embedding of relational algebra into cylindric algebra, which makes it…

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…

In this work, the classical Borsuk conjecture is discussed, which states that any set of diameter 1 in the Euclidean space $ {\mathbb R}^d $ can be divided into $ d+1 $ parts of smaller diameter. During the last two decades, many…

We establish the exact overlaps conjecture for iterated functions systems on the real line with algebraic contractions and arbitrary translations.

We use algebraic arc complexes to prove a homological stability result for symplectic groups with slope 2/3 for rings with finite unitary stable rank. Symplectic groups are here interpreted as the automorphism groups of formed spaces with…

In this paper we settle the two-dimensional case of a conjecture involving unknown semialgebraic functions with specified smoothness. More precisely, we prove the following result: Let $\mathcal{H}$ be a semialgebraic bundle with respect to…

Louveau and Rosendal [5] have shown that the relation of bi-embeddability for countable graphs as well as for many other natural classes of countable structures is complete under Borel reducibility for analytic equivalence relations. This…

We study semifinite harmonic functions on the zigzag graph, which corresponds to Pieri's rule for the fundamental quasisymmetric functions $\{F_{\lambda}\}$. The main problem, which we solve here, is to classify the indecomposable…

We present a theorem of Sard type for semi-algebraic set-valued mappings whose graphs have dimension no larger than that of their range space: the inverse of such a mapping admits a single-valued analytic localization around any pair in the…

We prove that the Lusternik-Schnirelmann category $cat(M)$ of a closed symplectic manifold $(M, \omega)$ equals the dimension $dim(M)$ provided that the symplectic cohomology class vanishes on the image of the Hurewicz homomorphism. This…