We show that the angles between Teichmüller geodesic rays issuing from a common point, defined by using the law of cosines, do not always exist. The proof uses an estimation for the Teichmüller distance on finite dimensional Teichmüller spaces. As a consequence, the Teichmüller space equipped with the Teichmüller metric is not a CAT(k) space for any k∈R . We also discuss some necessary conditions for the existence of angle between the Teichmüller geodesics.

In this paper, we show the Yau’s gradient estimate for harmonic maps into a metric space (X, dX ) with curvature bounded above by a constant κ (κ 􏰣 0) in the sense of Alexandrov. As a direct application, it gives some Liouville theorems for such harmonic maps. This extends the works of Cheng (1980) and Choi (1982) to harmonic maps into singular spaces.

Many discrete integrable systems exhibit the Laurent phenomenon. In this paper, we investigate three integrable systems: the Somos-4 recurrence, the Somos-5 recurrence, and a system related to so-called A_1 A_1-system, whose general solutions are derived in terms of Hankel determinant. As a result, we directly confirm that they satisfy the Laurent property. Additionally, it is shown that the Somos-5 recurrence can be viewed as a specified Backlund transformation of the Somos-4 recurrence. Related topics about Somos polynomials are also studied.

No abstract uploaded!

In this paper, we introduce a new method to avoid zero reductions in Gröbner basis computation. We call this method LASyz, which stands for Lineal Algebra to compute Syzygies. LASyz uses exhaustively the information of both principal syzygies and non-trivial syzygies to avoid zero reductions. All computation is done using linear algebra techniques. LASyz is easy to understand and implement. The method does not require to compute Gröbner bases of subsequences of generators incrementally and it imposes no restrictions on the reductions allowed. We provide a complete theoretical foundation for the LASyz method and we describe an algorithm to compute Gröbner bases for zero dimensional ideals based on this foundation. A qualitative comparison with similar algorithms is provided and the performance of the algorithm is illustrated with experimental data.