Ellipsoidal mixed-integer representability

Representability results for mixed-integer linear systems play a fundamental role in optimization since they give geometric characterizations of the feasible sets that can be formulated by mixed-integer linear programming. We consider a natural extension of mixed-integer linear systems obtained by adding just one ellipsoidal inequality. The set of points that can be described, possibly using additional variables, by these systems are called ellipsoidal mixed-integer representable. In this work, we give geometric conditions that characterize ellipsoidal mixed-integer representable sets.     

Finite representability of operators

We introduce operator local supportability as a new type of operator finite representability that generalizes Bellenot finite representability. We prove that local supportability and local representability are mutually independent. New examples of both types of finite representability are given. For instance, for every operator T, we prove that is locally supportable in . We also prove that, given an operator T with range in , T∗ is locally representable in .     

A generalization of lifting non-proper tropical intersections

Let X and $X^{\prime }$ be closed subschemes of an algebraic torus T over a non-archimedean field. We prove the rational equivalence as tropical cycles in the sense of [11, §2] between the tropicalization of the intersection product $X?X^{\prime }$ and the stable intersection $\mathrm{trop}(X)?\mathrm{trop}(X^{\prime })$, when restricted to (the inverse image under the tropicalization map of) a connected component C of $\mathrm{trop}(X)\cap \mathrm{trop}(X^{\prime })$. This requires possibly passing to a (partial) compactification of T with respect to a suitable fan. We define the compactified stable intersection in a toric tropical variety, and check that this definition is compatible with the intersection product in [11, §2]. As a result we get a numerical equivalence between $\stackrel{￣}{X}?{\stackrel{￣}{X}}^{\prime }{|}_{\stackrel{￣}{C}}$ and $\stackrel{￣}{\mathrm{trop}(X)?\mathrm{trop}(X^{\prime }){|}_C}$ via the compactified stable intersection, where the closures are taken inside the compactifications of T and ${\mathbb{R}}^n$. In particular, when X and $X^{\prime }$ have complementary codimensions, this equivalence generalizes [15, Theorem 6.4], in the sense that $X\cap X^{\prime }$ is allowed to be of positive dimension. Moreover, if $\stackrel{￣}{X}\cap {\stackrel{￣}{X}}^{\prime }$ has finitely many points which tropicalize to $\stackrel{￣}{C}$, we prove a similar equation as in [15, Theorem 6.4] when the ambient space is a reduced subscheme of T (instead of T itself).     

Obstructions to determinantal representability

There has recently been ample interest in the question of which sets can be represented by linear matrix inequalities (LMIs). A necessary condition is that the set is rigidly convex, and it has been conjectured that rigid convexity is also sufficient. To this end Helton and Vinnikov conjectured that any real zero polynomial admits a determinantal representation with symmetric matrices. We disprove this conjecture. By relating the question of finding LMI representations to the problem of determining whether a polymatroid is representable over the complex numbers, we find a real zero polynomial such that no power of it admits a determinantal representation. The proof uses recent results of Wagner and Wei on matroids with the half-plane property, and the polymatroids associated to hyperbolic polynomials introduced by Gurvits.     

Choquet representability of submodular functions

Mathematical Programming - Let $$\Omega $$ be an arbitrary set, equipped with an algebra $${\mathcal {A}}\subseteq 2^{\Omega }$$ and let $$f: B({\mathcal {A}}) \rightarrow {\mathbb {R}}$$ be a...     

Brown representability for space-valued functors

In this paper we prove two theorems which resemble the classical cohomological and homological Brown representability theorems. The main difference is that our results classify contravariant functors from spaces to spaces up to weak equivalence of functors. In more detail, we show that every contravariant functor from spaces to spaces which takes coproducts to products up to homotopy, and takes homotopy pushouts to homotopy pullbacks is naturally weakly equivalent to a representable functor. The second representability theorem states: every contravariant continuous functor from the category of finite simplicial sets to simplicial sets taking homotopy pushouts to homotopy pullbacks is equivalent to the restriction of a representable functor. This theorem may be considered as a contravariant analog of Goodwillie’s classification of linear functors [14].     

Brown representability for the dual

Let T be the homotopy category of all spectra. Brown proved that a homological functor H: T ^{o p} → Ab is representable if it takes coproducts to products. That is, the functors [−,h] may be characterised as the homological functors taking coproducts to products. In this article, we will prove the dual. A covariant functor H:T → Ab which takes products to products is representable; it is of the form [h,−]. Oblatum 10-VII-1997 & 23-VII-1997     

