Weights in the cohomology of toric varieties

We describe the weight filtration in the cohomology of toric varieties. We present a role of the Frobenius automorphism in an elementary way. We prove that equivariant intersection homology of an arbitrary toric variety is pure. We obtain results concerning Koszul duality: nonequivariant intersection cohomology is equal to the cohomology of the Koszul complexIH _T ^* (X)⊗H*(T). We also describe the weight filtration inIH ^*(X). Supported by KBN 2P03A 00218 grant. I thank, Institute of Mathematics, Polish Academy of Science for hospitality.     

On equivalence of derived categories

Let A be an Abelian category and B be a thick subcategory of A. Let D ^b(B) denote the derived category of cohomologically bounded chain complexes of objects in A and D _B ^b (A) denote the derived category of cohomologically bounded chain complexes of objects in A with cohomology in B. We give two if and only if conditions for equivalence of D(B) and D _B ^b (A), and we give an example where D ^b (B) and D _B ^b (A) are not equivalent.     

Homology and cohomology with compact supports forq-convex spaces

Summary In this paper we give an elementary proof of basic vanishing properties for homology and cohomology with compact supports of q-complete spaces which follow from the results of H.Hamm [16], [17] and K.-H.Fieseler-L.Kaup [13]. At the same time we obtain new finiteness results for the homology and the cohomology with compact supports in the q-convex case, which is not treated in [16], [17] and [13]. Our work extends to general q-complete spaces recent papers of M.Coltoiu-N.Mihalache [8] and M.Coltoiu [7] which treated the case of Stein spaces (q=0). A typical result is the following: if X is a q-complete space of dimension n, then H_i (X, Z)=0 for i>n+q and H_n+q (X, Z) is free, if X is also purely dimensional and locally a set-theoretic complete intersection, then H _c ⁱ (X, Z)=0 for ic ⁿ –q(X, Z) is free. The vanishing of the cohomology with compact supports for q-complete spaces has as consequence Lefschetz-type theorems for singular spaces (the homology statements) proved by C.Okonek [24] using Goresky-MacPherson stratified Morse theory.     

The algebraic dimension of compact complex threefolds with vanishing second Betti number

This note investigates compact complex manifolds X of dimension 3 with second Betti number b₂(X) = 0. If X admits a non-constant meromorphic function, then we prove that either b₁(X) = 1 and b₃(X) = 0 or that b₁(X) = 0 and b₃(X) = 2. The main idea is to show that c₃(X) = 0 by means of a vanishing theorem for generic line bundles on X. As a consequence a compact complex threefold homeomorphic to the 6-sphere S⁶ cannot admit a non-constant meromorphic function. Furthermore we investigate the structure of threefolds with b₂(X) = 0 and algebraic dimension 1, in the case when the algebraic reduction X P₁ is holomorphic.     

Bounded cohomology of lattices in higher rank Lie groups

We prove that the natural map H_b ²(Γ)?H²(Γ) from bounded to usual cohomology is injective if Γ is an irreducible cocompact lattice in a higher rank Lie group. This result holds also for nontrivial unitary coefficients, and implies finiteness results for Γ: the stable commutator length vanishes and any C¹–action on the circle is almost trivial. We introduce the continuous bounded cohomology of a locally compact group and prove our statements by relating H_b ^•(Γ) to the continuous bounded cohomology of the ambient group with coefficients in some induction module. Received July 14, 1998 / final version received January 7, 1999     

Categorical resolutions of a class of derived categories

We clarify the relation between the subcategory D_(hf)~b(A) of homological finite objects in D~b(A)and the subcategory K~b(P) of perfect complexes in D~b(A), by giving two classes of abelian categories A with enough projective objects such that D_(hf)~b(A) = K~b(P), and finding an example such that D_(hf)~b(A)≠K~b(P). We realize the bounded derived category D~b(A) as a Verdier quotient of the relative derived category D_C~b(A), where C is an arbitrary resolving contravariantly finite subcategory of A. Using this relative derived categories, we get categorical resolutions of a class of bounded derived categories of module categories of infinite global dimension.We prove that if an Artin algebra A of infinite global dimension has a module T with inj.dimT ∞ such that ~⊥T is finite, then D~b(modA) admits a categorical resolution; and that for a CM(Cohen-Macaulay)-finite Gorenstein algebra, such a categorical resolution is weakly crepant.     

Eine Spektralsequenz in der stetigen Kohomologietheorie topologischer Gruppen

Let H^*(G; M) be the continuous cohomology of a locally compact group G with coefficients in a topological RG-module M. If G operates without fixed points on a R-paracompact space X such that there is a slice through each point and X/G is R-paracompact, then there exists a spectral sequence converging to the equivariant cohomology H^*(X,G; M) of X with second term E₂ ^p.q?H^p(G; H^qX; M)) where the sheaf theoretical cohomology of X is suitable topologized. Several applications and a generalization to actions of G with non-empty fixed point sets are given.     

