Related papers: Approximation by piecewise-regular maps

We study the unirationality of surface conic bundles $\pi\colon S\to\mathbb P^1$ over an arbitrary field $k$ with discriminant degree $d_S=8$, the first case beyond the del Pezzo range. We divide these surfaces in four families and produce…

In this paper, we develop some foundations for a theory of algebraic varieties of congruences on commutative semirings. By studying the structure of congruences, firstly, we show that the spectrum $ \text{Spec}^{c}(A) $ consisting of prime…

Let $(c_k)_{k\in \mathbb{N}}$ be a sequence of positive integers. We investigate the set of $A>1$ such that the integer part of $A^{c_1\cdots c_k}$ is always a prime number for every positive integer $k$. Let $\mathcal{W}(c_k)$ be this set.…

We show that the moduli spaces of irreducible labeled parametrized marked rational curves in toric varieties can be embedded into algebraic tori such that their tropicalizations are the analogous tropical moduli spaces. These embeddings are…

We consider the problem of identifying exactly which AF-algebras are isomorphic to a graph C*-algebra. We prove that any separable, unital, Type I C*-algebra with finitely many ideals is isomorphic to a graph C*-algebra. This result allows…

We construct explicit dominant, rational morphisms from projective bundles over rational varieties to relevant moduli spaces, showing their unirationality. These constructions work for $U_{r,d,g}$; for all ranks, degrees and genus $2\leq g…

This paper studies the combinatorics of ideals which recently appeared in ergodicity results for analytic equivalence relations. The ideals have the following topological representation. There is a separable metrizable space $X$, a…

Assume that $R$ is a non-right perfect ring. Then there is a proper class of classes of (right $R$-) modules closed under transfinite extensions lying between the classes $\mathcal P _0$ of projective modules, and $\mathcal F _0$ of flat…

A construction of reversible extensions of dynamical systems which applies to arbitrary mappings (not necessarily with open range) is presented. It is based on calculating the maximal ideal space of C*-algebras that extends endomorphisms to…

By Bartle-Graves theorem every surjective map between C*-algebras has a continuous section, and Loring proved that that there exists a continuous section of norm arbitrary close to 1. Here we prove that there exists a continuous section of…

This is a foundation for algebraic geometry, developed internal to the Zariski topos, building on the work of Kock and Blechschmidt. The Zariski topos consists of sheaves on the site opposite to the category of finitely presented algebras…

Let $A$ be a separable (not necessarily unital) simple $C^*$-algebra with strict comparison. We show that if $A$ has tracial approximate oscillation zero then $A$ has stable rank one and the canonical map $\Gamma$ from the Cuntz semigroup…

Arakelian's classical approximation theorem \cite{Ar} gives necessary and sufficient conditions such that functions can be uniformly approximated in (unbounded) closed sets $F\subset \mathbb{C}$ by entire functions. The conditions are…

This paper conglomerates our findings on the space $C(X)$ of all real valued continuous functions, under different generalizations of the topology of uniform convergence and the $m$-topology. The paper begins with answering all the…

For W a finite (2-)reflection group and B its (generalized) braid group, we determine the Zariski closure of the image of B inside the corresponding Iwahori-Hecke algebra. The Lie algebra of this closure is reductive and generated in the…

We show that if $\mathcal{X}$ is a complete separable metric space and $\mathcal{C}$ is a countable family of Borel subsets of $\mathcal{X}$ with finite VC dimension, then, for every stationary ergodic process with values in $\mathcal{X}$,…

Let X be a smooth projective complex variety, of dimension 3, whose Hodge numbers h^{3,0}(X), h^{1,0}(X) both vanish. Let f: X--> X be a birational map that induces an isomorphism on (dense) open subvarieties U,V of X. Then we show that the…

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…

We prove the following CR version of Artin's approximation theorem for holomorphic mappings between real-algebraic sets in complex space. Let $M\subset \C^N$ be a real-algebraic CR submanifold whose CR orbits are all of the same dimension.…

We consider several ways of decomposing models into parts of bounded size forming a congruence over a base, and show that admitting any such decomposition is equivalent to mutual algebraicity at the level of theories. We also show that a…