General Embedding Theorem

The quotient space of an arbitrary Banach space B by any subspace B₁ ? B equipped with the norm \(||b|B/{B_1}|| = \mathop {\inf }\limits_{f \in B/{B_1}} ||f|b||\) is considered. In the case where the infimum is a minimum, i.e., it is attained at some element, a formula for this element is presented. The proof is based on restating the original problem in dual spaces with the help of corresponding Legendre transforms. Although the original problem is nonlinear, it is found that its formulation in dual spaces is always linear and solvable. The results are applied to the general theory of boundary value problems for differential equations of mathematical physics.     

On an Embedding Theorem

We prove a theorem giving conditions under which a discrete-time dynamical system as (x _t ,y _t ) = (f;(x _{t – 1}, y _{t – 1}), g(x _{t – 1}, y _{t – 1})) can be reconstructed from a scalar valued time series ( _t ) _t , which depends only on x _t where _t = (x _t ). This theorem allows us to use the delay-coordinate method in this setting.     

The Lattice of Interpretability Types of Cantor Varieties

For integers 1 m < n, a Cantor variety with m basic n-ary operations _i and n basic m-ary operations _k is a variety of algebras defined by identities _k(₁( ), ... , _m( )) = _k and i(₁( ), ... ,_n( )) = y _i, where = (x ₁., ... , x _n) and = (y ₁, ... , y _m). We prove that interpretability types of Cantor varieties form a distributive lattice, , which is dual to the direct product ₁ × ₂ of a lattice, ₁, of positive integers respecting the natural linear ordering and a lattice, ₂, of positive integers with divisibility. The lattice is an upper subsemilattice of the lattice of all interpretability types of varieties of algebras.     

Lipschitz曲线上Besov-Triebel-Lizorkin空间的嵌入定理

本文用离散的Calderón型再生公式。证明了Lipschitz曲线上Beasov空间与Triebel-Lizorkin空间的嵌入定理。     

The Bers-Greenberg Theorem and the Maskit Embedding for Teichmuller Spaces

The Bers–Greenberg theorem tells us that the Teichmüllerspace of a Riemann surface with branch points (orbifold) dependsonly on the genus and the number of special points, and noton the particular ramification values. On the other hand, theMaskit embedding provides a mapping from the Teichmüllerspace of an orbifold, into the product of one-dimensional Teichmüllerspaces. In this paper we prove that there is a set of isomorphismsbetween one-dimensional Teichmüller spaces that, when restrictedto the image of the Teichmüller space of an orbifold underthe Maskit embedding, provides the Bers–Greenberg isomorphism.     

An Embedding Theorem for Abelian Monoidal Categories

We show that, with some technical conditions, an Abelian monoidal category admits a monoidal embedding into the category of bimodules over a ring. The case of semisimple rigid monoidal categories is studied in more detail.     

前缀码的嵌入定理

设X*是字母表X上的自由幺半群,以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的横截集的概念,给出了前缀码嵌入到极大前缀码的一个构造.     

Roitman's Theorem for Singular Projective Varieties

We construct an Abel–Jacobi mapping on the Chow group of 0-cycles of degree 0, and prove a Roitman theorem, for projective varieties over C with arbitrary singularities. Along the way, we obtain a new version of the Lefschetz Hyperplane theorem for singular varieties.     

An Embedding Theorem for Automorphism Groups of Cartan Geometries

We study the automorphism group of a Cartan geometry, and prove an embedding theorem analogous to a result of Zimmer for automorphism groups of G-structures. Our embedding theorem leads to general upper bounds on the real rank or nilpotence degree of a Lie subgroup of the automorphism group. We prove that if the maximal real rank is attained in the automorphism group of a geometry of parabolic type, then the geometry is flat and complete.     

An Embedding Theorem for Pseudoconvex Domains in Banach Spaces

We show that a pseudoconvex open subset of a Banach space with an unconditional basis is biholomorphic to a closed direct submanifold of a Banach space with an unconditional basis.This research supported in part by NSF grant DMS-0203072 and a Bilsland Dissertation Fellowship from the Graduate School of Purdue University. This paper is the result of my thesis research under the direction of László Lempert, and I would like to thank him for his patient and wise guidance. I would also like to thank Andreas Defant and David Pérez-García for their suggestions regarding tensor products and directing me to the paper [4], and Steve Bell for his suggestions.     

The Theorem of Mather on Generic Projections for Singular Varieties

