The smooth structure set of <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> × <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>

We calculate \({\mathcal{S}^{{\it Diff}}(S^p \times S^q)}\), the smooth structure set of S ^p × S ^q , for p, q ≥ 2 and p + q ≥ 5. As a consequence we show that in general \({\mathcal{S}^{Diff}(S^{4j-1}\times S^{4k})}\) cannot admit a group structure such that the smooth surgery exact sequence is a long exact sequence of groups. We also show that the image of the forgetful map \({\mathcal{S}^{Diff}(S^{4j}\times S^{4k}) \rightarrow \mathcal{S}^{Top}(S^{4j}\times S^{4k})}\) is not in general a subgroup of the topological structure set.     

<Emphasis Type="Italic">C</Emphasis><Superscript>∞</Superscript> regularity of solutions of the Levi equation in<Emphasis Type="Italic">R</Emphasis><Superscript><Emphasis Type="Italic">2n+1</Emphasis></Superscript>

We study the regularity of the solutions of the Levi equation in ?²ⁿ⁺¹. It is a second order quasilinear equation whose characteristic matrix is positive semidefinite and has vanishing determinant at every point and for every functionu∈C ². We show that the operator associated to the equation can be represented as a sum of squares of non linear vector fields. Then, by using a freezing method, we prove theC ^∞ regularity of the solutions.     

Asymptotic unitary equivalence and classification of simple amenable <Emphasis Type="Italic">C</Emphasis><Superscript>∗</Superscript>-algebras

Let C and A be two unital separable amenable simple C ^?-algebras with tracial rank at most one. Suppose that C satisfies the Universal Coefficient Theorem and suppose that ? ₁,? ₂:C→A are two unital monomorphisms. We show that there is a continuous path of unitaries {u _t :t∈[0,∞)} of A such that

$\lim_{t\to\infty}u_t^*\varphi_1(c)u_t=\varphi_2(c)\quad\mbox{for all }c\in C$

if and only if [? ₁]=[? ₂] in \(KK(C,A),\varphi_{1}^{\ddag}=\varphi_{2}^{\ddag},(\varphi_{1})_{T}=(\varphi _{2})_{T}\) and a rotation related map \(\overline{R}_{\varphi_{1},\varphi_{2}}\) associated with ? ₁ and ? ₂ is zero.

Applying this result together with a result of W. Winter, we give a classification theorem for a class \({\mathcal{A}}\) of unital separable simple amenable C ^?-algebras which is strictly larger than the class of separable C ^?-algebras with tracial rank zero or one. Tensor products of two C ^?-algebras in \({\mathcal{A}}\) are again in \({\mathcal{A}}\). Moreover, this class is closed under inductive limits and contains all unital simple ASH-algebras for which the state space of K ₀ is the same as the tracial state space and also some unital simple ASH-algebras whose K ₀-group is ? and whose tracial state spaces are any metrizable Choquet simplex. One consequence of the main result is that all unital simple AH-algebras which are \({\mathcal{Z}}\)-stable are isomorphic to ones with no dimension growth.     

<Emphasis Type="Italic">C</Emphasis><Superscript>1+<Emphasis Type="Italic">α</Emphasis></Superscript>-Regularity for Two-Dimensional Almost-Minimal Sets in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We give a new proof and a partial generalization of Jean Taylor’s result (Ann. Math. (2) 103(3), 489–539, 1976) that says that Almgren almost-minimal sets of dimension 2 in ℝ³ are locally C ^1+α -equivalent to minimal cones. The proof is rather elementary, but uses a local separation result proved in Ann. Fac. Sci. Toulouse 18(1), 65–246, 2009 and an extension of Reifenberg’s parameterization theorem (David et al. in Geom. Funct. Anal. 18, 1168–1235, 2008). The key idea is still that if X is the cone over an arc of small Lipschitz graph in the unit sphere, but X is not contained in a disk, we can use the graph of a harmonic function to deform X and substantially diminish its area. The local separation result is used to reduce to unions of cones over arcs of Lipschitz graphs. A good part of the proof extends to minimal sets of dimension 2 in ℝ ⁿ , but in this setting our final regularity result on E may depend on the list of minimal cones obtained as blow-up limits of E at a point.     

The <Emphasis Type="Italic">F</Emphasis><Superscript><Emphasis Type="Italic">ω</Emphasis></Superscript>-normalizers of finite groups

