Compactifications of contractible affine 3-folds into smooth Fano 3-folds with <Emphasis Type="Italic">B</Emphasis><Subscript>2</Subscript>=2

After the contributions of Furushima, Nakayama, Peternell and Schneider, in 1993, Furushima [Fur93] finally succeeded in the classification of the compactifications of the affine 3-space into smooth Fano 3-folds with B₂=1. In this paper, we consider the compactifications of the contractible affine 3-folds X (not necessarily X=) into smooth Fano 3-folds V with B₂=2. Consequently, we classify all such compactifications X↪(V,D₁∪D₂) in the case where K_V+D₁+D₂ is not nef. Furthermore, we see that infinitely many mutually non-isomorphic exotic 's can be compactified into Fano 3-folds with B₂=2. This phenomenon never occurs when B₂=1. During this research the author was supported as a Twenty-First Century COE Kyoto Mathematics Fellow.     

The Terwilliger algebra of a distance-regular graph of negative type

Let Γ denote a distance-regular graph with diameter D?3. Assume Γ has classical parameters (D,b,α,β) with b<-1. Let X denote the vertex set of Γ and let A∈Mat_X(C) denote the adjacency matrix of Γ. Fix x∈X and let A^∗∈Mat_X(C) denote the corresponding dual adjacency matrix. Let T denote the subalgebra of Mat_X(C) generated by A,A^∗. We call T the Terwilliger algebra of Γ with respect to x. We show that up to isomorphism there exist exactly two irreducible T-modules with endpoint 1; their dimensions are D and 2D-2. For these T-modules we display a basis consisting of eigenvectors for A^∗, and for each basis we give the action of A.     

Effective non-vanishing of global sections of multiple adjoint bundles for polarized 3-folds

Let X be a smooth complex projective variety of dimension 3 and let L be an ample line bundle on X. In this paper, we provide a lower bound for h⁰(m(K_X+L)) under the assumption that κ(K_X+L)≥0. In particular, we get the following: (1) if 0≤κ(K_X+L)≤2, then h⁰(K_X+L)>0 holds. (2) If κ(K_X+L)=3, then h⁰(2(K_X+L))≥3 holds. Moreover we get a classification of (X,L) with κ(K_X+L)=3 and h⁰(2(K_X+L))=3 or 4.     

On the dimension of global sections of adjoint bundles for polarized 3-folds and 4-folds

Let (X,L) be a polarized manifold of dimension n defined over the field of complex numbers. In this paper, we treat the case where n=3 and 4. First we study the case of n=3 and we give an explicit lower bound for h⁰(K_X+L) if κ(X)≥0. Moreover, we show the following: if κ(K_X+L)≥0, then h⁰(K_X+L)>0 unless κ(X)=−∞ and h¹(O_X)=0. This gives us a partial answer of Effective Non-vanishing Conjecture for polarized 3-folds. Next for n=4 we investigate the dimension of H⁰(K_X+mL) for m≥2. If n=4 and κ(X)≥0, then a lower bound for h⁰(K_X+mL) is obtained. We also consider a conjecture of Beltrametti-Sommese for 4-folds and we can prove that this conjecture is true unless κ(X)=−∞ and h¹(O_X)=0. Furthermore we prove the following: if (X,L) is a polarized 4-fold with κ(X)≥0 and h¹(O_X)>0, then h⁰(K_X+L)>0.     

Irredundance, secure domination and maximum degree in trees

It is shown that the lower irredundance number and secure domination number of an n vertex tree T with maximum degree Δ?3, are bounded below by 2(n+1)/(2Δ+3)(T≠K_1,Δ) and (Δn+Δ-1)/(3Δ-1), respectively. The bounds are sharp and extremal trees are exhibited.     

Separable subspaces of affine function spaces on convex compact sets

Let K be a compact convex subset of a separated locally convex space (over R) and let Ap(K) denote the space of all continuous real-valued affine mappings defined on K, endowed with the topology of pointwise convergence on the extreme points of K. In this paper we shall examine some topological properties of Ap(K). For example, we shall consider when Ap(K) is monolithic and when separable compact subsets of Ap(K) are metrizable.     

