Witt equivalence of local and global fields of characteristic 2

ABSTRACT

In this note it is proved that certain level sets of some real proper polynomial maps are nothing but spheres. As an application of this, we provide new proofs of Theorems 1.1, 1.2 and of the fundamental theorem of algebra. In addition, we show that every strictly convex (concave) polynomial map is proper. The latter implies that every real polynomial map g(x): R ⁿ  → R ⁿ , whose Jacobian matrix is symmetric and has nonzero eigenvalues of the same sign, is a homeomorphism of R ⁿ onto R ⁿ .     

Non-linearizable algebraic k*-actions on affine spaces

Non-linearizable faithful algebraic (R ^*) ^r -actions of torus on the real affine n-space R ⁿ are given for each r=1,...,n-3 when n>4. Oblatum 16-X-1996 & 1-IV-1999 / Published online: 5 August 1999     

Hypoelliptic vector fields and almost periodic motions on the torus Tn

Abstract: In this paper we prove that a hypoelliptic vector fields on the torus Tⁿ may be transformed by a smooth diffeomorphism of torus Tⁿ into a vector field with constant coefficients, which moreover satisfy a Diophantine condition. We also discuss the relation between the hypoelliptic vecttor fields and the almost periodic motions on the torus Tⁿ      

An exact algorithm for subgraph homeomorphism

The subgraph homeomorphism problem is to decide if there is an injective mapping of the vertices of a pattern graph into vertices of a host graph so that the edges of the pattern graph can be mapped into (internally) vertex-disjoint paths in the host graph. The restriction of subgraph homeomorphism where an injective mapping of the vertices of the pattern graph into vertices of the host graph is already given in the input instance is termed fixed-vertex subgraph homeomorphism.We show that fixed-vertex subgraph homeomorphism for a pattern graph on p vertices and a host graph on n vertices can be solved in time 2^n−pn^O(1) or in time 3^n−pn^O(1) and polynomial space. In effect, we obtain new non-trivial upper bounds on the time complexity of the problem of finding k vertex-disjoint paths and general subgraph homeomorphism.     

Classification of torus manifolds with codimension one extended actions

The purpose of this paper is to classify torus manifolds (M ²ⁿ , T ⁿ ) with codimension one extended G-actions (M ²ⁿ , G) up to essential isomorphism, where G is a compact, connected Lie group whose maximal torus is T ⁿ . For technical reasons, we do not assume torus manifolds are orientable. We prove that there are seven types of such manifolds. As a corollary, if a nonsingular toric variety or a quasitoric manifold has a codimension one extended action then such manifold is a complex projective bundle over a product of complex projective spaces.     

O-minimal Hauptvermutung for polyhedra I

Milnor discovered two compact polyhedra which are homeomorphic but not PL homeomorphic (a counterexample to the Hauptvermutung). He constructed the homeomorphism by a finite procedure repeated infinitely often. Informally, we call a procedure constructive if it consists of an explicit procedure that is repeated only finitely many times. In this sense, Milnor did not give a constructive procedure to define the homeomorphism between the two polyhedra. In the case where the homeomorphism is semialgebraic, the author and Yokoi proved that the polyhedra in R ⁿ are PL homeomorphic. In that article, the required PL homeomorphism was not constructively defined from the given homeomorphism. In the present paper we obtain the PL homeomorphism by a constructive procedure starting from the homeomorphism. We prove in fact that for any ordered field R equipped with any o-minimal structure, two definably homeomorphic compact polyhedra in R ⁿ are PL homeomorphic (the o-minimal Hauptvermutung theorem 1.1). Together with the fact that any compact definable set is definably homeomorphic to a compact polyhedron we can say that o-minimal topology is “tame”.     

On One Method for the Introduction of Local Coordinates in a Neighborhood of an Invariant Toroidal Set

We consider one method for the introduction of local coordinates in a neighborhood of an m-dimensional invariant torus of a dynamical system of differential equations in the Euclidean space R ⁿ in dimensions satisfying the inequalities m + 1 < n 2m.     

极限跟踪的不变性

It is showed that the LmSP (limit shadowing property) for flows is invariant under topological equivalence, and the suspension flow ϕ _f of a homeomorphism f under a continuous function ϑ: X → R>0 has LmSP₊ if and only if f has LmSP₊. As examples of application, the LmSP₊ of the ergodic flow on torus which has irrational number is discussed, and the characterization of a class of flows on torus with LmSP₊ is given. Supported by the National Natural Science Foundation of China (10371030) and the doctor’s foundation of Hebei Normal Univ. (L2003B05).     

Isometric Embeddings of Families of Special Lagrangian Submanifolds

We prove that certain Riemannian manifolds can be isometrically embedded inside Calabi–Yau manifolds. For example, we prove that given any real-analytic one parameter family of Riemannian metrics g _t on a three-dimensional manifold Y with volume form independent of t and with a real-analytic family of nowhere vanishing harmonic one forms θ _t , then (Y,g _t ) can be realized as a family of special Lagrangian submanifolds of a Calabi–Yau manifold X. We also prove that certain principal torus bundles can be equivariantly and isometrically embedded inside Calabi-Yau manifolds with torus action. We use this to construct examples of n-parameter families of special Lagrangian tori inside n + k-dimensional Calabi–Yau manifolds with torus symmetry. We also compute McLean's metric of 3-dimensional special Lagrangian fibrations with T ²-symmetry. Mathematics Subject Classification (2000): 53-XX, 53C38.Communicated by N. Hitchin (Oxford)     