Given a nonempty set ω of primes and a nonempty formation F of finite groups, we define the F ^ω -normalizer in a finite group and study their properties (existence, invariance under certain homomorphisms, conjugacy, embedding, and so on) in the case that F is an ω-local formation. We so develop the results of Carter, Hawkes, and Shemetkov on the F-normalizers in groups.     

Difference sets with <Emphasis Type="Italic">n</Emphasis> = 5<Emphasis Type="Italic"> p</Emphasis><Superscript><Emphasis Type="Italic">r</Emphasis></Superscript>

Let D be a (v, k, λ)-difference set in an abelian group G, and (v, 31) = 1. If n = 5p ^r with p a prime not dividing v and r a positive integer, then p is a multiplier of D. In the case 31|v, we get restrictions on the parameters of such difference sets D for which p may not be a multiplier.      

The crossing number of <Emphasis Type="Italic">G</Emphasis> ▭ <Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> for the graph <Emphasis Type="Italic">G</Emphasis> on six vertices

The crossing numbers of Cartesian products of paths, cycles or stars with all graphs of order at most four are known. The crossing numbers of G□C _n for some graphs G on five and six vertices and the cycle C _n are also given. In this paper, we extend these results by determining the crossing number of the Cartesian product G □ C _n , where G is a specific graph on six vertices.     

The critical group of <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">m</Emphasis></Subscript> × <Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

In this paper, the structure of the critical group of the graph K _m × C _n is determined, where m, n ≥ 3.     

Cycles in <Emphasis Type="Italic">G</Emphasis>-orbits in <Emphasis Type="Italic">G</Emphasis><Superscript><Emphasis Type="Italic">ℂ</Emphasis></Superscript>-flag manifolds

There is a natural duality between orbits of a real form G of a complex semisimple group G on a homogeneous rational manifold Z=G /P and those of the complexification K of any of its maximal compact subgroups K: (,) is a dual pair if is a K-orbit. The cycle space C() is defined to be the connected component containing the identity of the interior of {g:g() is non-empty and compact}. Using methods which were recently developed for the case of open G-orbits, geometric properties of cycles are proved, and it is shown that C() is contained in a domain defined by incidence geometry. In the non-Hermitian case this is a key ingredient for proving that C() is a certain explicitly computable universal domain.Research of the first author partially supported by Schwerpunkt Global methods in complex geometry and SFB-237 of the Deutsche Forschungsgemeinschaft.The second author was supported by a stipend of the Deutsche Akademische Austauschdienst.     

Free involutions on <Emphasis Type="Italic">S</Emphasis><Superscript>1</Superscript> × <Emphasis Type="Italic">S</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Topological free involutions on S ¹ × S ⁿ are classified up to conjugation. We prove that this is the same as classifying quotient manifolds up to homeomorphism. There are exactly four possible homotopy types of such quotients, and surgery theory is used to classify all manifolds within each homotopy type.     

Stability under Small Hilbert–Schmidt Perturbations for <Emphasis Type="Italic">C</Emphasis><Superscript>*</Superscript>-Algebras

This paper studies the tracial stability of C^*-algebras, which is a general property of stability of relations in a Hilbert–Schmidt-type norm defined by a trace on a C^*-algebra. Precise definitions are formulated in terms of tracial ultraproducts. For nuclear C^*-algebras, a characterization of matricial tracial stability in terms of approximation of tracial states by traces of finite-dimensional representations is obtained. For the nonnuclear case, new obstructions and counterexamples are constructed in terms of free entropy theory.     

<Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> and <Emphasis Type="Italic">L</Emphasis><Superscript>∞</Superscript> norm estimates of the cost of the controllability for heat equations

This paper is concerned with the bound of the cost of approximate controllability and null controllability of heat equations, i.e., the minimal Lp norm and L∞ norm of a control needed to control the system approximately or a control needed to steer the state of the system to zero. The methods we use combine observability inequalities, energy estimates for heat equations and the dual theory.     

Regular<Emphasis Type="Italic">n</Emphasis>-simplices in ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> with vertices in ℤ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

In this paper theI andII regularn-simplices are introduced. We prove that the sufficient and necessary conditions for existence of anI regularn-simplex in ℝ ⁿ are that ifn is even thenn = 4m(m + 1), and ifn is odd thenn = 4m + 1 with thatn + 1 can be expressed as a sum of two integral squares orn = 4m - 1, and that the sufficient and necessary condition for existence of aII regularn-simplex in ℝ ⁿ isn = 2m ² - 1 orn = 4m(m + 1)(m ∈ ℕ). The connection between regularn-simplex in ℝ ⁿ and combinational design is given.     

