Division theorems for exact sequences

Under certain integrability and geometric conditions, we prove division theorems for the exact sequences of holomorphic vector bundles and improve the results in the case of Koszul complex. By introducing a singular Hermitian structure on the trivial bundle, our results recover Skoda’s division theorem for holomorphic functions on pseudoconvex domains in complex Euclidean spaces.     

The Koszul Complex and Duality

This paper is basically about local, Cohen-Macaulay rings although many of the theorems are more general in nature. The major tool that we shall use is the Koszul complex and its self duality. The Koszul complex is closely linked with the functors Γ and λ which we shall define presently. Our main results will be the computation of the derived functors of Γ and λ.     

Reductions and special parts of closures

We provide an axiomatic framework for working with a wide variety of closure operations on ideals and submodules in commutative algebra, including notions of reduction, independence, spread, and special parts of closures. This framework is applied to tight, Frobenius, and integral closures. Applications are given to evolutions and special Briançon–Skoda theorems.     

On a common generalization of Koszul duality and tilting equivalence

We propose a new definition of Koszulity for graded algebras where the degree zero part has finite global dimension, but is not necessarily semi-simple. The standard Koszul duality theorems hold in this setting.     

Division theorems and twisted complexes

We prove new Skoda-type division, or ideal membership, theorems. We work in a geometric setting of line bundles over Kahler manifolds that are Stein away from an analytic subvariety. (This includes complex projective manifolds.) Our approach is to combine the twisted Bochner-Kodaira Identity, used in the Ohsawa-Takegoshi Theorem, with Skoda’s basic estimate for the division problem. Techniques developed by McNeal and the author are then used to provide many examples of new division theorems. Among other applications, we give a modification of a recent result of Siu regarding effective finite generation of certain section rings. Partially supported by NSF grant DMS-0400909.     

Koszul Bicomplexes and Generalized Koszul Complexes in Projective Dimension One

We describe Koszul type complexes associated with a linear map from any module to a free module, and vice versa with a linear map from a free module to an arbitrary module, generalizing the classical Koszul complexes. Given a short complex of finite free modules, we assemble these complexes to what we call Koszul bicomplexes. They are used in order to investigate the homology of the Koszul complexes in projective dimension one. As in the case of the classical Koszul complexes, this homology turns out to be grade sensitive. In a special setup, we obtain necessary conditions for a map of free modules to be lengthened to a short complex of free modules.     

On the operad of bigraft algebras

In this paper, we study the notion of a bigraft algebra, generalizing the notions of left and right graft algebras. We construct the free bigraft algebra on one generator in terms of certain planar rooted trees with decorated edges, and therefore describe explicitly the bigraft operad. We then compute its Koszul dual and show that the bigraft operad is Koszul. Moreover, we endow the free bigraft algebra on one generator with a universal Hopf algebra structure and a pairing. Finally, we prove an analogue of the Poincaré–Birkhoff–Witt and Cartier–Milnor–Moore theorems. For this, we define the notion of infinitesimal bigraft bialgebras and we prove the existence of a new good triple of operads.     

An extension of a theorem of Kaplansky

A theorem of Kaplansky asserts that a semigroup of matrices with entries from a field whose members all have singleton spectra is triangularizable. Indeed, Kaplansky’s Theorem unifies well-known theorems of Kolchin and Levitzki on simultaneous triangularizability of semigroups of unipotent and nilpotent matrices, respectively. First, for a division ring D of characteristic zero whose center intersects its multiplicative commutator group in a finite group, we prove that the counterpart of Kolchin’s Theorem over D implies that of Kaplansky’s Theorem over D. Next, we note that this proof, when adjusted in the setting of fields, provides a new and simple proof of Kaplansky’s Theorem over fields of characteristic zero. We show that if Kaplansky’s Theorem holds over a division ring D, which is for instance the case over general fields, then a generalization of Kaplansky’s Theorem holds over D, and in particular over general fields.     

A Koszul complex over skew polynomial rings

We construct a Koszul complex in the category of left skew polynomial rings associated with a flat endomorphism that provides a finite free resolution of an ideal generated by a Koszul regular sequence.     

Complex analysis in subsystems of second order arithmetic

This research is motivated by the program of Reverse Mathematics. We investigate basic part of complex analysis within some weak subsystems of second order arithmetic, in order to determine what kind of set existence axioms are needed to prove theorems of basic analysis. We are especially concerned with Cauchy’s integral theorem. We show that a weak version of Cauchy’s integral theorem is proved in RCAo. Using this, we can prove that holomorphic functions are analytic in RCAo. On the other hand, we show that a full version of Cauchy’s integral theorem cannot be proved in RCAo but is equivalent to weak König’s lemma over RCAo.     