Entropy Numbers in Weighted Function Spaces and Eigenvalue Distributions of Some Degenerate Pseudodifferential Operators II

This paper is the continuation of [17]. We investigate mapping and spectral properties of pseudodifferential operators of type Ψ with χ χ ? ? and 0 ≤ γ ≤ 1 in the weighted function spaces B (?ⁿ, w(x)) and F (?ⁿ, w(x)) treated in [17]. Furthermore, we study the distribution of eigenvalues and the behaviour of corresponding root spaces for degenerate pseudodifferential operators preferably of type b₂(x) b(x, D) b₁(x), where b₁(x) and b₂(x) are appropriate functions and b(x, D) ? Ψ. Finally, on the basis of the Birman-Schwinger principle, we deal with the “negative spectrum” (bound states) of related symmetric operators in L₂.     

Triple Cohomology and the Galois Cohomology of Profinite Groups

Given a cotriple 𝔾 = (G, ε, δ) on a category X and a functor E:X ^Opp→A into an abelian category A, there exists the cohomology theory of Barr and Beck: Hⁿ(X, E) ε |A| (n ≥ 0, X ε |X|), ([1], p.249). Almost all the important cohomology theories in mathematics have been shown to be special instances of such a general theory (see [1], [2] and [3]). Usually E arises from an abelian group object Y in X in the following manner: it is the contravariant functor from X into the category Ab of abelian groups that associates to each object X in X the abelian group X(X, Y) of maps from X to Y. In such a situation we shall write Hⁿ(X, Y)_𝔾 instead of Hⁿ(X, E)_G. Barr and Beck [2] have shown that the Eilenberg-MacLane cohomology groups H?ⁿ(π, A), n ≥ 2, can be re-captured as follows. One considers the free group cotriple 𝔾′ on the category Gps of groups, which induces in a natural manner a cotriple 𝔾 on the category (Gps, π) of groups over a fixed group π.     

Isometry Groups of Proper Hyperbolic Spaces

Let X be a proper hyperbolic geodesic metric space and let G be a closed subgroup of the isometry group Iso(X) of X. We show that if G is not elementary then for every p ∈ (1, ∞) the second continuous bounded cohomology group H²_cb(G, L^p(G)) does not vanish. As an application, we derive some structure results for closed subgroups of Iso(X). Partially supported by Sonderforschungsbereich 611.     

Orthonormal Sequences in L 2(R d ) and Time Frequency Localization

We prove that there does not exist an orthonormal basis {b _n } for L ²(R) such that the sequences {μ(b _n )}, {m([^(b_n)])}\{\mu(\widehat{b_{n}})\} , and {D(b_n)D([^(b_n)])}\{\Delta(b_{n})\Delta(\widehat{b_{n}})\} are bounded. A higher dimensional version of this result that involves generalized dispersions is also obtained. The main tool is a time-frequency localization inequality for orthonormal sequences in L ²(R ^d ). On the other hand, for d>1 we construct a basis {b _n } for L ²(R ^d ) such that the sequences {μ(b _n )}, {m([^(b_n)])}\{\mu(\widehat{b_{n}})\} , and {D(b_n)D([^(b_n)])}\{\Delta(b_{n})\Delta(\widehat{b_{n}})\} are bounded.     

Derived Picard Groups of Finite-Dimensional Hereditary Algebras

