A topological version of Liapunov’s theorem

Given a nonatomic finite-dimensional vector measure on a topological space, a criterion is established for obtaining its full range by considering open (or closed) sets only.     

A difference version of Nori’s theorem

We consider (Frobenius) difference equations over \((\mathbb {F}\!_q(s,t), \phi _q)\) where \(\phi _q\) fixes \(t\) and acts on \(\mathbb {F}\!_q(s)\) as the Frobenius endomorphism. We prove that every semisimple, simply-connected linear algebraic group \(\mathcal {G}\) defined over \(\mathbb {F}\!_q\) can be realized as a difference Galois group over \((\mathbb {F} \! _{q^i} (s,t),\phi _{q^i})\) for some \(i \in \mathbb {N}\) . The proof uses upper and lower bounds on the Galois group scheme of a Frobenius difference equation that are developed in this paper. The result can be seen as a difference analogue of Nori’s theorem which states that \(\mathcal {G}(\mathbb {F}\!_q)\) occurs as a (finite) Galois group over \(\mathbb {F}\!_q(s)\) .     

A Global version of Grozman’s theorem

Let $X$ be a manifold. The classification of all equivariant bilinear maps between tensor density modules over $X$ has been investigated by Grozman (Funct Anal Appl 14(2):58–59, 1980), who has provided a full classification for those which are differential operators. Here we investigate the same question without the hypothesis that the maps are differential operators. In our paper, the geometric context is algebraic geometry and the manifold $X$ is the circle $\text{ Spec}\, \mathbb{C }[z,z^{-1}]$ . Our main motivation comes from the fact that such a classification is required to complete the proof of the main result of Iohara and Mathieu (Proc Lond Math Soc, 2012, in press). Indeed it requires to also include the case of deformations of tensor density modules.     

A local version of Gearhart’s theorem

Let {e ^tA: t ≥ 0} be a C₀—semigroup on the Hilbert space ?. If x ₀ ∈ ? is such that the local resolvent R(λ,A) x ₀ admits a bounded holomorphic extension to the open half plane {Reλ > 0}, then lim _t→∞‖e ^tA R(λ₀, A) x ₀‖ = 0 for each λ₀ ∈ ρ(A). This resuit is used to find mild spectral conditions which ensure the decay at infmity to zero of solutions of higher order abstract Cauchy problems.     

A right triangulated version of Gentle-Todorov’s theorem

Gentle and Todorov proved that in an abelian category with enough projective objects, the extension subcategory of two covariantly finite subcategories is covariantly finite. We prove a right triangulated version of Gentle-Todorov’s theorem by introducing the notion of right homotopy cartesian square.     

Generalizations of Arnold’s version of Euler’s theorem for matrices

A recent result, conjectured by Arnold and proved by Zarelua, states that for a prime number p, a positive integer k, and a square matrix A with integral entries one has ${\textrm tr}(A^{p^k}) \equiv {\textrm tr}(A^{p^{k-1}}) ({\textrm mod}{p^k})${\textrm tr}(A^{p^k}) \equiv {\textrm tr}(A^{p^{k-1}}) ({\textrm mod}{p^k}). We give a short proof of a more general result, which states that if the characteristic polynomials of two integral matrices A,  B are congruent modulo p ^k then the characteristic polynomials of A ^p and B ^p are congruent modulo p ^k+1, and then we show that Arnold’s conjecture follows from it easily. Using this result, we prove the following generalization of Euler’s theorem for any 2 × 2 integral matrix A: the characteristic polynomials of A ^Φ(n) and A ^Φ(n)-ϕ(n) are congruent modulo n. Here ϕ is the Euler function, ?_i=1^l p_i^a_i\prod_{i=1}^{l} p_i^{\alpha_i} is a prime factorization of n and $\Phi(n)=(\phi(n)+\prod_{i=1}^{l} p_i^{\alpha_i-1}(p_i+1))/2$\Phi(n)=(\phi(n)+\prod_{i=1}^{l} p_i^{\alpha_i-1}(p_i+1))/2.     

Ideal version of Ramsey’s theorem

