Rational Points on Homogeneous Varieties and Equidistribution of Adelic Periods

Let U := L\G be a homogeneous variety defined over a number field K, where G is a connected semisimple K-group and L is a connected maximal semisimple K-subgroup of G with finite index in its normalizer. Assuming that G(K _v ) acts transitively on U(K _v ) for almost all places v of K, we obtain an asymptotic for the number of rational points U(K) with height bounded by T as T → ∞, and settle new cases of Manin’s conjecture for many wonderful varieties. The main ingredient of our approach is the equidistribution of semisimple adelic periods, which is established using the theory of unipotent flows.     

Existence of homogeneous vectors on the fiber space of the tangent bundle

Let M = G/K be a homogeneous differentiable manifold. We consider the homogeneous bundle = (G, π, G/K, K) and the tangent bundle τ _G/K of M = G/K, and give some results about the existence of homogeneous vectors on the fiber space of τ _G/K, for both cases of G semisimple and weakly semisimple.      

Homogeneous spaces with polar isotropy

 We consider homogeneous spaces G/K with G a simple compact Lie group, endowed with an arbitrary G-invariant Riemannian metric. We classify those spaces where the action of K on G/K is polar and show that such spaces are locally symmetric. Moreover we give a classification of pairs (G,K) with G compact semisimple such that K has polar linear isotropy representation. Received: 16 May 2002 / Revised version: 8 November 2002 Published online: 3 March 2003 Mathematics Subject Classification (2000): 53C35, 57S15     

Almost Extrinsically Homogeneous Submanifolds of Euclidean Space

Consider a closed manifold M immersed in R^m. Suppose that the trivial bundle M × R^m = T M ⊗ ν M is equipped with an almost metric connection ~ ∇ which almost preserves the decomposition of M × R^m into the tangent and the normal bundle. Assume moreover that the difference Γ = ∂~∇ with the usual derivative ∂ in R^m is almost ~∇-parallel. Then M admits an extrinsically homogeneous immersion into R^m. Mathematics Subject Classifications (2000): 53C20, 53C24, 53C30, 53C42, 53C40.     

<Emphasis Type="Italic">β</Emphasis>-character Algebra and a Commuting Pair in Hopf Algebras

Let K be a field. Let H be a finite-dimensional semisimple and cosemisimple K-Hopf algebra. In this paper, we introduce a notion of β-character algebra C _β (H) for each group-like element β in H ^∗. We prove that Radford’s action of the Drinfel’d double D(H) on H _β (see Radford, J. Algebra, 270:670–695, 2003) and the right hit action of the β-character algebra C _β (H) on H _β form a commuting pair. This generalizes an earlier result of Zhu (Proc. Amer. Math. Soc., 125(10):2847–2851, 1997). A K-basis of C _β (H) is given when H is split semisimple. Finally, as an example, we explicitly construct all the simple modules for the Drinfel’d double of the unique 8-dimensional non-commutative and non-cocommutative semisimple Hopf algebra. Presented by S. Montgomery.     

Infinite-rank representations of orders in nonsemisimple algebras and module categories

Let R be a Dedekind domain with quotient field K and let Λ be an R-order in a finite-dimensional K-algebra A such that A/ Rad A is separable. We show that if A is not semisimple, then there exists a maximal R-order Δ in a skew-field such that the category Λ-Lat of R-projective Λ-modules admits a full module category Δ-Mod as a subfactor. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 3, pp. 173–187, 2005.     

Entropy of Stationary Measures and Bounded Tangential de-Rham Cohomology of Semisimple Lie Group Actions

Let G be a connected noncompact semisimple Lie group with finite center, K a maximal compact subgroup, and X a compact manifold (or more generally, a Borel space) on which G acts. Assume that ν is a μ -stationary measure on X, where μ is an admissible measure on G, and that the G-action is essentially free. We consider the foliation of K\ X with Riemmanian leaves isometric to the symmetric space K\ G, and the associated tangential bounded de-Rham cohomology, which we show is an invariant of the action. We prove both vanishing and nonvanishing results for bounded tangential cohomology, whose range is dictated by the size of the maximal projective factor G/Q of (X, ν). We give examples showing that the results are often best possible. For the proofs we formulate a bounded tangential version of Stokes’ theorem, and establish a bounded tangential version of Poincaré’s Lemma. These results are made possible by the structure theory of semisimple Lie groups actions with stationary measure developed in Nevo and Zimmer [Ann of Math. 156, 565--594]. The structure theory assert, in particular, that the G-action is orbit equivalent to an action of a uniquely determined parabolic subgroup Q. The existence of Q allows us to establish Stokes’ and Poincaré’s Lemmas, and we show that it is the size of Q (determined by the entropy) which controls the bounded tangential cohomology. Supported by BSF and ISF. Supported by BSF and NSF.     

Solution of the twisting problem for skew group algebras

