Related papers: Un th\'eor\`eme de Bloch presque complexe

We deal with an iteration theorem of forcing notion with a kind of countable support of nice enough forcing notion which is proper aleph_2-c.c. forcing notions. We then look at some special cases (Q_D 's preceded by random forcing).

We introduce the notion of being Weihrauch-complete for layerwise computability and provide several natural examples related to complex oscillations, the law of the iterated logarithm and Birkhoff's theorem. We also consider hitting time…

An approach is shown that proves various theorems of plane geometry in an algorithmic manner. The approach affords transparent proofs of a generalization of the Theorem of Morley and other well known results by casting them in terms of…

Approximations to the Kruskal-Katona theorem are stated and proven. These approximations are weaker than the theorem, but much easier to work with numerically.

We prove an explicit Chinese Remainder Theorem for one variable polynomials with complex coefficients, and derive some consequences.

We give a remarkably elementary proof of the Brouwer fixed point theorem. The proof is verifiable for most of the mathematicians.

In this note we give two proofs of Brooks' Theorem. The first is obtained by modifying an earlier proof and the second by combining two earlier proofs. We believe these proofs are easier to teach in Computer Science courses.

Using Langer's variation on the Bogomolov-Miyaoka-Yau inequality \cite[Theorem 0.1]{Langer} we provide some Hirzebruch-type inequalities for curve arrangements in the complex projective plane.

We present a necessary and sufficient condition for the topological equivalence of a continuous function on a plane to a projection onto one of coordinates.

We prove a generalization of Lopes's theorem, that is, of the converse of Brolin's theorem.

In this PhD thesis, we give a new geometric approach to higher Teichm\"uller theory. In particular we construct a geometric structure on surfaces, generalizing the complex structure, and we explore its link to Hitchin components. The…

We consider the bit complexity of computing Chow forms and their generalization to multiprojective spaces. We develop a deterministic algorithm using resultants and obtain a single exponential complexity upper bound. Earlier computational…

The semiclassical approximation for electron wave-packets in crystals leads to equations which can be derived from a Lagrangian or, under suitable regularity conditions, in a Hamiltonian framework. In the plane, these issues are studied %in…

We prove an infinitary version of the Brauer-Schur theorem.

We study the compactness of sequences of diffeomorphisms in almost complex manifolds in terms of the direct images of the standard integrable structure.

We use a Lie algebraic technique to construct complex quasi exactly solvable potentials with real spectrum. In particular we obtain exact solutions of a complex sextic oscillator potential and also a complex potential belonging to the Morse…

In this paper, we prove that Bloch's conjecture holds for all smooth, complex, projective surfaces with $p_g=q=0$ and $K^2=9$.

We give a survey of the incredibly beautiful amount of geometry involved with the problem of realizing a projective variety as hyperplane section of another variety.

We study \L o\'s's theorem in a choiceless context. We introduce some variants of \L o\'s's theorem. These variants seem weaker than \L o\'s's theorem, but we prove that these are equivalent to \L o\'s's theorem.

We explore connections between birational anabelian geometry and abstract projective geometry. One of the applications is a proof of a version of the birational section conjecture.