New approximations for the cone of copositive matrices and its dual

We provide convergent hierarchies for the convex cone $\mathcal{C }$ of copositive matrices and its dual $\mathcal{C }^*$ , the cone of completely positive matrices. In both cases the corresponding hierarchy consists of nested spectrahedra and provide outer (resp. inner) approximations for $\mathcal{C }$ (resp. for its dual $\mathcal{C }^*$ ), thus complementing previous inner (resp. outer) approximations for $\mathcal{C }$ (for $\mathcal{C }^*$ ). In particular, both inner and outer approximations have a very simple interpretation. Finally, extension to $\mathcal{K }$ -copositivity and $\mathcal{K }$ -complete positivity for a closed convex cone $\mathcal{K }$ , is straightforward.     

Path Methods for Strong Shift Equivalence of Positive Matrices

In the early 1990’s, Kim and Roush developed path methods for establishing strong shift equivalence (SSE) of positive matrices over a dense subring $\mathcal{U}$ of ?. This paper gives a detailed, unified and generalized presentation of these path methods. New arguments which address arbitrary dense subrings $\mathcal{U}$ of ? are used to show that for any dense subring $\mathcal{U}$ of ?, positive matrices over $\mathcal{U}$ which have just one nonzero eigenvalue and which are strong shift equivalent over $\mathcal{U}$ must be strong shift equivalent over $\mathcal{U}_{+}$ . In addition, we show matrices on a path of positive shift equivalent real matrices are SSE over ?₊; positive rational matrices which are SSE over ?₊ must be SSE over ?₊; and for any dense subring $\mathcal{U}$ of ?, within the set of positive matrices over $\mathcal{U}$ which are conjugate over $\mathcal{U}$ to a given matrix, there are only finitely many SSE- $\mathcal{U}_{+}$ classes.     

Pairs of Projections: Geodesics,Fredholm and Compact Pairs

A pair \((P, Q)\) of orthogonal projections in a Hilbert space \( \mathcal{H} \) is called a Fredholm pair if $$\begin{aligned} QP : R(P) \rightarrow R(Q) \end{aligned}$$ is a Fredholm operator. Let \( \mathcal{F} \) be the set of all Fredholm pairs. A pair is called compact if \(P-Q\) is compact. Let \( \mathcal{C} \) be the set of all compact pairs. Clearly \( \mathcal{C} \subset \mathcal{F} \) properly. In this paper it is shown that both sets are differentiable manifolds, whose connected components are parametrized by the Fredholm index. In the process, pairs \(P, Q\) that can be joined by a geodesic (or equivalently, a minimal geodesic) of the Grassmannian of \( \mathcal{H} \) are characterized: this happens if and only if $$\begin{aligned} \dim (R(P)\cap N(Q))=\dim (R(Q)\cap N(P)). \end{aligned}$$      

Modular categories associated with unipotent groups

Let $G$ be a unipotent algebraic group over an algebraically closed field $\mathtt{k }$ of characteristic $p>0$ and let $l\ne p$ be another prime. Let $e$ be a minimal idempotent in $\mathcal{D }_G(G)$ , the $\overline{\mathbb{Q }}_l$ -linear triangulated braided monoidal category of $G$ -equivariant (for the conjugation action) $\overline{\mathbb{Q }}_l$ -complexes on $G$ under convolution (with compact support) of complexes. Then, by a construction due to Boyarchenko and Drinfeld, we can associate to $G$ and $e$ a modular category $\mathcal{M }_{G,e}$ . In this paper, we prove that the modular categories that arise in this way from unipotent groups are precisely those in the class $\mathfrak{C }_p^{\pm }$ .     

A Characterization of Compact Operators Via the Non-Connectedness of the Attractors of a Family of IFSs

