Related papers: A local Jordan-Brouwer separation theorem
In this paper we generalize the DP framework to a relative DP framework, where a so called split is possible.
We study interpolant extraction from local first-order refutations. We present a new theoretical perspective on interpolation based on clearly separating the condition on logical strength of the formula from the requirement on the com- mon…
We prove the Strong Jacobi Bound Conjecture for generically reduced components of differential schemes.
We obtain some results related to Romanoff's theorem.
We consider the local to global principle for detecting linear dependence of points in groups of the Mordell-Weil type. As applications of our general setting we obtain corresponding statements for Mordell-Weil groups of non{-}CM elliptic…
We introduce a topology, which we call the regional topology, on the space of all real functions on a given locally compact metric space. Next we obtain a new versions of Schauder's fixed point theorem and Ascoli's theorem. We use these…
We give a survey of recent developments in the investigation of the various local-global conjectures for representations of finite groups.
We will prove the Brannan conjecture for particular values of the parameter. The basic tool of the study is an integral representation published in a recent work [3].
We prove existence of the local Borel transform for the perturbative series of massive $\vp_4^4$-theory. As compared to previous proofs in the literature, the present bounds are much sharper as regards the dependence on external momenta,…
We adapt a construction taken from `L. Motto Ros and B. Semmes, A new proof of a theorem of Jayne and Rogers, Real Anal. Exchange 35(1) (2009/2010), 195-204' in order to correct a mistake contained in the first part of the same paper. As a…
The notion of a topological Jordan decomposition of a compact element of a reductive p-adic group has proven useful in many contexts. In this paper, we generalise it to groups defined over fairly general discretely-valued fields and prove…
In this note we give two proofs of Brooks' Theorem. The first is obtained by modifying an earlier proof and the second by combining two earlier proofs. We believe these proofs are easier to teach in Computer Science courses.
This is the second in a series of papers where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of ``global conformal invariants''; these are defined to be conformally invariant integrals of geometric scalars.…
In this note, we prove a correspondence between filtrations and b-divisors over a general class of Noetherian local domains. As an application in the global setting, we prove a recent conjecture of Ro\'e-Urbinati.
In this paper we define a small variation of the Taylor method and a formula for the global error of this new numerical method that allows us to keep track of the round-off error and does not require previous knowledge of the exact…
We obtain local and global bifurcation for periodic solutions of Hamiltonian systems by using a new way to apply a comparison principle of the spectral flow that was originally introduced by Pejsachowicz in a joint work with the third…
We derive new bounds of the remainder in a combinatorial central limit theorem without assumptions on independence and existence of moments of summands. For independent random variables our theorems imply Esseen and Berry-Esseen type…
In this paper, we give a form of refined Roth's theorem. As an application, we prove a special case of the $abc$-conjecture.
According to the Weinstein splitting theorem, any Poisson manifold is locally, near any given point, a product of a symplectic manifold with another Poisson manifold whose Poisson structure vanishes at the point. Similar splitting results…
New formulas are given for Chow forms, discriminants and resultants arising from (not necessarily normal) toric varieties of codimension 2. Exact descriptions are also given for the secondary polygon and for the Newton polygon of the…