Rigidity and moduli space in Real Algebraic Geometry

Let R be a real closed field and let X be an affine algebraic variety over R. We say that X is universally map rigid (UMR for short) if, for each irreducible affine algebraic variety Z over R, the set of nonconstant rational maps from Z to X is finite. A bijective map from an affine algebraic variety over R to X is called weak change of the algebraic structure of X if it is regular and φ⁻¹ is a Nash map, which preserves nonsingular points. We prove the following rigidity theorem: every affine algebraic variety over R is UMR up to a weak change of its algebraic structure. Let us introduce another notion. Let Y be an affine algebraic variety over R. We say that X and Y are algebraically unfriendly if all the rational maps from X to Y and from Y to X are trivial, i.e., Zariski locally constant. From the preceding theorem, we infer that, if dim (X)≥1, then there exists a set of weak changes of the algebraic structure of X such that, for each t,s ∈ R with t≠s, and are algebraically unfriendly. This result implies the following expected fact: For each (nonsingular) affine algebraic variety X over R of positive dimension, the natural Nash structure of X does not determine the algebraic structure of X. In fact, the moduli space of birationally nonisomorphic (nonsingular) affine algebraic varieties over R, which are Nash isomorphic to X, has the same cardinality of R. This result was already known under the special assumption that R is the field of real numbers and X is compact and nonsingular. The author is a member of GNSAGA of CNR, partially supported by MURST and European Research Training Network RAAG 2002–2006 (HPRN–CT–00271).     

A new topological degree theory for perturbations of the sum of two maximal monotone operators

Let X be an infinite dimensional real reflexive Banach space with dual space X^∗ and G⊂X, open and bounded. Assume that X and X^∗ are locally uniformly convex. Let T:X⊃D(T)→2^X∗ be maximal monotone and strongly quasibounded, S:X⊃D(S)→X^∗ maximal monotone, and C:X⊃D(C)→X^∗ strongly quasibounded w.r.t. S and such that it satisfies a generalized (S₊)-condition w.r.t. S. Assume that D(S)=L⊂D(T)∩D(C), where L is a dense subspace of X, and 0∈T(0),S(0)=0. A new topological degree theory is introduced for the sum T+S+C, with degree mapping d(T+S+C,G,0). The reason for this development is the creation of a useful tool for the study of a class of time-dependent problems involving three operators. This degree theory is based on a degree theory that was recently developed by Kartsatos and Skrypnik just for the single-valued sum S+C, as above.     

On the quasi-projectivity of compactifiable strongly pseudoconvex manifolds

We construct new examples of non-Kahlerian 1-convex threefolds X with exceptional set≅P₁ (resp. ≅F₂). Also the structure of Pic(X) will be studied. On the other hand, we shall investigate the quasi-projective structure of certain Kahlerian compactifiable 1-convex manifolds; particular attention will be given to 3-fold cases through concrete examples.     

Linear pencils on real algebraic curves

Our knowledge of linear series on real algebraic curves is still very incomplete. In this paper we restrict to pencils (complete linear series of dimension one). Let X denote a real curve of genus g with real points and let k(R) be the smallest degree of a pencil on X (the real gonality of X). Then we can find on X a base point free pencil of degree g+1 (resp. g if X is not hyperelliptic, i.e. if k(R)>2) with an assigned geometric behaviour w.r.t. the real components of X, and if we prove that which is the same bound as for the gonality of a complex curve of even genus g. Furthermore, if the complexification of X is a k-gonal curve (k≥2) one knows that k≤k(R)≤2k−2, and we show that for any two integers k≥2 and 0≤n≤k−2 there is a real curve with real points and k-gonal complexification such that its real gonality is k+n.     

On questions related to saturated chains of primes in polynomial rings

