Typescript. Includes vita and abstract. Includes bibliographical references (leaves 84-85) Also available online in Scholars' Bank; and in ProQuest, free to University of Oregon users.

An algebra is a typical object of study in pure mathematics. Take a collection of numbers (for example, all whole numbers or all decimal numbers). Inside, you can add and multiply, but with respect to these operations different collections can behave differently. Here is an example of what I mean by this. The collection of whole numbers is called Z. Starting anywhere in Z you can get to anywhere else by adding other members of the collection: 9 + (-3) + (-6) = 0. This is not true with multiplication; to get from 5 to 1 you would need to multiply by 1/5 and 1/5 doesn’t exist in the restricted universe of Z. Enter R, the collection of all numbers that can be written as decimals. Now, if you start anywhere—apart from 0—you can get to anywhere else by multiplying by members of R—if you start at zero you’re stuck there. By adjusting what you mean by ‘add’ and ‘multiply’, you can add and multiply other things too, like polynomials, transformations or even symmetries. Some of these collections look different, but behave in similar ways and some look the same but are subtly different. By defining an algebra to be any collection of things with a rule to add and multiply in a sensible way, all of these examples (and many more you can’t imagine) can be treated in general. This is the power of abstraction: proving that an arbitrary algebra, A, has some property implies that every conceivable algebra (including Z and R) has that property too. In order to start navigating this universe of algebras it is useful to group them together by their behaviour or by how they are constructed. For example, R belongs to a class called simple algebras. There are mental laboratories full of machinery used to construct new and interesting algebras from old ones. One recipe, invented by Ivan Cherednik in 1993, produces Cherednik algebras. Attached to each algebra is a collection of modules (also called representations). As shadows are to a sculpture, each module is a simplified version of the algebra, with a taste of its internal structure. They are not algebras in their own right: they have no sense of multiplication, only addition. Being individually simple, modules are often much easier to study than the algebra itself. However, everything that is interesting about an algebra is captured by the collective behaviour of its modules. The analogy fails here: for example, shadows encode no information about colour. Sometimes the interplay between its modules leads to subtle and unexpected insights about the algebra itself. Nobody understands what the modules for Cherednik algebras look like. One first step is to simplify the problem by only considering modules which behave ‘nicely’. This is what is referred to as category O. Being Koszul is a rare property of an algebra that greatly helps to describe its behaviour. Also, each Koszul algebra is mysteriously linked with another called its Koszul dual. One of the main results of the thesis is that, in some cases, the modules in category O behave as if they were the modules for some Koszul algebra. It is an interesting question to ask, what the Koszul dual might be and what this has to do with Cherednik’s recipe. Geometers study tangled, many-dimensional spaces with holes. In analogy with the algebraic world, just as algebraists use modules to study algebras, geometers use sheaves to study their spaces. Suppose one could construct sheaves on some space whose behaviour is precisely the same as Cherednik algebra modules. Then, for example, theorems from geometry about sheaves could be used to say something about Cherednik algebra modules. One way of setting up this analogy is called localisation. This doesn’t always work in general. The last part of the thesis provides a rule for checking when it does.

vi, 85 p. A print copy of this thesis is available through the UO Libraries. Search the library catalog for the location and call number. / We define and study a gluing procedure for Bridgeland stability conditions in the situation where a triangulated category has a semiorthogonal decomposition. As one application, we construct an open, contractible subset U in the stability manifold of the derived category [Special characters omitted.] of [Special characters omitted.] -equivariant coherent sheaves on a smooth curve X , associated with a degree 2 map X [arrow right] Y , where Y is another curve. In the case where X is an elliptic curve we construct an open, connected subset in the stability manifold using exceptional collections containing the subset U . We also give a new proof of the constructibility of exceptional collections on [Special characters omitted.] . This dissertation contains previously unpublished co-authored material. / Committee in charge: Alexander Polishchuk, Chairperson, Mathematics; Daniel Dugger, Member, Mathematics; Victor Ostrik, Member, Mathematics; Brad Shelton, Member, Mathematics; Michael Kellman, Outside Member, Chemistry

No description available.

This thesis concerns the use of perverse sheaves with coefficients in commutative rings and in particular, fields of positive characteristic, in the study of modular representation theory. We begin by giving a new geometric interpretation of classical connections between the representation theory of the general linear groups and symmetric groups. We then survey work, joint with D. Juteau and G. Williamson, in which we construct a class of objects, called parity sheaves. These objects share many properties with the intersection cohomology complexes in characteristic zero, including a decomposition theorem and a close relation to representation theory. The final part of this document consists of two computations of IC stalks in the nilpotent cones of sl₃and sl₄. These computations build upon our calculations in sections 3.5 and 3.6 of (31), but utilize slightly more sophisticated techniques and allow us to compute the stalks in the remaining characteristics. / text

No description available.

