On the p 2-Rank of Tame Kernels of Quadratic Fields

For any odd prime p, we prove some results connecting the p²-rank of the tame kernel of a quadratic field F with the p²-rank Cl(𝒪_E1 ), where E₁ is the maximal real subfield of F(ζ_p² ).     

On correspondence between solutions of a family of cubic Thue equations and isomorphism classes of the simplest cubic fields

Let m?−1 be an integer. We give a correspondence between integer solutions to the parametric family of cubic Thue equations

X³−mX²Y−(m+3)XY²−Y³=λ     

The wave equation on asymptotically de Sitter-like spaces

In this paper we obtain the asymptotic behavior of solutions of the Klein-Gordon equation on Lorentzian manifolds (X^○,g) which are de Sitter-like at infinity. Such manifolds are Lorentzian analogues of the so-called Riemannian conformally compact (or asymptotically hyperbolic) spaces. Under global assumptions on the (null)bicharacteristic flow, namely that the boundary of the compactification X is a union of two disjoint manifolds, Y_±, and each bicharacteristic converges to one of these two manifolds as the parameter along the bicharacteristic goes to +∞, and to the other manifold as the parameter goes to −∞, we also define the scattering operator, and show that it is a Fourier integral operator associated to the bicharacteristic flow from Y₊ to Y₋.     

Generating the tame and wild kernels by Dennis-Stein symbols

For many number fieldsF, it is proved that the tame kernel, K₂( ), and the wild kernel, W(F), ofF are generated by Dennis-Stein symbols. For some real quadratic number fields, generators for the tame kernel are given.     

On a family of relative quartic Thue inequalities

We consider the relative Thue inequalities

|X⁴−t²X²Y²+s²Y⁴|?²|t|−²|s|−2,     

Duality results for perturbation classes of semi-Fredholm operators

The perturbation classes problem for semi-Fredholm operators asks when the equalities SS(X,Y)=PF₊(X,Y){\mathcal{SS}(X,Y)=P\Phi_+(X,Y)} and SC(X,Y)=PF_-(X,Y){\mathcal{SC}(X,Y)=P\Phi_-(X,Y)} are satisfied, where SS{\mathcal{SS}} and SC{\mathcal{SC}} denote the strictly singular and the strictly cosingular operators, and PΦ₊ and PΦ₋ denote the perturbation classes for upper semi-Fredholm and lower semi-Fredholm operators. We show that, when Y is a reflexive Banach space, SS(Y^*,X^*)=PF₊(Y^*,X^*){\mathcal{SS}(Y^*,X^*)=P\Phi_+(Y^*,X^*)} if and only if SC(X,Y)=PF_-(X,Y),{\mathcal{SC}(X,Y)=P\Phi_-(X,Y),} and SC(Y^*,X^*)=PF_-(Y^*,X^*){\mathcal{SC}(Y^*,X^*)=P\Phi_-(Y^*,X^*)} if and only if SS(X,Y)=PF₊(X,Y){\mathcal{SS}(X,Y)=P\Phi_+(X,Y)}. Moreover we give examples showing that both direct implications fail in general.     

On additive polynomials and certain maximal curves

We show that a maximal curve over F_q² given by an equation A(X)=F(Y), where A(X)∈F_q²[X] is additive and separable and where F(Y)∈F_q²[Y] has degree m prime to the characteristic p, is such that all roots of A(X) belong to F_q². In the particular case where F(Y)=Y^m, we show that the degree m is a divisor of q+1.     

Tame Kernels of Quaternion Number Fields

Let E/F be a Galois extension of number fields with the quaternion Galois group Q ₈. In this paper, we prove some relations connecting orders of the odd part of the kernel of the transfer map of the tame kernel of E with the same orders of some of its subfields. Let E/? be a Galois extension of number fields with the Galois group Q ₈ and p an odd prime such that p ≡ 3 (mod 4). We prove that if there is at most one quadratic subfield such that the p-Sylow subgroup of the tame kernel is nontrivial, then p ^r -rank(K ₂(E/K)) is even, i.e., 2|p ^r -rank(K ₂(𝒪 _E )) ? p ^r -rank(K ₂(𝒪 _K )), where K is the quartic subfield of E.     