Let A be a finite-dimensional algebra over a field k. The derived Picard group DPic _k (A) is the group of triangle auto-equivalences of D> ^b( mod A) induced by two-sided tilting complexes. We study the group DPic _k (A) when A is hereditary and k is algebraically closed. We obtain general results on the structure of DPic _k , as well as explicit calculations for many cases, including all finite and tame representation types. Our method is to construct a representation of DPic _k (A) on a certain infinite quiver ^irr. This representation is faithful when the quiver of A is a tree, and then DPic _k (A) is discrete. Otherwise a connected linear algebraic group can occur as a factor of DPic _k (A). When A is hereditary, DPic _k (A) coincides with the full group of k-linear triangle auto-equivalences of D^b( mod A). Hence, we can calculate the group of such auto-equivalences for any triangulated category D equivalent to D^b( mod A. These include the derived categories of piecewise hereditary algebras, and of certain noncommutative spaces introduced by Kontsevich and Rosenberg.     

Distortion Properties of Holomorphic Functions of Several Complex Variables

Let Q(D) be a class of functions q, q(0) = 0, |q(z)| < 1 holomorphic in the Reinhardt domain D ? C ⁿ, a and b — arbitrary fixed numbers satisfying the condition — 1 ≤ b < a ≤ 1. ??(a, b; D) — the class of functions p such that p ? ??(a, b; D) iff for some q ? Q(D) and every z ? D. S*(a, b; D) — the class of functions f such that f ? S*(a, g; D) iff S^c(a, b; D) — the class of functions q such that q ? S^c(a, b; D) iff , where p ε ??(a, b; D) and K is an operator of the form for z=z₁,z₂,…z_n. The author obtains sharp bounds on |p(z)|, f(z)| g(z)| as well as sharp coefficient inequalities for functions in ??(a, b; D), S*(a, b; D) and S^c(a, b; D).     

1-Cocycles on the group of contactomorphisms on the supercircle S1|3 generalizing the Schwarzian derivative

The relative cohomology H_diff¹(K(1|3), osp(2, 3);D_γ,µ(S^1|3)) of the contact Lie superalgebra K(1|3) with coefficients in the space of differential operators D_γ,µ(S^1|3) acting on tensor densities on S^1|3, is calculated in N.Ben Fraj, I. Laraied, S. Omri (2013) and the generating 1-cocycles are expressed in terms of the infinitesimal super-Schwarzian derivative 1-cocycle s(X_f) = D₁D₂D₃(_f)α₃^1/2, X^f ∈ K(1|3) which is invariant with respect to the conformal subsuperalgebra osp(2, 3) of K(1|3).     

Compact DG modules and Gorenstein DG algebras

When the base connected cochain DG algebra is cohomologically bounded, it is proved that the difference between the amplitude of a compact DG module and that of the DG algebra is just the projective dimension of that module. This yields the unboundedness of the cohomology of non-trivial regular DG algebras. When A is a regular DG algebra such that H(A) is a Koszul graded algebra, H(A) is proved to have the finite global dimension. And we give an example to illustrate that the global dimension of H(A) may be infinite, if the condition that H(A) is Koszul is weakened to the condition that A is a Koszul DG algebra. For a general regular DG algebra A, we give some equivalent conditions for the Gorensteiness. For a finite connected DG algebra A, we prove that D^c(A) and D^c(A ^op) admit Auslander-Reiten triangles if and only if A and A ^op are Gorenstein DG algebras. When A is a non-trivial regular DG algebra such that H(A) is locally finite, D^c(A) does not admit Auslander-Reiten triangles. We turn to study the existence of Auslander-Reiten triangles in D_lf^b(A) and D_lf^b (A ^op) instead, when A is a regular DG algebra. This work was supported by the National Natural Science Foundation of China (Grant No. 10731070) and the Doctorate Foundation of Ministry of Education of China (Grant No. 20060246003)     

Dimension-2 poset competition numbers and dimension-2 poset double competition numbers

Let D=(V(D),A(D)) be a digraph. The competition graph of D, is the graph with vertex set V(D) and edge set . The double competition graph of D, is the graph with vertex set V(D) and edge set . A poset of dimension at most two is a digraph whose vertices are some points in the Euclidean plane R² and there is an arc going from a vertex (x₁,y₁) to a vertex (x₂,y₂) if and only if x₁>x₂ and y₁>y₂. We show that a graph is the competition graph of a poset of dimension at most two if and only if it is an interval graph, at least half of whose maximal cliques are isolated vertices. This answers an open question on the doubly partial order competition number posed by Cho and Kim. We prove that the double competition graph of a poset of dimension at most two must be a trapezoid graph, generalizing a result of Kim, Kim, and Rho. Some connections are also established between the minimum numbers of isolated vertices required to be added to change a given graph into the competition graph, the double competition graph, of a poset and the minimum sizes of certain intersection representations of that graph.     

On Lebesgue Measure of Integral Self-Affine Sets

Let A be an expanding integer n×n matrix and D be a finite subset of ? ⁿ . The self-affine set T=T(A,D) is the unique compact set satisfying the equality \(A(T)=\bigcup_{d\in D}(T+d)\). We present an effective algorithm to compute the Lebesgue measure of the self-affine set T, the measure of the intersection T∩(T+u) for u∈? ⁿ , and the measure of the intersection of self-affine sets T(A,D ₁)∩T(A,D ₂) for different sets D ₁, D ₂?? ⁿ .     

Exceptional Sequences Determined by their Cartan Matrix

We investigate complete exceptional sequences E=(E ₁,¨,E _n ) in the derived category D ^b of finite-dimensional modules over a canonical algebra, equivalently in the derived category D ^b X of coherent sheaves on a weighted projective line, and the associated Cartan matrices C(E)=( [E _i ],[E _j ]). As a consequence of the transitivity of the braid group action on such sequences we show that a given Cartan matrix has at most finitely many realizations by an exceptional sequence E, up to an automorphism and a multi-translation (E ₁,¨,E _n )(E ₁[i ₁],¨,E _n [i _n ]) of D ^b . Moreover, we determine a bound on the number of such realizations. Our results imply that a derived canonical algebra A is determined by its Cartan matrix up to isomorphism if and only if the Hochschild cohomology of A vanishes in nonzero degree, a condition satisfied if A is representation-finite.