Related papers: Uniformization
We formulate a number of new results in Algebraic Geometry and outline their derivation from Theorem 2.12 which belongs to Algebraic Combinatorics.
In this paper we show an index theorem for gerbes
An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up to now, which concerns the formalization of category theory…
We give an alternative proof of a result on the uniform overlap of the algebraic sums of the sets arising from a decomposition of a neighborhood of a circular cone in $\Bbb R^3$. It is known that the uniform overlap result can be applied to…
Assuming that there exist operators which form an irreducible representation of the q-superoscillator algebra, it is proved that any two such representations are equivalent, related by a uniquely determined superunitary transformation. This…
We prove a generalization of van der Corput's Difference Theorem in the theory of uniform distribution by establishing a connection with unitary operators that have Lebesgue spectrum. This allows us to show, for example, that if $(x_n)_{n =…
We discuss new problems in universal algebraic geometry and explain them by boolean equations.
Motivated by the recent surge of interest in the geometry of hybrid spaces, we prove an Abel-Jacobi theorem for a metrized complex of Riemann surfaces, generalizing both the classical Abel-Jacobi theorem and its tropical analogue.
The aim of this paper is to prove a uniform Fourier restriction estimate for certain $2-$dimensional surfaces in $\mathbb R^{2n}$. These surfaces are the image of complex polynomial curves $\gamma(z) = (p_1(z), \dots, p_n(z))$, equipped…
In the long paper "Family Blowup formula, Admissible Graphs and the Enumeration of Singular Curves (I)" (appearing in JDG), the author solved the enumeration problem of nodal (or general singular) curve counting on algebraic surfaces by…
For a complete noncompact connected Riemannian manifold with bounded geometry, we prove a compactness result for sequences of finite perimeter sets with uniformly bounded volume and perimeter in a larger space obtained by adding limit…
We prove an extension to the classical continuity theorem in rough paths. We show that two $p$-rough paths are close in all levels of iterated integrals provided the first $\lfl p \rfl$ terms are close in a uniform sense. Applications…
We develop a class of uniformizations for certain weight 3 variations of Hodge structure (VHS). The analytic properties of the VHS are used to establish a conjecture of Eskin, Kontsevich, M\"oller, and Zorich on Lyapunov exponents.…
The representation theorem for odd or even involutive FLe-chains by bunches of layer groups, as discussed in [10], is redefined to demonstrate a more straightforward constructional relationship between odd or even involutive FLe-chains and…
We prove a unified convergence theorem, which presents in four equivalent forms of the famous Antosik-Mikusinski Theorems. In particular, we show that Swartz' three uniform convergence principles are all equivalent to the Antosik-Mikusinski…
Simple argument in favour of unitarity, to all orders, of space-like noncommutative theory is given.
We develop an explicit covering theory for complexes of groups, parallel to that developed for graphs of groups by Bass. Given a covering of developable complexes of groups, we construct the induced monomorphism of fundamental groups and…
In this paper an extended CPR decomposition theorem for Finsler symmetric spaces of semi-negative curvature in the context of reductive structures is proven. This decomposition theorem is applied to give a geometric description of the…
The "unit theorem" to which the present mini-course is devoted is a theorem from algebra that has a combinatorial flavour, and that originated in fact from algebraic combinatorics. Beyond a proof, the course also addresses applications, one…
Diagonalization in the spirit of Cantor's diagonal arguments is a widely used tool in theoretical computer sciences to obtain structural results about computational problems and complexity classes by indirect proofs. The Uniform…