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

We develop a novel formal theory of finite structures, based on a view of finite structures as a fundamental artifact of computing and programming, forming a common platform for computing both within particular finite structures, and in the…

In contrast to the abundance of "direct" Ramsey results for classes of finite structures (such as finite ordered graphs, finite ordered metric spaces and finite posets with a linear extension), in only a handful of cases we have a…

We prove a theorem of Tits type for automorphism groups of projective varieties over an algebraically closed field of arbitrary characteristic, which was first conjectured by Keum, Oguiso and Zhang for complex projective varieties.

We propose a sufficient condition of the convergence of a power-log series that formally satisfies an algebraic ordinary differential equation (ODE) of arbitrary order. A general form and properties of the functional coefficients of such a…

This note contains a new proof of a theorem of Gang Xiao saying that the bicanonical map of a surface S of general type is generically finite if and only if the second plurigenus of S is strictly larger than 2. Such properties are also…

Estimates of the Kobayashi metric in the normal direction are used to study the mapping problem in several complex variables.

In this paper we describe the fundamental group-scheme of a proper variety fibered over an abelian variety with rationally connected fibers over an algebraically closed field. We use old and recent results for the Nori fundamental…

This paper gives the most general form of the Adler-Kostant-Symes Theorem, and many applications of it, both finite and infinite dimensional, the former yielding algebraic completely integrable (a.c.i.) systems, and the latter examples in…

Higher-order unification has been shown to be undecidable. Miller discovered the pattern fragment and subsequently showed that higher-order pattern unification is decidable and has most general unifiers. We extend the algorithm to…

In this paper, we find bounds for the eigenvalues of matrix polynomials. In particular, we find generalizations of Cauchy's classical Theorem for distribution of eigenvalues of matrix polynomial.

We take the first step in the development of an equivariant version of modern, Gromov-style Oka theory. We define equivariant versions of the standard Oka property, ellipticity, and homotopy Runge property of complex manifolds, show that…

We prove that the space of dominant/non-constant holomorphic mappings from a product of hyperbolic Riemann surfaces of finite type into certain hyperbolic manifolds with universal cover a bounded domain is a finite set.

K. Kato's conjecture about the cohomological Hasse principle for regular connected schemes $\mathfrak X$ which are flat and proper over the complete discrete valuation rings $\mathcal O_N$ of higher local fields $F_N$ is proven. This…

In the paper we prove (modulo the classification of finite simple groups) an analogue of the famous Baer-Suzuki theorem for the $\pi$-radical of a finite group, where $\pi$ is a set of primes

For bounded pseudoconvex domains with finite type we give a precise description of the automorphism group: if an orbit of the automorphism group accumulates on at least two different points of the boundary, then the automorphism group has…

We present a sharpened version of the Cohen-Gabber theorem for equicharacteristic, complete local domains (A,m,k) with algebraically closed residue field and dimension d > 0. Namely, we show that for any prime number p, Spec(A) admits a…

The Jordan-H\"older Theorem is a general term given to a collection of theorems about maximal chains in suitably nice lattices. For example, the well-known Jordan-H\"older type theorem for chief series of finite groups has been rather…

Assuming the Generalized Riemann Hypothesis, the authors study when a character sum over all n <= x is o(x); they show that this holds if log x / log log q -> infinity and q -> infinity (q is the size of the finite field).

Let $P$ be a minimal parabolic subgroup of a real reductive Lie group $G$ and $H$ a closed subgroup of $G$. Then it is proved by T. Kobayashi and T. Oshima that the regular representation $C^{\infty}(G/H)$ contains each irreducible…

We develop a theory of k-partitions of the set of infinite words recognizable by classes of finite automata. The theory enables to complete proofs of existing results about topological classifications of the (aperiodic) omega-regular…