The Laplacians form a class of the most important differential operators in white noise analysis. The goal of this paper is to give their characterizations. Our main tools are the Fock expansions of operators in terms of integral kernel operators and rotation-invariance. In Section 1, the fundamental setting of white noise analysis is introduced briefly. In Section 2, integral kernel operators and the Fock expansions of operators are given. The characterization theorems for number operator, Gross-Laplacian and Euler operator are given in Sections 3, 4 and 5 respectively.

The first fundamental theorem of invariant theory for the orthosymplectic supergroup scheme $\text{OSp}(m|2n)$ states that there is a full functor from the Brauer category with parameter $m-2n$ to the category of tensor representations of $\text{OSp}(m|2n)$. This has recently been proved using algebraic supergeometry to relate the problem to the invariant theory of the general linear supergroup. In this work, we use the same circle of ideas to prove the second fundamental theorem for the orthosymplectic supergroup. Specifically, we give a linear description of the kernel of the surjective homomorphism from the Brauer algebra to endomorphisms of tensor space, which commute with the orthosymplectic supergroup. The main result has a clear and succinct formulation in terms of Brauer diagrams. Our proof includes, as special cases, new proofs of the corresponding second fundamental theorems for the classical orthogonal and symplectic groups, as well as their quantum analogues, which are independent of the Capelli identities. The results of this paper have led to the result that the map from the Brauer algebra ${\mathcal{B}}_{r}(m-2n)$ to endomorphisms of $V^{\otimes r}$ is an isomorphism if and only if $r<(m+1)(n+1)$.

We relate the analytic spread of a module expressed as the direct sum of two submodules with the analytic spread of its components. We also study a class of submodules whose integral closure can be expressed in terms of the integral closure of its row ideals, and therefore can be obtained by means of a simple computer algebra procedure. In particular, we analyze a class of modules, not necessarily of maximal rank, whose integral closure is determined by the family of Newton polyhedra of their row ideals.

The cohomology theory of an associative algebra has been shown to be valuable in the study of the structure of algebras of finite cohomological dimension, especially those of dimension less than or equal to one over a field. M. Harada [9] has shown that every semi-primary hereditary algebra A (for example, A is finitely generated over a field R and has dimension < 1) is isomorphic to a generalized triangular matrix algebra. The concept of a central separable algebra over a commutative ring has been shown to be a useful generalization of the concept of a central simple algebra over a field, where a separable algebra is defined to be an algebra having cohomological dimension zero.

This note is a correction of an error of the author’s paper mentioned in the title. (The reference [1]). The proof of the Prop. 6 of [1], Chap. II, p. 247, is an error. And the propositions and formulas in pp. 247-249 of [1] depending on this Prop. 6 must be corrected. All notations are referred to [1].

We continue the study of the closures of GL(V)-orbits in the enhanced nilpotent cone V × N begun by the first two authors. We prove that each closure is an invariant-theoretic quotient of a suitably defined enhanced quiver variety. We conjecture, and prove in special cases, that these enhanced quiver varieties are normal complete intersections, implying that the enhanced nilpotent orbit closures are also normal.

The purpose of this paper is to study the distribution of Fatou points of annular functions introduced by Bagemihl and Erdös [1]. Recall that a function f(z), regular in the open unit disk D: | z | < 1, is referred to as an annular function if there exists a sequence {Jn} of closed Jordan curves, converging out to the unit circle C: | z | = 1, such that the minimum modulus of f(z) on Jn increases to infinity. If the Jn can be taken as circles concentric with C, f(z) will be called strongly annular.

For a closed and bounded set E in the complex plane, let A(E) denote the collection of all functions continuous on E and analytic on E°, its interior; let R(E) denote the collection of all functions which are uniform limits on E of rational functions with poles outside E. Then let A denote the collection of all closed, bounded sets for which A(E) = R(E). The purpose of this paper is to formulate a condition on a set, which is essentially of a geometric nature, in order that the set belong to A. Then using approximation techniques, we shall construct a meromorphic function having a certain boundary behavior on a perfect set; this answers a question raised in [1].

We introduce an operation on modules over an F-finite ring of characteristic p. We call this operation tight interior. While it exists more generally, in some cases this operation is equivalent to the Matlis dual of tight closure. Moreover, the interior of the ring itself is simply the big test ideal. We directly prove, without appeal to tight closure, results analogous to persistence, colon capturing, and working modulo minimal primes, and we begin to develop a theory dual to phantom homology. Using our dual notion of persistence, we obtain new and interesting transformation rules for tight interiors, and so in particular for the test ideal. Using our theory of phantom homology, we prove a vanishing theorem for maps of Ext. We also compare our theory with Blickle’s notion of Cartier modules, and in the process we prove new existence results for Blickle’s test submodule. Finally, we apply the theory we developed to the study of test ideals in nonnormal rings, proving that the finitistic test ideal coincides with the big test ideal in some cases.