Integro-Local Limit Theorems for Compound Renewal Processes under Cramér’S Condition. I

We obtain integro-local limit theorems in the phase space for compound renewal processes under Cramér’s moment condition. These theorems apply in a domain analogous to Cramér’s zone of deviations for random walks. It includes the zone of normal and moderately large deviations. Under the same conditions we establish some integro-local theorems for finite-dimensional distributions of compound renewal processes.     

Una applicazione delle correnti invarianti ai gruppi di Lie compatti

Riassunto Nella presente nota si introduce il complesso delle correnti invarianti su un gruppo di Lie compatto connesso e si prova che è omologicamente equivalente al complesso delle catene di Koszul e a quello delle forme invarianti, Ciò permette di riformulare in linguaggio unitario risultati di Chevalley e Eilenberg e di Koszul sulle proprietà omologiche dei gruppi di Lie.

---

Summary In this note we introduce the complex of the invariant currents on a connected compact Lie group. We prove that it is homologically equivalent with the complex of the Koszul chains and with the complex of the invariant forms, so that we can restate in a unitary manner some results of Chevalley-Eilenberg and of Loszul on homological properties of Lie groups.

     

Structures de Poisson sur une intersection complète à singularités isoléesPoisson structures over a complete intersection with isolated singularities

We study Poisson structures over singular varieties. For this purpose, we consider the Koszul complex associated to the equations of a complete intersection. This complex forms a differential graded algebra which is equivalent to the algebra of the variety. We show that a Poisson structure is equivalent to a sequence of multiderivations over the Koszul complex. If the variety has isolated singularities, then we can construct a sequence of multiderivations of reduced form. To cite this article: B. Fresse, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 5–10.     

An interpretation of viète's “calculus of triangles” as a precursor of the algebra of complex numbers

Viète introduced operations over right triangles which are directly related to the multiplication and division of complex numbers. He determined the relationships between the angles and sides of the triangles concerned. His first operation is characterised by what corresponds to the fact that arguments of complex numbers are added when the latter are multiplied, and in a similar theorem he shows what we now can see as the anticipation of the analogous characteristic for division of complex numbers. Viète finds powers of an arbitrary right triangle which correspond to powers of complex numbers. One of his theorems is structurally similar to the modern formulation of De Moivre's theorem. The investigation of this subject promises further results.     

The Koszul dual of a weakly Koszul module

We study the so-called weakly Koszul modules and characterise their Koszul duals. We show that the (adjusted) associated graded module of a weakly Koszul module exactly determines the homology modules of the Koszul dual. We give an example of a quasi-Koszul module which is not weakly Koszul.     

有限复杂度的Koszul代数

首先给出了Koszul代数的张量积的复杂度,然后研究了Koszul遗传代数上的Koszul单列模,并证明了Koszul遗传代数上的Koszul模M的Koszul合成列在同构意义下是唯一的.     

A Poincaré–Birkhoff–Witt criterion for Koszul operads

The aim of this article is to give a criterion, generalizing the criterion introduced by Priddy for algebras, to prove that an operad is Koszul. We define the notion of Poincaré–Birkhoff–Witt basis in the context of operads. Then we show that an operad having a Poincaré–Birkhoff–Witt basis is Koszul. Besides, we obtain that the Koszul dual operad has also a Poincaré–Birkhoff–Witt basis. We check that the classical examples of Koszul operads (commutative, associative, Lie, Poisson) have a Poincaré–Birkhoff–Witt basis. We also prove by our methods that new operads are Koszul.     

On the Koszul Modules of Exterior Algebras

We prove that the Koszul modules over an exterior algebra can be filtered by the cyclic Koszul modules. We also introduce the cyclic dimension vector as invariants for studying the Koszul modules over an exterior algebra.     

Confluence Algebras and Acyclicity of the Koszul Complex

The N-Koszul algebras are N-homogeneous algebras satisfying a homological property. These algebras are characterised by their Koszul complex: an N-homogeneous algebra is N-Koszul if and only if its Koszul complex is acyclic. Methods based on computational approaches were used to prove N-Koszulness: an algebra admitting a side-confluent presentation is N-Koszul if and only if the extra-condition holds. However, in general, these methods do not provide an explicit contracting homotopy for the Koszul complex. In this article we present a way to construct such a contracting homotopy. The property of side-confluence enables us to define specific representations of confluence algebras. These representations provide a candidate for the contracting homotopy. When the extra-condition holds, it turns out that this candidate works. We make explicit our construction on several examples.