Related papers: Analytic Bertini theorem
We establish an effective Bertini-type theorem for hypersurfaces $X_f \colon f = 0$ defined over a finite field $k$ for which $f$ has no linear factors over the algebraic closure $\overline{k}$. Given a line $L$ defined over $k$ and a…
We show that an elementary proof of Fermat's Last Theorem (FLT) exists. Our paper also extends the scope of FLT from integers to all rational numbers.
We prove several extensions of the Erdos-Fuchs theorem.
We discuss the proof of a certain integral theorem obtained by C. G. Cullen, originally stated on the class of the analytic intrinsic functions on the quaternions. It is shown that this integral theorem is true for a larger class of…
We prove a continuous-parameter version of the recent theorem of Katznelson-Tzafiri type for power-bounded operators which have a bounded calculus for analytic Besov functions. We also show that the result can be extended to some operators…
In this paper we prove a generalization of famous Larchr's theorem concerning good lattice points.
We prove the generic base change theorem for stacks, and give an exposition on the lisse-analytic topos of complex analytic stacks, proving some comparison theorems between various derived categories of complex analytic stacks. This enables…
This note provides a self-contained exposition of the proof of the artinian conjecture, following closely Djament's Bourbaki lecture. The original proof is due to Putman, Sam, and Snowden.
We present a new variant of the Faa di Bruno formula with a simpler summation order.
We give a new simpler proof of a theorem of Jayne and Rogers.
We give an analytic proof of the Saito vanishing theorem using $L^{2}$-methods, by going back to the original idea for the proof of the Kodaira vanishing theorem.
This is a Bourbaki's seminar text. We introduce the combinatorial Kashiwara-Vergne conjecture on the Baker-Campbell-Hausdorff serie. After recalling previous results and consequences, we explain the Alekseev-Meinrenken's proof…
We prove a full generalization of the Castelnuovo's free pencil trick. We show its analogies with the Adjoint Theorem; see L. Rizzi, F. Zucconi, Differential forms and quadrics of the canonical image, arXiv:1409.1826 and also Theorem 1.5.1…
In [Beh12, Lem. A.4.1], Behrens generalized the classical geometric boundary theorem [Rav86, Thm. 2.3.4]. In this article, we will reformulate [Beh12, Lem. A.4.1] to fix a mistake made by Behrens, and prove it using the language of filtered…
We revisit a classic theorem of Frougny and Sakarovitch concerning automata for $\varphi$-representations, and show how to obtain it in a different and more computationally direct way. Using it, we can find simple, induction-free proofs of…
We give a proof of the Marker-Steinhorn Theorem which fills a gap in previous proofs of the result.
In this paper we give some sharper refinements and generalizations of inequalities related to Shafer's inequality for the arctangent function, stated in Theorems 1, 2 and 4 in [1], by C. Mortici and H.M. Srivastava.
We find some extensions of the Kraft-Russell Generic Equivalence Theorem and using it we obtain a simple proof of a result of Dubouloz and Kishimoto.
We extend the polynomial time algorithms due to Buss and Mints(APAL 1999) and Ferrari, Fiorentini and Fiorino(LPAR 2002) to yield a polynomial time complete disjunction property in intuitionistic propositional logic.
Here we unify two results of Steinhaus and their corresponding category analogues by extending them in the settings of category bases. We further show that in any perfect translation base, every abundant Baire set contains a full subset for…