Monads on projective spaces

Let be a vector bundle on P ⁿ . There is a strong relationship between and its intermediate cohomology modules. In the case where has low rank, we exploit this relationship to provide various splitting criteria for . In particular, we give a splitting criterion for in terms of the vanishing of certain intermediate cohomology modules. We also show that the Horrocks-Mumford bundle is the only non-split rank two bundle on P ⁴ with a Buchsbaum second cohomology module.Partially supported by NSF Grants.     

The cohomology of the moduli space of controllable linear systems

In this paper we explicitly describe, by generators and relations, the cohomology ring of the manifold _n,m (F) of controllable linear systems having m inputs and state-space dimension n. It is shown that the cohomology ring of _n,m (F) is isomorphic to the invariant cohomology ring of a product of projective spaces. Estimates for the cup length of the cohomology ring are obtained.     

Mixed Hodge polynomials of character varieties

We calculate the E-polynomials of certain twisted GL(n,ℂ)-character varieties of Riemann surfaces by counting points over finite fields using the character table of the finite group of Lie-type and a theorem proved in the appendix by N. Katz. We deduce from this calculation several geometric results, for example, the value of the topological Euler characteristic of the associated PGL(n,ℂ)-character variety. The calculation also leads to several conjectures about the cohomology of : an explicit conjecture for its mixed Hodge polynomial; a conjectured curious hard Lefschetz theorem and a conjecture relating the pure part to absolutely indecomposable representations of a certain quiver. We prove these conjectures for n=2.     

The Novikov Conjecture for Low Degree Cohomology Classes

We outline a twisted analogue of the Mishchenko–Kasparov approach to prove the Novikov conjecture on the homotopy invariance of the higher signatures. Using our approach, we give a new and simple proof of the homotopy invariance of the higher signatures associated to all cohomology classes of the classifying space that belong to the subring of the cohomology ring of the classifying space that is generated by cohomology classes of degree less than or equal to 2, a result that was first established by Connes and Gromov and Moscovici using other methods. A key new ingredient is the construction of a tautological C* _r (, )-bundle and connection, which can be used to construct a C* _r (, )-index that lies in the Grothendieck group of C* _r (, ), where is a multiplier on the discrete group corresponding to a degree 2 cohomology class. We also utilise a main result of Hilsum and Skandalis to establish our theorem.     

Théorèmes de Riemann–Roch pour les champs de Deligne–Mumford

We develop a cohomology theory for Deligne–Mumford stacks, adapted to Hirzebruch–Riemann–Roch formulas. For this, we define the cohomology with coefficients in the representations and a Chern character, and we prove a Grothendieck–Riemann–Roch formula for the associated Riemann–Roch transformation.     

Motivic cohomology over Dedekind rings

We study properties of Blochs higher Chow groups on smooth varieties over Dedekind rings. We prove the vanishing of for i > n, and the existence of a Gersten resolution for if the residue characteristic is p. We also show that the Bloch-Kato conjecture implies the Beilinson-Lichtenbaum conjecture an identification for m invertible, and a Gersten resolution with (arbitrary) finite coefficients. Over a complete discrete valuation ring of mixed characteristic (0,p), we construct a map from motivic cohomology to syntomic cohomology, which is a quasi-isomorphism provided the Bloch-Kato conjecture holds.Supported in part by JSPS, NSF Grant. No. 0070850, and the Alfred P.Sloan Foundation     

Mukai flop and Ruan cohomology

Suppose that two compact symplectic manifolds X,X are connected by a sequence of simple Mukai flops. In this paper, we construct a ring isomorphism between cohomology rings of X and X. Using the localization technique, we prove that the quantum corrected products on X,X are the ordinary intersection products. Furthermore, X,X have isomorphic Ruan cohomology, i.e. we verify the cohomological minimal model conjecture proposed by Ruan for the pair (X,X).Mathematics Subject Classification (2001): 14N35, 53D45Supported in part by NSF of China (10171114 and 10231050).Revised version: 9 April 2004     

Stratified structure of the Universe and Burgers' equation—a probabilistic approach

Summary The model of the potential turbulence described by the 3-dimensional Burgers' equation with random initial data was developped by Zeldovich and Shandarin, in order to explain the existing Large Scale Structure of the Universe. Most of the recent probabilistic investigations of large time asymptotics of the solution deal with the central limit type results (the Gaussian scenario), under suitable moment assumptions on the initial velocity field. These results and some open questions are discussed in Sect. 2, where we concentrate on the Gaussian model and the shot-noise model. In Sect. 3 we construct a probabilistic model of strong initial fluctuations (a zero-range shot-noise field with high amplitudes) which reveals an intermittent large time behaviour, with the velocity determined by the position of the largest initial fluctuation (discounted by the heat kernelg(t,x·)) in a neighborhood ofx. The asymptoties of such local maximum ast can be analyzed with the help of the theory of records (Sect. 4). Finally, in Sect. 5 we introduce a global definition of a point process oft-local maxima, and show the weak convergence of the suitably rescaled process to a non-trivial limit ast.     

Intersection Cohomology on Nonrational Polytopes⋆

We consider a fan as a ringed space (with finitely many points). We develop the corresponding sheaf theory and functors, such as direct image R_* ( is a subdivision of a fan), Verdier duality, etc. The distinguished sheaf , called the minimal sheaf plays the role of an equivariant intersection cohomology complex on the corresponding toric variety (which exists if is rational). Using we define the intersection cohomology space IH(). It is conjectured that a strictly convex piecewise linear function on acts as a Lefschetz operator on IH(). We show that this conjecture implies Stanley's conjecture on the unimodality of the generalized h-vector of a convex polytope.     

