Almost complex structure and the quotient four-manifold by an anti-symplectic involution

Suppose that X is a closed, symplectic four-manifold with an anti-symplectic involution σ and its two-dimensional fixed point set. We show that the quotient X/σ admits no almost complex structure if .As a partial converse if X is simply-connected and , then the X/σ admits an almost complex structure.Also we show that the quotient X/σ admits an almost complex structure if X is Kähler and .     

Separators of points on algebraic surfaces

For a finite set of points X⊆Pⁿ and for a given point P∈X, the notion of a separator of P in X (a hypersurface containing all the points in X except P) and of the degree of P in X, (the minimum degree of these separators) has been largely studied. In this paper we extend these notions to a set of points X on a projectively normal surface S⊆Pⁿ, considering as separators arithmetically Cohen-Macaulay curves and generalizing the case S=P² in a natural way. We denote the minimum degree of such curves as and we study its relation to . We prove that if S is a variety of minimal degree these two terms are explicitly related by a formula, whereas only an inequality holds for other kinds of surfaces.     

Densité de points et minoration de hauteur

We obtain a lower bound for the normalised height of a non-torsion subvariety V of a C.M. abelian variety. This lower bound is optimal in terms of the geometric degree of V, up to a power of a “log”. We thus extend the results of Amoroso and David on the same problem on a multiplicative group . We prove furthermore that the optimal lower bound (conjectured by David and Philippon) is a corollary of the conjecture of David and Hindry on the abelian Lehmer's problem. We deduce these results from a density theorem on the non-torsion points of V.     

The alternating groups and K3 surfaces

In this note, we consider all possible extensions G of a non-trivial perfect group H acting faithfully on a K3 surface X. The pair (X,G) is proved to be uniquely determined by G if the transcendental value of G is maximum. In particular, we have , if H is the alternating group A₅ and normal in G.     

Connections on modules over singularities of finite CM representation type

Let A be a commutative k-algebra, where k is an algebraically closed field of characteristic 0, and let M be an A-module. We consider the following question: Under what conditions is it possible to find a connection on M?We consider the maximal Cohen-Macaulay (MCM) modules over complete CM algebras that are isolated singularities, and usually assume that the singularities have finite CM representation type. It is known that any MCM module over a simple singularity of dimension d≤2 admits an integrable connection. We prove that an MCM module over a simple singularity of dimension d≥3 admits a connection if and only if it is free. Among singularities of finite CM representation type, we find examples of curves with MCM modules that do not admit connections, and threefolds with non-free MCM modules that admit connections.Let A be a singularity not necessarily of finite CM representation type, and consider the condition that A is a Gorenstein curve or a -Gorenstein singularity of dimension d≥2. We show that this condition is sufficient for the canonical module ω_A to admit an integrable connection, and conjecture that it is also necessary. In support of the conjecture, we show that if A is a monomial curve singularity, then the canonical module ω_A admits an integrable connection if and only if A is Gorenstein.     

The realization of hyperelliptic curves through endomorphisms of Kronecker modules

Let K be an algebraically closed field and A the Kronecker algebra over K. A general problem is to study the endomorphism algebras of A-modules M that are extensions of finite-dimensional, torsion-free, rank-one A-modules P, by infinite-dimensional, torsion-free, rank-one A-modules N. Such endomorphism algebras can be studied by means of a quadratic polynomial f(Y) in one variable Y over the rational function field K(X). We call this f(Y) the regulator of the extension. We prove that if the regulator has non-zero discriminant, then is a Noetherian, commutative K-algebra. We also prove that, subject to a regulator with non-zero discriminant, is affine over K if and only if End N is affine, in which case is the coordinate ring of a hyperelliptic curve.     

Normally generated line bundles on general curves

Let L be a very ample line bundle of degree d on a general curve X of genus g≥2. Here we prove that if then L is globally generated, i.e. L embeds X as a projectively normal curve in PH⁰(L).     

Approximation diophantienne sur les variétés semi-abéliennes

Let A be a semi-abelian variety over , Γ a subgroup of of finite rank and X a subvariety of A which is not a translate of a semi-abelian subvariety of A. Work by P. Vojta and M. McQuillan shows that is not dense in X. B. Poonen has then conjectured that the same remains true if Γ is replaced by a fattening for a certain ε>0 where h is a canonical height. B. Poonen and S. Zhang have shown independently this to hold when A is almost split. On the other hand, the statement contains the Bogomolov property (with Γ=0) now proven by S. David and P. Philippon. In this paper, we prove Poonen's conjecture for any A. We also consider the slightly more general sets instead of Γ_ε. We use the case Γ=0 as well as a generalized Vojta inequality.     

Projective modules over smooth, affine varieties over Archimedean real closed fields

Let be a smooth, affine variety of dimension n≥2 over the field R of real numbers. Let P be a projective A-module of such that its nth Chern class is zero. In this set-up, Bhatwadekar-Das-Mandal showed (amongst many other results) that P?A⊕Q in the case that either n is odd or the topological space X(R) of real points of X does not have a compact, connected component. In this paper, we prove that similar results hold for smooth, affine varieties over an Archimedean real closed field .     

Graded polynomial identities and codimensions: Computing the exponential growth

Let G be a finite abelian group and A a G-graded algebra over a field of characteristic zero. This paper is devoted to a quantitative study of the graded polynomial identities satisfied by A. We study the asymptotic behavior of , n=1,2,…, the sequence of graded codimensions of A and we prove that if A satisfies an ordinary polynomial identity, exists and is an integer. We give an explicit way of computing such integer by proving that it equals the dimension of a suitable finite dimension semisimple G×Z₂-graded algebra related to A.     

Open selections on smooth fans

