In my joint work with J. Ito [7], we have pointed out that the following property (called ASSUMPTION REMOVABILITY) is characteristic of positive logics LO, LP, and LQ:

ASSUMPTION REMOVABILITY. If → is provable for any pair of propositions andhaving no primitive notions (proposition-, predicate-, and relation-symbols) in common, thenis also provable.

In the theory of automorphic forms on covering groups of the general linear group, a central role is played by certain local representations which have unique Whittaker models. A representation with this property is called distinguished. In the case of the 2-sheeted cover of GL2, these representations arise as the the local components of generalizations of the classical θ-function. They have been studied thoroughly in [GPS]. The Weil representation provides these representations with a very nice realization, and the local factors attached to these representations can be computed using this realization. It has been shown [KP] that only in the case of a certain 3-sheeted cover do we find other principal series of covering groups of GL2 which have a unique Whittaker model. It is natural to ask if these distinguished representations also have a realization analgous to the Weil representation.

Soit f = (f0, f1, …, fn) (n ≧ 1) un système transcendant dans le plan |z| < ∞; c’est-à-dire, les fonctions f0, f1, … , fn sont entières sans zéros communs à toutes et

Let k be a p-adic field (a finite extension of Qp) or an algebraic number field (a finite extension of Q). Let T be an algebraic torus defined over k. We denote by the character module of T (i.e. = Hom (T, Gm), where Gm is the multiplicative group.

Let ξ(t), t ∈ T, be a Gaussian process on a set T, and H = H(ξ) be the closed linear manifold generated by all values ξ(t), t ∈ T, with the inner product

Recently the Hahn-Banach theorem for normed spaces over non-archimedean valued fields was treated by A. F. Monna [1], L S. Cohen [2], A. W. Ingleton [3], and the writer [4]. In [3] and [4] very essential use was made of an idea of L. Nachbin [5]

In this paper we shall show a relation between a special value of an automorphic wave form and the inner product of the automorphic wave form with the pullback of an Eisenstein series on the upper half space. The main theorem is Theorem 3 in the end of this paper. As is shown in P. B. Garrett [13], pullbacks of Eisenstein series on Siegel upper half spaces have interesting properties as a kernel function of an integral operator. It is natural to try to investigate pullbacks of Eisenstein series of Hilbert type. We can say that Theorem 3 clarifies a property of such pullbacks in a special case. The idea of the proof is a lifting of automorphic forms by theta functions. We discuss a lifting of automorphic wave forms in 1, 2 and 3, and obtain Theorem 2 in the end of 3 as a result. We can prove Theorem 3 without much difficulty by using Theorem 2.

The main purpose of the present paper is to introduce a new understanding of formal theories.

It has been a traditional pattern of formal theories to presuppose a logic and an axiom system for each formal theory. The axiom system of any formal theory consists of a finite number of axiom schemata in general, but occasionally it can be regarded as consisting of a finite number of axioms. I will call any formal theory of this kind an axiomatic theory or an axiom-schematic theory according as its axiom system is regarded as consisting of a finite number of axioms or as consisting of a finite number of axiom schemata.

The following relation was set up in [5] for an open covering Riemann surface ℜ with positive boundary over an abstract Riemann surface

(1)

when the universal covering surface of the projection is not of hyperbolic type when is of hyperbolic type this relation is reduced to

(2)

We prove that the integral closure of a strongly Golod ideal in a polynomial ring over a field of characteristic zero is strongly Golod, positively answering a question of Huneke. More generally, the rational power $I_{\unicode[STIX]{x1D6FC}}$ of an arbitrary homogeneous ideal is strongly Golod for $\unicode[STIX]{x1D6FC}\geqslant 2$ and, if $I$ is strongly Golod, then $I_{\unicode[STIX]{x1D6FC}}$ is strongly Golod for $\unicode[STIX]{x1D6FC}\geqslant 1$. We also show that all the coefficient ideals of a strongly Golod ideal are strongly Golod.

The aim of this article is to investigate algebraic nature of systems of one-valued mappings of given group into given field and to apply it to the theory of Galois algebras and duality of compact T0-groups. The results obtained in the following are those; factor systems of Galois algebras with finite Galois groups are defined without any restrictions on the orders of Galois groups and the coefficient fields, a necessary and sufficient condition for them to be associated with Galois fields is obtained, dualities of finite groups are obtained very simply without any restrictions for coefficient field of representations, and Tannaka’s duality of compact T0-groups is proved without the use of the compactness of Tannaka representation groups of representations of compact T- groups and the use of Kampen’s theorem.

In this paper, we present a version of Guan-Zhou’s optimal $L^{2}$ extension theorem and its application. As a main application, we show that under a natural condition, the question posed by Ohsawa in his series paper VIII on the extension of $L^{2}$ holomorphic functions holds. We also give an explicit counterexample which shows that the question fails in general.

The concept of a “set of ρ-discs” for complex-valued functions defined in the open unit disc U was introduced in [4; 5, p. 265] and various results concerning the existence of such sets associated with spirals and Stolz angles were derived. These sets are non-Euclidean analogues to the classical cercles de remplissage of Milloux [7; 8]. In the present paper additional theorems about Stolz angle phenomena and the existence of ρ-discs in more general subsets of U are established and new proofs are indicated for some results of Seidel [9, Theorem 2 and Corollary 1].

In the setting of Banach manifolds the notion of tangent vector to an arbitrary closed subset has been introduced in [11] by the author and N. H. Pavel, and it has been used in flow-invariance and optimization ([11], [12], [13]). For detailed informations on tangent vectors to closed sets (including historical comments) we refer to the recent book of N. H. Pavel [17].

The aim of this paper is to apply this general concept of tangency in the study of geodesies. We are concerned with geodesies which have either the endpoints in given closed subsets or the same angle for a fixed closed subset. This approach allows one to extend important results due to K. Grove [4] and T. Kurogi ([6], [7]).

Aronson proved, in his paper [1], the existence and the uniqueness property of weak solutions of the initial boundary value problem for parabolic equations of second order with measurable coefficients. On the uniqueness of solutions of the Cauchy problem for such equations he also gave some interesting results in [2].

Let G = Sp4 be the symplectic group of degree two defined over an algebraic number field F and K the standard maximal compact subgroup of the adele group G (A). By the general theory of Eisenstein series ([14]), one knows that the Hilbert space L2(G(F)\G(A)) has an orthogonal decomposition of the form

L2(G(F)\G(A)) = L2(G) ⊕ L2(B) ⊕ L2(P1) ⊕ L2(P1),

where B is a Borel subgroup and Pi are standard maximal parabolic subgroups in G for i = 1,2. The purpose of this paper is to study the space L2d(B) associated to discrete spectrurns in L2(B).

In this note, we give a characterization of inner automorphisms in the set of automorphisms of a compact connected group, and then apply it to give a proof of a theorem due to K. Iwasawa on the group of automorphisms of a compact group.

In [0], the writer proved some theorems of Hasse type for two orthogonal groups which operate on the same vector space. In this paper, we shall further generalize those results in two directions. One is to consider the propositions of that type for two orthogonal groups which operate respectively on two vector spaces whose dimensions are different from each other, and the other is to deal with some conspicuous subgroups of an orthogonal group simultaneously which play important roles in the structure theory for orthogonal groups. For this reason, the present paper consists of three steps §1, §2 and §3 which give the generalizations in the above sense of the results in the corresponding sections of [0].

The complement of an arrangement of hyperplanes is a good example of the mixed Hodge structure on the fundamental group of an algebraic variety. We compute its isomorphic class using iterated integrals in the fiber type case and then get the combinatorial and projective invariant.

We introduce a framework for a nonlinear potential theory without a kernel on a reflexive, strictly convex and smooth Banach space of functions. Nonlinear potentials are defined as images of nonnegative continuous linear functionals on that space under the duality mapping. We study potentials and reduced functions by using a variant of the Gauss-Frostman quadratic functional. The framework allows a development of other main concepts of nonlinear potential theory such as capacities, equilibrium potentials and measures of finite energy.