Descendants constructed from matter field in Landau-Ginzburg theories coupled to topological gravity

It is argued that gravitational descendants in the theory of topological gravity coupled to topological Landau-Ginzburg theory (not necessarily conformal) can be constructed from matter fields alone (without metric fields and ghosts). In this sense topological gravity is induced. We discuss the mechanism of this effect (that turns out to be connected with K. Saito's higher residue pairing: Kⁱ(_i(₁),₂)=K⁰(₁,₂)), and demonstrate how it works in a simplest nontrivial example: correlator on a sphere with four marked points. We also discuss some results on k-point correlators on a sphere. From the idea of induced topological gravity it follows that the theory of pure topological gravity (without topological matter) is equivalent to the trivial Landau-Ginzburg theory (with quadratic superpotential).Published in Teoreticheskaya i Matematicheskaya Fizika, Vol. 95, No. 2, pp. 307–316, May, 1993.     

A Theorem of Liouville Type for p-Harmonic Morphisms

In this article we prove a Liouville type theorem for p-harmonic morphisms. We show that if : MNis a p-harmonic morphism (p2) from a complete noncompact Riemannian manifold Mof nonnegative Ricci curvature into a Riemannian manifold Nof nonpositive scalar curvature such that the p-energy E _p (), or (2p–2)-energy E _2p–2() is finite, then is constant.     

Hypercentral Series and Paired Intersections of Sylow Subgroups of Chevalley Groups

Let G(k) be the Chevalley group of normal type associated with a root system G = , or of twisted type G = ^m,m = 2,3, over a field K. Its root subgroups X_s, for all possible s G⁺, generate a maximal unipotent subgroup U = UG(k) if p = charK < 0, U is a Sylow p-subgroup of G(K). We examine G and K for which there exists a paired intersection U U⁹, g G(K), which is not conjugate in G(K) to a normal subgroup of U. If K is a finite field, this is equivalent to a condition that the normalizer of U U⁹ in G(K)has a p-multiple index. Put p() = max(r,r)/(s,s) | r,s . We prove a statement (Theorem 1) saying the following. Let G(K) be a Chevalley group of Lie rank greater than 1 over a finite field K of characteristic p and U be its Sylow p-subgroup equal to UG(K); also, either G = and p() is distinct from p and 1, or G(K) is a twisted group. Then G(K) contains a monomial element n such that the normalizer U of Uⁿ in G(K) has a p-multiple index. Let K be an associative commutative ring with unity and (K,J) be a congruence subgroup of the Chevalley group (K) modulo a nilpotent ideal J. We examine an hypercentral series 1 Z₁ Z₂ ... Z_c-1 of the group U(K) (K,J). Theorem 2 shows that under an extra restriction on the quotient (J_t : J) of ideals, central series are related via Z_i = T_c-iC, 1 i < c, where C is a subgroup of central diagonal elements. Such a connection exists, in particular, if K = Z_pm and J = (p^d), 1 d < m, d| m.     

Formal Flows on the Non-Archimedean Open Unit Disk

This paper deals with group actions of one-dimensional formal groups defined over the ring of integers in a finite extension of the p-adic field, where the space acted upon is the maximal ideal in the ring of integers of an algebraic closure of the p-adic field. Given a formal group F as above, a formal flow is a series (t,x) satisfying the conditions (0,x)=x and (F(s,t),x)=(s,(t,x)). With this definition, any formal group will act on the disk by left translation, but this paper constructs flows with any specified divisor of fixed points, where a point of the open unit disk is a fixed point of order n if (x–) ⁿ |((t,x)–x). Furthermore, if is an analytic automorphism of the open unit disk with only finitely many periodic points, then there is a flow , an element of the maximal ideal of the ring of constants, and an integer m such that the m-fold iteration of (x) is equal to (,x). All the formal flows constructed here are actions of the additive formal group on the unit disk. Indeed, if the divisor of fixed points of a formal flow is of degree at least two, then the formal group involved must become isomorphic to the additive group when the base is extended to the residue field of the constant ring.     

Über die Minimalflächen des isotropen Raumes,welche zugleich Affinminimalflächen sind

One determines all the minimal surfaces of the isotropic space, which simultaneously are affinminimal surfaces. A characteristic property of those surfaces is that the isotropic spherical imagines of the asymptotic lines of form two orthogonal pencils of circles. There are three types of such surfaces : first the well known right helicoid _I , second an interesting transcendental surface _II , and third the isotropic analogy _III of the minimal surface ofEnneper. The surfaces permit cinematic generations. Especially _II and _III can be generated byClifford screws in a certain indefinite quasielliptic space.In the isotropic space conjugate to the surfaces are isotropic minimal surfaces ^* with plane lines of curvature. There are also three types of such surfaces: _I ^* is a logarithmic surface of revolution, _II ^* is an interesting transcendental surface, and _III ^* is again the isotropic minimal surface ofEnnerper.     

Percentage Points of the Largest Among Student's T Random Variable

Let us consider k( 2) independent random variables U₁, . . . ,U_k where U_i is distributed as the Student's t random variable with a degree of freedom m_i, i=1, . . . ,k. Here, m₁, . . . ,m_k are arbitrary positive integers. We denote m=(m₁, . . . ,m_k) and U_k:k=max {U₁, . . . ,U_k}, the largest Student's t random variable. Having fixed 0< <1, let a a(k,) and h_m h_m (k,) be two positive numbers for which we can claim that (i) ^k(a)–^k(–a)=1–, and (ii) P{–h_m U_k:k h_m}=1–. Then, we proceed to derive a Cornish–Fisher expansion (Theorem 3.1) of the percentage point h_m. This expansion involves a as well as expressions such as _i=1 ^k m_i ^–1, _i=1 ^km_i ^–2, and _i=1 ^k m_i ^–3. The corresponding approximation of h_m is shown to be remarkably accurate even when k or m₁, . . . ,m_k are not very large.     

Kennzeichnungen von Minimalschraubflächen Mittels Vertikalisophoten und Horizontalschattengrenzen

In Euclidean space E³, let be a (regular C-) minimal surface without planar points having locally (without loss of generality) the spherical representation n(u,v)=(cos v/cosh u, sin v/cosh u, tanh u), (u,v)G². The corresponding (isothermal) parametrization : x(u,v), (u,v)G can be expressed using agenerating Function (u,v) which satisfies _{uu + vv} – 2_utanh u + =0; the v-curves (coordinate curves u=u₀) in , along each of which the angle between the normal n(u,v) of and the x₃-axis is constant, are thevertical- isophotes of , the u-curves (v=v₀) being their orthogonal trajectories (theorems 1, 2). Considering u-curves and/or v-curves of having additional geometric properties (curves of constant/steepest slope, curves of constant Gaussian curvature, asymptotic curves, lines of curvature or geodesies of ) we prove many newgeometric characterizations of theright helicoid, thecatenoid andScherk's second surface (theorems 3–7). All of these surfaces areminimal hélicoidal surfaces.     

Über die mittelfläche einer isotropen geradenkongruenz

Let be the middle surface of an isotropic rectilinear congruence of class C³ in the real Euclidean space E³. When the spherical image of is parametrized by special isothermal coordinates (u,v) G ², can be described by a generating harmonic function A(u,v). Using such a C-representation of , the basic properties of regularity and curvature of are discussed. Moreover, the cases that be a minimal (regular) surface ₁, or a plane surface ₂ are solved explicitly. In connection with the latter results (which are already well-known from Ribaucour) several new characterizations for being a regular surface ₁ resp. ₂ are given: they are based on special properties (like: being asymptotic lines resp. lines of curvature of ) of those curves c (-Spurlinien) in the tangents of which form in each point Xc a minimal angle with the straight line of passing through X.

---

---

Herrn Prof. Dr. Karl Strubecker zum 80. Geburtstag gewidmet     

General Topology — the Monadic Case, Examples, Applications

The paper deals with monadic as well as monadic-free topological notions. For defining these monadic-free notions the notion of basic triple is introduced. A lot of monadic-free topological notions are presented, for instance that of -convergence structure, -hull operator and -uniform structure. By means of a generalized metric, e.g. a probabilistic metric, and the general notion of -zero approach introduced in this paper, a -uniform structure is generated. In case of a fuzzy metric the related -uniform structure defines in a canonic way a fuzzy topology which is used for developing a fuzzy analysis and fuzzy calculus.     

Quasiclassical asymptotic behavior of the scattering cross section for asymptotically homogeneous potentials

One considers the total scattering cross section on the potential gV(x), x^m, m3, for large values of the coupling constant g and of the wave number k. One assumes that V(x)(x/|1x|)|x|^–, 2>m+1, as ¦x¦. It is shown that for gk^–1 , g^3–ak^2(a–2) the scattering cross section is equal asymptotically to _a(gk^–1), x=(m–1)(–1)^–1. Here the coefficient _a is determined only by the function and the number . Under the additional conditions >0, V>0, the indicated asymptotic behavior holds in the large domain gk^–1 , gk^a–z c(gk^–1), >0.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 152, pp. 105–136, 1986.     

Inequalities Between the Radii of Some Spheres That Are Connected with a Convex Surface in Space of Constant Curvature

With a convex surface in space of constant curvature, we associate four numbers (,M,), where is the radius of a largerst sphere freely rolling over the interior side of , is the inradius of , M is the outradius of , and is the radius of a sphere over whose interior may roll freely. Exact inequalities connecting these four numbers are found.     

Sur la répartition des valeurs de la fonction d'Euler

Let (x) denote the number of those integers n with (n) x, where denotes the Euler function. Improving on a well-known estimate of Bateman (1972), we show that (x)-Ax R(x), where A=(2)(3)/(6) and R(x) is essentially of the size of the best available estimate for the remainder term in the prime number theorem.     

Anticommutative Algebras Satisfying Standard Identities of Degree Four

We define an anticommutative -algebra A(D,a) whose multiplication generalizes the concept of a Jacobi bracket in the form (4). It is proved that A(D,a) is a J-algebra and that it satisfies a standard identity of degree four. A subclass of algebras A(D,a) over which is connected with some class of 3-Lie algebras is distinguished. We establish a criterion of being simple for factor algebras of non-Lie algebras in , given a 1-dimensional annihilator, and then use it to construct examples of simple infinite-dimensional (of dimension p³-1) non-Lie J-algebras over a field satisfying standard identities of degree 4, if the characteristic p of is zero (for p > 2). Also, the criterion of algebras belonging to is given.     

An Inequality for Tail Probabilities of Martingales with Bounded Differences

Let M _n =X₁+...+X_n be a martingale with bounded differences X_m=M_m-M_m-1 such that {|X_m| _m}=1 with some nonnegative _m. Write ²= ₁ ² + ... + _n ² . We prove the inequalities {M _nx}c(1-(x/)), {M _n x} 1- c(1- (-x/)) with a constant . The result yields sharp inequalities in some models related to the measure concentration phenomena.     

Convergence of subsequences of partial cubic sums of Fourier series in mean and almost everywhere

Under certain assumptions on the regularity of a function necessary and sufficient conditions are found for under which the integrability of (¦f¦) implies, for every function f measurable onT ^d, the existence of a subsequence of cubic sums of the Fourier series of f that converges to f in mean or almost everywhere.Translated from Matematicheskie Zametki, Vol. 52, No. 3, pp. 63–77, September, 1992.     

On Vector Valued Measure Spaces of Bounded Φ-variation containing copies of ℓ∞

Given a Young function , we study the existence of copies of c ₀ and in cabv (,X) and in cabsv (,X), the countably additive, -continuous, and X-valued measure spaces of bounded -variation and bounded -semivariation, respectively.     

A Second Descent Problem for Quadratic Forms

Let F be a field of characteristic different from 2. We discuss a new descent problem for quadratic forms, complementing the one studied by Kahn and Laghribi. More precisely, we conjecture that for any quadratic form q over F and any Im(W(F) W(F(q))), there exists a quadratic form W(F) such that dim 2 dim and _F(q), where F(q) is the function field of the projective quadric defined by q = 0. We prove this conjecture for dim 3 and any q, and get partial results for dim {4, 5,6}. We also give other related results.     

Infinitesimal,first order bendings of smooth,convex surfaces of revolution subject to conic,sleeve-like constraints along the boundary

We prove that on a closed, smooth, convex surface of revolution , whose poles are not flattening points, there exists only a countable set of parallels _n. Each of these parallels cuts surface into two parts so that one of the parts, , admits nontrivial, infinitesimal bendings in the process of which all the points of its boundary _n are displaced on a preassigned, conic sleeve K that is coaxial with the surface. The sequence of such parallels _n converges to parallel ^*, which has the following properties: 1) the tangent cone to surface along ^* is orthogonal to sleeve K; 2) surface , cut off from surface by parallel ^*, has rigidity of first order in the indicated class of bendings.Translated from Ukrainskii Geometricheskii Sbornik, No. 33, pp. 3–8, 1990.     

