Semisimple group actions on the three dimensional affine space are linear.
Let be a smooth projective curve of genus defined over an algebraically closed field of characteristic . Given a semistable vector bundle over , we show that its direct image under the Frobenius map of is again semistable. We deduce a numerical characterization of the stable rank- vector bundles , where is a line bundle over .
The main result of this paper implies that if an abelian variety over a field has a maximal isotropic subgroup of -torsion points all of which are defined over , and , then the abelian variety has semistable reduction away from . This result can be viewed as an extension of Raynaud’s theorem that if an abelian variety and all its -torsion points are defined over a field and , then the abelian variety has semistable reduction away from . We also give information about the Néron models...
Experience shows that in geometric situations the separating ideal associated with two orderings of a ring measures the degree of tangency of the corresponding ultrafilters of semialgebraic sets. A related notion of separating ideals is introduced for pairs of valuations of a ring. The comparison of both types of separating ideals helps to understand how a point on a surface is approached by different half-branches of curves.
Given global semianalytic sets A and B, we define a minimal analytic set N such that Ā∖N and B̅∖N can be separated by an analytic function. Our statement is very similar to the one proved by Bröcker for semialgebraic sets.