The centralizer of a semi-linear transformation

Let V be a finite-dimensional vector space over a division ring D, where D is finite-dimensional over its center F. Suppose T is a semi-linear transformation on V with associated automorphism σ of D. The centralizer of T is the ring C(T) of all linear transformations on V which commute with T. If σ^r is the identity on D for some r ? 1 and no smaller positive power of σ is an inner automorphism, then the center of C(T) is computed to be polynomials in T^r with coefficients from F₀, where F₀ is the subfield of F left elementwise fixed by σ. A matrix version of this theorem is also given.     

Auslander-Reiten correspondence for tilting pairs

Let A be an Artin algebra. A pair (C,T) of A-modules is tilting provided that C and T are (finitely generated) self-orthogonal, and . Particularly, T is a tilting module if and only if (A,T) is a tilting pair. In the note, we will extend the Auslander-Reiten correspondence for tilting modules to the context of tilting pairs.     

Hyperbolicity of algebras with involution over a given extension

Let F be a field and (A,σ) a central simple F-algebra with involution. Let π(t) be a separable polynomial over F. Let F(π)=F[t]/(π(t)). Tignol considered the question whether the algebra A⊗F(π) is hyperbolic. He introduced the algebra H_π, which is universal for this question. Haile and Tignol determined the structure of the algebra H_π and introduced a certain homomorphic image C_π of H_π. In this paper, we give a new characterization of C_π and introduce a new algebra A_π that classifies the commutative algebras with involution that become hyperbolic over F(π). We determine the structure of A_π and use it to examine some examples.     

The Double Centralizer Theorem for Semiprime Algebras

In the paper we prove the double centralizer theorem for semiprime algebras. To be precise, let R be a closed semiprime algebra over its extended centroid F, and let A be a closed semiprime subalgebra of R, which is a finitely generated module over F. Then C _R (A) is also a closed semiprime algebra and C _R (C _R (A))?=?A. In addition, if C _R (A) satisfies a polynomial identity, then so does the whole ring R. Here, for a subset T of R, we write C _R (T):?=?{x?∈?R|xt?=?tx???t?∈?T}, the centralizer of T in R.     

The Carlitz algebras

The Carlitz F_q-algebra C=C_ν, ν∈N, is generated over an algebraically closed field K (which contains a non-discrete locally compact field of positive characteristic p>0, i.e. K?F_q[[x,x⁻¹]], q=p^ν), by the (power of the) Frobenius map X=X_ν:f?f^q, and by the Carlitz derivativeY=Y_ν. It is proved that the Krull and global dimensions of C are 2, classifications of simple C-modules and ideals are given, there are only countably many ideals, they commute (IJ=JI), and each ideal is a unique product of maximal ones. It is a remarkable fact that any simple C-module is a sum of eigenspaces of the element YX (the set of eigenvalues for YX is given explicitly for each simple C-module). This fact is crucial in finding the group of F_q-algebra automorphisms of C and in proving that any two distinct Carlitz rings are not isomorphic (C_ν?C_μ if ν≠μ). The centre of C is found explicitly, it is a UFD that contains countably many elements.     

Group-valued continuous functions with the topology of pointwise convergence

