Excision in entire cyclic cohomology

We prove that entire and periodic cyclic cohomology satisfy excision for extensions of bornological algebras with a bounded linear section. That is, for such an extension we obtain a six term exact sequence in cohomology. Received December 16, 1999 / final version received April 18, 2001?Published online May 29, 2001     

Mod 3 cohomology algebras of finite H-spaces

Let X be a 3 local, finite, simply connected H-space with associative homology ring . Some known examples are the Lie group , Harper's H-space X(3) and any odd dimensional sphere . We prove the cohomology algebra is isomorphic to the cohomology algebra of a finite product of and odd dimensional spheres. Received: 15 May 2001; in final form: 22 May 2001 / Published online: 28 February 2002     

Kaplansky classes and derived categories

We put a monoidal model category structure on the category of chain complexes of quasi-coherent sheaves over a quasi-compact and semi-separated scheme X. The approach generalizes and simplifies the method used by the author in (Trans Am Math Soc 356(8) 3369–3390, 2004) and (Trans Am Math Soc 358(7), 2855–2874, 2006) to build monoidal model structures on the category of chain complexes of modules over a ring and chain complexes of sheaves over a ringed space. Indeed, much of the paper is dedicated to showing that in any Grothendieck category , any nice enough class of objects induces a model structure on the category Ch() of chain complexes. The main technical requirement on is the existence of a regular cardinal κ such that every object satisfies the following property: Each κ-generated subobject of F is contained in another κ-generated subobject S for which . Such a class is called a Kaplansky class. Kaplansky classes first appeared in Enochs and López-Ramos (Rend Sem Mat Univ Padova 107, 67–79, 2002) in the context of modules over a ring R. We study in detail the connection between Kaplansky classes and model categories. We also find simple conditions to put on which will guarantee that our model structure is monoidal. We will see that in several categories the class of flat objects form such Kaplansky classes, and hence induce monoidal model structures on the associated chain complex categories. We will also see that in any Grothendieck category , the class of all objects is a Kaplansky class which induces the usual (non-monoidal) injective model structure on Ch().     

Topological Model Categories Generated by Finite Complexes

 Our main result states that for each finite complex L the category TOP of topological spaces possesses a model category structure (in the sense of Quillen) whose weak equivalences are precisely maps which induce isomorphisms of all [L]-homotopy groups. The concept of [L]-homotopy has earlier been introduced by the first author and is based on Dranishnikov’s notion of extension dimension. As a corollary we obtain an algebraic characterization of [L]-homotopy equivalences between [L]-complexes. This result extends two classical theorems of J. H. C. Whitehead. One of them – describing homotopy equivalences between CW-complexes as maps inducing isomorphisms of all homotopy groups – is obtained by letting L = {point}. The other – describing n-homotopy equivalences between at most (n+1)-dimensional CW-complexes as maps inducing isomorphisms of k-dimensional homotopy groups with k ⩽ n – by letting L = S ⁿ⁺¹ , n ⩾ 0. The first author was partially supported by NSERC research grant. Received December 12, 2001; in revised form September 7, 2002 Published online February 28, 2003     

Syntomic cohomology as a p-adic absolute Hodge cohomology

The purpose of this paper is to interpret rigid syntomic cohomology, defined by Amnon Besser [Bes], as a p-adic absolute Hodge cohomology. This is a p-adic analogue of a work of Beilinson [Be1] which interprets Beilinson-Deligne cohomology in terms of absolute Hodge cohomology. In the process, we will define a theory of p-adic absolute Hodge cohomology with coefficients, which may be interpreted as a generalization of rigid syntomic cohomology to the case with coefficients. Received: 25 September 2000 / In final form: 23 March 2001 / Published online: 28 February 2002     

The associated primes of local cohomology modules over rings of small dimension

Let R be a commutative Noetherian local ring of dimension d, I an ideal of R, and M a finitely generated R-module. We prove that the set of associated primes of the local cohomology module H ⁱ _I (M) is finite for all i≥ 0 in the following cases: (1) d≤ 3; (2) d= 4 and $R$ is regular on the punctured spectrum; (3) d= 5, R is an unramified regular local ring, and M is torsion-free. In addition, if $d>0$ then H ^{d − 1} _I (M) has finite support for arbitrary R, I, and M. Received: 31 October 2000 / Revised version: 8 January 2001     

Special points on products of two Shimura curves

Let S ₁ and S ₂ be two Shimura curves over ℚ attached to rational indefinite quaternion algebras B _{1 ℚ} and B _{1 ℚ} with maximal orders B ₁ and B ₂ respectively. We consider an irreducible closed algebraic curve C in the product (S ₁×S ₂)_ℂ such that C(ℂ) ∩ (S ₁×S ₂)(ℂ) contains infinitely many complex multiplication points. We prove, assuming the Generalized Riemann Hypothesis (GRH) for imaginary quadratic fields, that C is of Hodge type. Received: 3 January 2000 / Revised version: 2 October 2000     

