Real Commutative Division Algebras

The category of all two-dimensional real commutative division algebras is shown to split into two full subcategories. One of them is equivalent to the category of the natural action of the cyclic group of order 2 on the open right half plane . The other one is equivalent to the category of the natural action of the dihedral group of order 6 on the set of all ellipses in which are centered at the origin and have reciprocal axis lengths. Cross-sections for the orbit sets of these group actions are easily described. Together with they classify all real commutative division algebras up to isomorphism. Moreover we describe all morphisms between the objects in this classifying set, thus obtaining a complete picture of the category of all real commutative division algebras, up to equivalence. This supplements earlier contributions of Kantor and Solodovnikov, Hypercomplex Numbers: An Elementary Introduction to Algebras, Nauka, Moscow, 1973; Benkart et al., Hadronic J., 4: 497–529, 1981; and Althoen and Kugler, Amer. Math. Monthly, 90: 625–635, 1983, who achieved partial results on the classification of the real commutative division algebras. Dedicated to Claus Michael Ringel on the occasion of his 60th birthday.     

Riesz and Poisson-Jensen Representation Formulas for a Class of Ultraparabolic Operators on Lie Groups

The aim of this paper is to give some representation formulas of Riesz and Poisson-Jensen type for super-solutions to a class of hypoelliptic ultraparabolic operators on a homogeneous Lie group . Our results complete the ones obtained in Cinti (Math Scand 100:1–21, 2007). We also provide a suitable theory for -Green functions and for -Green potentials of Radon measures. The proofs mostly rely on the use of appropriate techniques relevant to the Potential Theory for . Investigation supported by University of Bologna. Funds for selected research topics.     

Duality, Vector Spaces and Absolutely Convex Modules