Given a dendroid X, an open selection is an open map such that s(A)∈A for every A∈C(X). We show that a smooth fan X admits an open selection if and only if X is locally connected.     

On complete subsets of the cyclic group

A subset X of an abelian G is said to be complete if every element of G can be expressed as a nonempty sum of distinct elements from X.Let A⊂Zn be such that all the elements of A are coprime with n. Solving a conjecture of Erd?s and Heilbronn, Olson proved that A is complete if n is a prime and if . Recently Vu proved that there is an absolute constant c, such that for an arbitrary large n, A is complete if , and conjectured that 2 is essentially the right value of c.We show that A is complete if , thus proving the last conjecture.     

Operators on the space of vector-valued totally measurable functions

Let L(X,Y) stand for the space of all bounded linear operators between real Banach spaces X and Y, and let Σ be a σ-algebra of sets. A bounded linear operator T from the Banach space B(Σ,X) of X-valued Σ-totally measurable functions to Y is said to be σ-smooth if ‖T(fn)Y_‖→0 whenever a sequence of scalar functions (‖fn(⋅)X_‖) is order convergent to 0 in B(Σ). It is shown that a bounded linear operator is σ-smooth if and only if its representing measure is variationally semi-regular, i.e., as An↓∅ (here stands for the semivariation of m on A∈Σ). As an application, we show that the space Lσs(B(Σ,X),Y) of all σ-smooth operators from B(Σ,X) to Y provided with the strong operator topology is sequentially complete. We derive a Banach-Steinhaus type theorem for σ-smooth operators from B(Σ,X) to Y. Moreover, we characterize countable additivity of measures in terms of continuity of the corresponding operators .     

The transitivity of induced maps

For a metric continuum X, we consider the hyperspaces X² and C(X) of the closed and nonempty subsets of X and of subcontinua of X, respectively, both with the Hausdorff metric. For a given map we investigate the transitivity of the induced maps and . Among other results, we show that if X is a dendrite or a continuum of type λ and is a map, then C(f) is not transitive. However, if X is the Hilbert cube, then there exists a transitive map such that f² and C(f) are transitive.     

The inversion formula for automorphisms of the Weyl algebras and polynomial algebras

Let A_n be the nth Weyl algebra and P_m be a polynomial algebra in m variables over a field K of characteristic zero. The following characterization of the algebras {A_n⊗P_m} is proved: an algebraAadmits a finite setδ₁,…,δ_sof commuting locally nilpotent derivations with generic kernels andiffA?A_n⊗P_mfor somenandmwith2n+m=s, and vice versa. The inversion formula for automorphisms of the algebra A_n⊗P_m (and for ) has been found (giving a new inversion formula even for polynomials). Recall that (see [H. Bass, E.H. Connell, D. Wright, The Jacobian Conjecture: Reduction of degree and formal expansion of the inverse, Bull. Amer. Math. Soc. (New Series) 7 (1982) 287-330]) given, then (the proof is algebro-geometric). We extend this result (using [non-holonomic] D-modules): given, then. Any automorphism is determined by its face polynomials [J.H. McKay, S.S.-S. Wang, On the inversion formula for two polynomials in two variables, J. Pure Appl. Algebra 52 (1988) 102-119], a similar result is proved for .One can amalgamate two old open problems (the Jacobian Conjecture and the Dixmier Problem, see [J. Dixmier, Sur les algèbres de Weyl, Bull. Soc. Math. France 96 (1968) 209-242. [6]] problem 1) into a single question, (JD): is aK-algebra endomorphismσ:A_n⊗P_m→A_n⊗P_man algebra automorphism providedσ(P_m)⊆P_mand? (P_m=K[x₁,…,x_m]). It follows immediately from the inversion formula that this question has an affirmative answer iff both conjectures have (see below) [iff one of the conjectures has a positive answer (as follows from the recent papers [Y. Tsuchimoto, Endomorphisms of Weyl algebra and p-curvatures, Osaka J. Math. 42(2) (2005) 435-452. [10]] and [A. Belov-Kanel, M. Kontsevich, The Jacobian conjecture is stably equivalent to the Dixmier Conjecture. ArXiv:math.RA/0512171. [5]])].     

Independence of ? in Lafforgue's theorem

Let X be a smooth curve over a finite field of characteristic p, let ?≠p be a prime number, and let be an irreducible lisse -sheaf on X whose determinant is of finite order. By a theorem of L. Lafforgue, for each prime number ?′≠p, there exists an irreducible lisse -sheaf on X which is compatible with , in the sense that at every closed point x of X, the characteristic polynomials of Frobenius at x for and are equal. We prove an “independence of ?” assertion on the fields of definition of these irreducible ?′-adic sheaves : namely, that there exists a number field F such that for any prime number ?′≠p, the -sheaf above is defined over the completion of F at one of its ?′-adic places.     

More on almost self-complementary graphs

A graph X is called almost self-complementary if it is isomorphic to one of its almost complements , where denotes the complement of X and I a perfect matching (1-factor) in . If I is a perfect matching in and is an isomorphism, then the graph X is said to be fairly almost self-complementary if φ preserves I setwise, and unfairly almost self-complementary if it does not.In this paper we construct connected graphs of all possible orders that are fairly and unfairly almost self-complementary, fairly but not unfairly almost self-complementary, and unfairly but not fairly almost self-complementary, respectively, as well as regular graphs of all possible orders that are fairly and unfairly almost self-complementary.Two perfect matchings I and J in are said to be X-non-isomorphic if no isomorphism from X+I to X+J induces an automorphism of X. We give a constructive proof to show that there exists a graph X that is almost self-complementary with respect to two X-non-isomorphic perfect matchings for every even order greater than or equal to four.