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.     

Classification of Ideals of Homeomorphism C*-Algebras and Quasidiagonality of Their Quotient Algebras

For the homeomorphism C*-algebra A(Σ) arising from a topological dynamical system Σ=(X,σ) where σ is a homeomorphism on an arbitrary compact Hausdorff space X, we first give detailed classification of its closed ideals into four classes. In case when X is a compact metric space, we then determine the conditions when the quotient algebras of A(Σ) become quasidiagonal. The case of A(Σ) itself was treated by M. Pimsner.     

On the Existence of a Compact Generator on the Derived Category of a Noetherian Formal Scheme

In this paper, we prove that for a noetherian formal scheme \mathfrak X\mathfrak X, its derived category of sheaves of modules with quasi-coherent torsion homologies D_qct(\mathfrak X)\boldsymbol{\mathsf{D}}_\mathsf{qct}(\mathfrak X) is generated by a single compact object. In an Appendix we prove that the category of compact objects in D_qct(\mathfrak X)\boldsymbol{\mathsf{D}}_\mathsf{qct}(\mathfrak X) is skeletally small.     

The total reducibility order of a polynomial in two variables

LetK be an algebraically closed field of characteristic zero. ForA ∈K[x, y] let σ(A) = {λ ∈K:A − λ is reducible}. For λ ∈ σ(A) letA − λ = ∏ _i=1 ^n(λ) A _iλ ^k _μ whereA _iλ are distinct primes. Let ϱ_λ(A) =n(λ) − 1 and let ρ(A) = Σ_λɛσ(A)ϱ_λ(A). The main result is the following: Theorem.If A ∈ K[x, y] is not a composite polynomial, then ρ(A) < degA.     

Relative homological algebra in the category of quasi-coherent sheaves

In this paper, we prove the existence of a flat cover and of a cotorsion envelope for any quasi-coherent sheaf over a scheme (X,O_X). Indeed we prove something more general. We define what it is understood by the category of quasi-coherent R-modules, where R is a representation by rings of a quiver Q, and we prove the existence of a flat cover and a cotorsion envelope for quasi-coherent R-modules. Then we use the fact that the category of quasi-coherent sheaves on (X,O_X) is equivalent to the category of quasi-coherent R-modules for some Q and R to get our result.     

On equalities for BLUEs under misspecified Gauss-Markov models

This paper studies relationships between the best linear unbiased estimators （BLUEs） of an estimable parametric functions Kβunder the Gauss-Markov model {y, Xβ, σ^2]E} and its misspecified model {y, X0β,σ^2∑0}. In addition, relationships between BLUEs under a restricted Gauss Markov model and its misspecified model are also investigated.     

Dualizing complexes and perverse sheaves on noncommutative ringed schemes

A quasi-coherent ringed scheme is a pair (X, $$ \mathcal{A} $$), where X is a scheme, and $$ \mathcal{A} $$ is a noncomutative quasi-coherent $$ \mathcal{O}_X $$ -ring. We introduce dualizing complexes over quasi-coherent ringed schemes and study their properties. For a separated differential quasi-coherent ringed scheme of finite type over a field, we prove existence and uniqueness of a rigid dualizing complex. In the proof we use the theory of perverse coherent sheaves in order to glue local pieces of the rigid dualizing complex into a global complex.     

Properties of cellular classes of chain complexes

In this paper we prove certain properties of cellular and acyclic classes of chain complexes of modules over a commutative Noetherian ring. In particular, we show that if X is finite and belongs to some cellular class C, then Σ ⁿ H _n X also belongs to C, for every n.     

Dualizing complexes and perverse sheaves on noncommutative ringed schemes

A quasi-coherent ringed scheme is a pair (X, $$ \mathcal{A} $$), where X is a scheme, and $$ \mathcal{A} $$ is a noncomutative quasi-coherent $$ \mathcal{O}_X $$ -ring. We introduce dualizing complexes over quasi-coherent ringed schemes and study their properties. For a separated differential quasi-coherent ringed scheme of finite type over a field, we prove existence and uniqueness of a rigid dualizing complex. In the proof we use the theory of perverse coherent sheaves in order to glue local pieces of the rigid dualizing complex into a global complex.     