LetK be any field of characteristicp>0 and letG be a finite group acting onK via a map τ. The skew group algebraK _τG may be nonsemisimple (precisely whenP|(H), H=Kert). In [1] necessary conditions were given for the existence of a class α∈H ²(G,K^*) which “twists” the skew group algebraK _τG into a semisimple crossed productK _τ ^αG . The “twisting problem” asks whether these conditions are sufficient. In [1] we showed that this is indeed so in many cases. In this paper we prove it in general. During the period of this research the second author was an Associate at the Center for Advanced Study, Urbana, Illinois.     

Stein extensions of real symmetric spaces and the geometry of the flag manifold

 Let G be a connected semisimple Lie group contained in its simply connected complexification G _C . Let KG∩K _C be a maximal compact subgroup of G. Denote by X _o the unique closed G-orbit in the full flag manifold ℱ and by 𝒪 the unique open K _C -orbit in ℱ. The set consisting of the elements gK _C so that gX _o ⊂𝒪 is an Stein extension of G/K⊂G _C /K _C . There is a universal domain , natural form the point of view of group actions which has been conjectured to be Stein. The main result of this paper is the inclusion . In the second part of the paper I show, under some dominance condition in the parameter, that representations in Dolbeault cohomology can be realized as holomorphic sections of vector bundles over . Received: 9 September 2002 / Revised version: 12 July 2002 / Published online: 8 April 2003 Mathematics Subject Classification (2002): 22E30 Research partially supported by NSF grant DMS-9801605 and DMS 0074991.     

Maschke’s theorem for smash products of quasitriangular weak Hopf algebras

The paper is concerned with the semisimplicity of smash products of quasitriangular weak Hopf algebras. Let (H,R) be a finite dimensional quasitriangular weak Hopf algebra over a field k and A any semisimple and quantum commutative weak H-module algebra. Based on the work of Nikshych et al. (Topol. Appl. 127(1–2):91–123, 2003), we give Maschke’s theorem for smash products of quasitriangular weak Hopf algebras, stating that A#H is semisimple if and only if A is a projective left A#H-module, which extends the Theorem 3.2 given in Yang and Wang (Commun. Algebra 27(3):1165–1170, 1999).     

Quaternionic and para-quaternionic <Emphasis Type="Italic">CR</Emphasis> structure on (4n+3)-dimensional manifolds

We define notion of a quaternionic and para-quaternionic CR structure on a (4n+3)-dimensional manifold M as a triple (ω₁,ω₂,ω₃) of 1-forms such that the corresponding 2-forms satisfy some algebraic relations. We associate with such a structure an Einstein metric on M and establish relations between quaternionic CR structures, contact pseudo-metric 3-structures and pseudo-Sasakian 3-structures. Homogeneous examples of (para)-quaternionic CR manifolds are given and a reduction construction of non homogeneous (para)-quaternionic CR manifolds is described.     

Gradient methods for multiple state optimal design problems

We optimise a distribution of two isotropic materials α I and β I (α < β) occupying the given body in R ^d . The optimality is described by an integral functional (cost) depending on temperatures u ₁, . . . , u _m of the body obtained for different source terms f ₁, . . . ,f _m with homogeneous Dirichlet boundary conditions. The relaxation of this optimal design problem with multiple state equations is needed, introducing the notion of composite materials as fine mixtures of different phases, mathematically described by the homogenisation theory. The necessary conditions of optimality are derived via the Gateaux derivative of the cost functional. Unfortunately, there could exist points in which necessary conditions of optimality do not give any information on the optimal design. In the case m < d we show that there exists an optimal design which is a rank-m sequential laminate with matrix material α I almost everywhere on Ω. Contrary to the optimality criteria method, which is commonly used for the numerical solution of optimal design problems (although it does not rely on a firm theory of convergence), this result enables us to effectively use classical gradient methods for minimising the cost functional.      

On the geometry of tangent hyperquadric bundles: CR and pseudoharmonic vector fields

We study the natural almost CR structure on the total space of a subbundle of hyperquadrics of the tangent bundle T(M) over a semi-Riemannian manifold (M, g) and show that if the Reeb vector ξ of an almost contact Riemannian manifold is a CR map then the natural almost CR structure on M is strictly pseudoconvex and a posteriori ξ is pseudohermitian. If in addition ξ is geodesic then it is a harmonic vector field. As an other application, we study pseudoharmonic vector fields on a compact strictly pseudoconvex CR manifold M, i.e. unit (with respect to the Webster metric associated with a fixed contact form on M) vector fields X ε H(M) whose horizontal lift X↑ to the canonical circle bundle S¹ → C(M) → M is a critical point of the Dirichlet energy functional associated to the Fefferman metric (a Lorentz metric on C(M)). We show that the Euler–Lagrange equations satisfied by X^↑ project on a nonlinear system of subelliptic PDEs on M. Mathematics Subject Classifications (2000): 53C50, 53C25, 32V20     