It is well-known (see Semadeni, Queen Pap. Pure Appl. Math., 33:1–98, 1973 and Pumplün and Röhrl, Commun. Algebra, 12(8):953–1019, 1984, 1985) that the embedding of vector spaces into the category of absolutely convex modules is reflective. As we will show, under a separatedness condition on these modules it is at the same time coreflective. This is a peculiar situation, see Kannan, Math. Ann., 195:168–174, (1972) and Hu $\textrm {\u{s}}It is well-known (see Semadeni, Queen Pap. Pure Appl. Math., 33:1–98, 1973 and Pumplün and R?hrl, Commun. Algebra, 12(8):953–1019, 1984, 1985) that the embedding of vector spaces into the category of absolutely convex modules is reflective. As we will show, under a separatedness condition on these modules it is at the same time coreflective. This is a peculiar situation, see Kannan, Math. Ann., 195:168–174, (1972) and Huek, Reflexive and coreflexive subcategories of unif and top, Seminar Uniform Spaces, Prague, 113–126, (1973), but we do find it also in the embedding (Lowen, Approach Spaces: The Missing Link in the Topology-Uniformity-Metric Triad. Oxford Mathematical Monographs, Oxford University Press, London, UK, 1997) and, by extension, in the embedding (see Lowen and Verwulgen, Houst. J. Math, 30(4):1127–1142, 2004, and Sioen and Verwulgen, Appl. Gen. Topol., 4(2):263–279, 2003. We demonstrate that, in this setting, by duality arguments, absolutely convex modules are indeed the numerical counterpart of vector spaces. All these, at first sight unrelated facts, are comprised in the commutative scheme below with natural dualisation functors and their left adjoints.      

Boundary Limits for Bounded Quasiregular Mappings

In this paper we establish results on the existence of nontangential limits for weighted -harmonic functions in the weighted Sobolev space , for some q>1 and w in the Muckenhoupt A _q class, where is the unit ball in . These results generalize the ones in Sect. 3 of Koskela et al., Trans. Am. Math. Soc. 348(2), 755–766, 1996, where the weight was identically equal to one. Weighted -harmonic functions are weak solutions of the partial differential equation

Anchor Maps and Stable Modules in Depth Two

An algebra extension A ∣ B is right depth two if its tensor-square is in the Dress category . We consider necessary conditions for right, similarly left, D2 extensions in terms of partial A-invariance of two-sided ideals in A contracted to the centralizer. Finite dimensional algebras extending central simple algebras are shown to be depth two. Following P. Xu, left and right bialgebroids over a base algebra R may be defined in terms of anchor maps, or representations on R. The anchor maps for the bialgebroids and over the centralizer R = C _A (B) are the modules _S R and R _T studied in Kadison (J. Alg. & Appl., 2005, preprint), Kadison (Contemp. Math., 391: 149–156, 2005), and Kadison and Külshammer (Commun. Algebra, 34: 3103–3122, 2006), which provide information about the bialgebroids and the extension (Kadison, Bull. Belg. Math. Soc. Simon Stevin, 12: 275–293, 2005). The anchor maps for the Hopf algebroids in Khalkhali and Rangipour (Lett. Math. Phys., 70: 259–272, 2004) and Kadison (2005, preprint) reverse the order of right multiplication and action by a Hopf algebra element, and lift to the isomorphism in Van Oystaeyen and Panaite (Appl. Categ. Struct., 2006, in press). We sketch a theory of stable A-modules and their endomorphism rings and generalize the smash product decomposition in Kadison (Proc. Am. Math. Soc., 131: 2993–3002, 2003 Prop. 1.1) to any A-module. We observe that Schneider’s coGalois theory in Schneider (Isr. J. Math., 72: 167–195, 1990) provides examples of codepth two, such as the quotient epimorphism of a finite dimensional normal Hopf subalgebra. A homomorphism of finite dimensional coalgebras is codepth two if and only if its dual homomorphism of algebras is depth two.      

On the Analyticity of Underlying HKM Paths for Monotone Semidefinite Linear Complementarity Problems

An interior point method (IPM) defines a search direction at an interior point of the feasible region. These search directions form a direction field, which in turn defines a system of ordinary differential equations (ODEs). The solutions of the system of ODEs are called off-central paths, underlying paths lying in the interior of the feasible region. It is known that not all off-central paths are analytic, whether w.r.t. μ or , where μ represents the duality gap, at a solution of a given semidefinite linear complementarity problem, SDLCP (Sim and Zhao, Math. Program. 110:475–499, 2007). In Sim and Zhao (J. Optim. Theory Appl. 137:11–25, 2008), we give a necessary and sufficient condition for when an off-central path is analytic as a function of at a solution of a general SDLCP. It is then natural to ask about the analyticity of a SDLCP off-central path at a solution, as a function of μ. We investigate this in the current paper. Again, we work under the assumption that the given SDLCP satisfies strict complementarity condition.     

Nested set complexes of Dowling lattices and complexes of Dowling trees

Given a finite group G and a natural number n, we study the structure of the complex of nested sets of the associated Dowling lattice (Proc. Internat. Sympos., 1971, pp. 101–115) and of its subposet of the G-symmetric partitions which was recently introduced by Hultman (, 2006), together with the complex of G-symmetric phylogenetic trees . Hultman shows that the complexes and are homotopy equivalent and Cohen–Macaulay, and determines the rank of their top homology. An application of the theory of building sets and nested set complexes by Feichtner and Kozlov (Selecta Math. (N.S.) 10, 37–60, 2004) shows that in fact is subdivided by the order complex of . We introduce the complex of Dowling trees and prove that it is subdivided by the order complex of . Application of a theorem of Feichtner and Sturmfels (Port. Math. (N.S.) 62, 437–468, 2005) shows that, as a simplicial complex, is in fact isomorphic to the Bergman complex of the associated Dowling geometry. Topologically, we prove that is obtained from by successive coning over certain subcomplexes. It is well known that is shellable, and of the same dimension as . We explicitly and independently calculate how many homology spheres are added in passing from to . Comparison with work of Gottlieb and Wachs (Adv. Appl. Math. 24(4), 301–336, 2000) shows that is intimely related to the representation theory of the top homology of . Research partially supported by the Swiss National Science Foundation, project PP002-106403/1.     

Weak Type Inequality for a Family of Singular Integral Operators Related with the Gaussian Measure

In this paper we study a family of singular integral operators that generalizes the higher order Gaussian Riesz Transforms and find the right weight w to make them continuous from L ¹(wdγ) into L ^1, ∞(dγ), being Some boundedness properties of these operators had already been derived by Urbina (Ann Scuola Norm Sup Pisa Cl Sci 17(4):531–567, 1990) and Pérez (J Geom Anal 11(3):491–507, 2001).      

Plurisubharmonic Functions on the Octonionic Plane and <Emphasis Type="Italic">Spin</Emphasis>(9)-Invariant Valuations on Convex Sets

A new class of plurisubharmonic functions on the octonionic plane is introduced. An octonionic version of theorems of A.D. Aleksandrov (Vestnik Leningrad. Univ. Ser. Mat. Meh. Astr. 13(1):5–24, 1958) and Chern-Levine-Nirenberg (Global Analysis, pp. 119–139, 1969), and Błocki (Proc. Am. Math. Soc. 128(12):3595–3599, 2000) are proved. These results are used to construct new examples of continuous translation invariant valuations on convex subsets of . In particular, a new example of Spin(9)-invariant valuation on ℝ¹⁶ is given. Partially supported by ISF grant 1369/04.     

Global error bounds for the extended vertical LCP

A new necessary and sufficient condition for the row -property is given. By using this new condition and a special row rearrangement, we provide two global error bounds for the extended vertical linear complementarity problem under the row -property, which extend the error bounds given in Chen and Xiang (Math. Program. 106:513–525, 2006) and Mathias and Pang (Linear Algebra Appl. 132:123–136, 1990) for the P-matrix linear complementarity problem, respectively. We show that one of the new error bounds is sharper than the other, and it can be computed easily for some special class of the row -property block matrix. Numerical examples are given to illustrate the error bounds. The work was in part supported by a Grant-in-Aid from Japan Society for the Promotion of Science, and the National Natural Science Foundation of China (10671010).     

Spectral order and isotonic differential operators of Laguerre–Pólya type

The spectral order on R ⁿ induces a natural partial ordering on the manifold of monic hyperbolic polynomials of degree n. We show that all differential operators of Laguerre–Pólya type preserve the spectral order. We also establish a global monotony property for infinite families of deformations of these operators parametrized by the space ℓ^∞ of real bounded sequences. As a consequence, we deduce that the monoid of linear operators that preserve averages of zero sets and hyperbolicity consists only of differential operators of Laguerre–Pólya type which are both extensive and isotonic. In particular, these results imply that any hyperbolic polynomial is the global minimum of its -orbit and that Appell polynomials are characterized by a global minimum property with respect to the spectral order.     

The $\bar{\partial}$ -Approach to Monochromatic Inverse Scattering in Three Dimensions

We discuss a method for monochromatic inverse scattering in three dimensions of [Novikov in Int. Math. Res. Papers 2005(6):287–349, [2005]] and implemented numerically in [Alekseenko et al. in Acoust. J. 54(3), [2008]]. This method is obtained as a development of the -approach to inverse scattering at fixed energy in dimension d≥3 of [Beals and Coifman in Proc. Symp. Pure Math. 43:45–70, [1985]] and [Henkin and Novikov in Usp. Mat. Nauk 42(3):93–152, [1987]] and involves, in particular, some results of [Faddeev in Itogi Nauki Tech. Sovr. Prob. Math. 3:93–180, [1965], [1974]] and some ideas of the soliton theory (in particular, some ideas going back to [Manakov in Usp. Mat. Nauk 31(5):245–246, [1976]] and [Dubrovin et al. in Dokl. Akad. Nauk SSSR 229:15–18, [1976]]). Also, our studies go back, in particular, to [Regge in Nuovo Cimento 14:951–976, [1959]]. This article is an extended version of the talk given at International Conference in Mathematics in honor of G. Henkin at the occasion of his 65th birthday.      

Chern Forms on Mapping Spaces

We state a Chern–Weil type theorem which is a generalization of a Chern–Weil type theorem for Fredholm structures stated by Freed in [4]. Using this result, we investigate Chern forms on based manifold of maps following two approaches, the first one using the Wodzicki residue, and the second one using renormalized traces of pseudo-differential operators along the lines of [1, 19, 20]. We specialize to the case to study current groups. Finally, we apply these results to a class of holomorphic connections on the loop group . In this last example, we precise Freed's construction [5] on the loop group: The cohomology of the first Chern form of any holomorphic connection in the class considered is given by the Kähler form.     

The Diagonal Functors

We obtain new categorical proofs that generalize the diagonal principles introduced in Castillo and Moreno (Israel J. Math. 140:253–270, 2004) to study the automorphic and partially automorphic character of Banach spaces. We then introduce and study the automorphy index for a Banach space, showing that while . This research has been supported in part by project MTM2004-02635.     

On Characterizing the Solution Sets of Pseudoinvex Extremum Problems

In this paper, we study the minimization of a pseudoinvex function over an invex subset and provide several new and simple characterizations of the solution set of pseudoinvex extremum problems. By means of the basic properties of pseudoinvex functions, the solution set of a pseudoinvex program is characterized, for instance, by the equality , for each feasible point x, where is in the solution set. Our study improves naturally and extends some previously known results in Mangasarian (Oper. Res. Lett. 7: 21–26, 1988) and Jeyakumar and Yang (J. Opt. Theory Appl. 87: 747–755, 1995). This research was partially supported by National Natural Science Foundation of China Grants No. 10771228 and 10831009.     

Hermitian generalization of the Rarita-Schwinger operators

We introduce two new linear differential operators which are invariant with respect to the unitary group SU（n）. They constitute analogues of the twistor and the Rarita-Schwinger operator in the orthogonal case. The natural setting for doing this is Hermitian Clifford Analysis. Such operators are constructed by twisting the two versions of the Hermitian Dirac operator 6z_ and 6z_ and then projecting on irreducible modules for the unitary group. We then study some properties of their spaces of nullsolutions and we find a formulation of the Hermitian Rarita-Schwinger operators in terms of Hermitian monogenic polynomials.     

<Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript> Hermite interpolation by Pythagorean hodograph quintics in Minkowski space

Curves in the Minkowski space are very well suited to describe the medial axis transform (MAT) of planar domains. Among them, Minkowski Pythagorean hodograph (MPH) curves correspond to domains where both the boundaries and their offsets admit rational parameterizations (Choi et al., Comput Aided Design 31:59–72, 1999; Moon, Comput Aided Geom Design 16:739–753; 1999). We construct MPH quintics which interpolate two points with associated first derivative vectors and analyze the properties of the system of solutions, including the approximation order of the ‘best’ interpolant.      

Distances Between <Emphasis Type="Italic">σ</Emphasis>-Fields on a Probability Space

For a probability space (Ω,ℱ,P) and two sub-σ-fields we consider two natural distances: and . We investigate basic properties of these distances. In particular we show that if a distance (ρ or ) from ℬ to is small then there exists Z∈ℱ with small P(Z), such that for every B∈ℬ there exists such that B∖Z and A∖Z differ by a set of probability zero. This improves results of Neveu (Ann. Math. Stat. 43(4):1369–1371, [1972]), Jajte and Paszkiewicz (Probab. Math. Stat. 19(1):181–201, [1999]).      

Moment Inequalities for Sums of Dependent Random Variables under Projective Conditions

We obtain precise constants in the Marcinkiewicz-Zygmund inequality for martingales in for p>2 and a new Rosenthal type inequality for stationary martingale differences for p in ]2,3]. The Rosenthal inequality is then extended to stationary and adapted sequences. As in Peligrad et al. (Proc. Am. Math. Soc. 135:541–550, [2007]), the bounds are expressed in terms of -norms of conditional expectations with respect to an increasing field of sigma algebras. Some applications to a particular Markov chain are given.      

Quadratic fields with noncyclic 5- or 7-class groups

We shall show that the number of quadratic fields with absolute discriminant ≤x and noncyclic 5- or 7-class group is ≫x ^1/4 improving the existing known bound for g=5 and for g=7 in Byeon (Ramanujan J. 11:159–163, 2006). This work was supported by KRF-2005-070-C00004.