Oriented Cohomology Theories of Algebraic Varieties

This article contains proofs of the results announced by Panin and Smirnov (http://www. math.uiuc.edu/k-theory/0459/2000) in the part concerning general properties of oriented cohomology theories of algebraic varieties. It is constructed one-to-one correspondences between orientations, Chern structures and Thom structures on a given ring cohomology theory. The theory is illustrated by motivic cohomology, algebraic K-theory, algebraic cobordism theory and by other examples.     

Gaussian Chaos Laws on Banach Function Spaces

We give a characterization of Gaussian chaos laws on Banach function spaces which do not contain ℓ _∞ ⁿ 's uniformly. The result is applied to describe the convergence in law of U-processes with sample paths in certain Banach function spaces. __________ Published in Lietuvos Matematikos Rinkinys, Vol. 45, No. 4, pp. 553–566, October–December, 2005.     

Rolling of a non-homogeneous ball over a sphere without slipping and twisting

Consider the problem of rolling a dynamically asymmetric balanced ball (the Chaplygin ball) over a sphere. Suppose that the contact point has zero velocity and the projection of the angular velocity to the normal vector of the sphere equals zero. This model of rolling differs from the classical one. It can be realized, in some approximation, if the ball is rubber coated and the sphere is absolutely rough. Recently, J. Koiller and K. Ehlers pointed out the measure and the Hamiltonian structure for this problem. Using this structure we construct an isomorphism between this problem and the problem of the motion of a point on a sphere in some potential field. The integrable cases are found.      

Isomorphisms of fiber spaces over Teichmüller spaces

We will be mainly concerned with some important fiber spaces over Teichmuller spaces, including the Bers fiber space and Teichmuller curve, establishing an isomorphism theorem between "punctured" Teichmuller curves and determining the biholomorphic isomorphisms of these fiber spaces.     

一种构造正交小波基的新方法

本文给出了构造正交小波基的一种新的方法,主要是通过改造钟形函数来构造有具体表达式的小波母函数,在光滑性,局部性等性质上优于一般的构造方法,其收敛于零的阶数可达到O(|t|~(-N)),N≥4。而且更进一步在S空间上构造出收敛更快的小波母函数。     

Recognition of subgroups of direct products of hyperbolic groups

We give examples of direct products of three hyperbolic groups in which there cannot exist an algorithm to decide which finitely presented subgroups are isomorphic.

     

von Neumann代数中套子代数上的Lie同构

本文给出因子von Neumann代数中的幂等算子在广义Lie积下的一个刻画; 得到因子von Neumann代数中套子代数的幂等算子在Lie积下的一个特征．作为应用, 研究了因子von Neumann代数中套子代数上的Lie同构,并证明因子von Neumann 代数中套子代数之间的Lie同构,要么是同构与广义迹之和,要么是负反同构与广义迹之和．     

Tree-edges deletion problems with bounded diameter obstruction sets

We study the following problem: given a tree G and a finite set of trees H, find a subset O of the edges of G such that G-O does not contain a subtree isomorphic to a tree from H, and O has minimum cardinality. We give sharp boundaries on the tractability of this problem: the problem is polynomial when all the trees in H have diameter at most 5, while it is NP-hard when all the trees in H have diameter at most 6. We also show that the problem is polynomial when every tree in H has at most one vertex with degree more than 2, while it is NP-hard when the trees in H can have two such vertices.The polynomial-time algorithms use a variation of a known technique for solving graph problems. While the standard technique is based on defining an equivalence relation on graphs, we define a quasiorder. This new variation might be useful for giving more efficient algorithm for other graph problems.     

On quadratic forms of height two and a theorem of Wadsworth

Let and be anisotropic quadratic forms over a field of characteristic not . Their function fields and are said to be equivalent (over ) if and are isotropic. We consider the case where and is divisible by an -fold Pfister form. We determine those forms for which becomes isotropic over if , and provide partial results for . These results imply that if and are equivalent and , then is similar to over . This together with already known results yields that if is of height and degree or , and if , then and are equivalent iff and are isomorphic over .