In this paper we present a result which establishes a connection between the theory of compact operators and the theory of iterated function systems. For a Banach space $X$ , $S$ and $T$ bounded linear operators from $X$ to $X$ such that $\Vert S\Vert , \Vert T\Vert <1$ and $w\in X$ , let us consider the IFS $\mathcal S _{w}=(X,f_{1},f_{2})$ , where $f_{1},f_{2}:X\rightarrow X$ are given by $f_{1}(x)=S(x)$ and $f_{2}(x)=T(x)+w$ , for all $x\in X$ . On one hand we prove that if the operator $S$ is compact, then there exists a family $(K_{n})_{n\in \mathbb N }$ of compact subsets of $X$ such that $A_{\mathcal S _{w}}$ is not connected, for all $w\in X-\bigcup _{n\in \mathbb N } K_{n}$ . On the other hand we prove that if $H$ is an infinite dimensional Hilbert space, then a bounded linear operator $S:H\rightarrow H$ having the property that $\Vert S\Vert <1$ is compact provided that for every bounded linear operator $T:H\rightarrow H$ such that $\Vert T\Vert <1$ there exists a sequence $(K_{T,n})_{n}$ of compact subsets of $H$ such that $A_{\mathcal S _{w}}$ is not connected for all $w\in H-\bigcup _{n}K_{T,n}$ . Consequently, given an infinite dimensional Hilbert space $H$ , there exists a complete characterization of the compactness of an operator $S:H\rightarrow H$ by means of the non-connectedness of the attractors of a family of IFSs related to the given operator. Finally we present three examples illustrating our results.     

Inductive topological Hausdorff dimensions and fibers of generic continuous functions

In an earlier paper Buczolich, Elekes and the author introduced a new concept of dimension for metric spaces, the so called topological Hausdorff dimension. They proved that it is precisely the right notion to describe the Hausdorff dimension of the level sets of the generic real-valued continuous function (in the sense of Baire category) defined on a compact metric space $K$ . The goal of this paper is to determine the Hausdorff dimension of the fibers of the generic continuous function from $K$ to $\mathbb {R}^n$ . In order to do so, we define the $n$ th inductive topological Hausdorff dimension, $\dim _{t^nH} K$ . Let $\dim _H K,\,\dim _t K$ and $C_n(K)$ denote the Hausdorff and topological dimension of $K$ and the Banach space of the continuous functions from $K$ to $\mathbb {R}^n$ . We show that $\sup _{y\in \mathbb {R}^n} \dim _{H}f^{-1}(y) = \dim _{t^nH} K -n$ for the generic $f \in C_n(K)$ , provided that $\dim _t K\ge n$ , otherwise every fiber is finite. In order to prove the above theorem we give some equivalent definitions for the inductive topological Hausdorff dimensions, which can be interesting in their own right. Here we use techniques coming from the theory of topological dimension. We show that the supremum is actually attained on the left hand side of the above equation. We characterize those compact metric spaces $K$ for which $\dim _{H} f^{-1}(y)=\dim _{t^nH}K-n$ for the generic $f\in C_n(K)$ and the generic $y\in f(K)$ . We also generalize a result of Kirchheim by showing that if $K$ is self-similar and $\dim _t K\ge n$ then $\dim _{H} f^{-1}(y)=\dim _{t^nH}K-n$ for the generic $f\in C_n(K)$ for every $y\in {{\mathrm{int}}}f(K)$ .     

Wild quotient singularities of surfaces

Let $(B,\mathcal{M }_B)$ be a noetherian regular local ring of dimension $2$ with residue field $B/\mathcal{M }_B$ of characteristic $p>0$ . Assume that $B$ is endowed with an action of a finite cyclic group $H$ whose order is divisible by $p$ . Associated with a resolution of singularities of $\mathrm{Spec}B^H$ is a resolution graph $G$ and an intersection matrix $N$ . We prove in this article three structural properties of wild quotient singularities, which suggest that in general, one should expect when $H= \mathbb{Z }/p\mathbb{Z }$ that the graph $G$ is a tree, that the Smith group $\mathbb{Z }^n/\mathrm{Im}(N)$ is killed by $p$ , and that the fundamental cycle $Z$ has self-intersection $|Z^2|\le p$ . We undertake a combinatorial study of intersection matrices $N$ with a view towards the explicit determination of the invariants $\mathbb{Z }^n/\mathrm{Im}(N)$ and $Z$ . We also exhibit explicitly the resolution graphs of an infinite set of wild $\mathbb{Z }/2\mathbb{Z }$ -singularities, using some results on elliptic curves with potentially good ordinary reduction which could be of independent interest.     

Stable hypersurfaces as minima of the integral of an anisotropic mean curvature preserving a linear combination of area and volume