Lower bounds¶for the relative Lusternik–Schnirelmann category

We give estimates of numerical homotopy invariants of the pair (X,X×S ^p ) in terms of homotopy invariants of X. More precisely, we prove that σ ^{p +1} cat(X) + 1 ≤ cat(X,X×S ^p }), that and that e(X,X×S< ^p )=e(X)+1, where σ ^{p +1} cat is the (relative) σ category of Vandembroucq and e is the (relative) Toomer invariant. The proof is based on an extension of Milnor's construction of the classifying space of a topological group to a relative setting (due to Dold and Lashof). Received: 14 October 1998 / Revised version: 5 November 1999     

The automorphism group of the derived category for a weighted projective line

We show that up to a translation each automorphism of the derived category D ^b X of coherent sheaves on a weighted projective line X, equiv-alently of the derived category D ^b A of finite dimensional modules over a derived canonical algebra A, is composed of tubular mutations and automorphisms of X. In the case of genus one this implies that the automorphism group is a semi-direct product of the braid group on three strands by a finite group.

Moreover we prove that most automorphisms lift from the Grothendieck group to the derived category.     

Abel maps of Gorenstein curves

Abstract  For a Gorenstein curve X and a nonsingular point P∈ X, we construct Abel maps and , where J_Xⁱ is the moduli scheme for simple, torsion-free, rank-1 sheaves on X of degree i. The image curves of A and A_P are shown to have the same arithmetic genus of X. Also, A and A_P are shown to be embeddings away from rational subcurves L⊂ X meeting in separating nodes. Finally we establish a connection with Seshadri’s moduli scheme U_X(1) for semistable, torsion-free, rank-1 sheaves on X, obtaining an embedding of A(X) into U_X(1). Keywords Abel map, Torsion-free rank-1 sheaf, Compactified Jacobian, Gorenstein singularity Mathematics Subject Classification (2000) 14H40, 14H60     

Fibrewise construction applied to Lusternik-Schnirelmann category

In this paper a variant of Lusternik-Schnirelmann category is presented which is denoted byQcat(X). It is obtained by applying a base-point free version ofQ=Ω^∞∑^∞ fibrewise to the Ganea fibrations. We provecat(X)≥Qcat(X)≥σcat(X) whereσcat(X) denotes Y. Rudyak’s strict category weight. However,Qcat(X) approximatescat(X) better, because, e.g., in the case of a rational spaceQcat(X)=cat(X) andσcat(X) equals the Toomer invariant. We show thatQcat(X×Y)≤Qcat(X)+Qcat(Y). The invariantQcat is designed to measure the failure of the formulacat(X×S ^r )=cat(X)+1. In fact for 2-cell complexesQcat(X)<cat(X)⇔cat(X×S ^r )=cat(X) for somer≥1. We note that the paper is written in the more general context of a functor λ from the category of spaces to itself satisfying certain conditions; λ=Q, Ω ⁿ Σ ⁿ ,Sp ^∞ orL _f are just particular cases.     

The relation of Banach-Alaoglu theorem and Banach-Bourbaki-Kakutani-Šmulian theorem in complete random normed modules to stratification structure