The theorem of Mather on generic projections of smooth algebraic varieties is also proved for the singular ones.     

On the Specialization Theorem for Abelian Varieties

In this paper, we apply Moriwaki's arithmetic height functionsto obtain an analogue of Silverman's specialization theoremfor families of Abelian varieties over K, where K is any fieldfinitely generated over Q. 2000 Mathematics Subject Classification11G40, 14K15.     

A Generalised Skolem-Mahler-lech Theorem for Affine Varieties

The Skolem–Mahler–Lech theorem states that if f(n)is a sequence given by a linear recurrence over a field of characteristic0, then the set of m such that f(m) is equal to 0 is the unionof a finite number of arithmetic progressions in m 0 and afinite set. We prove that if X is a subvariety of an affinevariety Y over a field of characteristic 0 and q is a pointin Y, and is an automorphism of Y, then the set of m such that^m(q) lies in X is a union of a finite number of complete doubly-infinitearithmetic progressions and a finite set. We show that thisis a generalisation of the Skolem–Mahler–Lech theorem.     

Embedding Theorem on Spaces of Homogeneous Type

In [5] the embedding theorem for the Besov spaces Bdot^\A,q_pBdot^{\A,q}_p with $\minus \varepsilon < \alpha \varepsilon $\minus \varepsilon < \alpha \varepsilon and 1 ￡ p1 \le p, q ￡ ￥q \le \infty, and Triebel-Lizorkin spaces \Fdot^\A,q_p\Fdot^{\A,q}_p with $\minus \varepsilon < \alpha \varepsilon $\minus \varepsilon < \alpha \varepsilon and 1 ￡ p1 \le p, q ￡ ￥q \le \infty, on spaces of homogeneous type was obtained. In this article the embedding theorem is generalized to the Besov spaces Bdot^\A,q_pBdot^{\A,q}_p with $p_0 < p \le \infty $p_0 < p \le \infty and 0 < q \le \infty for for p_0 < 1, and the Triebel-Lizorkin spaces, and the Triebel-Lizorkin spaces \Fdot^{\A,q}_pwith with p_1 < p < \inftyand and p_1 < q < \infty for for p_1< 1. The proofs are new even for. The proofs are new even for \mathbb{R}^n$.     

An Embedding Theorem for Reduced Albert Algebras Over Arbitrary Fields

Extending two classical embedding theorems of Albert and Jacobson and Jacobson for Albert (exceptional simple Jordan) algebra over fields of characteristic not two to base fields of arbitrary characteristic, we show that any element of a reduced Albert algebra can be embedded into a reduced absolutely simple subalgebra of degree 3 and dimension 9 which may be chosen to be split if the Albert algebra was split to begin with.     

一类逆半群的嵌入定理

给出了一类特殊的E*-酉逆半群——适当逆半群的一个嵌入定理.     

Quantitative Generalized Bertini-Sard Theorem for Smooth Affine Varieties

Let X ⊂ ℂⁿ be a smooth affine variety of dimension n – r and let f = (f₁,..., f_m): X → ℂ_m be a polynomial dominant mapping. We prove that the set K(f) of generalized critical values of f (which always contains the bifurcation set B(f) of f) is a proper algebraic subset of ℂ_m. We give an explicit upper bound for the degree of a hypersurface containing K(f). If I(X)—the ideal of X—is generated by polynomials of degree at most D and deg f_i ≤ d, then K(f) is contained in an algebraic hypersurface of degree at most (d + (m – 1)(d – 1)+(D – 1)r)_n-rD_r. In particular if X is a hypersurface of degree D and f: X → ℂ is a polynomial of degree d, then f has at most (d + D – 1)_n-1D generalized critical values. This bound is asymptotically optimal for f linear. We give an algorithm to compute the set K(f) effectively. Moreover, we obtain similar results in the real case.     

局部凸空间上检验函数与广义函数空间的嵌入定理及其应用

设Y是局部凸向量空间,其上装配有GaussianRadon测度γ．A（Y）（或ε（Y）是Y上检验函数空间（或με（Y）是相应的分布函数空间·我们证明了：（或με（Y）,并由此得到μA（Y）（或με（Y））上的Fourier变换公式.其中“*”表示复共轭算子,“”表示连续稠线性嵌入.进一步还得到了A（Y）（或ε（Y））上无穷维伪微分算子A是L2（Y,γ）上连续的充要条件是其共轭算子A’满足A’（L2（Y,γ）L2（Y,γ）．