We deal with a compact hypersurface $M$ without boundary immersed in Euclidean space $R^{n+1}$ with the quotient of anisotropic mean curvatures $\frac{(r+1)C_{n}^{r+1}H^F_{r+1}}{a(k+1)C_{n}^{k+1}H^F_{k+1}-b}=constant$ , for real numbers $a$ and $b$ . Such a hypersurface is a critical point for the variational problem preserving a linear combination (with coefficientes $a$ and $b$ ) of the $(k,F)$ -area and the $(n + 1)$ -volume enclosed by $M$ . We show that $M$ is $(r,k,a,b)$ -stable if and only if, up to translations and homotheties, it is the Wulff shape of $F$ , under some assumptions on $a$ and $b$ proved to be sharp. For $a=0$ and $b=1$ , this gives the known $r$ -stability of the $r$ -area for volume preserving variations; if also $F\equiv 1$ it yields the stability studied by Alencar-do Carmo-Rosenberg and Barbosa-Colares. For $b=0$ we also prove a characterization of the Wulff shape as a critical point of the $(r,F)$ -area for variations preserving the $(k, F)$ -area, $0\le k<r<n$ , without the $r$ -stability hypothesis.     

Vector bundles and regulous maps

Let $X$ be a compact nonsingular affine real algebraic variety. We prove that every pre-algebraic vector bundle on $X$ becomes algebraic after finitely many blowing ups. Using this theorem, we then prove that the Stiefel-Whitney classes of any pre-algebraic $\mathbb{R }$ -vector bundle on $X$ are algebraic. We also derive that the Chern classes of any pre-algebraic $\mathbb{C }$ -vector bundles and the Pontryagin classes of any pre-algebraic $\mathbb{R }$ -vector bundle are blow- $\mathbb{C }$ -algebraic. We also provide several results on line bundles on $X$ .     

On involutions with middle-dimensional fixed-point locus and holomorphic-symplectic manifolds

Let $g$ be an involution of a compact closed manifold $X$ such that the fixed-point set $X^{g}$ is middle dimensional. Under the assumption that the normal bundle of the fixed-point set is either the tangent or co-tangent bundle conditions on the equivariant invariants of $X$ arise. In particular if $X$ is a holomorphic-symplectic manifold and $g$ an anti holomorphic-symplectic involution one arrives at a generalisation of Beauville’s result that for $X$ a hyper-Kähler manifold the $\hat{A}$ genus of $X^{g}$ is one.     

On the structure of the quasiconvex hull in planar elasticity

Let \(K_1\) and \(K_2\) be compact sets of real \(2{\times }2\) matrices with positive determinant. Suppose that both sets are frame invariant, meaning invariant under the left action of the special orthogonal group. Then we give an algebraic characterization for \(K_1\) and \(K_2\) to be incompatible for homogeneous gradient Young measures. This result can be used to determine the structure of the quasiconvex hull for sets of energy wells in planar elasticity.     

Supercyclic abelian semigroups of matrices on \mathbb {C}^{n}

We give a complete characterization of a supercyclic abelian semigroup of matrices on \(\mathbb {C}^{n}\) . For finitely generated semigroups, this characterization is explicit and it is used to determine the minimal number of matrices in normal form over \(\mathbb {C}\) that form a supercyclic abelian semigroup on \({\mathbb {C}}^{n}\) . In particular, no abelian semigroup generated by \(n-1\) matrices on \(\mathbb {C}^{n}\) can be supercyclic.     

Symbolic extensions and dominated splittings for generic C^{1}-diffeomorphisms

Let $\mathrm{Diff }^1(M)$ be the set of all $C^1$ -diffeomorphisms $f:M\rightarrow M$ , where $M$ is a compact boundaryless d-dimensional manifold, $d\ge 2$ . We prove that there is a residual subset $\mathfrak R $ of $\mathrm{Diff }^1(M)$ such that if $f\in \mathfrak R $ and if $H(p)$ is the homoclinic class associated with a hyperbolic periodic point $p$ , then either $H(p)$ admits a dominated splitting of the form $E\oplus F_1\oplus \dots \oplus F_k\oplus G$ , where $F_i$ is not hyperbolic and one-dimensional, or $f|_{H(p)}$ has no symbolic extensions.     

