Related papers: Viva la difference II. The Ax-Kochen isomorphism t…
In section 1 of this paper, we characterize the isomorphism property of nonstandard universes in terms of the realization of some second--order types in model theory. In section 2, several applications are given. One of the applications…
Let $\mathbb V$ be an $\mathbb N$-graded $C_2$-cofinite vertex operator algebra (VOA), not necessarily rational or self-dual. Using a special case of the sewing-factorization theorem from [GZ25a], we show that the end $\mathbb…
We present some new Stokes' type theorems on complete non-compact manifolds that extend, in different directions, previous work by Gaffney and Karp and also the so called Kelvin-Nevanlinna-Royden criterion for (p-)parabolicity. Applications…
This article describes the geometry of isomorphisms between complements of geometrically irreducible closed curves in the affine plane $\mathbb{A}^2$, over an arbitrary field, which do not extend to an automorphism of $\mathbb{A}^2$. We…
We extend Kolchin's results on linear dependence over projective varieties in the constants, to linear dependence over arbitrary complete differential varieties. We show that in this more general setting, the notion of linear dependence…
We prove the Avrunin-Scott theorem for quantum complete intersections; the rank variety of a module is isomorphic to its support variety.
We introduce a notion of ampleness for subschemes of higher codimension using the theory of q-ample line bundles. We also investigate certain geometric properties satisfied by ample subvarieties, e.g. the Lefschetz hyperplane theorems and…
We prove a general theorem that gives a non trivial relation in the group of derived autoequivalences of a variety (or stack) X, under the assumption that there exists a suitable functor from the derived category of another variety Y…
The Geometric Shafarevich Conjecture and the Theorem of de Franchis state the finiteness of the number of certain holomorphic objects on closed or punctured Riemann surfaces. The analog of these kind of theorems for Riemann surfaces of…
In supersymmetric quantum mechanics, shape invariance is a sufficient condition for solvability. We show that all conventional additive shape invariant superpotentials that are independent of $\hbar$ obey two partial differential equations.…
Kochen-Specker theorems assure the breakdown of certain types of non-contextual hidden variable theories through the non-existence of global, holistic frame functions; alas they do not allow us to identify where this breakdown occurs, nor…
The main theorem here is the K-theoretic analogue of the cohomological `stable double component formula' for quiver functions in [Knutson, Miller, and Shimozono, math.AG/0308142]. This K-theoretic version is still in terms of lacing…
The Kochen-Specker theorem, Bell inequalities, and several other tests that were designed to rule out hidden-variable theories, assume the existence of observables having infinitely sharp eigenvalues. A paradigmatic example is spin-1/2. It…
We prove coherence theorems for bicategories, pseudofunctors and pseudonatural transformations. These theorems boil down to proving the coherence of some free $(4,2)$-categories. In the case of bicategories and pseudofunctors, existing…
In this paper, we establish a simple criterion for two $L$-functions $L_1$ and $L_2$ satisfying a functional equation (and some natural assumptions) to have infinitely many distinct zeros. Some related questions have already been answered…
The Komlos conjecture in discrepancy theory states that for some constant K and for any m by n matrix A whose columns lie in the unit ball there exists a +/- 1 vector x such that the infinity norm of Ax is bounded above by K. This…
This work establishes the geometric component of Deligne's longstanding program on refined Grothendieck-Riemann-Roch formulas expressed through determinants of cohomology. The approach relies on a newly developed universal category of Chern…
For realcompact spaces X and Y we give a complete description of the linear biseparating maps between spaces of vector-valued continuous functions on X and Y, where special attention is paid to spaces of vector-valued bounded continuous…
This paper deals with the subject of infinitesimal variations of Euclidean submanifolds with arbitrary dimension and codimension. The main goal is to establish a Fundamental theorem for these geometric objects. Similar to the theory of…
Affine deformations serve as basic examples in the continuum mechanics of deformable 3-dimensional bodies (referred as homogeneous deformations). They preserve parallelism and are often used as an approximation to general deformations.…