Related papers: Th\'eor\`emes de Borel avec contraintes

We prove that, if two germs of plane curves $(C,0)$ and $(C',0)$ with at least one singular branch are equivalent by a (real) smooth diffeomorphism, then $C$ is complex isomorphic to $C'$ or to $\overline{C'}$. A similar result was shown by…

We show that Colliot-Th\'el\`ene's conjecture on 0-cycles of degree 1 implies finiteness for the u-invariant of the function field of a curve over a totally imaginary number field and period-index bounds for the Brauer groups of arbitrary…

The virial theorem, introduced by Clausius in statistical mechanics, and later applied in both classical mechanics and quantum mechanics, is studied by making use of symplectic formalism as an approach in the case of both the Hamiltonian…

We generalize several classical theorems in extremal combinatorics by replacing a global constraint with an inequality which holds for all objects in a given class. In particular we obtain generalizations of Tur\'an's theorem, the…

In this paper, we show that Frucht's theorem holds in Borel setting. More specifically, we prove that any standard Borel group can be realized as the Borel automorphism group of a Borel graph. A slight modification of our construction also…

The classical version of P\'olya's theorem provides a simple method for certifying that a homogeneous polynomial of degree d is strictly copositive, that is, it takes only positive values on the nonnegative real orthant. However, this…

We prove a connexity theorem for abelian varieties in characteristic $0$: if $X$ is an abelian variety and $V\rightarrow X$ and $W\rightarrow X$ two morphisms, then, under certain hypotheses, the fiber product of $V$ and $W$ over $X$ is…

When does Borel's theorem on free subgroups of semisimple groups generalize to other groups? We initiate a systematic study of this question and find positive and negative answers for it. In particular, we fully classify fundamental groups…

With a view to establishing measure theoretic approximation properties of Delone sets, we study a setup which arises naturally in the problem of averaging almost periodic functions along exponential sequences. In this setting, we establish…

For each $a \in \mathbb{R}$, we define a Borel function $f_a : \mathbb{R} \to \mathbb{R}$ which encodes $a$ in a certain sense. We show that for each Borel $g : \mathbb{R} \to \mathbb{R}$, $f_a \cap g = \emptyset$ implies $a \in…

Congruences of Fourier coefficients of modular forms have long been an object of central study. By comparison, the arithmetic of other expansions of modular forms, in particular Taylor expansions around points in the upper-half plane, has…

In this paper we give an elementary proof of the Fundamental Theorem of Algebra for polynomials over the rational tropical semi-ring. We prove that, tropically, the rational numbers are algebraically closed. We provide a simple algorithm…

A recent refinement of Ker\'ekj\'art\'o's Theorem has shown that in $\mathbb R$ and $\mathbb R^2$ all $\mathcal C^l$-solutions of the functional equation $f^n =\textrm{Id}$ are $\mathcal C^l$-linearizable, where $l\in \{0,1,\dots \infty\}$.…

We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…

The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…

Baiocchi et al. generalized a few years ago a classical theorem of Ingham and Beurling by means of divided differences. The optimality of their assumption has been proven by the third author of this note. The purpose of this note to extend…

Let $X$ be a complex manifold, $\pi: E \rightarrow X$ a locally trivial holomorphic fibration with fiber $F$, and $\mathfrak{g}$ a Lie algebra with an invariant symmetric form. We associate to this data a holomorphic prefactorization…

We define a Weil-\'etale complex with compact support for duals (in the sense of the Bloch dualizing cycles complex $\mathbb{Z}^c$) of a large class of $\mathbb{Z}$-constructible sheaves on an integral $1$-dimensional proper arithmetic…

S. Banach \cite{Banach} proved that good differential properties of function do not guarantee the a.e. convergence of the Fourier series of this function with respect to general orthonormal systems (ONS). On the other hand it is very well…

The purpose of this paper is to present a solution to perhaps the final remaining case in the line of study concerning the generalization of Forelli's theorem on the complex analyticity of the functions that are: (1) $\mathcal{C}^\infty$…