On generalized CS-modules

An S-closed submodule of a module M is a submodule N for which M/N is nonsingular. A module M is called a generalized CS-module (or briefly, GCS-module) if any S-closed submodule N of M is a direct summand of M. Any homomorphic image of a GCS-module is also a GCS-module. Any direct sum of a singular (uniform) module and a semi-simple module is a GCS-module. All nonsingular right R-modules are projective if and only if all right R-modules are GCS-modules.     

Weighted sum of the extensions of the representations of quadratic forms

Let L, N and M be positive definite integral \({\mathbb{Z}}\) -lattices. In this paper, we show some relation between the weighted sum of representations of L and N by gen(M) and the weighted sum of extensions of \(\tilde M_{\tilde \sigma}\) in the gen(M _σ) via N _η when M is even and gcd(dL, dM) =  1. As a consequence of the particular case when M is even unimodular, we recapture the Böcherer formula (13) in (Böcherer, Maths Z 183:21–46, 1983) for the relation of the Fourier coefficients between Eisenstein series and Jacobi–Eisenstein series.     

Extensions of representations of integral quadratic forms

Let N and M be quadratic ?-lattices, and K be a sublattice of N. A representation σ:K→M is said to be extensible to N if there exists a representation ρ:N→M such that ρ | _K =σ. We prove in this paper a local–global principle for extensibility of representation, which is a generalization of the main theorems on representations by positive definite ?-lattices by Hsia, Kitaoka and Kneser (J. Reine Angew. Math. 301:132–141, 1978) and Jöchner and Kitaoka (J. Number Theory 48:88–101, 1994). Applications to almost n-universal lattices and systems of quadratic equations with linear conditions are discussed.     

The extrinsic holonomy Lie algebra of a parallel submanifold

We investigate parallel submanifolds of a Riemannian symmetric space N. The special case of a symmetric submanifold has been investigated by many authors before and is well understood. We observe that there is an intrinsic property of the second fundamental form which distinguishes full symmetric submanifolds from arbitrary full, complete, parallel submanifolds of N, usually called “1-fullness” of M. Furthermore, for every parallel submanifold \({M\subset N}\) we consider the pullback bundle T N| _M with the linear connection induced by \({\nabla^N}\) . Then there exists a distinguished parallel subbundle \({\mathcal {O}M}\) , usually called the “second osculating bundle” of M. Given a parallel isometric immersion from a symmetric space M into N, we can describe the “extrinsic” holonomy Lie algebra of \({\mathcal {O} M}\) by means of the second fundamental form and the curvature tensor of N at some fixed point. If moreover N is simply connected and M is even a full symmetric submanifold of N, then we will calculate the “extrinsic” holonomy Lie algebra of T N| _M in an explicit form.     

Non-closed isometry-invariant geodesics

Let c be a non-closed and bounded geodesic in a complete Riemannian manifold M. Assume that c is invariant under an isometry A of M and that c is not contained in the set of fixed points of A. We prove that, for some \({k\ge 2}\), the geodesic flow line ? corresponding to c is dense in a k-dimensional torus N embedded in TM. In particular, every geodesic with initial vector in N is A-invariant.     

Kreĭn space representation and Lorentz groups of analytic Hilbert modules

This paper aims to introduce some new ideas into the study of submodules in Hilbert spaces of analytic functions. The effort is laid out in the Hardy space over the bidisk H²(D²). A closed subspace M in H²(D²) is called a submodule if z _i M ? M (i = 1, 2). An associated integral operator (defect operator) C _M captures much information about M. Using a Kre?n space indefinite metric on the range of C _M , this paper gives a representation of M. Then it studies the group (called Lorentz group) of isometric self-maps of M with respect to the indefinite metric, and in finite rank case shows that the Lorentz group is a complete invariant for congruence relation. Furthermore, the Lorentz group contains an interesting abelian subgroup (called little Lorentz group) which turns out to be a finer invariant for M.     

Determinantal representations of smooth cubic surfaces

