Some remarks on Nagumo’s theorem

We provide a simpler proof for a recent generalization of Nagumo’s uniqueness theorem by A. Constantin: On Nagumo’s theorem. Proc. Japan Acad., Ser. A 86 (2010), 41–44, for the differential equation x′ = f(t, x), x(0) = 0 and we show that not only is the solution unique but the Picard successive approximations converge to the unique solution. The proof is based on an approach that was developed in Z. S. Athanassov: Uniqueness and convergence of successive approximations for ordinary differential equations. Math. Jap. 35 (1990), 351–367. Some classical existence and uniqueness results for initial-value problems for ordinary differential equations are particular cases of our result.     

Several generalizations of Tverberg’s theorem

In a generalization of Radon’s theorem, Tverberg showed that each setS of at least (d+1) (r ? 1)+1 points inR ^d has anr-partition into (pair wise disjoint) subsetsS =S ₁ ∪ … ∪S _r so that \(\bigcap\nolimits_i^r {\underline{\underline {}} } _1 \) convS _i # Ø. This note considers the following more general problems: (1) How large mustS σR ^d be to assure thatS has anr-partitionS=S ₁∪ … ∪S _r so that eachn members of the family {convS _i ～ _i-1 ^r have non-empty intersection, where 1<=n<=r. (2) How large mustS ∪R ^d be to assure thatS has anr-partition for which \(\bigcap\nolimits_i^r {\underline{\underline {}} } _1 \) convS _r is at least 1-dimensional.     

Some remarks on Baire’s grand theorem

We provide a game theoretical proof of the fact that if f is a function from a zero-dimensional Polish space to \( \mathbb N^{\mathbb N}\) that has a point of continuity when restricted to any non-empty compact subset, then f is of Baire class 1. We use this property of the restrictions to compact sets to give a generalisation of Baire’s grand theorem for functions of any Baire class.     

An elementary proof of Tverberg’s theorem

A new proof is suggested for Tverberg’s familiar theorem saying that an arbitrary set of q: (d + 1)(p − 1) + 1 points in ℝ ^d can be split into p parts such that their convex hulls have a nonempty intersection. Bibliography: 9 titles.     

Chernoff’s theorem on one-parametric semigroups

A closability of operators appearing under some analytic conditions close to conditions of the well-known Chernoff theorem on approximation of one-parametric operator semigroups is proved, existence of a semigroup is not required. An example of a nonclosed operator satisfying these conditions is presented.     

Some finite generalizations of Euler’s pentagonal number theorem

Euler’s pentagonal number theorem was a spectacular achievement at the time of its discovery, and is still considered to be a beautiful result in number theory and combinatorics. In this paper, we obtain three new finite generalizations of Euler’s pentagonal number theorem.     

Tverberg’s Theorem and Graph Coloring

The topological Tverberg theorem has been generalized in several directions by setting extra restrictions on the Tverberg partitions. Restricted Tverberg partitions, defined by the idea that certain points cannot be in the same part, are encoded with graphs. When two points are adjacent in the graph, they are not in the same part. If the restrictions are too harsh, then the topological Tverberg theorem fails. The colored Tverberg theorem corresponds to graphs constructed as disjoint unions of small complete graphs. Hell studied the case of paths and cycles. In graph theory these partitions are usually viewed as graph colorings. As explored by Aharoni, Haxell, Meshulam and others there are fundamental connections between several notions of graph colorings and topological combinatorics. For ordinary graph colorings it is enough to require that the number of colors q satisfy q>Δ, where Δ is the maximal degree of the graph. It was proven by the first author using equivariant topology that if q>Δ ² then the topological Tverberg theorem still works. It is conjectured that q>KΔ is also enough for some constant K, and in this paper we prove a fixed-parameter version of that conjecture. The required topological connectivity results are proven with shellability, which also strengthens some previous partial results where the topological connectivity was proven with the nerve lemma.     

Two comments on Dvoretzky’s sphericity theorem

