Bass Numbers of Local Cohomology Modules with Respect to an Ideal

Let be a commutative Noetherian local ring and let be an ideal of R. We give some inequalities between the Bass numbers of an R–module and those of its local cohomology modules with respect to . As an application of these inequalities, we recover results of Delfino-Marley and Kawasaki by showing that for a minimax R-module M and for any non-negative integer i, the Bass numbers of the ith local cohomology module are finite if one of the following holds:

Groupoid and inverse semigroup presentations of ultragraph C *-algebras

Inspired by the work of Paterson on C ^* -algebras of directed graphs, we show how to associate a groupoid to an ultragraph in such a way that the C ^*-algebra of is canonically isomorphic to Tomforde’s C ^*-algebra . The groupoid is built from an inverse semigroup naturally associated to . A.E. Marrero was supported by grants from the National Science Foundation and the Sloan Foundation and by a GAANN Fellowship. Many of the results here are taken from this author’s dissertation [7]. P.S. Muhly was supported by a grant from the National Science Foundation (DMS-0355443).     

Nonlinear Parabolic Equations with Regularized Derivatives in Colombeau Algebra

We consider several types of nonlinear parabolic equations with singular like potential and initial data. To prove the existence-uniqueness theorems we employ regularized derivatives. As a framework we use Colombeau space and Colombeau vector space      

Periodic automorphisms of takiff algebras, contractions, and θ-groups

Let be an algebraic Lie algebra and a (generalised) Takiff algebra. Any finite-order automorphism θ of induces an automorphism of of the same order, denoted . We study invariant-theoretic properties of representations of the fixed point subalgebra of on other eigenspaces of in . We use the observation that, for special values of m, the fixed point subalgebra, , turns out to be a contraction of a certain Lie algebra associated with and θ. To my teacher Supported in part by R.F.B.R. grant 06-01-72550.     

Nilpotent Bicone and Characteristic Submodule of a Reductive Lie Algebra

Let be a finite-dimensional complex reductive Lie algebra and S() its symmetric algebra. The nilpotent bicone of is the subset of elements (x, y) of whose subspace generated by x and y is contained in the nilpotent cone. The nilpotent bicone is naturally endowed with a scheme structure, as nullvariety of the augmentation ideal of the subalgebra of generated by the 2-order polarizations of invariants of . The main result of this paper is that the nilpotent bicone is a complete intersection of dimension , where and are the dimensions of Borel subalgebras and the rank of , respectively. This affirmatively answers a conjecture of Kraft and Wallach concerning the nullcone [KrW2]. In addition, we introduce and study in this paper the characteristic submodule of . The properties of the nilpotent bicone and the characteristic submodule are known to be very important for the understanding of the commuting variety and its ideal of definition. The main difficulty encountered for this work is that the nilpotent bicone is not reduced. To deal with this problem, we introduce an auxiliary reduced variety, the principal bicone. The nilpotent bicone, as well as the principal bicone, are linked to jet schemes. We study their dimensions using arguments from motivic integration. Namely, we follow methods developed by Mustaţǎ in [Mu]. Finally, we give applications of our results to invariant theory.     

Representation theory of $\mathcal{W}$-algebras

We study the representation theory of the -algebra associated with a simple Lie algebra at level k. We show that the “-” reduction functor is exact and sends an irreducible module to zero or an irreducible module at any level k∈ℂ. Moreover, we show that the character of each irreducible highest weight representation of is completely determined by that of the corresponding irreducible highest weight representation of affine Lie algebra of . As a consequence we complete (for the “-” reduction) the proof of the conjecture of E. Frenkel, V. Kac and M. Wakimoto on the existence and the construction of the modular invariant representations of -algebras. Mathematics Subject Classification (1991)  17B68, 81R10     

Crystal Graphs of Higher Level <Emphasis Type="Italic">q</Emphasis>-deformed Fock Spaces,Lusztig <Emphasis Type="Italic">a</Emphasis>-values and Ariki–Koike Algebras

We show that the different labelings of the crystal graph for irreducible highest weight -modules lead to different labelings of the simple modules for non semisimple Ariki–Koike algebras by using Lusztig a-values. Presented by Peter Littelman.     

Versal deformations and versality in central extensions of Jacobi schemes

Let be the scheme of the laws defined by the Jacobi identities on with a field. A deformation of , parametrized by a local ring A, is a local morphism from the local ring of at ϕ _m to A. The problem of classifying all the deformation equivalence classes of a Lie algebra with given base is solved by “versal” deformations. First, we give an algorithm for computing versal deformations. Second, we prove there is a bijection between the deformation equivalence classes of an algebraic Lie algebra ϕ _m = R ⋉ φ _n in and its nilpotent radical φ _n in the R-invariant scheme with reductive part R, under some conditions. So the versal deformations of ϕ _m in are deduced from those of φ _n in , which is a more simple problem. Third, we study versality in central extensions of Lie algebras. Finally, we calculate versal deformations of some Lie algebras. Supported by the EC project Liegrits MCRTN 505078.     

Stacks of Algebras and Their Homology

For any increasing function which takes only finitely many distinct values, a connected finite dimensional algebra is constructed, with the property that for all ; here is the -generated finitistic dimension of . The stacking technique developed for this construction of homological examples permits strong control over the higher syzygies of -modules in terms of the algebras serving as layers. The first author was supported in part by a fellowship stipend from the National Physical Science Consortium and the National Security Agency. The second author was partially supported by a grant from the National Science Foundation.     

