Related papers: A note on Tauberian Theorems of Exponential Type
This note gives a one-to-one correspondence between the equivalence classes of a certain type of 2-dimensional Calabi-Yau categories, and certain type of quivers, This is an analogue of the result in Stability structures, motivic…
We prove in this paper a classicality result for overconvergent Hilbert modular forms. To get this result, we use the analytic continuation method, first used by Buzzard and Kassaei. We prove this result without any ramification assumption.
In this paper, we prove the extensions of Bonnet--Myers' type theorems obtained by Calabi and Cheeger--Gromov--Taylor via Bakry--Emery Ricci curvature, which generalize the results of \cite{FG, Lim1, Wan, Wang, WW, Wu}.
This is an expository paper aiming to introduce Zilber's Exponential Closedness conjecture to a general audience. Exponential Closedness predicts when (systems of) equations involving addition, multiplication, and exponentiation have…
We give an elementary and rigorous proof of the Thomae type formula for singular $Z_N$ curves. To derive the Thomae formula we use the traditional variational method which goes back to Riemann, Thomae and Fuchs.
This expository note presents a constructive proof of Wigner's theorem using only a few basic facts about Hilbert spaces, such as the existence of orthonormal bases and the Fourier decomposition of a vector. Our proof is based on a proof by…
This is an expository account of the proof of the theorem of Bourgain, Glibichuk and Konyagin which provides non-trivial bounds for exponential sums over very small multiplicative subgroups of prime finite fields.
Pure type systems arise as a generalisation of simply typed lambda calculus. The contemporary development of mathematics has renewed the interest in type theories, as they are not just the object of mere historical research, but have an…
We prove that a perverse sheaf on a connected commutatitve algebraic group over a finite is generically unramified. This implies an equidistribution theorem for Tannakian monodromy groups in previously unavailable generality. We also prove…
Leopardi introduced the notion of a Kronecker quotient in [Paul Leopardi. A generalized FFT for Clifford algebras. Bulletin of the Belgian Mathematical Society, 11:663--688, 2005.]. This article considers the basic properties that a…
Let X and Y be two nxn Hermitian matrices. In the article "Proof of a conjectured exponential formula" (Linear and Multilinear Algebra (19) 1986, 187-197) R. C. Thompson proved that there exist two nxn unitary matrices U and V such that $$…
Kapranov Theorem is a well known generalization of Newton-Puiseux theorem for the case of several variables. This theorem is stated mainly in the context of tropical geometry. We present a new, constructive proof, that also characterizes…
We study generic properties of topological groups in the sense of Baire category. First we investigate countably infinite (discrete) groups. We extend a classical result of B. H. Neumann, H. Simmons and A. Macintyre on algebraically closed…
We prove the "strong conjecture" expressed by Gazeau et al. in arXiv:1203.3936v1 [math-ph] about the coefficients of the Taylor expansion of the exponential of a polynomial. This implies the "weak conjecture" as a special case. The proof…
We define a computational type theory combining the contentful equality structure of cartesian cubical type theory with internal parametricity primitives. The combined theory supports both univalence and its relational equivalent, which we…
A short proof to a recent theorem of Giambruno and Mishchenko is given in this note.
We provide a partial result on Taylor's modularity conjecture, and several related problems. Namely, we show that the interpretability join of two idempotent varieties that are not congruence modular is not congruence modular either, and we…
We develop algebraic models of simple type theories, laying out a framework that extends universal algebra to incorporate both algebraic sorting and variable binding. Examples of simple type theories include the unityped and simply-typed…
The aim of this paper is to show Cauchy-Kowalevski and Holmgren type theorems with infinite number of variables. We adopt von Koch and Hilbert's definition of analyticity of functions as monomial expansions. Our Cauchy-Kowalevski type…
In this article we collect results obtained by the authors jointly with other authors and we discuss old and new ideas. In particular we discuss singularities of the exponential map, completeness and homogeneity for Riemannian Hilbert…