Feebly compact paratopological groups and real-valued functions

We present several examples of feebly compact Hausdorff paratopological groups (i.e., groups with continuous multiplication) which provide answers to a number of questions posed in the literature. It turns out that a 2-pseudocompact, feebly compact Hausdorff paratopological group $G$ can fail to be a topological group. Our group $G$ has the Baire property, is Fréchet–Urysohn, but it is not precompact. It is well known that every infinite pseudocompact topological group contains a countable non-closed subset. We construct an infinite feebly compact Hausdorff paratopological group $G$ all countable subsets of which are closed. Another peculiarity of the group $G$ is that it contains a nonempty open subsemigroup $C$ such that $C^{-1}$ is closed and discrete, i.e., the inversion in $G$ is extremely discontinuous. We also prove that for every continuous real-valued function $g$ on a feebly compact paratopological group $G$ , one can find a continuous homomorphism $\varphi $ of $G$ onto a second countable Hausdorff topological group $H$ and a continuous real-valued function $h$ on $H$ such that $g=h\circ \varphi $ . In particular, every feebly compact paratopological group is $\mathbb{R }_3$ -factorizable. This generalizes a theorem of Comfort and Ross established in 1966 for real-valued functions on pseudocompact topological groups.     

Hypercentralizing generalized skew derivations on left ideals in prime rings

Let $\mathcal{R }$ be a prime ring of characteristic different from $2, \mathcal{Q }_r$ the right Martindale quotient ring of $\mathcal{R }, \mathcal{C }$ the extended centroid of $\mathcal{R }, \mathcal{I }$ a nonzero left ideal of $\mathcal{R }, F$ a nonzero generalized skew derivation of $\mathcal{R }$ with associated automorphism $\alpha $ , and $n,k \ge 1$ be fixed integers. If $[F(r^n),r^n]_k=0$ for all $r \in \mathcal{I }$ , then there exists $\lambda \in \mathcal{C }$ such that $F(x)=\lambda x$ , for all $x\in \mathcal{I }$ . More precisely one of the following holds: (1) $\alpha $ is an $X$ -inner automorphism of $\mathcal{R }$ and there exist $b,c \in \mathcal{Q }_r$ and $q$ invertible element of $\mathcal{Q }_r$ , such that $F(x)=bx-qxq^{-1}c$ , for all $x\in \mathcal{Q }_r$ . Moreover there exists $\gamma \in \mathcal{C }$ such that $\mathcal{I }(q^{-1}c-\gamma )=(0)$ and $b-\gamma q \in \mathcal{C }$ ; (2) $\alpha $ is an $X$ -outer automorphism of $\mathcal{R }$ and there exist $c \in \mathcal{Q }_r, \lambda \in \mathcal{C }$ , such that $F(x)=\lambda x-\alpha (x)c$ , for all $x\in \mathcal{Q }_r$ , with $\alpha (\mathcal{I })c=0$ .     

Growth estimates for orbits of self-adjoint groups