Cotangent bundles of 4-dimensional hypercomplex Lie groups

 We study geometrical structures on the cotangent bundle T ^* G of a Lie group G which are left-invariant with respect to the Lie group structure on T ^* G determined by a left-invariant affine structure ∇ on G. In particular, we investigate the existence of conformally hyper-K?hler metrics and hyper-K?hler with torsion (HKT) structures on the cotangent bundle of hypercomplex 4-dimensional Lie groups. By applying In?nü-Wigner contractions to compact semisimple Lie algebras we obtain non semisimple Lie algebras endowed with invariant HKT structures. Received: 4 February 2002 / Revised version: 20 August 2002 Research partially supported by MURST and GNSAGA (Indam) of Italy Mathematics Subject Classification (2000): 53C26, 22E25     

Higher degrees of distributivity in complete generalized <Emphasis Type="Italic">MV</Emphasis>-algebras

We apply the notion of generalized MV-algebra (GMV-algebra, in short) in the sense of Galatos and Tsinakis. Let M be a complete GMV-algebra and let α be a cardinal. We prove that M is α-distributive if and only if it is (α, 2)-distributive. We deal with direct summands of M which are homogeneous with respect to higher degrees of distributivity.     

Note on g-Hilbertian fields and nonrational curves¶with the Hilbert property

In a recent paper, Fried and Jarden prove the existence, for all integers g, of non-Hilbertian fields K which cannot be covered by a finite number of sets of the form ϕ (X(K)), where X is a curve of genus ≤g and ϕ is a rational function on X of degree ≥ 2. (If no bound is given on the genus we recover the notion of Hilbertian field.) This generalizes the case g=0, obtained previously by Corvaja and Zannier with a more elementary method. By a suitable modification of that method, we give here a new proof of the result of Fried and Jarden which avoids the use of deep group theoretical results. By a somewhat related construction we give an example of a curve X/Q of any prescribed genus and a Hilbertian field K⊂ˉQ such that X/K has the Hilbert property, i.e. the set of rational points X(K) is not thin. Received: 10 March 1998 / Revised version: 20 April 1998     

Random point fields with Markovian refinements and the geometry of fractally disordered media

We give a general construction of the probability measure for describing stochastic fractals that model fractally disordered media. For these stochastic fractals, we introduce the notion of a metrically homogeneous fractal Hansdorff-Karathéodory measure of a nonrandom type. We select a classF[q] of random point fields with Markovian refinements for which we explicitly construct the probability distribution. We prove that under rather weak conditions, the fractal dimension D for random fields of this class is a self-averaging quantity and a fractal measure of a nonrandom type (the Hausdorff D-measure) can be defined on these fractals with probability 1. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 124, No. 3, pp. 490–505, September, 2000.     

Homogeneous Riemannian manifolds of positive Ricci curvature

We prove that a homogeneous effective spaceM=G/H, whereG is a connected Lie group andH⊂G is a compact subgroup, admits aG-invariant Riemannian metric of positive Ricci curvature if and only if the spaceM is compact and its fundamental group π₁(M) is finite (in this case any normal metric onG/H is suitable). This is equivalent to the following conditions: the groupG is compact and the largest semisimple subgroupLG⊂G is transitive onG/H. Furthermore, ifG is nonsemisimple, then there exists aG-invariant fibration ofM over an effective homogeneous space of a compact semisimple Lie group with the torus as the fiber. Translated fromMatematicheskie Zametki, Vol. 58, No. 3, pp. 334–340, September, 1995.     

Reality properties of conjugacy classes in<Emphasis Type="Italic">G</Emphasis><Subscript>2</Subscript>

LetG be an algebraic group over a fieldk. We callg εG(k) real ifg is conjugate tog ⁻¹ inG(k). In this paper we study reality for groups of typeG ₂ over fields of characteristic different from 2. LetG be such a group overk. We discuss reality for both semisimple and unipotent elements. We show that a semisimple element inG(k) is real if and only if it is a product of two involutions inG(k). Every unipotent element inG(k) is a product of two involutions inG(k). We discuss reality forG ₂ over special fields and construct examples to show that reality fails for semisimple elements inG ₂ over ℚ and ℚ_p. We show that semisimple elements are real forG ₂ overk withcd(k) ≤ 1. We conclude with examples of nonreal elements inG ₂ overk finite, with characteristick not 2 or 3, which are not semisimple or unipotent.     

A general method for construction of (<Emphasis Type="Italic">t</Emphasis>, <Emphasis Type="Italic">n</Emphasis>)-threshold visual secret sharing schemes for color images

This paper is concerned with the construction of basis matrices of visual secret sharing schemes for color images under the (t, n)-threshold access structure, where n ≥ t ≥ 2 are arbitrary integers. We treat colors as elements of a bounded semilattice and regard stacking two colors as the join of the two corresponding elements. We generate n shares from a secret image with K colors by using K matrices called basis matrices. The basis matrices considered in this paper belong to a class of matrices each element of which is represented by a homogeneous polynomial of degree n. We first clarify a condition such that the K matrices corresponding to K homogeneous polynomials become basis matrices. Next, we give an algebraic scheme for the construction of basis matrices. It is shown that under the (t, n)-threshold access structure we can obtain K basis matrices from appropriately chosen K − 1 homogeneous polynomials of degree n by using simple algebraic operations. In particular, we give basis matrices that are unknown so far for the cases of t = 2, 3 and n − 1.