A note on <Emphasis Type="Italic">q</Emphasis>-multiplicative functions

We prove the following statement. Let , and let . Suppose that, for all and , the sequence satisfies the relation

Complexes of Graphs with Bounded Matching Size

For positive integers k,n, we investigate the simplicial complex of all graphs G on vertex set [n] such that every matching in G has size less than k. This complex (along with other associated cell complexes) is found to be homotopy equivalent to a wedge of spheres. The number and dimension of the spheres in the wedge are determined, and (partially conjectural) links to other combinatorially defined complexes are described. In addition we study for positive integers r,s and k the simplicial complex of all bipartite graphs G on bipartition such that there is no matching of size k in G, and obtain results similar to those obtained for . S. Linusson and V. Welker supported by EC’s IHRP program through grant HPRN-CT-2001-00272. J. Shareshian partially supported by National Science Foundation grants DMS-0070757 and DMS-0030483.     

Computing Minimum-Volume Enclosing Axis-Aligned Ellipsoids

Given a set of points and ε>0, we propose and analyze an algorithm for the problem of computing a (1+ε)-approximation to the minimum-volume axis-aligned ellipsoid enclosing . We establish that our algorithm is polynomial for fixed ε. In addition, the algorithm returns a small core set , whose size is independent of the number of points m, with the property that the minimum-volume axis-aligned ellipsoid enclosing is a good approximation of the minimum-volume axis-aligned ellipsoid enclosing . Our computational results indicate that the algorithm exhibits significantly better performance than the theoretical worst-case complexity estimate. This work was supported in part by the National Science Foundation through CAREER Grants CCF-0643593 and DMI-0237415.     

Hardy Spaces and bmo on Manifolds with Bounded Geometry

We develop the theory of the “local” Hardy space and John-Nirenberg space when M is a Riemannian manifold with bounded geometry, building on the classic work of Fefferman-Stein and subsequent material, particularly of Goldberg and Ionescu. Results include – duality, L ^p estimates on an appropriate variant of the sharp maximal function, and bmo-Sobolev spaces, and action of a natural class of pseudodifferential operators, including a natural class of functions of the Laplace operator, in a setting that unifies these results with results on L ^p -Sobolev spaces. We apply results on these topics to some interpolation theorems, motivated in part by the search for dispersive estimates for wave equations.      

Nested set complexes of Dowling lattices and complexes of Dowling trees

Given a finite group G and a natural number n, we study the structure of the complex of nested sets of the associated Dowling lattice (Proc. Internat. Sympos., 1971, pp. 101–115) and of its subposet of the G-symmetric partitions which was recently introduced by Hultman (, 2006), together with the complex of G-symmetric phylogenetic trees . Hultman shows that the complexes and are homotopy equivalent and Cohen–Macaulay, and determines the rank of their top homology. An application of the theory of building sets and nested set complexes by Feichtner and Kozlov (Selecta Math. (N.S.) 10, 37–60, 2004) shows that in fact is subdivided by the order complex of . We introduce the complex of Dowling trees and prove that it is subdivided by the order complex of . Application of a theorem of Feichtner and Sturmfels (Port. Math. (N.S.) 62, 437–468, 2005) shows that, as a simplicial complex, is in fact isomorphic to the Bergman complex of the associated Dowling geometry. Topologically, we prove that is obtained from by successive coning over certain subcomplexes. It is well known that is shellable, and of the same dimension as . We explicitly and independently calculate how many homology spheres are added in passing from to . Comparison with work of Gottlieb and Wachs (Adv. Appl. Math. 24(4), 301–336, 2000) shows that is intimely related to the representation theory of the top homology of . Research partially supported by the Swiss National Science Foundation, project PP002-106403/1.     

Gelfand–Zeitlin actions and rational maps

We observe that the analogue of the Gelfand–Zeitlin action on , which exists on any symplectic manifold M with an Hamiltonian action of , has a natural interpretation as a residual action, after we identify M with a symplectic quotient of . We also show that the Gelfand–Zeitlin actions on and on the regular part of can be identified with natural Hamiltonian actions on spaces of rational maps into full flag manifolds, while the Gelfand–Zeitlin action on the whole corresponds to a natural action on a space of rational maps into the manifold of half-full flags in . The research of the first author is supported by the Alexander von Humboldt Foundation.     

On cyclotomic schemes over finite near-fields

We introduce a concept of cyclotomic association scheme over a finite near-field . It is proved that any isomorphism of two such nontrivial schemes is induced by a suitable element of the group AGL(V), where V is the linear space associated with . A sufficient condition on a cyclotomic scheme that guarantee the inclusion where is a finite field with elements, is given. I. Ponomarenko partially supported by RFFI, grants 03-01-00349, NSH-2251.2003.1.     

Epicompletion in Frames with Skeletal Maps,I: Compact Regular Frames

A frame homomorphism h : A ⟶ B is skeletal if x ^⊥⊥ = 1 in A implies that h(x)^⊥⊥ = 1 in B. It is shown that, in , the category of compact regular frames with skeletal maps, the subcategory , consisting of the frames in which every polar is complemented, coincides with the epicomplete objects in . Further, is the least epireflective subcategory, and, indeed, the target of the monoreflection which assigns to a compact regular frame A, the ideal frame ε A of , the boolean algebra of polars of A.