As a continuation of the previous paper [7], we shall consider in this paper the problem of prediction given bounded intervals and obtain integral representations of predictors and prediction errors. For that purpose we shall introduce innovation processes well matched with bounded intervals. We follow the notation and terminology in [6].

Consider a tower of principal fibrations

That is, Ei+1 is the pullback of Ei→Ri and the path fibration PRi → Ri. The question arises as to whether or not the tower can be shortened, that is, whether or not En+1→ B is fiber homotopically equivalent to a nice fibration E → B. If “nice” is taken to mean “principal” then sufficient conditions are known. They involve connectivity assumptions on the Ei. In this paper “nice” is taken to mean “D-relatively principal” for some space D.

In [M] Murthy asked if every subvariety V of kn (k-any field) with a trivial conormal bundle is a (scheme theoretic) complete intersection.

In [B] we were able to prove that all such subvarieties of kn are at least set theoretic complete intersections. Mohan Kumar has shown in [MK] that if one assumes moreover that n ≥ 2 dim V + 2 then V is a complete intersection. The aim of this paper is to prove the following result which extends the Mohan Kumar Theorem in the nonsingular (and connected) case and moreover sheds some light on his bound for n.

Main purpose of the present paper is to exhibit a class of truth-value evaluations of the primitive logic LO and its sentential part LOS.

This is a continuation of the previous paper [8] concerning the relation between the arithmetic of imaginary quadratic fields and cusp forms of weight one on a certain congruence subgroup. Let K be an imaginary quadratic field, say K = with a prime number q ≡ − 1 mod 8, and let h be the class number of K. By the classical theory of complex multiplication, the Hubert class field L of K can be generated by any one of the class invariants over K, which is necessarily an algebraic integer, and a defining equation of which is denoted by

Φ(x) = 0.

In this article, we study short exact sequences of finitary 2-representations of a weakly fiat 2-category. We provide a correspondence between such short exact sequences with fixed middle term and coidempotent subcoalgebras of a coalgebra 1-morphism defining this middle term. We additionally relate these to recollements of the underlying abelian 2-representations.

Let X be a compact space and f be a continuous map from X into itself. The topological entropy of f, h(f), was defined by Adler, Konheim and McAndrew [1]. After that Bowen [4] defined the topological entropy for uniformly continuous maps of metric spaces, and proved that the two entropies coincide when the spaces are compact. The definition of Bowen is useful in calculating entropy of continuous maps.

In the theory of integral quadratic forms or the related theory such as modular forms, it is important to give examples of forms with given discriminant for various computational purposes. However, little is known about this problem even in the case where the explicit formula for the class number has been given. Among the works that deal with satisfactorily many examples or give a constructive method of them, there are [1] for ternary forms, and [5] for quaternary forms with square discriminants. As for quaternary forms with prime discriminant, P. Ponomarev [8] gave an explicit way to construct such forms from ternary forms with discriminant 2q. It was based on the result of his previous work [7] and that of Y. Kitaoka [6], but was rather complicated.

Let D be a division algebra of finite dimension n2 over it’s center F. Suppose D has an involution, τ, of the first kind, of symplectic type (e.g. [1], p. 169). By the theory of the pfaffian, τ symmetric elements have degree less than n/2 over F. On the other hand, Tamagawa has shown (unpublished) that involutions like τ are closely related to minimal symmetric idempotents in D ⊗ F D. This author began by examining and trying to generalize these relationships. But before any theory seemed possible for division algebras, a theory relating subfields and symmetric idempotents was required. This investigation gave rise to the results presented here, especially the main theorem in Section Two.

In the previous paper [7], we have studied the relationship between the Riemannian connection of an n-dimensional Riemannian space M imbedded into the (n + k)-dimensional Euclidean space Rn+k and the canonical connection in the bundle Pn, k = O(n + k)/{l} Х O(k) over the Grassmann manifold Mn, k = O(n + k)/O(n) Х O(k).

In the first half of the present paper, the relationship between the canonical connections in bundles and the invariant Riemannian connection on Mn, k will be discussed. We obtain the holonomy groups of these canonical connections.

Cobordism invariants have been applied to both real and complex categories. For example, the index of 4k-dimensional manifolds was treated by Hirzebruch for the generalization of the Riemann-Roch theorem [3]. He also considered, in relation with this, virtual genus or virtual characteristics. But many invariants, such as virtual characteristics, have their origin in complex analytic category. In view of this, we consider certain complex analytic cobordism, i.e., quasilinear cobordism among quasilinear subvarieties in complex manifolds (see for the definition of quasilinear structure [4].) Quasilinear body has very simple type of singularities, as well as its quasilinear boundaries. Therefore, the theory of quasilinear cobordism can be reduced, through σ-processes, to that of non-singular cobordism theory.