Related papers: A Streamlined Proof of $\mathfrak{p}=\mathfrak{t}$

The aim of this paper is to show an existence theorem for a kinetic model of coagulation-fragmentation with initial data satisfying the natural physical bounds, and assumptions of finite number of particles and finite $L^p$-norm. We use the…

We display a symmetric monoidal equivalence between the stable $\infty$-category of filtered spectra, and quasi-coherent sheaves on $\mathbb{A}^1 / \mathbb{G}_m$, the quotient in the setting of spectral algebraic geometry, of the flat…

We generalize Macdonald's formula for the cohomology of Hilbert schemes of points on a curve from smooth curves to curves with planar singularities: we relate the cohomology of the Hilbert schemes to the cohomology of the compactified…

This paper presents a simple notion of proof net for multiplicative linear logic with units. Cut elimination is direct and strongly normalising, in contrast to previous approaches which resorted to moving jumps (attachments) of par units…

Fair termination is the property of programs that may diverge "in principle" but that terminate "in practice", i.e. under suitable fairness assumptions concerning the resolution of non-deterministic choices. We study a conservative…

We prove a Hopf bifurcation theorem in Hilbert spaces for abstract semilinear equations, which improves a classical result by Crandall and Rabinowitz in the case where basic spaces are Hilbert spaces. Actually, our theorem does not need any…

A $p$-Laplacian elliptic problem in the presence of both strongly singular and $(p-1)$-superlinear nonlinearities is considered. We employ bifurcation theory, approximation techniques and sub-supersolution method to establish the existence…

We prove an $L^p$-spectral multiplier theorem under the sharp regularity condition $s > d\left|1/p - 1/2\right|$ for sub-Laplacians on M\'etivier groups. The proof is based on a restriction type estimate which, at first sight, seems to be…

Interpolation of jointly infeasible predicates plays important roles in various program verification techniques such as invariant synthesis and CEGAR. Intrigued by the recent result by Dai et al.\ that combines real algebraic geometry and…

In this article, we investigate the existence, uniqueness, nonexistence, and regularity of weak solutions to the nonlinear fractional elliptic problem of type $(P)$ (see below) involving singular nonlinearity and singular weights in smooth…

Proofs that a smooth morphism is flat available in the literature are long and difficult. We give a short proof of this fact.

In this paper we prove convergence results for the homogenization of the Dirichlet problem with rapidly oscillating boundary data in convex polygonal domains. Our analysis is based on integral representation of solutions. Under a certain…

We give a new differential-geometric proof of Grauert's theorem on the coherence of the higher direct image of a coherent sheaf under a proper holomorphic morphism between complex analytic spaces. In the smooth case, our approach is based…

We give a new local proof of the Breuil-M\'ezard conjecture in the case of a reducible representation of the absolute Galois group of $\mathbb{Q}_p$, $p>2$, that has scalar semi-simplification, via a formalism of Pa\v{s}k\=unas.

In this paper we present a new compact expression of the elliptic genus of SL(2)/U(1)-supercoset theory by making use of the `spectral flow method' of the path-integral evaluation. This new expression is written in a form like a Poincare…

We present a rectilinearization theorem for p-adic semi-algebraic sets depending on parameters. As an application of our main theorem we present an alternative proof of a rationality result for parametric p-adic inte- grals, due to Denef.

In this paper we study a quasilinear elliptic problem whose functional satisfies a weak version of the well known Palais-Smale condition. An existence result is proved under general assumptions on the nonlinearities.

We give a simplified proof of analyticity of pluripolar multifunctions

We remove the semisimple condition in the mod-$p$ local-global compatibility result of arXiv:2106.10674. Namely, assuming flatness of $\pi_{\mathfrak{m}}^\vee$ and $\overline{\sigma}_{\mathfrak{m}}|_{\mathrm{Gal}_{F^+_{\mathfrak{p}}}}$…

This paper introduces a reformulation of the classical convergence theorem for spectral sequences of filtered complexes which provides an algorithm to effectively compute the induced filtration on the total (co)homology, as soon as the…