Let G be a topological group with the identity element e. Given a space X, we denote by Cp(X,G) the group of all continuous functions from X to G endowed with the topology of pointwise convergence, and we say that X is: (a) G-regular if, for each closed set F⊆X and every point x∈X?F, there exist f∈Cp(X,G) and g∈G?{e} such that f(x)=g and f(F)⊆{e}; (b) G^?-regular provided that there exists g∈G?{e} such that, for each closed set F⊆X and every point x∈X?F, one can find f∈Cp(X,G) with f(x)=g and f(F)⊆{e}. Spaces X and Y are G-equivalent provided that the topological groups Cp(X,G) and Cp(Y,G) are topologically isomorphic.We investigate which topological properties are preserved by G-equivalence, with a special emphasis being placed on characterizing topological properties of X in terms of those of Cp(X,G). Since R-equivalence coincides with l-equivalence, this line of research “includes” major topics of the classical Cp-theory of Arhangel'ski? as a particular case (when G=R).We introduce a new class of TAP groups that contains all groups having no small subgroups (NSS groups). We prove that: (i) for a given NSS group G, a G-regular space X is pseudocompact if and only if Cp(X,G) is TAP, and (ii) for a metrizable NSS group G, a G^?-regular space X is compact if and only if Cp(X,G) is a TAP group of countable tightness. In particular, a Tychonoff space X is pseudocompact (compact) if and only if Cp(X,R) is a TAP group (of countable tightness). Demonstrating the limits of the result in (i), we give an example of a precompact TAP group G and a G-regular countably compact space X such that Cp(X,G) is not TAP.We show that Tychonoff spaces X and Y are T-equivalent if and only if their free precompact Abelian groups are topologically isomorphic, where T stays for the quotient group R/Z. As a corollary, we obtain that T-equivalence implies G-equivalence for every Abelian precompact group G. We establish that T-equivalence preserves the following topological properties: compactness, pseudocompactness, σ-compactness, the property of being a Lindelöf Σ-space, the property of being a compact metrizable space, the (finite) number of connected components, connectedness, total disconnectedness. An example of R-equivalent (that is, l-equivalent) spaces that are not T-equivalent is constructed.     

Automatic continuity of biseparating homomorphisms defined between groups of continuous functions

Let C(X,T) be the group of continuous functions of a compact Hausdorff space X to the unit circle of the complex plane T with the pointwise multiplication as the composition law. We investigate how the structure of C(X,T) determines the topology of X. In particular, which group isomorphisms H between the groups C(X,T) and C(Y,T) imply the existence of a continuous map h of Y into X such that H is canonically represented by h. Among other results, it is proved that C(X,T) determines X module a biseparating group isomorphism and, when X is first countable, the automatic continuity and representation as Banach-Stone maps for biseparating group isomorphisms is also obtained.     

ON CERTAIN NEW RADICALS ARISING FROM A GIVEN RADICAL

Abstract

If R is a ring and n is an integer weMaydefine a ring T_n (R) on the same underlying additive abelian group by using the formula a * b = nab to define a new multiplication. T_n , is a functor on the category of associative rings. If C is a class of rings then, for each n, the class C_n , is defined to consist of all rings R such that T_n (R) is in C. If C is a radical class then each class C_n , is also a radical class. We consider the properties of the radical class C which are inherited by C_n , and relationships between these classes C _n as n varies.     

Boundary representations and rigidity of submodules

This paper considers two problems on the Fock type spaces Fs (0<s?1). Firstly, it is shown that on the space Fs (0<s<1), the identity representation of C^∗(I,T₁,…,Tn) is a boundary representation for the Banach subalgebra B(I,T₁,…,Tn), while on the space F₁, it is not. Secondly, it is shown that all the submodules of F₁ are rigid.     

Linear extensions,projections, and split faces

The main result is essentially: Let F be a closed split face of a compact convex set K such that A(F) is separable and has the (positive) metric approximation property. Then there is a (positive) linear extension operator from A(F) into A(K) of norm one.This is applied to C¹-algebras thus giving sufficient conditions for the existence of right inverses to surjective ¹-homomorphisms.     

Traces on the skein algebra of the torus

For a surface F, the Kauffman bracket skein module of F×[0,1], denoted K(F), admits a natural multiplication which makes it an algebra. When specialized at a complex number t, nonzero and not a root of unity, we have Kt(F), a vector space over C. In this paper, we will use the product-to-sum formula of Frohman and Gelca to show that the vector space Kt(T²) has five distinct traces. One trace, the Yang-Mills measure, is obtained by picking off the coefficient of the empty skein. The other four traces on Kt(T²) correspond to the four singular points of the moduli space of flat SU(2)-connections on the torus.     

Friedrichs extensions of Schrödinger operators with singular potentials

