Related papers: Un th\'eor\`eme de Bloch presque complexe
By using a selective filtration argument, we prove that the satisfiability problem of the unimodal logic of density is in $EXPTIME$. By using a tableau-like approach, we prove that the satisfiability problem of the bimodal logic of weak…
The assumptions needed to prove Cox's Theorem are discussed and examined. Various sets of assumptions under which a Cox-style theorem can be proved are provided, although all are rather strong and, arguably, not natural.
We analyze the degree-structure induced by large reducibilities under the Axiom of Determinacy. This generalizes the analysis of Borel reducibilities given in references [1], [6] and [5] e.g. to the projective levels.
In this article, we introduce $\omega$-Bach tensor corresponding to one form $\omega$ and correspondingly introduce almost $\omega$-Bach solitons, thereby generalizing the existing notion of Bach tensor and almost Bach solitons. We…
We consider the Bergman space on the complex plane. We prove an analogue of Schwarz's reflection principle for unbounded quasidisks.
We prove Bloch's formula for the Chow group of 0-cycles with modulus on a smooth quasi-projective surface over a field. We use this formula to give a simple proof of the rank one case of a conjecture of Deligne and Drinfeld on lisse…
We prove two theorems on cohomologically complete complexes. These theorems are inspired by, and yield an alternative proof of, a recent theorem of P. Schenzel on complete modules.
In this paper we describe all indecomposable two-term partial tilting complexes over a Brauer tree algebra with multiplicity 1 using a criterion for a minimal projective presentation of a module to be a partial tilting complex. As an…
The blob algebra is a finite-dimensional quotient of the Hecke algebra of type $B$ which is almost always quasi-hereditary. We construct the indecomposable tilting modules for the blob algebra over a field of characteristic $0$ in the…
We find an interpretation of the complex of variational calculus in terms of the Lie conformal algebra cohomology theory. This leads to a better understanding of both theories. In particular, we give an explicit construction of the Lie…
We develop a (co)algebraic framework to study a family of process calculi with monadic branching structures and recursion operators. Our framework features a uniform semantics of process terms and a complete axiomatisation of semantic…
In this paper we investigate the third homology of the projective special linear group ${\rm PSL}_2(A)$. As a result of our investigation we prove a projective refined Bloch-Wigner exact sequence over certain class of rings. The projective…
We explore possibilities and limitations of a purely topological approach to the Dvoretzky Theorem.
We discuss Nakamaye's Theorem and its recent extension to compact complex manifolds, together with some applications.
Our goal in the present paper is to give a new ergodic proof of a well-known Veech's result, build upon our previous works.
We establish for smooth projective real curves the equivalent of the classical Clifford inequality known for complex curves. We also study the cases when equality holds.
This paper presents a plausible reasoning system to illustrate some broad issues in knowledge representation: dualities between different reasoning forms, the difficulty of unifying complementary reasoning styles, and the approximate nature…
We study tensors on Lie groupoids suitably compatible with the groupoid structure, called {\em multiplicative}. Our main result gives a complete description of these objects only in terms of infinitesimal data. Special cases include the…
We study approximations of theories both in general context and with respect to some natural classes of theories. Some kinds of approximations are considered, connections with finitely axiomatizable theories and minimal generating sets of…
We establish a Liouville type theorem for some conformally invariant fully nonlinear equations