Let $G$ denote a closed, connected, self-adjoint, noncompact subgroup of $GL(n,\mathbb R )$ , and let $d_{R}$ and $d_{L}$ denote respectively the right and left invariant Riemannian metrics defined by the canonical inner product on $M(n,\mathbb R ) = T_{I} GL(n,\mathbb R )$ . Let $v$ be a nonzero vector of $\mathbb R ^{n}$ such that the orbit $G(v)$ is unbounded in $\mathbb R ^{n}$ . Then the function $g \rightarrow d_{R}(g, G_{v})$ is unbounded, where $G_{v} = \{g \in G : g(v) = v \}$ , and we obtain algebraically defined upper and lower bounds $\lambda ^{+}(v)$ and $\lambda ^{-}(v)$ for the asymptotic behavior of the function $\frac{log|g(v)|}{d_{R}(g, G_{v})}$ as $d_{R}(g, G_{v}) \rightarrow \infty $ . The upper bound $\lambda ^{+}(v)$ is at most 1. The orbit $G(v)$ is closed in $\mathbb R ^{n} \Leftrightarrow \lambda ^{-}(w)$ is positive for some w $\in G(v)$ . If $G_{v}$ is compact, then $g \rightarrow |d_{R}(g,I) - d_{L}(g,I)|$ is uniformly bounded in $G$ , and the exponents $\lambda ^{+}(v)$ and $\lambda ^{-}(v)$ are sharp upper and lower asymptotic bounds for the functions $\frac{log|g(v)|}{d_{R}(g,I)}$ and $\frac{log|g(v)|}{d_{L}(g,I)}$ as $d_{R}(g,I) \rightarrow \infty $ or as $d_{L}(g,I) \rightarrow \infty $ . However, we show by example that if $G_{v}$ is noncompact, then there need not exist asymptotic upper and lower bounds for the function $\frac{log|g(v)|}{d_{L}(g, G_{v})}$ as $d_{L}(g, G_{v}) \rightarrow \infty $ . The results apply to representations of noncompact semisimple Lie groups $G$ on finite dimensional real vector spaces. We compute $\lambda ^{+}$ and $\lambda ^{-}$ for the irreducible, real representations of $SL(2,\mathbb R )$ , and we show that if the dimension of the $SL(2,\mathbb R )$ -module $V$ is odd, then $\lambda ^{+} = \lambda ^{-}$ on a nonempty open subset of $V$ . We show that the function $\lambda ^{-}$ is $K$ -invariant, where $K = O(n,\mathbb R ) \cap G$ . We do not know if $\lambda ^{-}$ is $G$ -invariant.     

The topology of parabolic character varieties of free groups

Let $G$ be a complex affine algebraic reductive group, and let $K\,\subset \, G$ be a maximal compact subgroup. Fix h $\,:=\,(h_{1}\,,\ldots \,,h_{m})\,\in \, K^{m}$ . For $n\, \ge \, 0$ , let $\mathsf X _{\mathbf{{h}},n}^{G}$ (respectively, $\mathsf X _{\mathbf{{h}},n}^{K}$ ) be the space of equivalence classes of representations of the free group on $m+n$ generators in $G$ (respectively, $K$ ) such that for each $1\le i\le m$ , the image of the $i$ -th free generator is conjugate to $h_{i}$ . These spaces are parabolic analogues of character varieties of free groups. We prove that $\mathsf X _{\mathbf{{h}},n}^{K}$ is a strong deformation retraction of $\mathsf X _{\mathbf{{h}},n}^{G}$ . In particular, $\mathsf X _{\mathbf{{h}},n}^{G}$ and $\mathsf X _{\mathbf{{h}},n}^{K}$ are homotopy equivalent. We also describe explicit examples relating $\mathsf X _{\mathbf{{h}},n}^{G}$ to relative character varieties.     

Integer valued polynomials on lower triangular integer matrices

Let $D$ be an integral domain with quotient field $K$ . In this paper we study the algebra of polynomials in $K[x]$ which map the set of lower triangular $n\times n$ matrices with coefficients in $D$ into itself and show that it coincides with the algebra of polynomials whose divided differences of order $k$ map $D^{k+1}$ into $D$ for every $k< n$ . Using this result we describe the polynomial closure of this set of matrices when $D$ is the ring of integers in a global field.     

Ranks of backward shift invariant subspaces of the Hardy space over the bidisk

Let $\{\varphi _n(z)\}_{n\ge 0}$ be a sequence of inner functions satisfying that $\zeta _n(z):=\varphi _n(z)/\varphi _{n+1}(z)\in H^\infty (z)$ for every $n\ge 0$ and $\{\varphi _n(z)\}_{n\ge 0}$ has no nonconstant common inner divisors. Associated with it, we have a Rudin type invariant subspace $\mathcal{M }$ of $H^2(\mathbb{D }^2)$ . The ranks of $\mathcal{M }\ominus w\mathcal{M }$ for $\mathcal{F }_z$ and $\mathcal{F }^*_z$ respectively are determined, where $\mathcal{F }_z$ is the fringe operator on $\mathcal{M }\ominus w\mathcal{M }$ . Let $\mathcal{N }= H^2(\mathbb{D }^2)\ominus \mathcal{M }$ . It is also proved that the rank of $\mathcal{M }\ominus w\mathcal{M }$ for $\mathcal{F }^*_z$ equals to the rank of $\mathcal{N }$ for $T^*_z$ and $T^*_w$ .