The Friedrichs extension for the generalized spiked harmonic oscillator given by the singular differential operator −d²/dx²+Bx²+Ax⁻²+λx^−α (B>0, A?0) in L₂(0,∞) is studied. We look at two different domains of definition for each of these differential operators in L₂(0,∞), namely C₀^∞(0,∞) and D(T_2,F)∩D(M_λ,α), where the latter is a subspace of the Sobolev space W_2,2(0,∞). Adjoints of these differential operators on C₀^∞(0,∞) exist as result of the null-space properties of functionals. For the other domain, convolutions and Jensen and Minkowski integral inequalities, density of C₀^∞(0,∞) in D(T_2,F)∩D(M_λ,α) in L₂(0,∞) lead to the other adjoints. Further density properties C₀^∞(0,∞) in D(T_2,F)∩D(M_λ,α) yield the Friedrichs extension of these differential operators with domains of definition D(T_2,F)∩D(M_λ,α).     

Conjugate transforms for τT semigroups of probability distribution functions

This paper introduces the use of conjugate transforms in the study of τ_T semigroups of probability distribution functions. If Δ⁺ denotes the space of one-dimensional distribution functions concentrated on [0, ∞) and T is a t-norm, i.e., a suitable binary operation on [0, 1], then the operation τ_T is defined for F, G in Δ⁺by τ_T(F, G)(x) = sup_{u+v = x}T(F(u), G(v)) for all x. The pair (Δ⁺, τ_T) is then a semigroup. For any Archimedean t-norm T, a conjugate transform C_T is defined on (Δ⁺, τ_T). These transforms are shown to play a role similar to that played by the Laplace transform on the convolution semigroup. Thus a theory of “characteristic functions” for τ_T semigroups is developed. In addition to establishing their basic algebraic properties, we also use conjugate transforms to study the algebraic questions of the cancellation law, infinitely divisible elements, and solutions of equations in τ_T semigroups.     

Existence and asymptotic behavior of a functional differential equation in Banach space

Existence and asymptotic behavior of solutions are given for the equation u′(t) = ?A(t)u(t) + F(t,u_t) (t ? 0) and u₀ = ? ? C([?r,0]; X)  C. The space X is a Banach space; the family $\text{{A(t) ¦ 0 ? t ? T}}$ of unbounded linear operators defined on D(A) ? X → X generates a linear evolution system and F: C → X is continuous with respect to a fractional power of A(t₀) for some t₀ ? [0, T].     

On F-almost split sequences

Let A be an Artinian algebra and F an additive subbifunctor of Ext,（-, -） having enough projectives and injectives. We prove that the dualizing subvarieties of mod A closed under F-extensions have F-almost split sequences. Let T be an F-cotilting module in mod A and S a cotilting module over F = End（T）. Then Horn（-, T） induces a duality between F-almost split sequences in ⊥FT and almost sl31it sequences in ⊥S, where addrS = Hom∧（f（F）, T）. Let A be an F-Gorenstein algebra, T a strong F-cotilting module and 0→A→B→C→0 and F-almost split sequence in ⊥FT.If the injective dimension of S as a Г-module is equal to d, then C≌（ΩCM^-dΩ^dDTrA^＊）^＊,where（-）^＊=Hom（g,T）.In addition, if the F-injective dimension of A is equal to d, then A≌ΩMF^-dDΩFop^-d TrC≌ΩCMF^-d ≌F^d DTrC.     

Mixing model structures

We prove that if a category has two Quillen closed model structures (W₁,F₁,C₁) and (W₂,F₂,C₂) that satisfy the inclusions W₁⊆W₂ and F₁⊆F₂, then there exists a “mixed model structure” (Wm,Fm,Cm) for which Wm=W₂ and Fm=F₁. This shows that there is a model structure for topological spaces (and other topological categories) for which Wm is the class of weak equivalences and Fm is the class of Hurewicz fibrations. The cofibrant spaces in this model structure are the spaces that have CW homotopy type.     

On Dynkin's Markov property of random fields associated with symmetric processes

