Two classes of hyperplanes of dual polar spaces without subquadrangular quads

Let Π be one of the following polar spaces: (i) a nondegenerate polar space of rank n−1?2 which is embedded as a hyperplane in Q(2n,K); (ii) a nondegenerate polar space of rank n?2 which contains Q(2n,K) as a hyperplane. Let Δ and DQ(2n,K) denote the dual polar spaces associated with Π and Q(2n,K), respectively. We show that every locally singular hyperplane of DQ(2n,K) gives rise to a hyperplane of Δ without subquadrangular quads. Suppose Π is associated with a nonsingular quadric Q⁻(2n+?,K) of PG(2n+?,K), ?∈{−1,1}, described by a quadratic form of Witt-index , which becomes a quadratic form of Witt-index when regarded over a quadratic Galois extension of K. Then we show that the constructed hyperplanes of Δ arise from embedding.     

A Property of Isometric Mappings Between Dual Polar Spaces of Type {DQ (2n, {\mathbb K})}

Let f be an isometric embedding of the dual polar space ${\Delta = DQ(2n, {\mathbb K})}Let f be an isometric embedding of the dual polar space D = DQ(2n, \mathbb K){\Delta = DQ(2n, {\mathbb K})} into D￠ = DQ(2n, \mathbb K￠){\Delta^\prime = DQ(2n, {\mathbb K}^\prime)}. Let P denote the point-set of Δ and let e￠: D￠? S￠ @ PG(2ⁿ - 1, \mathbb K￠){e^\prime : \Delta^\prime \rightarrow {\Sigma^\prime} \cong {\rm PG}(2^n - 1, {{\mathbb K}^\prime})} denote the spin-embedding of Δ′. We show that for every locally singular hyperplane H of Δ, there exists a unique locally singular hyperplane H′ of Δ′ such that f(H) = f(P) ?H￠{f(H) = f(P) \cap H^\prime}. We use this to show that there exists a subgeometry S @ PG(2ⁿ - 1, \mathbb K){\Sigma \cong {\rm PG}(2^n - 1, {\mathbb K})} of Σ′ such that: (i) e￠°f (x) ? S{e^\prime \circ f (x) \in \Sigma} for every point x of D; (ii) e : = e￠°f{\Delta; ({\rm ii})\,e := e^\prime \circ f} defines a full embedding of Δ into Σ, which is isomorphic to the spin-embedding of Δ.     

Minimal full polarized embeddings of dual polar spaces