The Borsuk conjecture holds for convex bodies with a belt of regular points

Borsuk conjectured in 1933 that each bounded set inE ⁿ can be covered byn+1 sets of smaller diameter. It was disproved recently by Kahn and Kalai. However, Hadwiger proved earlier the conjecture for smooth convex bodies. We replace here the condition of smoothness by an assumption that the body has only a belt of regular points.Supported by a Canadian NSERC Grant.     

ApproximatingK*(?) through degree five

We approximate theK-theory spectrum of the integers using a spectrum level rank filtration. By means of a certain poset spectral sequence, we explicitly compute the first three subquotients of this filtration. Assuming a conjecture about the filtration's rate of convergence, we conclude thatK ₄()=0 andK ₅() is a copy of (the Borel summand) plus two-torsion of order at most eight.     

Stabilization theorem for the Milnor K2-functor

Let be an associative ring. For every natural number n there is a canonical homomorphism _n: K_2,n()K₂(), where K₂ is the Milnor functor and K_2,n() the associated unstable K-group. Dennis and Vasershtein have proved that if n is larger than the stable rank of , _n is an epimorphism. It is proved in the article that if n – 1 is greater than the stable rank of , the homomorphism _n is an isomorphism.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 64, pp. 131–152, 1976.     

Nilpotency of Connes'' periodicity operator and the idempotent conjectures

For certain classes of discrete groups we verify the idempotent conjectures for various group algebras by the method of cyclic cohomology. In particular, the Banach ¹ (G) of a torsion free word hyperbolic groupG of Gromov contains no nontrivial idempotents. Moreover, the range of any tracial state onK ₀(¹(G)) is .Sponsored in part by a grant from the National Science Foundation.     

Complementation of relations in pro-p-groups of cohomology dimension two

It is proved that if, from the minimal corepresentation of a pro-p-group G. of cohomology dimension two with a free commutant, a part of the relations is discarded, then one obtains a minimal corepresentation of a pro-p-group, the cohomology dimension of which is equal to two and the commutant of which is free. For such pro-p-groups, (G)相似文献   

Rational, Log Canonical, Du Bois Singularities: On the Conjectures of Kollár and Steenbrink

Let X be a proper complex variety with Du Bois singularities. Then H(X, ⁱ) H ⁱ(X, _X) is surjective for all i. This property makes this class of singularities behave well with regard to Kodaira type vanishing theorems. Steenbrink conjectured that rational singularities are Du Bois and Kollér conjectured that log canonical singularities are Du Bois. Kollér also conjectured that under some reasonable extra conditions Du Bois singularities are log canonical. In this article Steenbrink's conjecture is proved in its full generality, Kollér's first conjecture is proved under some extra conditions and Kollér's second conjecture is proved under a set of reasonable conditions, and shown that these conditions cannot be relaxed.     

Reflecting stationary sets and successors of singular cardinals

REF is the statement that every stationary subset of a cardinal reflects, unless it fails to do so for a trivial reason. The main theorem, presented in Sect. 0, is that under suitable assumptions it is consistent that REF and there is a which is ⁺ⁿ -supercompact. The main concepts defined in Sect. 1 are PT, which is a certain statement about the existence of transversals, and the bad stationary set. It is shown that supercompactness (and even the failure of PT) implies the existence of non-reflecting stationary sets. E.g., if REF then for many PT(, ₁). In Sect. 2 it is shown that Easton-support iteration of suitable Levy collapses yield a universe with REF if for every singular which is a limit of supercompacts the bad stationary set concentrates on the right cofinalities. In Sect. 3 the use of oracle c.c. (and oracle proper—see [Sh-b, Chap. IV] and [Sh 100, Sect. 4]) is adapted to replacing the diamond by the Laver diamond. Using this, a universe as needed in Sect. 2 is forced, where one starts, and ends, with a universe with a proper class of supercompacts. In Sect. 4 bad sets are handled in ZFC. For a regular {<⁺ : cf<} is good. It is proved in ZFC that if=cf>₁ then {<⁺ : cf<} is the union of sets on which there are squares.     

Cohomology of Compact Locally Symmetric Spaces

We obtain a necessary condition for a cohomology class on a compact locally symmetric space S()=X (a quotient of a symmetric space X of the non-compact type by a cocompact arithmetic subgroup of isometries of X) to restrict non-trivially to a compact locally symmetric subspace S _H()=Y of X. The restriction is in a 'virtual' sense, i.e. it is the restriction of possibly a translate of the cohomology class under a Hecke correspondence. As a consequence we deduce that when X and Y are the unit balls in ⁿ and ^m , then low degree cohomology classes on the variety S() restrict non-trivially to the subvariety S _H (); this proves a conjecture of M. Harris and J-S. Li. We also deduce the non-vanishing of cup-products of cohomology classes for the variety S().     

Cohomology of solvable lie algebras and solvmanifolds

The cohomology H^* (G/,) of the de Rham complex *(G/) of a compact solvmanifold G/ with deformed differential d = d + , where is a closed 1 -form, is studied. Such cohomologies naturally arise in Morse-Novikov theory. It is shown that, for any completely solvable Lie group G containing a cocompact lattice G, the cohomology H^*(G/, ) is isomorphic to the cohomology H^*( ) of the tangent Lie algebra of the group G with coefficients in the one-dimensional representation : defined by () = (). Moreover, the cohomology H ^*(G/,) is nontrivial if and only if -[] belongs to a finite subset of H ¹(G/,) defined in terms of the Lie algebra .Translated from Matematicheskie Zametki, vol. 77, no. 1, 2005, pp. 67–79.Original Russian Text Copyright © 2005 by D. V. Millionshchikov.This revised version was published online in April 2005 with a corrected issue number.