Let (Ω,A,μ) be a probability space, K the scalar field R of real numbers or C of complex numbers,and (S,X) a random normed space over K with base (ω,A,μ). Denote the support of (S,X) by E, namely E is the essential supremum of the set {A ∈ A: there exists an element p in S such that X _p (ω) > 0 for almost all ω in A}. In this paper, Banach-Alaoglu theorem in a random normed space is first established as follows: The random closed unit ball S ^*(1) = {f ∈ S ^*: X ^* _f ⩽ 1} of the random conjugate space (S ^*,X ^*) of (S,X) is compact under the random weak star topology on (S ^*,X ^*) iff E∩A=: {E∩A | A ∈ A} is essentially purely μ-atomic (namely, there exists a disjoint family {A _n : n ∈ N} of at most countably many μ-atoms from E ∩ A such that E = ∪ _n=1^∞ A _n and for each element F in E ∩ A, there is an H in the σ-algebra generated by {A _n : n ∈ N} satisfying μ(FΔH) = 0), whose proof forces us to provide a key topological skill, and thus is much more involved than the corresponding classical case. Further, Banach-Bourbaki-Kakutani-Šmulian (briefly, BBKS) theorem in a complete random normed module is established as follows: If (S,X) is a complete random normed module, then the random closed unit ball S(1) = {p ∈ S: X _p ⩽ 1} of (S,X) is compact under the random weak topology on (S,X) iff both (S,X) is random reflexive and E ∩ A is essentially purely μ-atomic. Our recent work shows that the famous classical James theorem still holds for an arbitrary complete random normed module, namely a complete random normed module is random reflexive iff the random norm of an arbitrary almost surely bounded random linear functional on it is attainable on its random closed unit ball, but this paper shows that the classical Banach-Alaoglu theorem and BBKS theorem do not hold universally for complete random normed modules unless they possess extremely simple stratification structure, namely their supports are essentially purely μ-atomic. Combining the James theorem and BBKS theorem in complete random normed modules leads directly to an interesting phenomenum: there exist many famous classical propositions that are mutually equivalent in the case of Banach spaces, some of which remain to be mutually equivalent in the context of arbitrary complete random normed modules, whereas the other of which are no longer equivalent to another in the context of arbitrary complete random normed modules unless the random normed modules in question possess extremely simple stratification structure. Such a phenomenum is, for the first time, discovered in the course of the development of random metric theory.     

Inverse Conductivity Problem on Riemann Surfaces

An electrical potential U on a bordered Riemann surface X with conductivity function σ>0 satisfies equation d(σ d ^c U)=0. The problem of effective reconstruction of σ from electrical currents measurements (Dirichlet-to-Neumann mapping) on the boundary: U| _bX ↦ σ d ^c U| _bX is studied. We extend to the case of Riemann surfaces the reconstruction scheme given, firstly, by R. Novikov (Funkc. Anal. Ego Priloz. 22:11–22, 2008) for simply connected X. We apply for this new kernels for on the affine algebraic Riemann surfaces constructed in Henkin (, 2008).      

Admissibility of Unbounded Operators and Wellposedness of Linear Systems in Banach Spaces

We study linear systems, described by operators A, B, C for which the state space X is a Banach space.We suppose that − A generates a bounded analytic semigroup and give conditions for admissibility of B and C corresponding to those in G. Weiss’ conjecture. The crucial assumptions on A are boundedness of an H^∞-calculus or suitable square function estimates, allowing to use techniques recently developed by N. Kalton and L. Weis. For observation spaces Y or control spaces U that are not Hilbert spaces we are led to a notion of admissibility extending previous considerations by C. Le Merdy. We also obtain a characterisation of wellposedness for the full system. We give several examples for admissible operators including point observation and point control. At the end we study a heat equation in X = L^p(Ω), 1 < p < ∞, with boundary observation and control and prove its wellposedness for several function spaces Y and U on the boundary ∂Ω.     

Moment convergence rates in the law of the logarithm for dependent sequences

Let {X _n ; n ≥ 1} be a strictly stationary sequence of negatively associated random variables with mean zero and finite variance. Set S _n = Σ _k=1 ⁿ X _k , M _n = max _k≤n |S _k |, n ≥ 1. Suppose σ ² = EX ₁² + 2Σ _k=2^∞ EX ₁ X _k (0 < σ < ∞). In this paper, the exact convergence rates of a kind of weighted infinite series of E{M _n −σɛ√n log n}₊ and E{|S _n | − σɛ√n log n}₊ as ɛ ↘ 0 and E{σɛ√π ² π/8logn − M _n }₊ as ɛ ↗ ∞ are obtained.