Is there an easy algebraic characterisation of¶universal proper G-spaces?

We shall study properties of groups having finite cohomological dimension relative to the family of all finite subgroups. We also compare these groups with those satisfying various suggested algebraic analogues to group-actions on finite dimensional proper G-spaces. Received: 15 March 2000     

Homology of generalized partition posets

We define a family of posets of partitions associated to an operad. We prove that the operad is Koszul if and only if the posets are Cohen-Macaulay. On the one hand, this characterization allows us to compute completely the homology of the posets. The homology groups are isomorphic to the Koszul dual cooperad. On the other hand, we get new methods for proving that an operad is Koszul.     

Minkowski’s Second Theorem over a Simple Algebra

We generalize the notion of successive minima, Minkowski’s second theorem and Siegel’s lemma to a free module over a simple algebra whose center is a global field. The author was partly supported by the Grant-in-Aid for Scientific Research (C), Japan Society for the Promotion of Science.     

On the first Hochschild cohomology group of an algebra

Let A≡KΔ /I be a factor of a path algebra. We develop a strategy to compute dim H ¹(A), the dimension of the first Hochschild cohomology group of A, using combinatorial data from (Δ,I). That allows us to connect dim H ¹(A) with the rank and p-rank of the fundamental group π₁(Δ,I) of (Δ,I). We get explicit formulae for dim H ¹(A), when every path in Δ parallel to an arrow belongs to I or when I is homogeneous. Received: 12 April 1999 / Revised version: 9 October 2000     

The Jacobian and the Ginzburg-Landau energy

We study the Ginzburg-Landau functional for , where U is a bounded, open subset of . We show that if a sequence of functions satisfies , then their Jacobians are precompact in the dual of for every . Moreover, any limiting measure is a sum of point masses. We also characterize the -limit of the functionals , in terms of the function space B2V introduced by the authors in [16,17]: we show that I(u) is finite if and only if , and for is equal to the total variation of the Jacobian measure Ju. When the domain U has dimension greater than two, we prove if then the Jacobians are again precompact in for all , and moreover we show that any limiting measure must be integer multiplicity rectifiable. We also show that the total variation of the Jacobian measure is a lower bound for the limit of the Ginzburg-Landau functional. Received: 15 December 2000 / Accepted: 23 January 2001 / Published online: 25 June 2001     

Variations of mixed Hodge structure, Higgs fields, and quantum cohomology

Following C. Simpson, we show that every variation of graded-polarized mixed Hodge structure defined over ℚ carries a natural Higgs bundle structure which is invariant under the ℂ^* action studied in [20]. We then specialize our construction to the context of [6], and show that the resulting Higgs field θ determines (and is determined by) the Gromov–Witten potential of the underlying family of Calabi–Yau threefolds. Received: 14 February 2000     

On the subdivision of small categories

We present an intrinsic and concrete development of the subdivision of small categories, give some simple examples and derive its fundamental properties. As an application, we deduce an alternative way to compare the homotopy categories of spaces and small categories, by using partially ordered sets. This yields a new conceptual proof to the well-known fact that these two homotopy categories are equivalent.     

Boundary regularity for nonlinear elliptic systems

We consider questions of boundary regularity for solutions of certain systems of second-order nonlinear elliptic equations. We obtain a general criterion for a weak solution to be regular in the neighbourhood of a given boundary point. The proof yields directly the optimal regularity for the solution in this neighbourhood. This result is new for the situation under consideration (general nonlinear second order systems in divergence form, with inhomogeneity obeying the natural growth conditions). Received: 6 July 2001 / Accepted: 27 September 2001 / Published online: 28 February 2002     

The Boardman-Vogt resolution of operads in monoidal model categories

We extend the -construction of Boardman and Vogt to operads of an arbitrary monoidal model category with suitable interval, and show that it provides a cofibrant resolution for well-pointed Σ-cofibrant operads. The standard simplicial resolution of Godement as well as the cobar-bar chain resolution are shown to be particular instances of this generalised -construction.     

Model structures on exact categories

We define model structures on exact categories, which we call exact model structures. We look at the relationship between these model structures and cotorsion pairs on the exact category. In particular, when the underlying category is weakly idempotent complete, we get Hovey’s one-to-one correspondence between model structures and complete cotorsion pairs. We classify the right and the left homotopy relation in terms of the cotorsion pairs and look at examples of exact model structures. In particular, we see that given any hereditary abelian model category, the full subcategories of cofibrant, fibrant and cofibrant-fibrant subobjects each has natural exact model structures equivalent to the original model structure. These model structures each has interesting characteristics. For example, the cofibrant-fibrant subobjects form a Frobenius category, whose stable category is the same as the homotopy category of its model structure.