We propose to give positive answers to the open questions: is R(X,Y) strong S when R(X) is strong S? is R stably strong S (resp., universally catenary) when R[X] is strong S (resp., catenary)? in case R is obtained by a (T,I,D) construction. The importance of these results is due to the fact that this type of ring is the principal source of counterexamples. Moreover, we give an answer to the open questions: is R〈X₁,…,X_n〉 residually Jaffard (resp., totally Jaffard) when R(X₁,…,X_n) is ? We construct a three-dimensional local ring R such that R(X₁,…,X_n) is totally Jaffard (and hence, residually Jaffard) whereas R〈X₁,…,X_n〉 is not residually Jaffard (and hence, not totally Jaffard).     

Cube structures and intersection bundles

We define the notion of a hypercube structure on a functor between two commutative Picard categories which generalizes the notion of a cube structure on a G_m-torsor over an abelian scheme. We prove that the determinant functor of a relative scheme X/S of relative dimension n is canonically endowed with a (n+2)-cube structure. We use this result to define the intersection bundle I_X/S(L₁,…,L_n+1) of n+1 line bundles on X/S and to construct an additive structure on the functor I_X/S:PIC(X/S)ⁿ⁺¹→PIC(S). Then, we construct the resultant of n+1 sections of n+1 line bundles on X, and the discriminant of a section of a line bundle on X. Finally we study the relationship between the cube structures on the determinant functor and on the discriminant functor, and we use it to prove a polarization formula for the discriminant functor.     

Power integral bases for Selmer-like number fields

The Selmer trinomials are the trinomials f(X)∈{Xn−X−1,Xn+X+1|n>1 is an integer} over Z. For these trinomials we show that the ideal C=(f(X),f^′(X))Z[X] has height two and contains the linear polynomial (n−1)X+n. We then give several necessary and sufficient conditions for D[X]/(f(X)D[X]) to be a regular ring, where f(X) is an arbitrary polynomial over a Dedekind domain D such that its ideal C has height two and contains a product of primitive linear polynomials. We next specialize to the Selmer-like trinomials bXn+cX+d and bXn+cXn−1+d over D and give several more such necessary and sufficient conditions (among them is that C is a radical ideal). We then specialize to the Selmer trinomials over Z and give quite a few more such conditions (among them is that the discriminant Disc(Xn−X−1)=±(nn−(1−n)ⁿ⁻¹) of Xn−X−1 is square-free (respectively Disc(Xn+X+1)=±(nn+(1−n)ⁿ⁻¹) of Xn+X+1 is square-free)). Finally, we show that nn+(1−n)ⁿ⁻¹ is never square-free when n≡2 (mod 3) and n>2, but, otherwise, both are very often (but not always) square-free.     

Rationality problem of GL4 group actions

Let K be any field which may not be algebraically closed, V be a four-dimensional vector space over K, σ∈GL(V) where the order of σ may be finite or infinite, f(T)∈K[T] be the characteristic polynomial of σ. Let α, αβ₁, αβ₂, αβ₃ be the four roots of f(T)=0 in some extension field of K.Theorem 1.BothK(V)^〈σ〉andare rational (=purelytranscendental) overKif at least one of the following conditions is satisfied: (i) charK=2, (ii) f(T) is a reducible or inseparable polynomial inK[T], (iii) not all ofβ₁,β₂,β₃are roots of unity, (iv) iff(T) is separable irreducible, then the Galois group off(T) overKis not isomorphic to the dihedral group of order 8 or the Klein four group.Theorem 2.Suppose that allβ_iare roots of unity andf(T)∈K[T] is separable irreducible. (a) If the Galois group off(T) is isomorphic to the dihedral group of order 8, then bothK(V)^〈σ〉andare not stably rational overK. (b) When the Galois group off(T) is isomorphic to the Klein four group, then a necessary and sufficient condition for rationality ofK(V)^〈σ〉andis provided. (See Theorem 1.5. for details.)     

Discriminant loci of ample and spanned line bundles

