Related papers: Symmetric Grothendieck inequality
The technique of symmetric extensions is derived from forcing and it is one of the most important tools for studying models without the Axiom of Choice. Despite being incredibly successful since the 1960s, our understanding of the technique…
Grothendieck Duality -- the theory of the twisted inverse image pseudofunctor (-)^! over a suitable category of scheme-maps -- can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on…
We initiate here the study of Gromov-Witten theory of locally conformally symplectic manifolds or $\lcs$ manifolds, $\lcsm$'s for short, which are a natural generalization of both contact and symplectic manifolds. We find that the main new…
We introduce and study a notion of cylinder coherator similar to the notion of Grothendieck coherator which define more flexible notion of weak infinity groupoids. We show that each such cylinder coherator produces a combinatorial…
We present a generalization of the notion of neighborliness to non-polyhedral convex cones. Although a definition of neighborliness is available in the non-polyhedral case in the literature, it is fairly restrictive as it requires all the…
Given a general complete Riemannian manifold $M$, we introduce the concept of "local Moser-Trudinger inequality on $W^{1,n}(M)$". We show how the validity of the Moser-Trudinger inequality can be extended from a local to a global scale…
We present an elementary, self-contained proof of Grothendieck's inequality that unifies the real and complex cases and yields both the Krivine and Haagerup bounds, the current best-known explicit bounds for the real and complex…
We show that two important quantities from two disparate areas of complexity theory --- Strassen's exponent of matrix multiplication $\omega$ and Grothendieck's constant $K_G$ --- are intimately related. They are different measures of size…
We establish a lower bound on the total mass of the time slices of (n + 1)-dimensional asymptotically flat standard static spacetimes under the timelike convergence condition. The inequality can be viewed equivalently as a Minkowski-type…
In the finite-dimensional case, we present a new approach to the theory of cones with a mapping cone symmetry, first introduced by St{\o}rmer. Our method is based on a definition of an inner product in the space of linear maps between two…
We establish a new global endpoint Sobolev inequality for measures that extends the classical theorem of Meyers-Ziemer by placing a maximal function on the right-hand side. This result has several significant consequences. It extends…
In the Bondi-Sachs formulation of General Relativity space-time is foliated via a family of null cones. If these null cones are defined such that their vertices are traced by a regular world-line then the metric tensor has to obey…
We prove a new family of inequalities, which compare the integral of a geometric convolution of non-negative functions with the integrals of the original functions. For classical inf-convolution, this type of inequality is called the…
Polytopes in R^n with integral vertices form a monoid under the Minkowski sum, and the Grothendieck construction gives rise to a group. We show that every symmetric polytope is a norm in this group for every n.
We prove a nonlinear regularity principle in sequence spaces which produces universal estimates for special series defined therein. Some consequences are obtained and, in particular, we establish new inclusion theorems for multiple summing…
Symmetric cones can be endowed with at least two interesting non Riemannian metrics: the Hilbert and the Thompson metrics. It is trivial that the linear maps preserving the cone are isometries for those two metrics. Oddly enough those are…
In this paper we investigate an infinitely categorical analogue of the theory of Grothendieck topoi. In particular, we define infinity topoi and prove an analogue of Giraud's theorem, expressing the equivalence of ``intrinsic'' and…
We prove a semi-Riemannian version of the celebrated Morse Index Theorem for geodesics in semi-Riemannian manifolds; we consider the general case of both endpoints variable on two submanifolds. The key role of the theory is played by the…
We develop generalized Petersson/Bruggeman-Kuznetsov (PBK) formulas for specified local components at non-archimedean places. In fact, we introduce two hypotheses on non-archimedean test function pairs $f \leftrightarrow \pi(f)$, called…
We prove the Harnack inequality for antisymmetric $s$-harmonic functions, and more generally for solutions of fractional equations with zero-th order terms, in a general domain. This may be used in conjunction with the method of moving…