Related papers: A General Method for Constructing Essential Unifor…
Using equivariant geometry, we find a universal formula that computes the number of times a general cubic surface arises in a family. As applications, we show that the PGL(4) orbit closure of a generic cubic surface has degree 96120, and…
For n even, we prove Pozhidaev's conjecture on the existence of associative enveloping algebras for simple n-Lie algebras. More generally, for n even and any (n+1)-dimensional n-Lie algebra L, we construct a universal associative enveloping…
We show that the standard method for constructing closed hyperbolic manifolds of arbitrary dimension possessing reflective symmetries typically produces reflections whose fixed point sets are nonseparating.
A theorem of Escobar asserts that, on a positive three dimensional smooth compact Riemannian manifold with boundary which is not conformally equivalent to the standard three dimensional ball, a necessary and sufficient condition for a $C^2$…
Uniformly regular equilibrium problems are natural generalizations of abstract equilibrium prob lems and they are defined over the uniformly prox-regular nonconvex sets. Some new efficient implicit methods for solving uniformly regular…
In this article, we introduce and investigate a class of C$^{\ast}$-algebras generated by reduced graph products of C$^{\ast}$-algebras, augmented with families of projections naturally associated with words in right-angled Coxeter groups.…
In this paper we consider a notion of universal sets for ideals. We show that there exist universal sets of minimal Borel complexity for classic ideals like null subsets of $2^\omega$ and meager subsets of any Polish space, and demonstrate…
An algorithmic proof of the General N\'eron Desingularization theorem and its uniform version is given for morphisms with big smooth locus. This generalizes the results for the one-dimensional case.
We give a formula for the Euler characteristic of a triangulated manifold of even dimension in terms of the numbers of even-dimensional faces only. The coefficients in this formula are universal (they do not depend on the dimension of the…
Given an ultragraph in the sense of Tomforde, we construct a topological quiver in the sense of Muhly and Tomforde in such a way that the universal C*-algebras associated to the two objects coincide. We apply results of Muhly and Tomforde…
In a previous paper the second author introduced a compact topology on the space of closed ideals of a unital Banach algebra A. If A is separable then this topology is either metrizable or else neither Hausdorff nor first countable. Here it…
Universality has been an important concept in computable structure theory. A class $\mathcal{C}$ of structures is universal if, informally, for any structure, of any kind, there is a structure in $\mathcal{C}$ with the same…
We give the new effective criterion for the global generation of the adjoint bundle on normal surfaces with a boundary. We could make the invariant \delta small a bit more on log-terminal singular point, and then we could prove the theorem…
We study singularities of surfaces which are given by Kenmotsu-type formula with prescribed unbounded mean curvature.
Turing machines and spin models share a notion of universality according to which some simulate all others. Is there a theory of universality that captures this notion? We set up a categorical framework for universality which includes as…
In this paper we introduce arrow algebras, simple algebraic structures which induce elementary toposes through the tripos-to-topos construction. This includes localic toposes as well as various realizability toposes, in particular, those…
This work pose an example of a smooth closed surface in $\mathbb{R}^3$ which has genus $0$, normal curvatures at most $1$ in absolute value and encloses a volume smaller than the volume of a unit ball. It gives a negative answer to a…
We prove existence of thick geodesic triangulations of hyperbolic 3-manifolds and use this to prove existence of universal bounds on the principal curvatures of surfaces embedded in hyperbolic 3-manifolds.
Stable fold maps are fundamental tools in a generalization of the theory of Morse functions on smooth manifolds and its application to studies of topological properties of smooth manifolds. Round fold maps were introduced as stable fold…
We define essential and strongly essential triangulations of 3-manifolds, and give four constructions using different tools (Heegaard splittings, hierarchies of Haken 3-manifolds, Epstein-Penner decompositions, and cut loci of Riemannian…