A Characterization Theorem and a Classification Theorem

Author(s):  
Benson Farb ◽  
Dan Margalit

This chapter explains and proves the Nielsen–Thurston classification of elements of Mod(S), one of the central theorems in the study of mapping class groups. It first considers the classification of elements for the torus of Mod(T² before discussing higher-genus analogues for each of the three types of elements of Mod(T². It then states the Nielsen–Thurston classification theorem in various forms, as well as a connection to 3-manifold theory, along with Thurston's geometric classification of mapping torus. The rest of the chapter is devoted to Bers' proof of the Nielsen–Thurston classification. The collar lemma is highlighted as a new ingredient, as it is also a fundamental result in the hyperbolic geometry of surfaces.


Author(s):  
M Pourmahdian ◽  
R Zoghifard

Abstract This paper provides some model-theoretic analysis for probability (modal) logic ($PL$). It is known that this logic does not enjoy the compactness property. However, by passing into the sublogic of $PL$, namely basic probability logic ($BPL$), it is shown that this logic satisfies the compactness property. Furthermore, by drawing some special attention to some essential model-theoretic properties of $PL$, a version of Lindström characterization theorem is investigated. In fact, it is verified that probability logic has the maximal expressive power among those abstract logics extending $PL$ and satisfying both the filtration and disjoint unions properties. Finally, by alternating the semantics to the finitely additive probability models ($\mathcal{F}\mathcal{P}\mathcal{M}$) and introducing positive sublogic of $PL$ including $BPL$, it is proved that this sublogic possesses the compactness property with respect to $\mathcal{F}\mathcal{P}\mathcal{M}$.


2010 ◽  
Vol 88 (1) ◽  
pp. 93-102 ◽  
Author(s):  
MARGARYTA MYRONYUK

AbstractLet X be a countable discrete abelian group with automorphism group Aut(X). Let ξ1 and ξ2 be independent X-valued random variables with distributions μ1 and μ2, respectively. Suppose that α1,α2,β1,β2∈Aut(X) and β1α−11±β2α−12∈Aut(X). Assuming that the conditional distribution of the linear form L2 given L1 is symmetric, where L2=β1ξ1+β2ξ2 and L1=α1ξ1+α2ξ2, we describe all possibilities for the μj. This is a group-theoretic analogue of Heyde’s characterization of Gaussian distributions on the real line.


2012 ◽  
Vol 2012 ◽  
pp. 1-17
Author(s):  
Yaning Wang ◽  
Ximin Liu

We introduce and study generalized transversal lightlike submanifold of indefinite Sasakian manifolds which includes radical and transversal lightlike submanifolds of indefinite Sasakian manifolds as its trivial subcases. A characteristic theorem and a classification theorem of generalized transversal lightlike submanifolds are obtained.


1975 ◽  
Vol s2-11 (4) ◽  
pp. 474-480 ◽  
Author(s):  
Allan L. Edmonds ◽  
Ronald J. Stern

2017 ◽  
Vol 28 (08) ◽  
pp. 1750063 ◽  
Author(s):  
Samuele Mongodi ◽  
Zbigniew Slodkowski ◽  
Giuseppe Tomassini

In a previous work, we classified weakly complete surfaces which admit a real analytic plurisubharmonic exhaustion function; we showed that, if they are not proper over a Stein space, then they admit a pluriharmonic function, with compact Levi-flat level sets foliated with dense complex leaves. We called these Grauert type surfaces. In this note, we investigate some properties of these surfaces. Namely, we prove that the only compact curves that can be contained in them are negative in the sense of Grauert and that the level sets of the pluriharmonic function are connected, thus completing the analogy with the Cartan–Remmert reduction of a holomorphically convex space. Moreover, in our classification theorem, we had to pass to a double cover to produce the pluriharmonic function; the last part of the present paper is devoted to the construction of an example where passing to a double cover cannot be avoided.


Sign in / Sign up

Export Citation Format

Share Document