PL Homeomorphisms of the circle which are piecewise <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript> conjugate to irrational rotations

For a PL homeomorphism f with irrational rotation number , the following properties are equivalent(i) f is conjugate to the rotation by through a piecewise C ¹ homeomorphism,(ii) the number of break points of f ⁿ is bounded by some constant that doesnt depend on n,(iii) f is conjugate to an affine 2-intervals exchange transformation (with rotation number ) through a PL homeomorphism,(iv) f is conjugate to the rotation by through a piecewise analytic homeomorphism.     

Affine \mathbb{T} -varieties of complexity one and locally nilpotent derivations

Let X = Spec A be a normal affine variety over an algebraically closed field k of characteristic 0 endowed with an effective action of a torus \mathbbT \mathbb{T} of dimension n. Let also ∂ be a homogeneous locally nilpotent derivation on the normal affine \mathbbZⁿ {\mathbb{Z}^n} -graded domain A, so that ∂ generates a k ₊-action on X that is normalized by the \mathbbT \mathbb{T} -action.     

Some complements to Brouwer’s fixed point theorem

The sets which can be the fixed points of a continuous function or a homeomorphism ofB ⁿ are investigated.     

Dual topology of the Heisenberg motion groups

Let ? _n be the (2n + 1)-dimensional Heisenberg group, and let T ⁿ be the n-dimensional torus acting on ? _n by automorphisms. In this paper, we describe the space of admissible coadjoint orbits of the Heisenberg motion group G _n = T ⁿ ? ? _n and we determine the topology of this space. We show that the bijection between the unitary dual ? _n of G _n and its admissible coadjoint orbit space is a homeomorphism.     

Quasiconformal concordance

We give necessary and sufficient conditions for a pair of homeomorphism ofR ⁿ to be quasiconformally concordant.     

Skew loops in flat tori

We produce skew loops—loops having no pair of parallel tangent lines—homotopic to any loop in a flat torus or other quotient of R ⁿ . The interesting case here is n = 3. More subtly for any n, we characterize the homotopy classes that will contain a skew loop having a specified loop as tangent indicatrix. A fellowship from the Lady Davis foundation helped support this work.     

Roots of the affine Cremona group

Let k ^[n] = k[x ₁,…, x _n ] be the polynomial algebra in n variables and let \mathbbAⁿ = \textSpec  \boldk^{[ n ]} {\mathbb{A}^n} = {\text{Spec}}\;{{\bold{k}}^{\left[ n \right]}} . In this note we show that the root vectors of \textAu\textt^*( \mathbbAⁿ ) {\text{Au}}{{\text{t}}^*}\left( {{\mathbb{A}^n}} \right) , the subgroup of volume preserving automorphisms in the affine Cremona group \textAut( \mathbbAⁿ ) {\text{Aut}}\left( {{\mathbb{A}^n}} \right) , with respect to the diagonal torus are exactly the locally nilpotent derivations x ^α (∂/∂x _i ), where x ^α is any monomial not depending on x _i . This answers a question posed by Popov.     

Equivelar maps on the torus

We give a classification of all equivelar polyhedral maps on the torus. In particular, we classify all triangulations and quadrangulations of the torus admitting a vertex transitive automorphism group. These are precisely the ones which are quotients of the regular tessellations {3,6}, {6,3} or {4,4} by a pure translation group. An explicit formula for the number of combinatorial types of equivelar maps (polyhedral and non-polyhedral) with n vertices is obtained in terms of arithmetic functions in elementary number theory, such as the number of integer divisors of n. The asymptotic behaviour for n→∞ is also discussed, and an example is given for n such that the number of distinct equivelar triangulations of the torus with n vertices is larger than n itself. The numbers of regular and chiral maps are determined separately, as well as the ones for all other kinds of symmetry. Furthermore, arithmetic properties of the integers of type p²+pq+q² (or p²+q², resp.) can be interpreted and visualized by the hierarchy of covering maps between regular and chiral equivelar maps or type {3,6} (or {4,4}, resp.).     

On some conditions on mappings of spaces onto cylindrical domains

Criteria are given for a local homeomorphismf: Rⁿ Rⁿ to be a homeomorphism of Rⁿ onto a strip. In the planar case, this gives a condition forf to be a transformation of R² onto a band.Translated from Matematicheskie Zametki, Vol. 11, No. 4, pp. 459–462, April, 1972.     

Une version feuilletée équivariante du théorème de translation de Brouwer

The Brouwer’s plane translation theorem asserts that for a fixed point free orientation preserving homeomorphism f of the plane, every point belongs to a Brouwer line: a proper topological embedding C of R, disjoint from its image and separating f(C) and f^–1(C). Suppose that f commutes with the elements of a discrete group G of orientation preserving homeomorphisms acting freely and properly on the plane. We will construct a G-invariant topological foliation of the plane by Brouwer lines. We apply this result to give simple proofs of previous results about area-preserving homeomorphisms of surfaces and to prove the following theorem: any Hamiltonian homeomorphism of a closed surface of genus g ≥ 1 has infinitely many contractible periodic points.      

Free involutions on <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript> × <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Topological free involutions on S ¹ × S ⁿ are classified up to conjugation. We prove that this is the same as classifying quotient manifolds up to homeomorphism. There are exactly four possible homotopy types of such quotients, and surgery theory is used to classify all manifolds within each homotopy type.