A characterization of totally <Emphasis Type="Italic">η</Emphasis>-umbilical real hypersurfaces and ruled real hypersurfaces of a complex space form

We give a characterization of totally η-umbilical real hypersurfaces and ruled real hypersurfaces of a complex space form in terms of totally umbilical condition for the holomorphic distribution on real hypersurfaces. We prove that if the shape operator A of a real hypersurface M of a complex space form M ⁿ (c), c ≠ 0, n ⩾ 3, satisfies g(AX, Y) = ag(X, Y) for any X, Y ∈ T ₀(x), a being a function, where T ₀ is the holomorphic distribution on M, then M is a totally η-umbilical real hypersurface or locally congruent to a ruled real hypersurface. This condition for the shape operator is a generalization of the notion of η-umbilical real hypersurfaces.     

Three real hypersurfaces some of whose geodesics are mapped to circles with the same curvature in a nonflat complex space form

We characterize all totally η-umbilic hypersurfaces and ruled real hypersurfaces in nonflat complex space forms and certain real hypersurfaces of type (A₂) in complex projective spaces by using the property that some of their geodesics are mapped to circles of the same curvature in these ambient spaces.     

Recurrent real hypersurfaces in complex two-plane Grassmannians

Summary We introduce the notion of recurrent shape operator for a real hypersurface M in the complex two-plane Grassmannians G₂(C^m+2) and give a non-existence property of real hypersurfaces in G₂(C^m+2) with the recurrent shape operator.     

Real hypersurfaces in complex two-plane Grassmannians with certain commuting condition

In this paper, first we introduce a new notion of commuting condition that φφ ₁ A = A φ ₁ φ between the shape operator A and the structure tensors φ and φ ₁ for real hypersurfaces in G ₂(? ^m+2). Suprisingly, real hypersurfaces of type (A), that is, a tube over a totally geodesic G ₂(? ^m+1) in complex two plane Grassmannians G ₂(? ^m+2) satisfy this commuting condition. Next we consider a complete classification of Hopf hypersurfaces in G ₂(? ^m+2) satisfying the commuting condition. Finally we get a characterization of Type (A) in terms of such commuting condition φφ ₁ A = A φ ₁ φ.     

Complexified real arrangements of hyperplanes

LetV be a finite dimensional vector space over the real or complex numbers. Areal (orcomplex)arrangement A inV is a finite collection of real (or complex) affine hyperplanes. A real arrangement inV can becomplexified to form a complex arrangement in the complex vector spaceA. The (complex)complement of a real arrangementA is defined byM(A)=V⊗ℂ−⋃ _H∈ ^A H⊗ℂ. There are two different finite simplicial complexes which carry the homotopy type ofM(A), one given by M. Salvetti, the other by P. Orlik. In this paper we describe both complexes and exhibit a simplicial homotopy equivalence between them.     

A characterization of a certain real hypersurface of type (A<Subscript>2</Subscript>) in a complex projective space

In the class of real hypersurfaces M ^2n?1 isometrically immersed into a nonflat complex space form \(\widetilde {{M_n}}\left( c \right)\) of constant holomorphic sectional curvature c (≠ 0) which is either a complex projective space ?P ⁿ (c) or a complex hyperbolic space ?H ⁿ (c) according as c > 0 or c < 0, there are two typical examples. One is the class of all real hypersurfaces of type (A) and the other is the class of all ruled real hypersurfaces. Note that the former example are Hopf manifolds and the latter are non-Hopf manifolds. In this paper, inspired by a simple characterization of all ruled real hypersurfaces in \(\widetilde {{M_n}}\left( c \right)\), we consider a certain real hypersurface of type (A₂) in ?P ⁿ (c) and give a geometric characterization of this Hopf manifold.     

Ricci η‐recurrent real hypersurfaces in 2‐dimensional nonflat complex space forms

Let M be a Hopf hypersurface in a nonflat complex space form $M^2(c)$, $c\ne 0$, of complex dimension two. In this paper, we prove that M has η‐recurrent Ricci operator if and only if it is locally congruent to a homogeneous real hypersurface of type (A) or (B) or a non‐homogeneous real hypersurface with vanishing Hopf principal curvature. This is an extension of main results in [17, 21] for real hypersurfaces of dimension three. By means of this result, we give some new characterizations of Hopf hypersurfaces of type (A) and (B) which generalize those in [14, 18, 26].     

Regularity and Substructures of Hom

ABSTRACT