For every smooth (irreducible) cubic surface S we give an explicit construction of a representative for each of the 72 equivalence classes of determinantal representations. Equivalence classes (under GL₃ × GL₃ action by left and right multiplication) of determinantal representations are in one to one correspondence with the sets of six mutually skew lines on S and with the 72 (two-dimensional) linear systems of twisted cubic curves on S. Moreover, if a determinantal representation M corresponds to lines (a ₁,...,a ₆) then its transpose M ^t corresponds to lines (b ₁,...,b ₆) which together form a Schläfli’s double-six \(a_1\ldots a_6 \choose b_1\ldots b_6\) . We also discuss the existence of self-adjoint and definite determinantal representation for smooth real cubic surfaces. The number of these representations depends on the Segre type F _i . We show that a surface of type F _i , i = 1,2,3,4 has exactly 2(i?1) nonequivalent self-adjoint determinantal representations none of which is definite, while a surface of type F ₅ has 24 nonequivalent self-adjoint determinantal representations, 16 of which are definite.     

Estimates of sums of zero multiplicities for eigenfunctions of the Laplace-Beltrami operator

We obtain an upper estimate N?_χ(M) for the sum Q _N of singular zero multiplicities of the Nth eigenfunction of the Laplace-Beltrami operator on the two-dimensional, compact, connected Riemann manifold M, where _χ M is the Euler characteristic ofM. Stronger estimates, but equivalent asymptotically (N å ∞), are given for the cases of the sphere S ² and the projective plane ?². Asymptotically sharper estimates are shown for the case of a domain on the plane.     

Classification of smooth structures on a homotopy complex projective space

We classify, up to diffeomorphism, all closed smooth manifolds homeomorphic to the complex projective n-space \(\mathbb {C}\textbf {P}^{n}\), where n=3 and 4. Let M²ⁿ be a closed smooth 2n-manifold homotopy equivalent to \(\mathbb {C}\textbf {P}^{n}\). We show that, up to diffeomorphism, M⁶ has a unique differentiable structure and M⁸ has at most two distinct differentiable structures. We also show that, up to concordance, there exist at least two distinct differentiable structures on a finite sheeted cover N²ⁿ of \(\mathbb {C}\textbf {P}^{n}\) for n=4,7 or 8 and six distinct differentiable structures on N¹⁰.     

Spectral Theory of the Atiyah–Patodi–Singer Operator on Compact Flat Manifolds

We study the spectral theory of the Dirac-type boundary operator \(\mathcal{D}\) defined by Atiyah, Patodi, and Singer, acting on smooth even forms of a compact flat Riemannian manifold M. We give an explicit formula for the multiplicities of the eigenvalues of \(\mathcal{D}\) in terms of values of characters of exterior representations of SO(n), where n=dim?M. As a consequence, we give large families of \(\mathcal{D}\)-isospectral flat manifolds that are non-homeomorphic to each other. Furthermore, we derive expressions for the eta series in terms of special values of Hurwitz zeta functions and, as a result, we obtain a simple explicit expression of the eta invariant.     

Newly Appointed Editor

Let M be a subgroup of a finite group G, and suppose that M normalizes the nilpotent residual \(H^\infty \) of every non-subnormal subgroup H of G. We show that M must also normalize the nilpotent residuals of the subnormal subgroups of G. We also prove a similar result for the solvable residual.     

Factorization properties of subdiagonal algebras

Let M be a von Neumann algebra equipped with a normal finite faithful normalized trace τ, and let A be a tracial subalgebra of M. Let E be a symmetric quasi-Banach space on [0, 1]. We show that A has an L_E(M)-factorization if and only if A is a subdiagonal algebra.     

Three-dimensional <Emphasis Type="Italic">N</Emphasis>=4 supersymmetry in harmonic <Emphasis Type="Italic">N</Emphasis>=3 superspace

We consider the map of three-dimensional N=4 superfields to the N=3 harmonic superspace. The left and right representations of the N=4 superconformal group are constructed on N=3 analytic superfields. These representations are convenient for describing N=4 superconformal couplings of Abelian gauge superfields to hypermultiplets. We investigate the N=4 invariance in the non-Abelian N=3 Yang-Mills theory.     

Some results on Artinian cofinite top local cohomology modules

Let \((R,\mathfrak {m})\) be a Noetherian local ring, I be an ideal of R, and M be a finitely generated R-module such that \({\text {H}}_I^t(M)\) is Artinian and I-cofinite, where \(t={\text {cd}}\,(I,M)\). In this paper, we give some equivalent conditions for the property

$$\begin{aligned} {\text {Ann}}\,_R\left( 0:_{{\text {H}}_I^t (M)} \mathfrak {p}\right) =\mathfrak {p}~\text {for all prime ideals }~ \mathfrak {p}\supseteq {\text {Ann}}\,_R{\text {H}}_I^t(M).(*) \end{aligned}$$

