Related papers: A General Method for Constructing Essential Unifor…

First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…

A covering of k-graphs (in the sense of Pask-Quigg-Raeburn) induces an embedding of universal C*-algebras. We show how to build a (k+1)-graph whose universal algebra encodes this embedding. More generally we show how to realise a direct…

A cluster algebra is unistructural if the set of its cluster variables determines its clusters and seeds. It is conjectured that all cluster algebras are unistructural. In this paper, we show that any cluster algebra arising from a…

In this paper, we introduce the notions of pre-uniform spaces and pre-proximities and investigate some basic properties about them, where the definition of pre-uniformity here is different with the pre-uniformities which are studied in…

Let H be a non semi-simple Ariki-Koike algebra. According to [18] and [14], there is a generalisation of Lusztig's a-function which induces a natural order (parametrised by a tuple m) on Specht modules. In some cases, Geck and Jacon have…

Let $S = (S_1, \ldots, S_d)$ denote the compression of the $d$-shift to the complement of a homogeneous ideal $I$ of $\mathbb{C}[z_1, \ldots, z_d]$. Arveson conjectured that $S$ is essentially normal. In this paper, we establish new results…

We define a categorical framework in which we build a systematic construction that provides generic invariants for C*-algebras. The benefit is significant as we show that any invariant arising this way automatically enjoys nice properties…

Uniform interpolation properties are defined for equational consequence in a variety of algebras and related to properties of compact congruences on first the free and then the finitely presented algebras of the variety. It is also shown,…

We construct three sequences of regular surfaces of general type with unbounded numerical invariants whose canonical map is 2-to-1 onto a canonically embedded surface. Only sporadic examples of surfaces with these properties were previously…

By introducing a new averaged quantity with a fast decay weight to perform Sideris's argument (Commun Math Phys, 1985) developed for the Euler Equations, we extend the formation of singularities of classical solution to the 3D Euler…

It was once conjectured that if $A$ is a uniform algebra on its maximal ideal space $X$, and if each point of $X$ is a peak point for $A$, then $A = C(X)$. This peak-point conjecture was disproved by Brian Cole in 1968. Here we establish a…

The normal form for a system of ode's is constructed from its polynomial symmetries of the linear part of the system, which is assumed to be semi-simple. The symmetries are shown to have a simple structure such as invariant function times…

By only using spectral theory of the Laplace operator on spheres, we prove that the unit 3-dimensional sphere of a 2-dimensional complex subspace of $\mathbb{C}^3$ is a $\Omega$-stable submanifold with parallel mean curvature, when $\Omega$…

We study the problem of construction of explicit isometric embeddings of (pseudo)-Riemannian manifolds. We discuss the method which is based in the idea that the exterior symmetry of the embedded surface and the interior symmetry of the…

The universal Gr\"obner basis of an ideal is a Gr\"obner basis with respect to all term orders simultaneously. The aim of this paper is to present an algorithmic approach to compute the universal Gr\"obner basis for the toric ideal…

We produce examples of pairwise non-diffeomorphic closed irreducible 4-manifolds with non-trivial free abelian fundamental group of rank less than three and small Euler characteristic. These exotic smooth structures become standard after…

Every smooth minimal complex algebraic surface of general type, $X$, may be mapped into a moduli space, $\MM_{c_1^2(X), c_2(X)}$, of minimal surfaces of general type, all of which have the same Chern numbers. Using the braid group and braid…

A universal analytic Gr{\"o}bner basis (UAGB) of an ideal of a Tate algebra is a set containing a local Gr{\"o}bner basis for all suitable convergence radii. In a previous article, the authors proved the existence of finite UAGB's for…

In this paper we present a conjecture on the construction of generalised elliptic units above number fields with exactly one complex place. These elliptic units obtained as values of multiple elliptic Gamma functions. These form a…

In this paper, we consider the singularity formation of smooth solutions for the compressible radially symmetric Euler equations. By applying the characteristic method and the invariant domain idea, we show that, for polytropic ideal gases…