We define “regular” for maps in a Hom group. This notion specializes to the well-known notions of (Von Neumann) regular in rings and modules. A map f ∈ Hom _R (A,M) is regular if and only if Ker(f) ?^⊕ A and Im(f) ?^⊕ M. There exists a unique maximal regular End(M)-End(A)-submodule in Hom _R (A,M). We study regularity in Hom _R (A ₁ ⊕ A ₂, M ₁ ⊕ M ₂). The existence of a regular function Hom _R (A,M) implies the existence of projective summands of Hom _R (A,M) _{End R (A)} and of _{End R ( M )} Hom _R (A,M). We consider regularity in endomorphism rings, and generalize a theorem of Ware-Zelmanowitz. We examine connections between the maximum regular bimodule and other substructures of Hom, mention two generalizations of regularity, and raise some questions.     

(<Emphasis Type="Italic">p, λ</Emphasis>)-Koszul algebras and modules

In this paper, the notions of (p, λ)-Koszul algebra and (p, λ)-Koszul module are introduced. Some criteria theorems for a positively graded algebra A to be (p, λ)-Koszul are given. The notion of weakly (p, λ)-Koszul module is defined as well and let WK _λ ^p (A) denote the category of weakly (p, λ)-Koszul modules. We show that M ∈ WK _λ ^p (A) if and only if it can be approximated by (p, λ)-Koszul submodules, which is equivalent to that G(M) is a (p, λ)-Koszul module, where G(M) denotes the associated graded module of M. As applications, the relationships of the minimal graded projective resolutions of M, G(M) and (p, λ)-Koszul submodules are established. In particular, for a module M ∈ WK _λ ^p (A) we prove that ⊕ _i≥0 Ext _A ⁱ (M,A ₀) ∈ gr ₀(E(A)), we also get as a consequence that the finitistic dimension conjecture is valid in WK _λ ^p (A) under certain conditions.     

On real hypersurfaces in a quaternionic hyperbolic space in terms of the derivative of the second fundamental tensor

The purpose of this paper is to give a characterization of real hypersurfaces of type A₀, A in a quaternionic hyperbolic space QH ^m by the covariant derivative of the second fundamental tensor. This revised version was published online in June 2006 with corrections to the Cover Date.     

The Hilbert function of a maximal Cohen-Macaulay module

We study Hilbert functions of maximal CM modules over CM local rings. When A is a hypersurface ring with dimension d>0, we show that the Hilbert function of M with respect to is non-decreasing. If A=Q/(f) for some regular local ring Q, we determine a lower bound for e₀(M) and e₁(M) and analyze the case when equality holds. When A is Gorenstein a relation between the second Hilbert coefficient of M, A and S^A(M)= (Syz^A₁(M*))* is found when G(M) is CM and depthG(A)≥d−1. We give bounds for the first Hilbert coefficients of the canonical module of a CM local ring and analyze when equality holds. We also give good bounds on Hilbert coefficients of M when M is maximal CM and G(M) is CM.     

Geometry of Periodic Modules over Tame Concealed and Tubular Algebras

Let A be a tame concealed or tubular algebra and d the dimension-vector of a periodic module with respect to the action of the Auslander–Reiten translation. We prove that the affine variety mod _A (d) of all A-modules of dimension-vector d is a normal complete intersection. Moreover, we show that a module M in mod _A (d) is nonsingular if and only if Ext _A ²(M,M)=0.     

Real hypersurfaces in complex space forms concerned with the local symmetry

This paper consists of two parts. In the first, we find some geometric conditions derived from the local symmetry of the inverse image by the Hopf fibration of a real hypersurface M in complex space form M _m(4ε). In the second, we give a complete classification of real hypersurfaces in M _m(4ε) which satisfy the above geometric facts. The second author was supported by DGICYT research project BFM 2001-2871-C04-01 and the first and the third authors were supported by grant Proj. No. R14-2002-003-01001-0 from Korea Research Foundation, Korea 2006.     

Real hypersurfaces in complex two-plane Grassmannians with certain commuting condition II

Lee, Kim and Suh (2012) gave a characterization for real hypersurfaces M of Type (A) in complex two plane Grassmannians G ₂(? ^m+2) with a commuting condition between the shape operator A and the structure tensors φ and φ ₁ for M in G ₂(? ^m+2). Motivated by this geometrical notion, in this paper we consider a new commuting condition in relation to the shape operator A and a new operator φφ ₁ induced by two structure tensors φ and φ ₁. That is, this commuting shape operator is given by φφ ₁ A = A φφ ₁. Using this condition, we prove that M is locally congruent to a tube of radius r over a totally geodesic G ₂(? ^m+1) in G ₂(? ^m+2).     

