∞-jets of diffeomorphisms preserving orbits of vector fields

Let F be a C ^∞ vector field defined near the origin O ∈ ℝ ⁿ , F(O) = 0, and (F _t ) be its local flow. Denote by the set of germs of orbit preserving diffeomorphisms h: ℝ ⁿ → ℝ ⁿ at O, and let , (r ≥ 0), be the identity component of with respect to the weak Whitney W ^r topology. Then contains a subset consisting of maps of the form F _α(x)(x), where α: ℝ ⁿ → ℝ runs over the space of all smooth germs at O. It was proved earlier by the author that if F is a linear vector field, then = . In this paper we present a class of examples of vector fields with degenerate singularities at O for which formally coincides with , i.e. on the level of ∞-jets at O. We also establish parameter rigidity of linear vector fields and “reduced” Hamiltonian vector fields of real homogeneous polynomials in two variables.      

Using as a Semantic Markup Format

One of the great problems of Mathematical Knowledge Management (MKM) systems is to obtain access to a sufficiently large corpus of mathematical knowledge to allow the management/search/navigation techniques developed by the community to display their strength. Such systems usually expect the mathematical knowledge they operate on in the form of semantically enhanced documents, but mathematicians and publishers in Mathematics have heavily invested into the format and workflow. We analyze the current practice of semi-semantic markup in documents and extend it by a markup infrastructure that allows to embed semantic annotations into documents without changing their visual appearance. This collection of macro packages is called (semantic ) as it allows to markup documents semantically without leaving the time-tried workflow, essentially turning into an MKM format. At the heart of is a definition mechanism for semantic macros for mathematical objects and a non-standard scoping construct for them, which is oriented at the semantic dependency relation rather than the document structure. We evaluate the macro collection on a large case study: the course materials of a two-semester course in Computer Science was annotated semantically and converted to the OMDoc MKM format by Bruce Miller’s LaTeXML system.      

Sequential convergences on <Emphasis Type="Italic">MV</Emphasis>-algebras without Urysohn’s axiom

In a previous author’s paper, sequential convergences on an MV-algebra have been studied; the Urysohn’s axiom was assumed to be valid. The system of all such convergences was denoted by Conv . In the present paper we investigate analogous questions without supposing the validity of the Urysohn’s axiom; the corresponding system of convergences is denoted by conv . Both Conv and conv are partially ordered by the set-theoretical inclusion. We deal with the properties of conv 289-6 and the relations between conv and Conv . We prove that each interval of conv is a distributive lattice. The system conv has the least element, but it does not possess any atom. Hence it is either a singleton set or it is infinite. We consider also the relations between conv and conv G, where (G, u) is a unital lattice-ordered group with = Γ (G, u). This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence — Physics of Information, Grant 1/2/2005.     

Orbit projections of proper Lie groupoids as fibrations

Let      

Measure-category properties of Borel plane sets and Borel functions of two variables

Let      

Projectability and weak homogeneity of pseudo effect algebras

In this paper we deal with a pseudo effect algebra possessing a certain interpolation property. According to a result of Dvurečenskij and Vettterlein, can be represented as an interval of a unital partially ordered group G. We prove that is projectable (strongly projectable) if and only if G is projectable (strongly projectable). An analogous result concerning weak homogeneity of and of G is shown to be valid. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence—Physics of Information (grant I/2/2005).     

Harmonic moments of branching processes in random environments

We consider harmonic moments of branching processes in general random environments. For a sequence of square integrable random variables, we give some conditions such that there is a positive constant c that every variable in this sequence belong to Ac or A1c uniformly.     

Algebras of polynomials on locally convex spaces of ultradifferentiable functions and generalized derivation

We consider the space      

<Emphasis Type="Italic">K</Emphasis>-Radical classes and product radical classes of <Emphasis Type="Italic">MV</Emphasis>-algebras

For an MV-algebra let J ₀( ) be the system of all closed ideals of ; this system is partially ordered by the set-theoretical inclusion. A radical class X of MV-algebras will be called a K-radical class iff, whenever ∈ X and is an MV-algebra with J ₀( ) ≅ J ₀( ), then ∈ X. An analogous notation for lattice ordered groups was introduced and studied by Conrad. In the present paper we show that there is a one-to-one correspondence between K-radical classes of MV-algebras and K-radical classes of abelian lattice ordered groups. We also prove an analogous result for product radical classes of MV-algebras; product radical classes of lattice ordered groups were studied by Ton. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information, Grant I/2/2005.     

Construct weak Hopf algebras by using Borcherds matrix

We define a new kind quantized enveloping algebra of a generalized Kac-Moody algebra by adding a new generator J satisfying jm = j for some integer m. We denote this algebra by wUqT（A）. This algebra is a weak Hopf algebra if and only if m = 2,3. In general, it is a bialgebra, and contains a Hopf subalgebra. This Hopf subalgebra is isomorphic to the usual quantum envelope algebra Uq （A） of a generalized Kac-Moody algebra A.     

