相关论文: Extensions Theorems, Orbits, and Automorphisms of …

Suppose A and B are unital C*-algebras and A is separable. Let Rep(A,B) denote the set of all unital *-homomorphisms from A to B with the topology of pointwise convergence. We consider the problem of when the closure of the unitary orbit of…

Selman's Theorem in classical Computability Theory gives a characterization of the enumeration reducibility for arbitrary sets in terms of the enumeration reducibility on the total sets: $A \le_e B \iff \forall X [X \equiv_{e} X \oplus…

Let $0 \to A \to L \to B \to 0$ be a short exact sequence of Lie algebras over a field $F$, where $A$ is abelian. We show that the obstruction for a pair of automorphisms in $\Aut(A) \times \Aut(B)$ to be induced by an automorphism in…

We show that for each countable simplicial complex P the following conditions are equivalent: (1) $P \in AE(X)$ iff $P \in AE(\beta X)$ for any space X; (2) There exists a P-invertible map of a metrizable compactum X with $P \in AE(X)$ onto…

Measurable sets are defined as those locally approximable, in a certain sense, by sets in the given algebra (or ring). A corresponding measure extension theorem is proved. It is also shown that a set is locally approximable in the mentioned…

A periodic automorphism of a surface $\Sigma$ is said to be extendable over $S^3$ if it extends to a periodic automorphism of the pair $(S^3,\Sigma)$ for some possible embedding $\Sigma\to S^3$. We classify and construct all extendable…

Using a group-theoretic approach, a method for determining the equivalence classes (also called orbits) of the set of rules of one-dimensional cellular automata induced by the symmetry operations of reflection and permutation and their…

We improve and generalize in several accounts the recent rigorous proof of convergence of delta expansion - order dependent mappings (variational perturbation expansion) for the energy eigenvalues of anharmonic oscillator. For the…

We show that, for each finite algebra A, either it has symmetric term operations of all arities or else some finite algebra in the variety generated by A has two automorphisms without a common fixed point. We also show this two-automorphism…

Given a triangulation of a point set in the plane, a \emph{flip} deletes an edge $e$ whose removal leaves a convex quadrilateral, and replaces $e$ by the opposite diagonal of the quadrilateral. It is well known that any triangulation of a…

We explore "semibounded" expansions of arbitrary ordered groups; namely, expansions that do not define a field on the whole universe. We show that if $\mathcal R=\langle R, <, +, \dots\rangle$ is a semibounded o-minimal structure and…

Evidences have suggested that counting representations are sometimes tractable even when the corresponding classification problem is almost impossible, or "wild" in a precise sense. Such counting problems are directly related to matrix…

Let $X \subset \mathbb{C}^n$ be an algebraic variety, and let $\Lambda \subset \mathbb{C}^n$ be a discrete subgroup whose real and complex spans agree. We describe the topological closure of the image of $X$ in $\mathbb{C}^n / \Lambda$,…

Consider a smooth connected algebraic group $G$ acting on a normal projective variety $X$ with an open dense orbit. We show that Aut($X$) is a linear algebraic group if so is $G$; for an arbitrary $G$, the group of components of Aut($X$) is…

We study parabolic automorphisms of irreducible holomorphically symplectic manifolds with a lagrangian fibration. Such automorphisms are (possibly up to taking a power) fiberwise translations on smooth fibers, and their orbits in a general…

An algebra $\mathcal{A}$ of $n\times n$ complex matrices is said to be \textit{idempotent compressible} if $E\mathcal{A}E$ is an algebra for all idempotents $E\in\mathbb{M}_n(\mathbb{C})$. Analogously, $\mathcal{A}$ is said to be…

We study the implications of model completeness of a theory for the effectiveness of presentations of models of that theory. It is immediate that for a computable model $\mathcal A$ of a computably enumerable, model complete theory, the…

We state conditions for which a definable local homomorphism between two locally definable groups $\mathcal{G}$, $\mathcal{G^{\prime}}$ can be uniquely extended when $\mathcal{G}$ is simply connected (Theorem 2.1). As an application of this…

An algebraic description of basic discrete symmetries (space inversion P, time reversal T, charge conjugation C and their combinations PT, CP, CT, CPT) is studied. Discrete subgroups {1,P,T,PT} of orthogonal groups of multidimensional…

We call a unital locally convex algebra $A$ a continuous inverse algebra if its unit group $A^\times$ is open and inversion is a continuous map. For any smooth action of a, possibly infinite-dimensional, connected Lie group $G$ on a…