The <Emphasis Type="Italic">ψ</Emphasis>-associate <Emphasis Type="Italic">X</Emphasis><Superscript>#</Superscript> of a flat <Emphasis Type="Italic">X</Emphasis> in PG(<Emphasis Type="Italic">n</Emphasis>, 2)

For a given hypersurface ψ in PG(n, 2), with equation Q(x) = 0, where Q is a polynomial of (reduced) degree d > 1, a definition is given of the ψ-associate X ^# of a flat X in PG(n, 2). The definition involves the fully polarized form of the polynomial Q; in the cubic case d = 3 it reads: X ^# = {z ∈ PG(n, 2) | T(x, y, z) = 0 for all x, y ∈ X}, where T(x, y, z) denotes the alternating trilinear form obtained by completely polarizing Q. Some general results, valid for any degree d and projective dimension n, are first expounded. Thereafter several choices of ψ are visited, but for each choice just a few aspects are highlighted. Despite the partial nature of the survey quite a variety of behaviours of the ψ-associate are uncovered. Many of the choices of ψ which are considered are of cubic hypersurfaces in PG(5, 2). If ψ is the Segre variety it is shown that the 48 planes external to fall into eight pairs of ordered triplets {(P ₁, R ₁, S ₁), (P ₂, R ₂, S ₂)} such that and . Further those lines L of PG(5, 2) which are singular, satisfying that is L ^# = PG(5.2), are in this case shown to form a complete spread of 21 lines. Another result of note arises in the case where ψ is the underlying 35-set of a non-maximal partial spread Σ₅ of five planes in PG(5, 2), where it is shown that one plane is singled out by the property that every line is singular.      

The structure of digraphs associated with the congruence <Emphasis Type="Italic">x</Emphasis><Superscript><Emphasis Type="Italic">k</Emphasis></Superscript> ≡ <Emphasis Type="Italic">y</Emphasis> (mod <Emphasis Type="Italic">n</Emphasis>)

We assign to each pair of positive integers n and k ⩾ 2 a digraph G(n, k) whose set of vertices is H = {0, 1, ..., n − 1} and for which there is a directed edge from a ∈ H to b ∈ H if a ^k ≡ b (mod n). We investigate the structure of G(n, k). In particular, upper bounds are given for the longest cycle in G(n, k). We find subdigraphs of G(n, k), called fundamental constituents of G(n, k), for which all trees attached to cycle vertices are isomorphic.     

The fractional Hausdorff operators on the Hardy spaces <Emphasis Type="Italic">H</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>(ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

In this paper, we study the high-dimensional fractional Hausdorff operators and establish their boundedness on the real Hardy spaces H ^p (? ⁿ ) for 0 < p < 1.     

Rigidity of Quasicrystallic and <Emphasis Type="Italic">Z</Emphasis><Superscript><Emphasis Type="Italic">γ</Emphasis></Superscript>-Circle Patterns

The uniqueness of the orthogonal Z ^γ -circle patterns as studied by Bobenko and Agafonov is shown, given the combinatorics and some boundary conditions. Furthermore we study (infinite) rhombic embeddings in the plane which are quasicrystallic, that is, they have only finitely many different edge directions. Bicoloring the vertices of the rhombi and adding circles with centers at vertices of one of the colors and radius equal to the edge length leads to isoradial quasicrystallic circle patterns. We prove for a large class of such circle patterns which cover the whole plane that they are uniquely determined up to affine transformations by the combinatorics and the intersection angles. Combining these two results, we obtain the rigidity of large classes of quasicrystallic Z ^γ -circle patterns.     

<Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript>(<Emphasis Type="Italic">μ</Emphasis>) for vector-valued measure <Emphasis Type="Italic">μ</Emphasis>

Let μ be a measure from a σ-algebra of subsets of a set T into a sequentially complete Hausdorff topological vector space X. Assume that μ is convexly bounded, i.e., the convex hull of its range is bounded in X, and denote by L ¹(μ) the space of scalar valued functions on T which are integrable with respect to the vector measure μ. We study the inheritance of some properties from X to L ¹(μ). We show that the bounded multiplier property passes from X to L ¹(μ). Answering a 1972 problem of Erik Thomas, we show that for a rather large class of F-spaces X the non-containment of c ₀ passes from X to L ¹(μ).