For any two positive integersk, l and anyɛ>0 there exists anN(k, l, ɛ) so that given anyl convex bodiesC ₁, …,C _l symmetric about the origin inE ⁿ withn≧N there exists a subspaceE ^k so that eachC _i intersectsE ^k, or has a projection intoE ^k, in a set which is nearly spherical (asphericity <ɛ). The measure of the totality ofE ^k which intersect a given body inE ⁿ in a nearly ellipsoidal set is considered and an affine invariant measure is introduced for that purpose.     

A remark on Barth’s connectivity theorem

It has been remarked by Hartshorne, that Barth’s theorem for a smooth projective X follows from the strong Lefschetz theorem for the cohomology of X. Using the strong Lefschetz theorem for intersection cohomology, we give an extension of Barth’s theorem to singular X. This naturally raises several questions concerning possible Barth theorems on the level of intersection cohomology.     

A Generalisation of Tverberg’s Theorem

We will prove the following generalisation of Tverberg’s Theorem: given a set S⊂ℝ ^d of (r+1)(k−1)(d+1)+1 points, there is a partition of S in k sets A ₁,A ₂,…,A _k such that for any C⊂S of at most r points, the convex hulls of A ₁\C,A ₂\C,…,A _k \C are intersecting. This was conjectured first by Natalia García-Colín (Ph.D. thesis, University College of London, 2007).     

Uniform Zariski’s theorem on fundamental groups

The Zariski theorem says that for every hypersurface in a complex projective (resp. affine) space and for every generic plane in the projective (resp. affine) space the natural embedding generates an isomorphism of the fundamental groups of the complements to the hypersurface in the plane and in the space. If a family of hypersurfaces depends algebraically on parameters then it is not true in general that there exists a plane such that the natural embedding generates an isomorphism of the fundamental groups of the complements to each hypersurface from this family in the plane and in the space. But we show that in the affine case such a plane exists after a polynomial coordinate substitution. The research was partially supported by an NSA grant.     

A note on Linnik’s theorem on quadratic non-residues

Archiv der Mathematik - We present a short and purely combinatorial proof of Linnik’s theorem: for any $$varepsilon &gt;0$$ there exists a constant $$C_varepsilon $$ such that for any...     

Berkson’s theorem

We give a new proof of the theorem that Amitsur’s complex for purely inseparable field extensions has vanishing homology in dimensions higher than 2. This is accomplished by computing the kernel and cokernel of the logarithmic derivativet →Dt/t mapping the multiplicative Amitsur complex to the acyclic additive one (D is a derivation of the extension field). This research was supported by National Science Foundation grant NSF GP 1649.     

Some remarks on Bridgeland’s Hall algebras

We study the functorial properties of Bridgeland’s Hall algebras. Specifically, let 𝒜 and ? be two categories satisfying certain conditions for the definitions of Bridgeland’s Hall algebras, and let F:𝒜→? be a fully faithful exact functor, which preserves projectives, then F induces an embedding of algebras from the Bridgeland’s Hall algebra of 𝒜 to the one of ?. In addition, let A be a finite-dimensional algebra over a finite field and B some special quotient algebra of A, then the Bridgeland’s Hall algebra of B is the quotient algebra of the one of A. Moreover, we consider the BGP-reflection functors on the category of 2-cyclic complexes and obtain some homomorphisms of algebras among the subalgebras of Bridgeland’s Hall algebras.     

A note on Hardy’s theorem and rotations

Semigroup Forum - We give a very short proof, using the Hermite semigroup, to a generalized version of Hardy’s theorem due to Hogan and Lakey. We characterize $$fin L^2({mathbb {R}}^n)$$...     

Some remarks on Kong-Liu’s conjecture on Lorentzian metrics

For a(1+3)-dimensional Lorentzian manifold(M,g),the general form of solutions of the Einstein field equations takes that of type I,II,or III.For type I,there is a known result in Gu(2007).In this paper,we try to find the necessary and sufficient conditions for the Lorentzian metric to take the form of types II and III,and we show how to construct the new coordinate system.     

Wallace’s theorem and Miquel’s theorem in higher dimensions

We present a simple proof for the generalizations of a result due to Wallace and a result due to Miquel to higher dimensions.