Drachennetze mit geradlinigen Hauptdiagonalen

A C^s-net of curves N (s1) [3] in a regular C^s-2-surface Eⁿ (n2) is called a C^s-kite- net [4] if N and the net N₁ of its angular bisecting curves form a pair of diagonal nets [1] in such a way that each mesh of N-curves possessing two N₁-diagonals shows, with respect to one of these (calledmain diagonal), the same symmetry of angles and lengths as a rectilinear kite in E². Referring to the fact that the main diagonals of any C^s-kite-net N (s2) are geodesics in [5], we ask in this paper for all C^s-kite-nets and, more generally, C^s-D-nets [5] (s1) withstraight main diagonals. This leads, among other results, to a characterization of the skew ruled surfaces in Eⁿ (n3) with constant parameter of distribution and the constant striction /2.

---

---

Herrn Professor Dr. WERNER BURAU zum 70. Geburtstag gewidmet     

A condition for nonnegativity of an operator related to the Dirichlet operator

Let L₀ be a positive definite closed linear operator with domain of definition D(L₀) dense in the Hilbert space H; let(, ₁, ₂) be the positive boundary value space of the operator L₀ such that the restriction of L ₀ ^* to ker ₂ is the Friedrichs extension of the operator L₀. We establish a test for nonnegativity of an operator T of the form Ty=L ₀ ^* y+^*(₁–C)y, y D(T)= ker(₂+), where :H and C: are respectively a compact operator and a bounded nonnegative operator.Translated fromMatematicheskie Metody i Fiziko-Mekhanicheskie Polya, Issue 32, 1990, pp. 30–33.