This thesis is on moduli spaces of complexes of sheaves and diagrams of such moduli spaces. The objects in these diagrams are constructed as geometric invariant theory quotients and the points in these quotients correspond to certain equivalence classes of complexes. The morphisms in these diagrams are constructed by taking direct sums with acyclic complexes. We then study the colimit of such a diagram and in particular are interested in studying the images of quasi-isomorphic complexes in the colimit. As part of this thesis we construct categorical quotients of a group action on unstable strata appearing in a stratification associated to a complex projective scheme with a reductive group action linearised by an ample line bundle. We study this stratification for a closed subscheme of a quot scheme parametrising quotient sheaves over a complex projective scheme and relate the Harder-Narasimhan types of unstable sheaves with the unstable strata in the associated stratification. We also study the stratification of a parameter space for complexes with respect to a linearisation determined by certain stability parameters and show that a similar result holds in this case. The objects in these diagrams are indexed by different Harder-Narasimhan types for complexes and are quotients of parameter schemes for complexes of this fixed Harder-Narasimhan type. This quotient is given by a choice of linearisation of the action and so the diagrams depend on these choices. We conjecture that these choices can be made so that for any quasi-isomorphism between complexes representing points in this diagram both complexes are identified in the colimit of this diagram.

The topic of this thesis is the moduli theory of (parabolic) sheaves on stable curves. Using geometric invariant theory (GIT), universal moduli spaces of semistable parabolic sheaves on stable marked curves are constructed: `universal' indicates that these are moduli spaces of pairs where the underlying marked curve may vary as well as the parabolic sheaf (as in the Pandharipande moduli space for pairs of stable curves and torsion-free sheaves without augmentations). As an intermediate step in this construction, we construct moduli spaces of semistable parabolic sheaves on flat families of arbitrary projective schemes (of any dimension or singularity type): this is the technical core of this thesis. These moduli spaces are projective, since they are constructed as GIT quotients of projective parameter spaces. The stability condition for parabolic sheaves depends on a choice of polarisation and is derived from the Hilbert-Mumford criterion. It is not quite the same as traditional stability with respect to parabolic Hilbert polynomials, but it is closely related to it, and the resulting moduli spaces are always compactifications of moduli of slope-stable parabolic sheaves. The construction works over algebraically closed fields of arbitrary characteristic.

Doctor of Philosophy / Department of Mathematics / Zongzhu Lin / A representation of a quiver [Gamma] over a commutative ring R assigns an R-module to each vertex and an R-linear map to each arrow. In this dissertation, we consider R = k[t]/(t[superscript]n) and all R-free representations of [Gamma] which assign a free R-module to each vertex. The category, denoted by Rep[superscript]f[subscript] R([Gamma]), containing all such representations is not an abelian category, but rather an exact category. In this dissertation, we firstly study the Hall algebra of the category Rep[superscript]f[subscript] R([Gamma]), denote by [Eta](R[Gamma]), for a loop-free quiver [Gamma]. A geometric realization of the composition subalgebra of [Eta](R[Gamma]) is given under the framework of Lusztig's geometric setting. Moreover, the canonical basis and a monomial basis of this subalgebra are constructed by using perverse sheaves. This generalizes Lusztig's result about the geometric realization of quantum enveloping algebra. As a byproduct, the relation between this subalgebra and quantum generalized Kac-Moody algebras is obtained. If [Gamma] is a Jordan quiver, which is a quiver with one vertex and one loop, each representation in Rep[superscript]f[subscript] R([Gamma]), gives a matrix over R when we fix a basis of the free R-module. An interesting case arises when considering invertible matrices. It then turns out that one is dealing with representations of the group GL[subscript]m(k[t]/(t[superscript]n)). Character sheaf theory is a geometric character theory of algebraic groups. In this dissertation, we secondly construct character sheaves on GL[subscript]m(k[t]/(t[superscript]2)). Then we define an induction functor and restriction functor on these perverse sheaves.

O objetivo dessa Dissertação é detalhar resultados conhecidos de Cohomologia em Topos de Grothendieck. Para isso, apresentamos a Álgebra Homológica em seu contexto mais geral, através de Categorias Abelianas, introduzindo as principais noções da área como funtores derivados e sequências espectrais. Desenvolvemos também o essencial da Teoria de Topos, explicando como um topos de Grothendieck surge como uma certa generalização dos feixes de conjuntos e fornecemos aspectos lógicos dos topos elementares. Focamos sobretudo nos Topos de Grothendieck pois a partir deles podemos construir categorias abelianas com suficientes injetivos, as quais são necessárias para expressar os grupos de cohomologia. / The final objective of this Dissertation is to detail known results of Cohomology in Grothendieck Topos. For this, we present Homological Algebra in its more general context, through Abelian Categories, introducing the main notions of the area as derived functors and spectral sequences. We also develop the basics of the Topos Theory, explaining how a Grothendieck Topos arises as a certain generalization of sheafs and we provide logical aspects of the elementary topos. We focus mainly in the Grothendieck Topos because from them we can construct abelians categories.