Related papers: Formalizing the Classical Isoperimetric Inequality…

For the thin obstacle problem, we prove by a new direct method that in any dimension the Weiss' energies with frequency $\frac32$ and $2m$, for $m\in \mathbb N$, satisfy an epiperimetric inequality, in the latter case of logarithmic type.…

For any smooth Hurwitz curve $\mathcal{H}_n: \, XY^n+YZ^n+X^nZ=0$ over the finite field $\mathbb{F}_{p}$, an explict description of its Weierstrass points for the morphism of lines is presented. As a consequence, the full automorphism group…

We prove a homological stabilization theorem for Hurwitz spaces: moduli spaces of branched covers of the complex projective line. This has the following arithmetic consequence: let l>2 be prime and A a finite abelian l-group. Then there…

The isometric immersion of two-dimensional Riemannian manifold with negative Gauss curvature into the three-dimensional Euclidean space is considered through the Gauss-Codazzi equations for the first and second fundamental forms. The large…

We prove an Hersch's type isoperimetric inequality for the third positive eigenvalue on $\mathbb S^2$. Our method builds on the theory we developped to construct extremal metrics on Riemannian surfaces in conformal classes for any…

Let $X$ be a Banach space or more generally a complete metric space admitting a conical geodesic bicombing. We prove that every closed $L$-Lipschitz curve $\gamma:S^1\rightarrow X$ may be extended to an $L$-Lipschitz map defined on the…

Recently, a method to compute the implicit equation of a parametrized hypersurface has been developed by the authors. We address here some questions related to this method. First, we prove that the degree estimate for the stabilization of…

We prove several results about integral versions of Fourier duality for abelian schemes, making use of Pappas's work on integral Grothendieck-Riemann-Roch. If $S$ is smooth quasi-projective of dimension $d$ over a field and $\pi \colon X\to…

We investigate a reverse Faber-Krahn type inequality for the Robin Laplacian in a bounded smooth domain $\Omega \subset \mathbb{R}^N$ whose boundary has two connected components. We prove that a concentric spherical shell maximizes the…

We describe our ongoing project of formalization of algebraic methods for geometry theorem proving (Wu's method and the Groebner bases method), their implementation and integration in educational tools. The project includes formal…

The main purpose of the note is to explore the invariant properties of sphericalization and flattening and their applications in quasi-metric spaces. We show that sphericalization and flattening procedures on a quasimetric spaces preserving…

We establish the local Lipschitz regularity in space for the viscosity solutions to the parabolic double phase equation of the form \[ \smash{\partial_{t}u-\operatorname{div} \left(|Du|^{p-2}D u+a(z)|D u|^{q-2}D u\right)=f(z, Du)} \] by…

The Euclidean mixed isoperimetric-isodiametric inequality states that the round ball maximizes the volume under constraint on the product between boundary area and radius. The goal of the paper is to investigate such mixed…

This paper studies a specific metric on plane curves that has the property of being isometric to classical manifold (sphere, complex projective, Stiefel, Grassmann) modulo change of parametrization, each of these classical manifolds being…

We present the realization of Hurwitz algebras in terms of 2x2 vector matrices, which maintain the correspondence between the geometry of the vector spaces used in the classical physics and the underlined algebraic foundation of the quantum…

We prove some sharp isoperimetric type inequalities for domains with smooth boundary on Riemannian manifolds. For example, using generalized convexity, we show that among all domains with a lower bound $l$ for the cut distance and Ricci…

We prove that a simpy connected Hermitian Einstein 4-manifold with non-negative sectional curvature is isometric to complex projective space $\mathbb{C}\mathbb{P}^{2}$ with the Fubini-Study metric or isometric to the product…

In this paper we relate some classical normal forms for complex elliptic curves in terms of 4-point sets in the Riemann sphere. Our main result is an alternative proof that every elliptic curve is isomorphic as a Riemann surface to one in…

We prove a comparison theorem for the averages of the solutions of two exterior parabolic problems, the second being the "symmetrization" of the first one, by using approximation of the Schwarz symmetrization by polarizations, as it was…

A matrix formalism is proposed for computations based on Picard--Lefschetz theory in a 2D case. The formalism is essentially equivalent to the computation of the intersection indices necessary for the Picard--Lefschetz formula and enables…