Let Δ be a thick dual polar space of rank n ≥ 2 admitting a full polarized embedding e in a finite-dimensional projective space Σ, i.e., for every point x of Δ, e maps the set of points of Δ at non-maximal distance from x into a hyperplane e∗(x) of Σ. Using a result of Kasikova and Shult [11], we are able the show that there exists up to isomorphisms a unique full polarized embedding of Δ of minimal dimension. We also show that e∗ realizes a full polarized embedding of Δ into a subspace of the dual of Σ, and that e∗ is isomorphic to the minimal full polarized embedding of Δ. In the final section, we will determine the minimal full polarized embeddings of the finite dual polar spaces DQ(2n,q), DQ ⁻(2n+1,q), DH(2n−1,q ²) and DW(2n−1,q) (q odd), but the latter only for n≤ 5. We shall prove that the minimal full polarized embeddings of DQ(2n,q), DQ ⁻(2n+1,q) and DH(2n−1,q ²) are the `natural' ones, whereas this is not always the case for DW(2n−1, q).B. De Bruyn: Postdoctoral Fellow of the Research Foundation - Flanders.     

The singular linear preservers of non-singular matrices

Given an arbitrary field K, we reduce the determination of the singular endomorphisms f of M_n(K) such that f(GL_n(K))⊂GL_n(K) to the classification of n-dimensional division algebras over K. Our method, which is based upon Dieudonné’s theorem on singular subspaces of M_n(K), also yields a proof for the classical non-singular case.     

Equivariant collapses and the homotopy type of iterated clique graphs

The clique graph K(G) of a simple graph G is the intersection graph of its maximal complete subgraphs, and we define iterated clique graphs by K⁰(G)=G, Kⁿ⁺¹(G)=K(Kⁿ(G)). We say that two graphs are homotopy equivalent if their simplicial complexes of complete subgraphs are so. From known results, it can be easily inferred that Kⁿ(G) is homotopy equivalent to G for every n if G belongs to the class of clique-Helly graphs or to the class of dismantlable graphs. However, in both of these cases the collection of iterated clique graphs is finite up to isomorphism. In this paper, we show two infinite classes of clique-divergent graphs that satisfy G?Kⁿ(G) for all n, moreover Kⁿ(G) and G are simple-homotopy equivalent. We provide some results on simple-homotopy type that are of independent interest.     

Schrödinger operators on manifolds, essential self-adjointness, and absence of eigenvalues

Suppose thatM ⁿ is a complete, noncompact, Riemannian manifold. If Δ denotes the Laplace operator ofM, one has associated Schrödinger operators ? Δ +V. Conditions onV are formulated, which ensures the essential self-adjointness of ? Δ +V. In particular, ifV ∈ Q_α,loc (M ⁿ), the local Stummel class, andV ≥ ? c outside of a compact set, then ? Δ +V is essentially self-adjoint on C ₀ ^∞ (M ⁿ). In addition, essential self-adjointness is proved for potentials which are strongly singular at a point. The absence of eigenvalues of ?Δ +V is also studied. This relies upon Rellich-type identities. The results on strongly singular potentials make use of a generalization of the classical uncertainty principle, inR ⁿ, to Riemannian manifolds with a pole.     

Linear maps that preserve singular and nonsingular matrices

Let M (n,K) be the algebra of n × n matrices over an algebraically closed field K and T:M (n,K)→M (n,K) a linear transformation with the property that T maps nonsingular (singular) matrices to nonsingular (singular) matrices. Using some elementary facts from commutative algebra we show that T is nonsingular and maps singular matrices to singular matrices (T is nonsingular or T maps all matrices to singular matrices). Using these results we obtain Marcus and Moyl's characterization [T(x) = UXVorU^tXV for fixed U and V] from a result of Dieudonné's. Examples are given to show the hypothesis of algebraic closure in necessary.     

Continuous fields of C*-algebras over finite dimensional spaces

Let X be a finite dimensional compact metrizable space. We study a technique which employs semiprojectivity as a tool to produce approximations of C(X)-algebras by C(X)-subalgebras with controlled complexity. The following applications are given. All unital separable continuous fields of C*-algebras over X with fibers isomorphic to a fixed Cuntz algebra On, n∈{2,3,…,∞}, are locally trivial. They are trivial if n=2 or n=∞. For n?3 finite, such a field is trivial if and only if (n−1)[A₁]=0 in K₀(A), where A is the C*-algebra of continuous sections of the field. We give a complete list of the Kirchberg algebras D satisfying the UCT and having finitely generated K-theory groups for which every unital separable continuous field over X with fibers isomorphic to D is automatically locally trivial or trivial. In a more general context, we show that a separable unital continuous field over X with fibers isomorphic to a KK-semiprojective Kirchberg C*-algebra is trivial if and only if it satisfies a K-theoretical Fell type condition.     

To what extent is a large space of matrices not closed under product?

Let (K) be a field. Given an arbitrary linear subspace V of M_n(K) of codimension less than n-1, a classical result states that V generates the (K)-algebra M_n(K). Here, we strengthen this statement in three ways: we show that M_n(K) is spanned by the products of the form AB with (A,B)∈V²; we prove that every matrix in M_n(K) can be decomposed into a product of matrices of V; finally, when V is a linear perplane of M_n(K) and n>2, we show that every matrix in M_n(K) is a product of two elements of V.     

Absolutely indecomposable symmetric matrices

Let A be a symmetric matrix of size n×n with entries in some (commutative) field K. We study the possibility of decomposing A into two blocks by conjugation by an orthogonal matrix T∈Mat_n(K). We say that A is absolutely indecomposable if it is indecomposable over every extension of the base field. If K is formally real then every symmetric matrix A diagonalizes orthogonally over the real closure of K. Assume that K is a not formally real and of level s. We prove that in Mat_n(K) there exist symmetric, absolutely indecomposable matrices iff n is congruent to 0, 1 or −1 modulo 2s.     

Analytic continuation of the resolvent of the Laplacian on symmetric spaces of noncompact type

Let (M,g) be a globally symmetric space of noncompact type, of arbitrary rank, and Δ its Laplacian. We introduce a new method to analyze Δ and the resolvent (Δ-σ)^-1; this has origins in quantum N-body scattering, but is independent of the ‘classical’ theory of spherical functions, and is analytically much more robust. We expect that, suitably modified, it will generalize to locally symmetric spaces of arbitrary rank. As an illustration of this method, we prove the existence of a meromorphic continuation of the resolvent across the continuous spectrum to a Riemann surface multiply covering the plane. We also show how this continuation may be deduced using the theory of spherical functions. In summary, this paper establishes a long-suspected connection between the analysis on symmetric spaces and N-body scattering.     

On upper domination Ramsey numbers for graphs

The classical Ramsey number r(m,n) can be defined as the smallest integer p such that in every two-coloring (R,B) of the edges of K_p, β(B)⩾m or β(R)⩾n, where β(G) denotes the independence number of a graph G. We define the upper domination Ramsey number u(m,n) as the smallest integer p such that in every two-coloring (R,B) of the edges of K_p, Γ(B)⩾m or Γ(R)⩾n, where Γ(G) is the maximum cardinality of a minimal dominating set of a graph G. The mixed domination Ramsey number v(m,n) is defined to be the smallest integer p such that in every two-coloring (R,B) of the edges of K_p, Γ(B)⩾m or β(R)⩾n. Since β(G)⩽Γ(G) for every graph G, u(m,n)⩽v(m,n)⩽r(m,n). We develop techniques to obtain upper bounds for upper domination Ramsey numbers of the form u(3,n) and mixed domination Ramsey numbers of the form v(3,n). We show that u(3,3)=v(3,3)=6, u(3,4)=8, v(3,4)=9, u(3,5)=v(3,5)=12 and u(3,6)=v(3,6)=15.     

Globally F-regular and log Fano varieties

We prove that every globally F-regular variety is log Fano. In other words, if a prime characteristic variety X is globally F-regular, then it admits an effective Q-divisor Δ such that −KX−Δ is ample and (X,Δ) has controlled (Kawamata log terminal, in fact globally F-regular) singularities. A weak form of this result can be viewed as a prime characteristic analog of de Fernex and Hacon's new point of view on Kawamata log terminal singularities in the non-Q-Gorenstein case. We also prove a converse statement in characteristic zero: every log Fano variety has globally F-regular type. Our techniques apply also to F-split varieties, which we show to satisfy a “log Calabi-Yau” condition. We also prove a Kawamata-Viehweg vanishing theorem for globally F-regular pairs.     

Orthogonally additive polynomials on spaces of continuous functions

We show that, for every orthogonally additive homogeneous polynomial P on a space of continuous functions C(K) with values in a Banach space Y, there exists a linear operator S:C(K)→Y such that P(f)=S(fn). This is the C(K) version of a related result of Sundaresam for polynomials on Lp spaces.     

On the average volume of sections of convex bodies

The average section functional as(K) of a star body in Rn is the average volume of its central hyperplane sections: \(as\left( k \right) = \int_{{S^{n - 1}}} {\left| {K \cap {\xi ^ \bot }} \right|} d\sigma \left( \xi \right)\). We study the question whether there exists an absolute constantC > 0 such that for every n, for every centered convex body K in R ⁿ and for every 1 ≤ k ≤ n ? 2,

$$as\left( K \right) \leqslant {C^k}{\left| K \right|^{\frac{k}{n}}}\mathop {\max }\limits_{|E \in G{r_{n - k}}} {\kern 1pt} as\left( {K \cap E} \right)$$

. We observe that the case k = 1 is equivalent to the hyperplane conjecture. We show that this inequality holds true in full generality if one replaces C by CL _K orCd_ovr(K, BP _k ⁿ ), where L _K is the isotropic constant of K and dovr(K, BP _k ⁿ ) is the outer volume ratio distance of K to the class BP _k ⁿ of generalized k-intersection bodies. We also compare as(K) to the average of as(K ∩ E) over all k-codimensional sections of K. We examine separately the dependence of the constants on the dimension when K is in some classical position. Moreover, we study the natural lower dimensional analogue of the average section functional.

     

The cleanness of (symbolic) powers of Stanley-Reisner ideals

Let Δ be a pure simplicial complex on the vertex set [n] = {1,..., n} and I _Δ its Stanley-Reisner ideal in the polynomial ring S = K[x ₁,..., x _n]. We show that Δ is a matroid (complete intersection) if and only if S/I _Δ ^(m) (S/I _Δ ^(m)) is clean for all m ∈ N and this is equivalent to saying that S/I _Δ ^(m) (S/I _Δ ^(m), respectively) is Cohen-Macaulay for all m ∈ N. By this result, we show that there exists a monomial ideal I with (pretty) cleanness property while S/I ^m or S/I ^m is not (pretty) clean for all integer m ≥ 3. If dim(Δ) = 1, we also prove that S/I _Δ ⁽²⁾ Δ (S/I _Δ ²) is clean if and only if S/I _Δ ⁽²⁾ (S/I _Δ ², respectively) is Cohen-Macaulay.     

Genera, band sum of knots and Vassiliev invariants

Recently Stoimenow showed that for every knot K and any n∈N and u₀?u(K) there is a prime knot Kn,uo which is n-equivalent to the knot K and has unknotting number u(Kn,uo) equal to u₀. The similar result has been obtained for the 4-ball genus gs of a knot. Stoimenow also proved that any admissible value of the Tristram-Levine signature σξ can be realized by a knot with the given Vassiliev invariants of bounded order. In this paper, we show that for every knot K with genus g(K) and any n∈N and m?g(K) there exists a prime knot L which is n-equivalent to K and has genus g(L) equal to m.     

Properly coloured Hamiltonian cycles in edge-coloured complete graphs

Let K ^c _n be an edge-coloured complete graph on n vertices. Let Δ_mon(K^c _n) denote the largest number of edges of the same colour incident with a vertex of K^c _n. A properly coloured cycleis a cycle such that no two adjacent edges have the same colour. In 1976, BollobÁs and Erd?s[6] conjectured that every K^c _n with Δ_mon(K^c _n)<?n/2?contains a properly coloured Hamiltonian cycle. In this paper, we show that for any ε>0, there exists an integer n₀ such that every K^c _n with Δ_mon(K^c _n)<(1/2–ε)n and n≥n₀ contains a properly coloured Hamiltonian cycle. This improves a result of Alon and Gutin [1]. Hence, the conjecture of BollobÁs and Erd?s is true asymptotically.     

Extended formulations for the cardinality constrained subtree of a tree problem

Given a tree with n nodes, we consider the problem of finding the most profitable subtree of that tree with at most K nodes which is known as the Cardinality Subtree of a Tree Problem. We present a new exact linear extended formulation with O(nK) two-indexed variables and O(nK) constraints.