Varieties of Complete Pairs of Zero-Dimensional Subschemes of Lengths ≥2 and ≥4 in Algebraic Surfaces

We prove that the varieties of complete pairs of zero-dimensional subschemes of lengths d ₁ 2, d ₂ 4 on a smooth irreducible projective algebraic surface are singular.     

On the Problem of Describing Sequences of Best Trigonometric Rational Approximations

For a strictly decreasing sequence a_{n n=0} of nonnegative real numbers converging to zero, we construct a continuous 2-periodic function f such that R^T _n(f) = a_n, n=0,1,2,..., where R^T _n(f) are best approximations of the function f in uniform norm by trigonometric rational functions of degree at most n.     

Dynamical Lie algebra method for highly excited vibrational state of asymmetric linear tetratomic molecules

The highly excited vibrational states of asymmetric linear tetratomic molecules are studied in the framework of Lie algebra. By using symmetric groupU ₁(4)U ₂(4)⊗U ₃(4), we construct the Hamiltonian that includes not only Casimir operators but also Majorana operators M₁₂, M₁₃ and M₂₃, which are useful for getting potential energy surface and force constants in Lie algebra method. By Lie algebra treatment, we obtain the eigenvalues of the Hamiltonian, and make the concrete calculation for molecule C₂HF.     

The geometrical interpretation of uncertainty relation in Minkowski space

Clifford algebraic geometry corresponds to Minkowski space. Using the discrete structure of Minkowski space, we can abstract a class n-dimensional hyperbolic Hilbert phase space. To discussing the causality of physical event in Minkowski space, we can obtain the geometrical interpretation of uncertainty relation.     

Algebraic Operations and Generic Effects

Given a complete and cocomplete symmetric monoidal closed category V and a symmetric monoidal V-category C with cotensors and a strong V-monad T on C, we investigate axioms under which an Ob C-indexed family of operations of the form _x :(Tx) ^v (Tx) ^w provides semantics for algebraic operations on the computational -calculus. We recall a definition for which we have elsewhere given adequacy results, and we show that an enrichment of it is equivalent to a range of other possible natural definitions of algebraic operation. In particular, we define the notion of generic effect and show that to give a generic effect is equivalent to giving an algebraic operation. We further show how the usual monadic semantics of the computational -calculus extends uniformly to incorporate generic effects. We outline examples and non-examples and we show that our definition also enriches one for call-by-name languages with effects.     

Lie algebras and separable morphisms in pro-affine algebraic groups

Let be an algebraically closed field of arbitrary characteristic, and let be a surjective morphism of connected pro-affine algebraic groups over . We show that if is bijective and separable, then is an isomorphism of pro-affine algebraic groups. Moreover, is separable if and only if (its differential) is surjective. Furthermore, if is separable, then .

     

The Lattice of Deductive Systems on Hilbert Algebras

The concept of deductive system on a Hilbert algebra was introduced by A. Diego. We show that the set Ded A of all deductive systems on a Hilbert algebra A forms an algebraic lattice which is distributive.AMS Classification (2000): 06F35, 03G25, 08A30     

Unified Treatment of Algebraic and Geometric Difference by a New Difference Scheme and its Continuity Properties

We introduce a new operation for the difference of two sets A and C of R ⁿ depending on a parameter . This new operation may yield as special cases the classical difference and the Minkowski difference, if the sets A and C are closed, convex sets, if int(C) is nonempty, and if A or C bounded. Continuity properties with respect to both the operands and the parameter of this operation are studied. Lipschitz properties of the Minkowski difference between two sets of a normed vector space are proved in the bounded case as well as in the unbounded case without condition on the dimension of the space.     

Galois Stability, Integrality and Realization Fields for Representations of Finite Abelian Groups

For a given field F of characteristic 0 we consider a normal extension E/F of finite degree d and finite Abelian subgroups GGL _n (E) of a given exponent t. We assume that G is stable under the natural action of the Galois group of E/F and consider the fields E=F(G) that are obtained via adjoining all matrix coefficients of all matrices gG to F. It is proved that under some reasonable restrictions for n, any E can be realized as F(G), while if all coefficients of matrices in G are algebraic integers, there are only finitely many fields E=F(G) for prescribed integers n and t or prescribed n and d.