Real Hypersurfaces in Complex Two-Plane Grassmannians

 The complex two-plane Grassmannian G ₂(C ^m+2 in equipped with both a K?hler and a quaternionic K?hler structure. By applying these two structures to the normal bundle of a real hypersurface M in G ₂(C ^m+2 one gets a one- and a three-dimensional distribution on M. We classify all real hypersurfaces M in G ₂ C ^m+2 , m≥3, for which these two distributions are invariant under the shape operator of M. Received 13 November 1996; in revised form 3 March 1997     

Formule d'homotopie entre les complexes de Hochschild et de De Rham

Let k be the field or let M be the space k ⁿ and let A be the algebra of polynomials over M. We know from Hochschild and co-workers that the Hochschild homology H _·(A,A) is isomorphic to the de Rham differential forms over M: this means that the complexes (C _·(A,A),b) and (^·(M), 0) are quasi-isomorphic. In this work, I produce a general explicit homotopy formula between those two complexes. This formula can be generalized when M is an open set in a complex manifold and A is the space of holomorphic functions over M. Then, by taking the dual maps, I find a new homotopy formula for the Hochschild cohomology of the algebra of smooth fonctions over M (when M is either a complex or a real manifold) different from the one given by De Wilde and Lecompte. I will finally show how this formula can be used to construct an homotopy for the cyclic homology.     

An Optimal Inequality and Extremal Classes of Affine Spheres in Centroaffine Geometry

A hypersurface f : M → Rⁿ⁺¹ in an affine (n+1)-space is called centroaffine if its position vector is always transversal to f_*(TM) in Rⁿ⁺¹. In this paper, we establish a general optimal inequality for definite centroaffine hypersurfaces in Rⁿ⁺¹ involving the Tchebychev vector field. We also completely classify the hypersurfaces which verify the equality case of the inequality.     

Biharmonic hypersurfaces in a Riemannian manifold with non-positive Ricci curvature

In this article, we show that, for a biharmonic hypersurface (M, g) of a Riemannian manifold (N, h) of non-positive Ricci curvature, if ò_M|H|² v_g < ￥{\int_M\vert H\vert^2 v_g<\infty}, where H is the mean curvature of (M, g) in (N, h), then (M, g) is minimal in (N, h). Thus, for a counter example (M, g) in the case of hypersurfaces to the generalized Chen’s conjecture (cf. Sect. 1), it holds that ò_M|H|² v_g=￥{\int_M\vert H\vert^2 v_g=\infty} .     

The near centre of Doi-Hopf module categoryA M (H) C

It is known that any strict tensor category (C⊗I) determines a braided tensor categoryZ(C), the centre ofC. WhenA is a finite dimension Hopf algebra, Drinfel’d has proved thatZ(_A M) is equivalent to _D(A) M as a braided tensor category, whereA ^M is the left A-module category andD(A) is the Drinfel’d double ofA. For a braided tensor category, the braidC _U,v is a natural isomorphism for any pair of object (U,V) in. If weakening the natural isomorphism of the braidC _U,V to a natural transformation, thenC _U,V is a prebraid and the category with a prebraid is called a prebraided tensor category. Similarly it can be proved that any strict tensor category determines a prebraided tensor category Z∼ (C), the near centre of. An interesting prebraided tensor structure of the Yetter-Drinfel’d category _C*A YD ^C*A given, whereC # A is the smash product bialgebra ofC andA. And it is proved that the near centre of Doi-Hopf module _A M(H) ^C is equivalent to the Yetter-Drinfel’ d _C*A YD ^C*A as prebraided tensor categories. As corollaries, the prebraided tensor structures of the Yetter-Drinfel’d category _A YD ^A , the centres of module category and comodule category are given.     

Some Conditions on Real Hypersurfaces in Quaternionic Projective Spaces in Terms of Lie Derivatives

The purpose of this paper is to give a non-existence property with the Lie derivative of the structure tensors φ _i and some characterizations of real hypersurfaces of type A ₁, A ₂ in a quaternionic projective space QP ^m in terms of the Lie derivatives of the second fundamental tensor A and the induced Riemannian metric g on the distribution D ^⊥ = Span {U ₂, U ₂, U ₃}. This revised version was published online in June 2006 with corrections to the Cover Date.