Related papers: Kobayashi-Ochiai's theorem for log schemes
We show that any of a large class of schemes receives a universal homeomorphism from a reduced scheme that in turn receives no nontrivial universal homeomorphism from any other reduced scheme. This construction serves as a categorical input…
In various contexts in mathematical physics one needs to compute the logarithm of a positive unbounded operator. Examples include the von Neumann entropy of a density matrix and the flow of operators with the modular Hamiltonian in the…
The Erdos-Davenport theorem on the multiples claims that for any set of natural numbers the set consisting of their multiples possesses the logarithmic density. An analogous statement is proved for the sets of rational multiples.
Boij-S\"oderberg theory gives a combinatorial description of the set of Betti tables belonging to finite length modules over the polynomial ring $S = k[x_1, \ldots, x_n]$. We posit that a similar combinatorial description can be given for…
We extend the criterion of Kawatani and Okawa for indecomposability of the derived category of a smooth projective variety to arbitrary schemes. For relative schemes, we also give a criterion for the nonexistence of semiorthogonal…
The paper describes the algebraic structure of the graded algebra of differentially homogeneous polynomials of fixed finite order. We show that it is a finitely generated algebra, and we exhibit a minimal set of generators. Along the way,…
Oshima's Lemma describes the orbits of parabolic subgroups of irreducible finite Weyl groups on crystallographic root systems. This note generalises that result to all root systems of finite Coxeter groups, and provides a self contained…
We propose a notion of 1-homotopy for generalized maps. This notion generalizes those of natural transformation and ordinary homotopy for functors. The 1-homotopy type of a Lie groupoid is shown to be invariant under Morita equivalence. As…
We prove a general local existence theorem for nonlinear systems of Cauchy-Riemann operator of any order in one complex variable with initial values at a given point, which is a counterpart of local existence of ODE.
One of the major problems in the structural theory of skew braces consists in the classification of skew braces of finite order up to isomorphism. In this light, the open question of the existence of a Cauchy theorem for finite skew braces…
In this paper, we establish bounds for the eigenvalues of matrix polynomials. Specifically, we find different generalizations of the Enestrom-Kakeya Theorem for matrix polynomials.
We prove that characteristic equations of certain types of delay differential systems, under some mild conditions on their coefficients, can possess infinitely many complex roots.
We give a short new computation of the quantum cohomology of an arbitrary smooth toric variety $X$, by showing directly that the Kodaira-Spencer map of Fukaya-Oh-Ohta-Ono defines an isomorphism onto a suitable Jacobian ring. The proof is…
We study the strength of axioms needed to prove various results related to automata on infinite words and B\"uchi's theorem on the decidability of the MSO theory of $(N, {\le})$. We prove that the following are equivalent over the weak…
In this paper, we give a necessary and sufficient condition for the finiteness of Galois cohomology of unipotent groups over local fields of positive characteristic
We discuss the relative log minimal model theory for log surfaces in the analytic setting. More precisely, we show that the minimal model program, the abundance theorem, and the finite generation of log canonical rings hold for log pairs of…
By introducing a more flexible notion of convexity, we obtain a new Omori-Yau maximum principle for harmonic maps. In the spirit of the Calabi-Yau conjectures, this principle is more suitable for studying the unboundedness of certain…
A generalized Kochen-Specker theorem is proved. It is shown that there exist sets of $n$ projection operators, representing $n$ yes-no questions about a quantum system, such that none of the $2^n$ possible answers is compatible with sum…
Chevalley's theorem on the images of morphisms of schemes and the principle of quantifier elimination for the theory of algebraically closed fields are widely understood to be two perspectives on the same theorem. In this paper, we…
Over a global field (number field or function field of a curve over a finite field), theorems for the Galois cohomology of algebraic groups have long been known. For $F$ the function field of a curve over the formal series field…