相关论文: A short proof of a formula of Brasselet, Le and Se…

In recent work by Isett (arXiv:1211.4065), and later by Buckmaster, De Lellis, Isett and Sz\'ekelyhidi Jr. (arXiv:1302.2815), iterative schemes where presented for constructing solutions belonging to the H\"older class $C^{1/5-\epsilon}$ of…

We give an elementary and constructive proof for a theorem of de Smit et Lenstra. Note: In version 1, was missing the proof that "completely secant" implies "1-secant"

We define and characterise small support for complexes over non-Noetherian rings and in this context prove a vanishing theorem for modules. Our definition of support makes sense for any rigidly compactly generated tensor triangulated…

For a commutative algebra which comes from a Zinbiel algebra the exponential series can be written without denominators. When lifted to dendriform algebras this new series satisfies a functional equation analogous to the…

We give a short proof of a theorem of G. Cotti, B. Dubrovin and D. Guzzetti (arXiv:1706.04808 and arXiv:2101.03397) asserting the vanishing of some entries of the Stokes matrices at coalescing points of an isomonodromic deformation.

We provide a proof of a conjecture in (Bailey, Borwein, Borwein, Crandall 2007) on the existence and form of linear recursions for moments of powers of the Bessel function $K_0$.

In this short note, we prove the non-existence of slow and fast small nontrivial compact solutions for the Euler-Poisson system in $1$D. The proof is based on the virial estimate which provides local in space average decay of bounded small…

We compute the motivic Euler characteristic of Ayoub's nearby cycles spectrum in terms of strata of a semi-stable reduction, for a degeneration to multiple semi-quasi-homogeneous singularities. This allows us to compare the local picture at…

Comments about the paper by Elsholz, Fermat's last theorem implies Euclid's infinitude of primes, (2021), and simplification.

The purpose of this paper is to make an introduction to univalent function theory for readers of any level, assuming only foundational knowledge in real and complex analysis. In particular, we state and proof (with details) important…

In [1] it was shown that the Kochen Specker theorem can be written in terms of the non-existence of global elements of a certain varying set over the partially ordered set of boolean subalgebras of projection operators on some Hilbert…

We prove conditional weak-strong uniqueness of the potential Euler solution for external flow around a smooth body in three space dimensions, within the class of viscosity weak solutions with the same initial data. Our sufficient condition…

We study Beltrami flows in the setting of weak solution to the stationary Euler equations in $\Bbb R^3$. For this weak Beltrami flow we prove the regularity and the Liouville property. In particular, we show that if tangential part of the…

Given a variety with a suitable Brauer class, we present a general pullback construction that produces varieties that has Brauer--Manin obstruction to the existence of rational points. We then study Severi--Brauer fibrations and their…

In this short note we give a proof of Liouville's theorem (every bounded entire complex function is constant) following Peterzil and Starchenko's approach to complex analysis via o-minimality.

We consider the incompressible Euler equations in a bounded domain in three space dimensions. Recently, the first two authors proved Onsager's conjecture for bounded domains, i.e., that the energy of a solution to these equations is…

Denote by $E_\epsilon$ the Ginzburg-Landau functional in the plane and let $\tilde u_\varepsilon$ be the radial solution to the Euler equation associated to the problem $\min \left\{E_\varepsilon(u,B_1): \>\left. u\right\vert _{\partial…

In this note, we give a new proof of a vanishing result originally due to Bogomolov, and later generalised by Mourougane and Boucksom. The statement holds for arbitrary pseudoeffective line bundles over compact K\"ahler manifolds, under an…

We consider the Li\'enard equation and we give a sufficient condition to ensure existence and uniqueness of limit cycles. We compare our result with some other existing ones and we give some applications.

In the 3SUM-Indexing problem the goal is to preprocess two lists of elements from $U$, $A=(a_1,a_2,\ldots,a_n)$ and $B=(b_1,b_2,...,b_n)$, such that given an element $c\in U$ one can quickly determine whether there exists a pair $(a,b)\in A…