The representability number of a chain

For each pair of linear orderings (L,M), the representability number repr_M(L) of L in M is the least ordinal α such that L can be order-embedded into the lexicographic power . The case is relevant to utility theory. The main results in this paper are as follows. (i) If κ is a regular cardinal that is not order-embeddable in M, then repr_M(κ)=κ; as a consequence, for each κω₁. (ii) If M is an uncountable linear ordering with the property that A×_lex2 is not order-embeddable in M for each uncountable AM, then for any ordinal α; in particular, . (iii) If L is either an Aronszajn line or a Souslin line, then .     

Martingales on Frame Bundles

Let M be a smooth manifold endowed with a symmetric connection . There are two important ways of lift the connection of M to the frame bundle BM, the canonical lift and the horizontal lift . The aim of this work is determine the -martingales and the -martingales on BM. Our results allow to establish new characterizations of harmonic maps from Riemannian manifolds to frame bundles. The research of P. Catuogno is supported in part by FAPESP 01/13158-4 and S. Stelmastchuk is fully supported by FAPESP 02/12154-8.     

Reflexive representability and stable metrics

It is well-known that a topological group can be represented as a group of isometries of a reflexive Banach space if and only if its topology is induced by weakly almost periodic functions [see Megrelishvili (Operator topologies and reflexive representability. Nuclear groups and Lie groups (Madrid 1999). Res. Exp. Math., vol. 24, pp. 197?C208. Heldermann, Lemgo, 2001; Topological transformation groups: selected topics. In: Pearl E (ed) Open Problems in Topology II. Elsevier, Amsterdam 2007), Shtern (Russian J. Math. Phys. 2(1):131?C132, 1994)]. We show that for a metrisable group this is equivalent to the property that its metric is uniformly equivalent to a stable metric in the sense of Krivine and Maurey (Isr J Math 39(4):273?C295, 1981). This result is used to give a partial negative answer to a problem of Megrelishvili.     

关于切丛和单位切球丛的度量的一个注记

本文在黎曼流形$(M,g)$的切丛$TM$ 上研究与参考文献[10]中平行的一类度量$G$以及相容的近复结构$J$.证明了切丛$TM$关于这些度量和相应的近复结构是局部共形近K\"{a}hler流形,并且把这些结构限制在单位切球丛上得到了切触度量结构的新例子.     

Lie Brackets on Affine Bundles

Natural affine analogs of Lie brackets on affine bundles are studied.In particular, a close relation to Lie algebroids and a duality withcertain affine analog of Poisson structure is established as well asaffine versions of complete lifts and Cartan exterior calculi.     

Jacobi Structures on Affine Bundles

Abstract We study affine Jacobi structures （brackets） on an affine bundle π ： A → M, i.e. Jacobi brackets that close on affine functions. We prove that if the rank of A is non-zero, there is a one-toone correspondence between affine Jacobi structures on A and Lie algebroid structures on the vector bundle A^＋ = ∪p∈M Aff（Ap, R） of affine functionals. In the case rank A = 0, it is shown that there is a one-to-one correspondence between affine Jacobi structures on A and local Lie algebras on A^＋. Some examples and applications, also for the linear case, are discussed. For a special type of affine Jacobi structures which are canonically exhibited （strongly-affine or affine-homogeneous Jacobi structures） over a real vector space of finite dimension, we describe the leaves of its characteristic foliation as the orbits of an affine representation. These affine Jacobi structures can be viewed as an analog of the Kostant-Arnold-Liouville linear Poisson structure on the dual space of a real finite-dimensional Lie algebra.     

On unitary representability of topological groups

We prove that the additive group (E*, τ _k (E)) of an -Banach space E, with the topology τ _k (E) of uniform convergence on compact subsets of E, is topologically isomorphic to a subgroup of the unitary group of some Hilbert space (is unitarily representable). This is the same as proving that the topological group (E*, τ _k (E)) is uniformly homeomorphic to a subset of for some κ. As an immediate consequence, preduals of commutative von Neumann algebras or duals of commutative C*-algebras are unitarily representable in the topology of uniform convergence on compact subsets. The unitary representability of free locally convex spaces (and thus of free Abelian topological groups) on compact spaces, follows as well. The above facts cannot be extended to noncommutative von Neumann algebras or general Schwartz spaces. Research partially supported by Spanish Ministry of Science, grant MTM2008-04599/MTM. The foundations of this paper were laid during the author’s stay at the University of Ottawa supported by a Generalitat Valenciana grant CTESPP/2004/086.