Let (X,L,V) be a triplet where X is an irreducible smooth complex projective variety, L is an ample and spanned line bundle on X and V⊆H⁰(X,L) spans L. The discriminant locus D(X,V)⊂|V| is the algebraic subset of singular elements of |V|. We study the components of D(X,V) in connection with the jumping sets of (X,V), generalizing the classical biduality theorem. We also deal with the degree of the discriminant (codegree of (X,L,V)) giving some bounds on it and classifying curves and surfaces of codegree 2 and 3. We exclude the possibility for the codegree to be 1. Significant examples are provided.     

The derived category of quasi-coherent sheaves and axiomatic stable homotopy

We prove in this paper that for a quasi-compact and semi-separated (nonnecessarily noetherian) scheme X, the derived category of quasi-coherent sheaves over X, D(Aqc(X)), is a stable homotopy category in the sense of Hovey, Palmieri and Strickland, answering a question posed by Strickland. Moreover we show that it is unital and algebraic. We also prove that for a noetherian semi-separated formal scheme X, its derived category of sheaves of modules with quasi-coherent torsion homologies Dqct(X) is a stable homotopy category. It is algebraic but if the formal scheme is not a usual scheme, it is not unital, therefore its abstract nature differs essentially from that of the derived category Dqc(X) (which is equivalent to D(Aqc(X))) in the case of a usual scheme.     

A note on the Jacobian Conjecture

In this note, we show that, if the Druzkowski mappings F(X)=X+(AX)^∗3, i.e. F(X)=(x₁+(a₁₁x₁+?+a_1nx_n)³,…,x_n+(a_n1x₁+?+a_nnx_n)³), satisfies TrJ((AX)^∗3)=0, then where δ is the number of diagonal elements of A which are equal to zero. Furthermore, we show the Jacobian Conjecture is true for the Druzkowski mappings in dimension ?9 in the case .     

Transitive points via Furstenberg family

Let (X,T) be a topological dynamical system and F be a Furstenberg family (a collection of subsets of Z₊ with hereditary upward property). A point x∈X is called an F-transitive one if {n∈Z₊:Tnx∈U}∈F for every non-empty open subset U of X; the system (X,T) is called F-point transitive if there exists some F-transitive point. In this paper, we aim to classify transitive systems by F-point transitivity. Among other things, it is shown that (X,T) is a weakly mixing E-system (resp. weakly mixing M-system, HY-system) if and only if it is {D-sets}-point transitive (resp. {central sets}-point transitive, {weakly thick sets}-point transitive).It is shown that every weakly mixing system is Fip-point transitive, while we construct an Fip-point transitive system which is not weakly mixing. As applications, we show that every transitive system with dense small periodic sets is disjoint from every totally minimal system and a system is Δ^?(Fwt)-transitive if and only if it is weakly disjoint from every P-system.     

TW-domains and Strong Mori domains

In this paper we are mainly concerned with TW-domains, i.e., domains in which the w- and t-operations coincide. Precisely, we investigate possible connections with related well-known classes. We characterize the TW-property in terms of divisoriality for Mori domains and Noetherian domains. Specifically, we prove that a Mori domain R is a TW-domain if and only if R_M is a divisorial domain for each t-maximal ideal M of R. It turns out that a Mori domain which is a TW-domain is a Strong Mori domain. The last section examines the transfer of the “TW-domain” and “Strong Mori” properties to pullbacks, in order to provide some original examples.     

On the homogeneous algebraic graphs of large girth and their applications

Families of finite graphs of large girth were introduced in classical extremal graph theory. One important theoretical result here is the upper bound on the maximal size of the graph with girth ?2d established in Even Circuit Theorem by P. Erdös. We consider some results on such algebraic graphs over any field. The upper bound on the dimension of variety of edges for algebraic graphs of girth ?2d is established. Getting the lower bound, we use the family of bipartite graphs D(n,K) with n?2 over a field K, whose partition sets are two copies of the vector space Kⁿ. We consider the problem of constructing homogeneous algebraic graphs with a prescribed girth and formulate some problems motivated by classical extremal graph theory. Finally, we present a very short survey on applications of finite homogeneous algebraic graphs to coding theory and cryptography.