Related papers: Kobayashi-Ochiai's theorem for log schemes
In this paper, we prove a Lefschetz-Riemann-Roch theorem for singular projective schemes which admit diagonalisable group scheme actions, this result generalizes P. Baum, W. Fulton and G. Quart's Lefschetz-Riemann-Roch theorem for singular…
Lie systems form a class of systems of first-order ordinary differential equations whose general solutions can be described in terms of certain finite families of particular solutions and a set of constants, by means of a particular type of…
We provide a geometric condition ensuring that a very general element of a complete linear system on an abelian variety is Kobayashi hyperbolic. Some related conjectures are also given.
This paper introduces a reformulation of the classical convergence theorem for spectral sequences of filtered complexes which provides an algorithm to effectively compute the induced filtration on the total (co)homology, as soon as the…
We study logarithmic jet schemes of a log scheme and generalize a theorem of M. Mustata from the case of ordinary jet schemes to the logarithmic case. If X is a normal local complete intersection log variety, then X has canonical…
The main purpose of this paper is to make Nakayama's theorem more accessible. We give a proof of Nakayama's theorem based on the negative definiteness of intersection matrices of exceptional curves. In this paper, we treat Nakayama's…
A logic is presented for reasoning on iterated sequences of formulae over some given base language. The considered sequences, or "schemata", are defined inductively, on some algebraic structure (for instance the natural numbers, the lists,…
In this article, we introduce the generalized complexity of a generalized Calabi--Yau pair $(X,B,\textbf{M})$. This invariant compares the dimension of $X$ and Picard rank of $X$ with the sum of the coefficients of $B$ and $\textbf{M}$. It…
In this note we generalize Nori's definition of the fundamental group scheme from a rational point to an arbitrary base point so that when we take $X$ to be a field $k$ and the point to be $k\subseteq \bar{k}$ we still get a non trivial…
We prove a quantitative version of Oppenheim's conjecture for generic ternary indefinite quadratic forms. Our results are inspired by and analogous to recent results for diagonal quadratic forms due to Bourgain.
In the present paper, we prove the retract rationality of the classifying spaces $BG$ for several types of finite connected group schemes $G$ over algebraically closed fields of positive characteristic $p>0$. In particular, we prove the…
We study otopy classes of equivariant local maps and prove the Hopf type theorem for such maps in the case of a real finite dimensional orthogonal representation of a compact Lie group.
We give a bound for the number of rational maps between algebraic varieties of general type under mild hypothesis on the canonical map. We use an idea inspired by Tanabe's work. Instead of attaching a morphism of Hodge structures to a…
We generalize Araki's log-majorization to the log-convexity theorem for the eigenvalues of $\Phi(A^p)^{1/2}\Psi(B^p)\Phi(A^p)^{1/2}$ as a function of $p\ge0$, where $A,B$ are positive semidefinite matrices and $\Phi,\Psi$ are positive…
We show, using basic Morita equivalences between block algebras of finite groups, that the Conjecture of H. Sasaki from [9] is true for a new class of blocks called nilpotent covered blocks. When this Conjecture is true we define some…
We establish Thom's jet transversality theorem for regular maps from an affine algebraic manifold to an algebraic manifold satisfying a suitable flexibility condition. It can be considered as the algebraic version of Forstneri\v{c}'s jet…
We define train track maps for graphs-of-groups $\cal G$ and exhibit the precise conditions under which the fundamental finiteness properties known for classical train track maps extend to this generalization. These finiteness properties…
In this article, we analyze the connection between the Log De Rham Cohomology of an fs (not necessary log smooth) log scheme $Y$ over $\mathbb C$ (for $Y$ admitting an exact closed immersion into an fs log smooth log scheme over $\mathbb…
In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…
We generalize a recent result of Clausen: For a number field with integers O, we compute the K-theory of locally compact O-modules. For the rational integers this recovers Clausen's result as a special case. Our method of proof is quite…