Direct product decompositions of bounded commutative residuated ℓ-monoids

The notion of bounded commutative residuated ℓ-monoid (BCR ℓ-monoid, in short) generalizes both the notions of MV-algebra and of BL-algebra. Let be a BCR ℓ-monoid; we denote by ℓ( ) the underlying lattice of . In the present paper we show that each direct product decomposition of ℓ( ) determines a direct product decomposition of . This yields that any two direct product decompositions of have isomorphic refinements. We consider also the relations between direct product decompositions of and states on . This work was supported by Slovak Research and Development Agency under the contract No APVV-0071-06. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information (grant I/2/2005).     

Variations on ω-boundedness

Let be a property (or, equivalently, a class) of topological spaces. A space X is called -bounded if every subspace of X with (or in) has compact closure. Thus, countable-bounded has been known as ω-bounded and (σ-compact)-bounded as strongly ω-bounded. In this paper we present a systematic study of the interrelations of these two known “boundedness” concepts with -boundedness where is one of the further countability properties weakly Lindelöf, Lindelöf, hereditarily Lindelöf, and ccc.     

Iterative separation in distributive congruence lattices

In [PLOŠČICA, M.: Separation in distributive congruence lattices, Algebra Universalis 49 (2003), 1–12] we defined separable sets in algebraic lattices and showed a close connection between the types of non-separable sets in congruence lattices of algebras in a finitely generated congruence distributive variety and the structure of subdirectly irreducible algebras in . Now we generalize these results using the concept of separable mappings (defined on some trees) and apply them to some lattice varieties. Supported by VEGA Grants 2/4134/24, 2/7141/27, and INTAS Grant 03-51-4110.     

Selfinjective Koszul algebras of finite complexity

In this paper, we study selfinjective Koszul algebras of finite complexity. We prove that the complexity is a nonnegative integer when it is finite; and that the category Yt of modules with complexity less or equal to t, is resolving and coresolving. We show that for each 0 ≤ 1 ≤ m there exist a family of modules of complexity 1 parameterized by G（l, m）, the Grassmannian of l-dimensional subspaces of an m-dimensional vector space V, for the exterior algebra of V. Using complexity, we also give a new approach to the representation theory of a tame symmetric algebra with vanishing radical cube over an algebraically closed field of characteristic 0, via skew group algebra of a finite subgroup of SL（2, C） over the exterior algebra of a 2-dimensional vector space.     

On quantum cluster algebras of finite type

We extend the definition of a quantum analogue of the Caldero-Chapoton map defined by D. Rupel. When Q is a quiver of finite type, we prove that the algebra (Q) generated by all cluster characters is exactly the quantum cluster algebra (Q).     

Estimates for multilinear singular integral operators with nonsmooth kernels

Let (, d, μ) be a space of homogeneous type in the sense of Coifman and Weiss. In this paper, we consider the behavior on × ⋯ × for the m-linear singular integral operators with nonsmooth kernels which were first introduced by Duong, Grafakos and Yan.     

Homogenization of the elliptic Dirichlet problem: Error estimates in the (L2 → H1)-norm

Let      

Perturbed Basins of Attraction

Let F be an automorphism of which has an attracting fixed point. It is well known that the basin of attraction is biholomorphically equivalent to . We will show that the basin of attraction of a sequence of automorphisms f ₁, f ₂, . . . is also biholomorphic to if every f _n is a small perturbation of the original map F.     

Cohomology of a flag variety as a Bethe algebra

We interpret the equivariant cohomology H_GLn ^*H_{GL_n }^* (ℱ _λ ,ℂ) of a partial flag variety ℱ _λ parametrizing chains of subspaces 0 = F ₀ ⊂ F ₁ ⊂ … ⊂ F _N = ℂ ⁿ , dimF _i /F _i−1 = λ _i , as the Bethe algebra of the -weight subspace of a [t]-module .     

Toward the theory of ring Q-homeomophisms

We investigate classes of the so-called ring Q-homeomorphisms including, in particular, Q-homeomorphisms, various classes of homeomorphisms with finite length distortion, Sobolev’s classes etc. In terms of the majorant Q(x), we give a series of criteria for normality based on estimates of the distortion of the spherical distance under ring Q-homeomorphisms. In particular, it is shown that the class of all ring Q-homeomorphisms f of a domain D ⊂ ℝ ⁿ into , n ≥ 2, with , forms a normal family, if Q(x) has finite mean oscillation in D. We also prove normality of , for instance, if Q(x) has singularities of logarithmic type whose degrees are not greater than n − 1 at every point x ∈ D. The results are applicable, in particular, to mappings with finite length distortion and Sobolev’s classes.