Related papers: Lectures on Factorization of Birational Maps
We give a short proof of Macintyre's Theorem on Quantifier Elimination for the p-adic numbers, using a version of monomialization that follows directly from the Weak Toroidalization Theorem of Abramovich an Karu (extended to non-closed…
We start with elementary algebraic theory of factorization of linear ordinary differential equations developed in the period 1880-1930. After exposing these classical results we sketch more sophisticated algorithmic approaches developed in…
In this paper, we strengthen the splitting theorem proved in [14, 15] and provide a different approach using ideas from the weak KAM theory.
We investigate more closely the class of generalized b-weakly compact operators on locally convex-solid Riesz spaces and we provide new sequential and operator characterizations in relation with the subject. We introduce explicitly the…
Some results of B. Pasynkov and H. Torunczyk on finite-dimensional maps are improved. A generalization of a Dranishnikov-Uspenskij theorem about extensional dimension is also obtained.
Matrix properties are a type of property of categories which includes the ones of being Mal'tsev, arithmetical, majority, unital, strongly unital and subtractive. Recently, an algorithm has been developed to determine implications…
In this note we give a precise statement and a detailed proof for reconstruction problem of weak bialgebra maps. As an application we characterize indecomposability of weak algebras in categorical setting.
We strengthen some estimations of the local and global {\L}ojasiewicz exponent for polynomial mappings on closed semialgebraic sets obtained by K.Kurdyka, S.Spodzieja and A.Szlachci\'nska.
We present a sequent calculus for the weak Grzegorczyk logic Go allowing non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs.
The purpose of these notes is to present a fairly complete proof of the classification Theorem for compact surfaces. Other presentations are often quite informal (see the references in Chapter V) and we have tried to be more rigorous. Our…
We apply Soft-Collinear Effective Theory to prove at leading power in Lambda_QCD/m_b a factorization formula for the radiative leptonic decay B -> gamma l nu. Large logarithms entering the hard-scattering kernel are systematically resummed…
I review the treatment of high-energy QCD in Minkowski space, with an emphasis on factorization theorems as extensions of the operator product expansion. I discuss how the factorization properties of high-energy cross sections and…
Among other results, the paper gives new mapping theorems and new fixed point property theorems for inverse limits of inverse sequences of compact metric spaces with upper semicontinuous set-valued bonding functions. We also revisit the…
We present a construction of graph-directed invariant sets of weak contractions in the sense of Matkowski-Rus on semi-metric spaces. We follow the approach by Bessenyei and P\'enzes, which applies the Kuratowski noncompactness measure…
Every absolutely summing linear operator is weakly compact. However, for strongly summing multilinear operators and polynomials - one of the most natural extensions of the linear case to the non linear framework - weak compactness does not…
Using appropriate notation systems for proofs, cut-reduction can often be rendered feasible on these notations, and explicit bounds can be given. Developing a suitable notation system for Bounded Arithmetic, and applying these bounds, all…
The results of this paper have been subsumed by the paper "A geometric invariant theory construction of spaces of stable maps," Elizabeth Baldwin and David Swinarski, arXiv:0706.1381
This article gives a summary of the author's Ph.D. dissertation (arXiv:1609.06297). In addition to an overview of notions and results, it also provides sketches of various proofs and simplified presentations of certain abstract results of…
One of the major results of [N. Robertson and P. D. Seymour. Graph minors. XIII. The disjoint paths problem. J. Combin. Theory Ser. B, 63(1):65--110, 1995], also known as the weak structure theorem, revealed the local structure of graphs…
We prove that the space of pointwise multipliers between two distinct Musielak--Orlicz spaces is another Musielak-Orlicz space and the function defining it is given by an appropriately generalized Legendre transform. In particular, we…