No Arabic abstract
To study $s$-homogeneous algebras, we introduce the category of quivers with $s$-homogeneous corelations and the category of $s$-homogeneous triples. We show that both of these categories are equivalent to the category of $s$-homogeneous algebras. We prove some properties of the elements of $s$-homogeneous triples and give some consequences for $s$-Koszul algebras. Then we discuss the relations between the $s$-Koszulity and the Hilbert series of $s$-homogeneous triples. We give some application of the obtained results to $s$-homogeneous algebras with simple zero component. We describe all $s$-Koszul algebras with one relation recovering the result of Berger and all $s$-Koszul algebras with one dimensional $s$-th component. We show that if the $s$-th Veronese ring of an $s$-homogeneous algebra has two generators, then it has at least two relations. Finally, we classify all $s$-homogeneous algebras with $s$-th Veronese rings ${bf k}langle x,yrangle/(xy,yx)$ and ${bf k}langle x,yrangle/(x^2,y^2)$. In particular, we show that all of these algebras are not $s$-Koszul while their $s$-homogeneous duals are $s$-Koszul.
In our preceding paper we have introduced the notion of an $s$-homogeneous triple. In this paper we use this technique to study connected $s$-homogeneous algebras with two relations. For such algebras, we describe all possible pairs $(A,M)$, where $A$ is the $s$-Veronese ring and $M$ is the $(s,1)$-Veronese bimodule of the $s$-homogeneous dual algebra. For each such a pair we give an intrinsic characterization of algebras corresponding to it. Due to results of our previous work many pairs determine the algebra uniquely up to isomorphism. Using our partial classification, we show that, to check the $s$-Koszulity of a connected $s$-homogeneous algebras with two relations, it is enough to verify an equality for Hilbert series or to check the exactness of the generalized Koszul complex in the second term. For each pair $(A,M)$ not belonging to one specific series of pairs, we check if there exists an $s$-Koszulity algebra corresponding to it. Thus, we describe a class of possible ${rm Ext}$-algebras of $s$-Koszul connected algebras with two relations and realize all of them except a finite number of specific algebras as ${rm Ext}$-algebras. Another result that follows from our classification is that an $s$-homogeneous algebra with two dimensional $s$-th component cannot be $s$-Koszul for $s>2$.
A pseudo-Riemannian manifold is called CSI if all scalar polynomial invariants constructed from the curvature tensor and its covariant derivatives are constant. In the Lorentzian case, the CSI spacetimes have been studied extensively due to their application to gravity theories. It is conjectured that a CSI spacetime is either locally homogeneous or belongs to the subclass of degenerate Kundt metrics. Independent of this conjecture, any CSI spacetime can be related to a particular locally homogeneous degenerate Kundt metric sharing the same scalar polynomial curvature invariants. In this paper we will invariantly classify the entire subclass of locally homogeneous CSI Kundt spacetimes which are of alignment type {bf D} to all orders and show that any other CSI Kundt metric can be constructed from them.
In this paper, extending our previous joint work (Hu et al., Math Nachr 291:343--373, 2018), we initiate the study of Hopf hypersurfaces in the homogeneous NK (nearly Kahler) manifold $mathbf{S}^3timesmathbf{S}^3$. First, we show that any Hopf hypersurface of the homogeneous NK $mathbf{S}^3timesmathbf{S}^3$ does not admit two distinct principal curvatures. Then, for the important class of Hopf hypersurfaces with three distinct principal curvatures, we establish a complete classification under the additional condition that their holomorphic distributions ${U}^perp$ are preserved by the almost product structure $P$ of the homogeneous NK $mathbf{S}^3timesmathbf{S}^3$.
We prove that for an irreducible representation $tau:GL(n)to GL(W)$, the associated homogeneous ${bf P}_k^n$-vector bundle $W_{tau}$ is strongly semistable when restricted to any smooth quadric or to any smooth cubic in ${bf P}_k^n$, where $k$ is an algebraically closed field of characteristic $ eq 2,3$ respectively. In particular $W_{tau}$ is semistable when restricted to general hypersurfaces of degree $geq 2$ and is strongly semistable when restricted to the $k$-generic hypersurface of degree $geq 2$.
Each hypersurface of a nearly Kahler manifold is naturally equipped with two tensor fields of $(1,1)$-type, namely the shape operator $A$ and the induced almost contact structure $phi$. In this paper, we show that, in the homogeneous NK $mathbb{S}^6$ a hypersurface satisfies the condition $Aphi+phi A=0$ if and only if it is totally geodesic; moreover, similar as for the non-flat complex space forms, the homogeneous nearly Kahler manifold $mathbb{S}^3timesmathbb{S}^3$ does not admit a hypersurface that satisfies the condition $Aphi+phi A=0$.