Passive Runge–Kutta Methods—Properties, Parametric Representation, and Order Conditions

In this paper, a new class of Runge–Kutta methods is introduced. Some basic properties of this subgroup of algebraically stable methods are presented and a complete parametric representation is given. Necessary and sufficient order conditions for lower order methods as well as sufficient order conditions for higher order methods are derived yielding a significantly reduced number of conditions when compared with general Runge–Kutta methods. Design examples conclude this paper.     

On Potentially Abelian Geometric Representations

The finiteness is proved of the set of isomorphism classes of potentially abelian geometric Galois representations with a given set of data. This is a special case of the finiteness conjecture of Fontaine and Mazur.     

On K1 and K2 of Algebraic Surfaces

In this paper we study higher Chow groups of smooth, projective surfaces over a field k of characteristic zero, using some new Hodge theoretic methods which we develop for this purpose. In particular we investigate the subgroup of CH ^r+1 (X,r) with r = 1,2 consisting of cycles that are supported over a normal crossing divisor Z on X. In this case, the Hodge theory of the complement forms an interesting variation of mixed Hodge structures in any geometric deformation of the situation. Our main result is a structure theorem in the case where X is a very general hypersurface of degree d in projective 3-space for d sufficiently large and Z is a union of very general hypersurface sections of X. In this case we show that the subgroup of CH ^r+1 (X,r) we consider is generated by obvious cycles only arising from rational functions on X with poles along Z. This can be seen as a generalization of the Noether–Lefschetz theorem for r = 0. In the case r = 1 there is a similar generalization by Müller-Stach, but our result is more precise than it, since it is geometric and not only cohomological. The case r = 2 is entirely new and original in this paper. For small d, we construct some explicit examples for r = 1 and 2 where the corresponding higher Chow groups are indecomposable, i.e. not the image of certain products of lower order groups. In an appendix Alberto Collino constructs even more indecomposable examples in CH ³ (X,2) which move in a one-dimensional family on the surface X.Contribution to appendix.     

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.     

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.     

Consistent Initialization for Nonlinear Index-2 Differential–Algebraic Equation: Large Sparse Systems in MATLAB

An important component of any initial-value solver for higher-index differential–algebraic equations consists in the computation of consistent initial values. In a recent paper [5], an algorithm is proposed which is applicable to a very general class of index-2 systems. Unfortunately, the computational expense is rather high. We present a modification of this approach, which gives rise to a MATLAB implementation capable of handling systems of moderate dimension (several thousands of unknowns). The algorithm is illustrated by examples.     

Classification of two-orbit varieties

We obtain the classification of two-orbit varieties, i.e. the normal complete complex algebraic varieties on which a reductive complex algebraic group acts with two orbits. We prove also Luna's conjecture saying that these varieties are spherical, i.e. admit a dense orbit of a Borel subgroup. Received: September 1, 2000     

关于整系数多项式有理根求法的注记

现行高等代数教材给出了求整系数多项式有理根的经典方法 ,周仲旺近日撰文又给出了一个新方法 ,称其“要比经典的方法有趣简捷”,但没有给出两个方法运算量的定量分析与比较 .本文先对经典方法从数学原理和算法设计两个方面作较详细明确的描述 ;再给出经典算法与周方法运算量的定量分析 ,比较的结果是周方法运算量比经典算法运算量多得多 .     

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 .