Related papers: Kobayashi-Ochiai's theorem for log schemes

Using the approach of Kurokawa, Ochiai, and Wakayama to 'absolute mathematics' we define a corresponding notion of schemes.

We show that for finite groups the Loday assembly map with coefficients in finite fields is in general not injective.

We study the hyperbolicity of the log variety $(\mathbb{P}^n, X)$, where $X$ is a very general hypersurface of degree $d\geq 2n+1$ (which is the bound predicted by the Kobayashi conjecture). Using a positivity result for the sheaf of…

We investigate the logical strength of the cohesiveness principle when restricted to finite sequences of sets, denoted by fin-COH, over different base theories. Our main result shows that fin-COH entails $I\Sigma_1^0$ over the weaker base…

This paper treats the generalized quantum group $U=U(\chi,\pi)$ with a bi-homomorphism $\chi$ for which the corresponding generalized root system is a finite set. We establish a Harish-Chandra type theorem describing the (skew) center of…

This paper works on the structure of infinitely connected Fatou damains of rational maps in terms of Koebe uniformization. Due to the complicated boundary behavior, the existing uniformization results are failed to apply in general. We…

We prove a Thullen type extension theorem of plurisubharmonic functions across a closed complete pluripolar set, which generalizes a theorem of Siu. Our approach depends on an Ohsawa-Takegoshi type extension theorem for a single point in a…

One proves a far-reaching upper bound for the degree of a generically finite rational map between projective varieties over a base field of arbitrary characteristic. The bound is expressed as a product of certain degrees that appear…

In this paper, we prove that in any projective manifold, the complements of general hypersurfaces of sufficiently large degree are Kobayashi hyperbolic. We also provide an effective lower bound on the degree. This confirms a conjecture by…

In this paper we give a factorization theorem for the ring of exponential polynomials in many variables over an algebraically closed field of characteristic 0 with an exponentiation. This is a generalization of the factorization theorem due…

We show that Ramsey theory, a domain presently conceived to guarantee the existence of large homogeneous sets for partitions on k-tuples of words (for every natural number k) over a finite alphabet, can be extended to one for partitions on…

Integral Cauchy theorem is used to derive closed-form expressions of the roots of a univariate polynomial of any degree as integrals of elementary functions.

One considers the behavior of the degree of a rational map under specialization of the coefficients of the defining linear system. The method rests on the classical idea of Kronecker as applied to the context of projective schemes and their…

We introduce the notion of a relative log scheme with boundary: a morphism of log schemes together with a (log schematically) dense open immersion of its source into a third log scheme. The sheaf of relative log differentials naturally…

Generalizing work of Smith and Hara, we give a new characterization of log-terminal singularities for finitely generated algebras over $\mathbb C$, in terms of purity properties of ultraproducts of characteristic $p$ Frobenii. The first…

A fundamental result in representation theory is Kostant's theorem which describes the algebra of polynomials on a reductive Lie algebra as a module over its invariants. We prove a quantum analogue of this theorem for the general linear…

We present a category theoretical generalization of the Goussarov theorem for finite type invariants, relating generating sets for generalized finite type theories with diagrams systems for the corresponding topological objects. We will…

K\"onig's lemma is a fundamental result about trees with countless applications in mathematics and computer science. In contrapositive form, it states that if a tree is finitely branching and well-founded (i.e. has no infinite paths), then…

We develop the K-theory of sets with an action of a pointed monoid (or monoid scheme), analogous to the $K$-theory of modules over a ring (or scheme). In order to form localization sequences, we construct the quotient category of a nice…

It is argued that the two problems of choosing characterizations and models of complex systems should not be considered independently. A particular criterion for these choices, oriented on the potential usefulness of the results, is…