Let p(t, x, y) be a symmetric transition density with respect to a σ-finite measure m on (E, $\text{E}$), g(x,y)=∫p(t,x,y)dt, and $\text{M}\text{={σ-finite measures μ?0:∫g(x,y)μ(}\text{d}\text{x)μ(}\text{d}\text{y)<∞}}$. There exists a Gaussian random field $\text{Φ={?}{}_{\mathrm{\mu }}\text{:μ?}\text{M}\text{}}$ with mean 0 and covariance $\text{E}\text{?}{}_{\mathrm{\mu }}\text{?}{}_{\mathrm{\nu }}\text{=∫g(x,y)μ(}\text{d}\text{x)ν(}\text{d}\text{y)}$. Letting $\text{F}\text{(B)=σ{?}{}_{\mathrm{\mu }}\text{:μ(B}{}^{\mathrm{c}}\text{)=0}}$ we consider necessary and sufficient conditions for the Markov property (MP) on sets B, C: $\text{F}$(B), $\text{F}$(C) c.i. given $\text{F}$(B ∩ C). Of crucial importance is the following, proved by Dynkin: $\text{E}\text{{?}{}_{\mathrm{\mu }}\text{∣}\text{F}\text{(B)}=?}{}_{\mathrm{\mu B}}$, where μ_B is the hitting distribution of the process corresponding to p, m with initial law μ. Another important fact is that ?_μ=?_ν iff μ, ν have the same potential. Putting these together with an additional transience assumption, we present a potential theoretic proof of the following necessary and sufficient condition for (MP) on sets B, C: For every x?E, T_B∩C=T_B+T_C∮ θ_TB=T_C+T_B∮θ_TC a.s. P^x where, for D ? $\text{E}$, T_D is the hitting time of D for the process associated with p, m. This implies a necessary condition proved by Dynkin in a recent preprint for the case where B∪C=E and B, C are finely closed.     

Bifurcation and asymptotic bifurcation for equations involving A-proper mappings with applications to differential equations

Let X, Y be real Banach spaces, T: X → YA-proper, and C: X → Y compact. Section 1 of this paper is devoted to the study of bifurcation and asymptotic bifurcation problems for Eq. $\text{(1): Tx ? λCx = 0}$. In Theorem 1 it is shown that if T(0) = C(0) = 0 and T and C have F-derivatives T₀ and C₀ at 0 with T₀A-proper and injective, then each eigenvalue of T₀x ? λC₀x = 0 of odd multiplicity is a bifurcation point for Eq. (1). Theorem 2 shows that if T and C have asymptotic derivatives T_∞ and C_∞, then each eigenvalue of T_∞x ? λC_∞x = 0 of odd multiplicity is an asymptotic bifurcation point for Eq. (1). Special cases are treated when Y = X and T = I ? F with Fk-ball-contractive or when Y ≠ X and T is either of type (S) or of strongly accretive type. Section 2 is devoted to applications of Theorems 1 and 2 to bifurcation problems involving elliptic operators. The usefulness of Theorems 1 and 2 stems from the fact that they are directly applicable to differential eigenvalue problems without the preliminary reduction of Eq. (1) to equivalent problems involving compact operators. Moreover, in some cases they are applicable in situations to which the known bifurcation results are not applicable.     

Allowable Interval Sequences and Line Transversals in the Plane

Given a family F of n pairwise disjoint compact convex sets in the plane with non-empty interiors, let T(k) denote the property that every subfamily of F of size k has a line transversal, and T the property that the entire family has a line transversal. We illustrate the applicability of allowable interval sequences to problems involving line transversals in the plane by proving two new results and generalizing three old ones. Two of the old results are Klee??s assertion that if F is totally separated then T(3) implies T, and the following variation of Hadwiger??s Transversal Theorem proved by Wenger and (independently) Tverberg: If F is ordered and each four sets of F have some transversal which respects the order on F, then there is a transversal for all of F which respects this order. The third old result (a consequence of an observation made by Kramer) and the first of the new results (which partially settles a 2008 conjecture of Eckhoff) deal with fractional transversals and share the following general form: If F has property T(k) and meets certain other conditions, then there exists a transversal of some m sets in F, with k<m<n. The second new result establishes a link between transversal properties and separation properties of certain families of convex sets.