Minimal ranks of some quaternion matrix expressions with applications

Suppose that p(X, Y) = A − BX − X^(∗)B^(∗) − CYC^(∗) and q(X, Y) = A − BX + X^(∗)B^(∗) − CYC^(∗) are quaternion matrix expressions, where A is persymmetric or perskew-symmetric. We in this paper derive the minimal rank formula of p(X, Y) with respect to pair of matrices X and Y = Y^(∗), and the minimal rank formula of q(X, Y) with respect to pair of matrices X and Y = −Y^(∗). As applications, we establish some necessary and sufficient conditions for the existence of the general (persymmetric or perskew-symmetric) solutions to some well-known linear quaternion matrix equations. The expressions are also given for the corresponding general solutions of the matrix equations when the solvability conditions are satisfied. At the same time, some useful consequences are also developed.     

Dihedral Congruence Primes and Class Fields of Real Quadratic Fields

We show that for a real quadratic field F the dihedral congruence primes with respect to F for cusp forms of weight k and quadratic nebentypus are essentially the primes dividing expressions of the form ε^k−1₊±1 where ε₊ is a totally positive fundamental unit of F. This extends work of Hida. Our results allows us to identify a family of (ray) class fields of F which are generated by torsion points on modular abelian varieties.     

p-Rank and semi-stable reduction of curves

Let R be a discrete complete valuation ring, with field of fractions K, and with algebraically closed residue field k of characteristic p > 0. Let X be a germ of an R-curve at an ordinary double point. Consider a finite Galois covering f: Y → X, whose Galois group G is a p-group, such that Y is normal, and which is étale above X_k≔ x × _rk. Asume that Y has a semi-stable model :→ Y over R, and let y be a closed point of Y. If the inertia subgroup I(y) at y is cyclic of order pⁿ, we compute the p-rank of tf⁻¹ (y) by using a result of Raynaud. In particular, we prove that this p-rank is bounded by pⁿ −1.     

On Tame Kernels and Ideal Class Groups

It is well known that there is a close connection between tame kernels and ideal class groups of number fields. However, the latter is a very difficult subject in number theory. In this paper, we prove some results connecting the p^n-rank of the tame kernel of a cyclic cubic field F with the p^n-rank of the coinvariants of μp^n×CI（δE,T） under the action of the Galois group, where E = F（ζp^n ） and T is the finite set of primes of E consisting of the infinite primes and the finite primes dividing p. In particular, if F is a cyclic cubic field with only one ramified prime and p = 3, n = 2, we apply the results of the tame kernels to prove some results of the ideal class groups of E, the maximal real subfield of E and F（ζ3）.     

Existence, attractiveness and stability of solutions for quadratic Urysohn fractional integral equations

In this paper, existence and attractiveness of solutions for quadratic Urysohn fractional integral equations on an unbounded interval are obtained by virtue of Tichonov fixed point theorem and suitable conjunction of the well known measure ω₀(X) and the spaces C(R⁺). Further, three certain solutions sets X_L,γ, X_1,α and X_{1,(1−(α+v))}, which tending to zero at an appropriate rate t^−ν (ν > 0), ν = γ (or α or 1 − (α + v)) as t → ∞, are introduced and stability of solutions for quadratic Urysohn fractional integral equations are obtained based on these solutions sets respectively by applying Schauder fixed point theorem via some easy checked conditions. An example is given to illustrate the results.     

Some stably tame polynomial automorphisms

We study the structure of length three polynomial automorphisms of R[X,Y] when R is a UFD. These results are used to prove that if SL_m(R[X₁,X₂,…,X_n])=E_m(R[X₁,X₂,…,X_n]) for all n≥0 and for all m≥3 then all length three polynomial automorphisms of R[X,Y] are stably tame.     