We consider various forms of Ramsey’s theorem, the monotone subsequence theorem and the Bolzano-Weierstrass theorem which are connected with ideals of subsets of natural numbers. We characterize ideals with properties considered. We show that, in a sense, Ramsey’s theorem, the monotone subsequence theorem and the Bolzano-Weierstrass theorem characterize the same class of ideals. We use our results to show some versions of density Ramsey’s theorem (these are similar to generalizations shown in [P. Frankl, R. L. Graham, and V. Rödl: Iterated combinatorial density theorems.     

A quantitative version of Steinhaus’ theorem for compact, connected, rank-one symmetric spaces

Let  $d_1,\,d_2$ , ... be a sequence of positive numbers that converges to zero. A generalization of Steinhaus’ theorem due to Weil implies that, if a subset of a homogeneous Riemannian manifold has no pair of points at distances  $d_1,\,d_2$ , ... from each other, then it has to have measure zero. We present a quantitative version of this result for compact, connected, rank-one symmetric spaces, by showing how to choose distances so that the measure of a subset not containing pairs of points at these distances decays exponentially in the number of distances.     

A locally convex version of Kadison’s representation theorem

Positivity - In this paper, we study the local ordered $$*$$ -vector spaces and their representations. We prove that each Archimedean local ordered $$*$$ -vector space, can be represented as a...     

On Jordan’s theorem

In the present paper, we give some remarks on the well-known Jordan theorem and Hamiltonians.     

A quantitative version of Krein’s theorems for Fréchet spaces

For a Banach space E and its bidual space E ^′′, the following function ${k(H) : = {\rm sup}_{y\in\overline{H}^{\sigma(E^{\prime \prime},E^{\prime})}} {\rm inf}_{x\in E} \|y - x\|}$ defined on bounded subsets H of E measures how far H is from being σ(E, E′)-relatively compact in E. This concept, introduced independently by Granero [10] and Cascales et al. [7], has been used to study a quantitative version of Krein’s theorem for Banach spaces E and spaces C _p (K) over compact K. In the present paper, a quantitative version of Krein’s theorem on convex envelopes coH of weakly compact sets H is proved for Fréchet spaces, i.e. metrizable and complete locally convex spaces. For a Fréchet space E the above function k(H) reads as follows ${k(H) := {\rm sup}\{d(h, E) : h \in \overline{H}^{\sigma(E^{\prime \prime},E^{\prime})}\},}$ where d(h, E) is the natural distance of h to E in the bidual E ^′′. The main result of the paper is the following theorem: For a bounded set H in a Fréchet space E, the following inequality holds ${k(coH) < (2^{n+1} - 2) k(H) + \frac{1}{2^{n}}}$ for all ${n \in \mathbb{N}}$ . Consequently this yields also the following formula ${k(coH) \leq \sqrt{k(H)}(3 - 2\sqrt{k(H)})}$ . Hence coH is weakly relatively compact provided H is weakly relatively compact in E. This extends a quantitative version of Krein’s theorem for Banach spaces (obtained by Fabian, Hajek, Montesinos, Zizler, Cascales, Marciszewski, and Raja) to the class of Fréchet space. We also define and discuss two other measures of weak non-compactness lk(H) and k′(H) for a Fréchet space and provide two quantitative versions of Krein’s theorem for both functions.     

Semialgebraic version of Whitney’s extension theorem

Archiv der Mathematik - In this note we prove a semialgebraic counterpart of Whitney’s extension theorem.     

The matrix version of Hamburger’s theorem

Mathematical Notes - Necessary and sufficient conditions for the Stieltjes moment problem to have a unique solution and for the Hamburger moment problem with the same moments to have infinitely...     

A discrete version of Liouville’s theorem on conformal maps

Geometriae Dedicata - Liouville’s theorem says that in dimension greater than two, all conformal maps are Möbius transformations. We prove an analogous statement about simplicial...     

On a discrete version of alexandrov’s projection theorem

In this paper, we consider a discrete version of Aleksandrov＇s projection theorem. We prove that an origin-symmetric convex lattice set, whose lattice＇s y-coordinates＇ absolute values are not bigger than 2, can be uniquely determined by its lattice projection counts if its cardinality is not 11. This partly answers a question on the discrete version of Aleksandrov＇s projection theorem which was proposed by Gardner, Gronchi and Zong in 2005.