Also, we show that if \({\text {H}}_I^t(M)\) satisfies the property \((*)\), then \({\text {H}}_I^t(M)\cong {\text {H}}_{\mathfrak {m}}^t(M/N)\) for some submodule N of M with \({\text {dim}}\,(M/N)=t\).

     

The general rigidity result for bundles of <Emphasis Type="Italic">A</Emphasis>-covelocities and <Emphasis Type="Italic">A</Emphasis>-jets

Let M be an m-dimensional manifold and A = D _k ^r /I = R⊕N _A a Weil algebra of height r. We prove that any A-covelocity T _x ^A f ∈ T _x ^A *M, x ∈ M is determined by its values over arbitrary max{width A,m} regular and under the first jet projection linearly independent elements of T _x ^A M. Further, we prove the rigidity of the so-called universally reparametrizable Weil algebras. Applying essentially those partial results we give the proof of the general rigidity result T ^A *M ? T ^r *M without coordinate computations, which improves and generalizes the partial result obtained in Tomá? (2009) from m ≥ k to all cases of m.We also introduce the space J ^A (M,N) of A-jets and prove its rigidity in the sense of its coincidence with the classical jet space J ^r (M,N).     

The principal bundles over an inverse semigroup

This paper is a contribution to the development of the theory of representations of inverse semigroups in toposes. It continues the work initiated by Funk and Hofstra (Theory Appl Categ 24(7):117–147, 2010). For the topos of sets, we show that torsion-free functors on Loganathan’s category L(S) of an inverse semigroup S are equivalent to a special class of non-strict representations of S, which we call connected. We show that the latter representations form a proper coreflective subcategory of the category of all non-strict representations of S. We describe the correspondence between directed and pullback preserving functors on L(S) and transitive and effective representations of S, as well as between filtered such functors and universal representations introduced by Lawson, Margolis and Steinberg. We propose a definition of a universal representation, or, equivalently, an S-torsor, of an inverse semigroup S in the topos of sheaves \({\mathsf {Sh}}(X)\) on a topological space X. We prove that the category of filtered functors from L(S) to the topos \({\mathsf {Sh}}(X)\) is equivalent to the category of universal representations of S in \({\mathsf {Sh}}(X)\). We finally propose a definition of an inverse semigroup action in an arbitrary Grothendieck topos, which arises from a functor on L(S).     

Rigidity of closed submanifolds in a locally symmetric Riemannian manifold

Let M~n(n ≥ 4) be an oriented closed submanifold with parallel mean curvature in an(n + p)-dimensional locally symmetric Riemannian manifold N~(n+p). We prove that if the sectional curvature of N is positively pinched in [δ, 1], and the Ricci curvature of M satisfies a pinching condition, then M is either a totally umbilical submanifold, or δ = 1, and N is of constant curvature. This result generalizes the geometric rigidity theorem due to Xu and Gu[15].     

Automatic knowledge extraction from survey data: learning <Emphasis Type="Italic">M</Emphasis>-of-<Emphasis Type="Italic">N</Emphasis> constructs using a hybrid approach

Data collected from a survey typically consist of attributes that are mostly if not completely binary-valued or binary-encoded. We present a method for handling such data where the underlying data analysis can be cast as a classification problem. We propose a hybrid method that combines neural network and decision tree methods. The network is trained to remove irrelevant data attributes and the decision tree is applied to extract comprehensible classification rules from the trained network. The conditions of the rules are in the form of a conjunction of M-of-N constructs. An M-of-N construct is a rule condition that is satisfied if (at least, exactly, at most) M of the N binary attributes in the construct are present. The effectiveness of the method is illustrated on data collected for a study of global car market segmentation. The results show that besides achieving high predictive accuracy, the method also allows meaningful interpretation of the relationships among the data variables.     

Hyperholomorphic connections on coherent sheaves and stability

Let M be a hyperkähler manifold, and F a reflexive sheaf on M. Assume that F (away from its singularities) admits a connection ? with a curvature Θ which is invariant under the standard SU(2)-action on 2-forms. If Θ is square-integrable, such sheaf is called hyperholomorphic. Hyperholomorphic sheaves were studied at great length in [21]. Such sheaves are stable and their singular sets are hyperkähler subvarieties in M. In the present paper, we study sheaves admitting a connection with SU(2)-invariant curvature which is not necessary L ²-integrable. We show that such sheaves are polystable.