The variety of the asymptotic values of a real polynomial etale map

A polynomial map F: R² → R² is said to satisfy the Jacobian condition if ∀(X, Y)ϵ R², J(F)(X, Y) ≠ 0. The real Jacobian conjecture was the assertion that such a map is a global diffeomorphism. Recently the conjecture was shown to be false by S. Pinchuk. According to a theorem of J. Hadamard any counterexample to the conjecture must have asymptotic values. We give the structure of the variety of all the asymptotic values of a polynomial map F: R² → R² that satisfies the Jacobian condition. We prove that the study of the asymptotic values of such maps can be reduced to those maps that have only X- or Y-finite asymptotic values. We prove that a Y-finite asymptotic value can be realized by F along a rational curve of the type (X^{− k}, A₀ + A₁ X + … + A_{N − 1} X^{N − 1} + YX^N), where X → 0, Y is fixed and K, N > 0 are integers. More precisely we prove that the coordinate polynomials P(U, V) of F(U, V) satisfy finitely many asymptotic identities, namely, identities of the following type, P(X^{− k}, A₀ + A₁ X + … + A_{N − 1} X^{N − 1} + YX^N) = A(X, Y)ϵ R[X, Y], which ‘capture’ the whole set of asymptotic values of F.     

Motivic equivalence of quadratic forms. II

Let F be a field of characteristic ≠2 and φ be a quadratic form over F. By X _φ we denote the projective variety given by the equation φ=0. For each positive even integer d≥8 (except for d=12) we construct a field F and a pair φ, ψ of anisotropic d-dimensional forms over F such that the Chow motives of X _φ and X _ψ coincide but . For a pair of anisotropic (2 ^{n -1})-dimensional quadrics X and Y, we prove that existence of a rational morphism Y→X is equivalent to existence of a rational morphism Y→X. Received: 27 September 1999 / Revised version: 27 December 1999     

Interpolating functions

Let X,Y be sets with quasiproximities X_? and Y_? (where A?B is interpreted as “B is a neighborhood of A”). Let f,g:X→Y be a pair of functions such that whenever CY_?D, then f−1[C]X_?g−1[D]. We show that there is then a function h:X→Y such that whenever CY_?D, then f−1[C]X_?h−1[D], h−1[C]X_?h−1[D] and h−1[C]X_?g−1[D]. Since any function h that satisfies h−1[C]X_?h−1[D] whenever CY_?D, is continuous, many classical “sandwich” or “insertion” theorems are corollaries of this result. The paper is written to emphasize the strong similarities between several concepts

•

the posets with auxiliary relations studied in domain theory;

•

quasiproximities and their simplification, Urysohn relations; and

•

the axioms assumed by Katětov and by Lane to originally show some of these results.

Interpolation results are obtained for continuous posets and Scott domains. We also show that (bi-)topological notions such as normality are captured by these order theoretical ideas.     

Epimorphisms of knot groups onto free products

Let k be a knot in S³. There is an epimorphism from π₁(S³−k) onto a free product of two nontrivial cyclic groups sending a meridian to an element of length two iff k has property Q (Topology of Manifolds, Markham, Chicago, IL, 1970, pp. 195-199) that is if there is a closed surface F in S³ containing k, such that k is imprimitive in H₁(X) and in H₁(Y) where X and Y are the closures of the components of S³−F. We give answers to questions of Simon (1970) about properties Q, Q∗ and Q∗∗. Epimorphisms from knot groups onto torus knot groups are also studied and some results on property P and surgery are included.     

On asymptotic distributions of exceedance statistics

In this study, two independent samples X₁,X₂,…,X_n and Y₁,Y₂,…,Y_m with respective distribution functions F and Q are considered. The joint asymptotic distributions of exceedance statistics defined as the number of Y observations falling into a random interval of order statistics constructed from the X sample is investigated. The results can be used in the context of a two-sample problem.