Related papers: Mazur's inequality and laffaille's theorem

We introduce $\textit{Laver ultrafilters}$, namely ultrafilters $\mathcal{U}$ for which the associated Laver forcing $\mathbb{L}_{\mathcal{U}}$ has the Laver property. We give simple combinatorial characterisations of these ultrafilters,…

Let $G$ be a split reductive group over the ring of integers in a $p$-adic field with residue field $\mathbf{F}$. Fix a representation $\overline{\rho}$ of the absolute Galois group of an unramified extension of $\mathbf{Q}_p$, valued in…

General Lagrangian theory of even and odd fields on an arbitrary smooth manifold is considered. Its non-trivial reducible gauge symmetries and their algebra are defined in this very general setting by means of the inverse second Noether…

We prove that for any martingale with respect to a biparameter atomic filtration satisfying $(F_4)$ condition there is a martingale having the same joint distribution but with respect to the canonical $(F_4)$ filtration. Even in one…

Motivated by definitions in mixed Hodge theory, we define the weight filtration and the monodromy weight filtration on the combinatorial intersection cohomology of a fan. These filtrations give a natural definition of the multivariable…

We give an "elementary" proof of an inequality due to Maz'ya. As a prerequisite we prove an approximation property for the Hausdorff measure. We also comment on the relations between Maz'ya's inequality, the isoperimetric inequality and the…

Some sharp two-sided Tur\'an type inequalities for parabolic cylinder functions and Tricomi confluent hypergeometric functions are deduced. The proofs are based on integral representations for quotients of parabolic cylinder functions and…

The purpose of this paper is to establish several new results about the Hodge theory of Lagrangian fibrations on (not necessarily compact) holomorphic symplectic manifolds. Let $M$ be a holomorphic symplectic manifold of dimension $2n$ that…

We introduce more properties of forcing notions which imply that their lambda-support iterations are lambda-proper, where lambda is an inaccessible cardinal. This paper is a direct continuation of section A.2 of math.LO/0210205. As an…

Using an extension of Pirogov-Sinai theory we prove phase transitions, corresponding to sublattice orderings, for a general class of hard core lattice particle systems with a finite number of close packed configurations. These include many…

In this note, we study some properties of the filtration of the Steenrod algebra defined from the excess of admissible monomials. We give several conditions on a cocommutative graded Hopf algebra A^* which enable us to develop the theory of…

We generalize Griffiths' theorem on the Hodge filtration of the primitive cohomology of a smooth projective hypersurface, using the local Bernstein-Sato polynomials, the V-filtration of Kashiwara and Malgrange along the hypersurface and the…

We develop the theory of Hodge ideals for Q-divisors by means of log resolutions, extending our previous work on reduced hypersurfaces. We prove local (non-)triviality criteria and a global vanishing theorem, as well as other analogues of…

In this paper, we study the tannakian properties of the Fontaine-Laffaille functor V_cris thanks to the theory of Wach's modules. We construct a point of the torsor linking cristalline representations and weakly admissible filtered modules,…

In this paper, we investigate Boston's generalization of the unramified Fontaine-Mazur conjecture for Galois representations. From a group-theoretic perspective, we first show that the conjecture can be reduced to the case of certain…

We introduce a category of filtered F-isocrystals and construct a symbol maps on Milnor K-theory which is compatible with the syntomic symbol maps to the log syntomic cohomology. These are fundamental materials in our applications on…

This paper studies crystalline representations of G_K with coefficients of any dimension, where K is the unramified extension of Q_p of degree a. We prove a theorem of Fontaine-Laffaille type when \sigma-invariant Hodge-Tate weight less…

We suggest the necessary/sufficient criteria for the existence of a (order-by-order) solution y(x) of a functional equation F(x,y)=0 over a ring. In full generality, the criteria hold in the category of filtered groups, this includes the…

Nakamura and Tsuji recently obtained an integral inequality involving a Laplace transform of even functions that implies, at the limit, the Blaschke-Santal\'o inequality in its functional form. Inspired by their method, based on the…

We elaborate on the notion of a filtration of an operad defined in terms of a lattice-valued operad serving as an indexing object. That covers ordinary integer-indexed filtrations of associative algebras and operads as a special case, yet…