Skip to main content

Dissertation Defense

Dissertaton Defense--Robert Davis

Title: Unimodality Questions in Ehrhart Theory

 

Abstract: An interesting open problem in Ehrhart theory is to classify the lattice polytopes having a unimodal h*-vector. Although various sufficient conditions have been found, necessary conditions remain a challenge. Some highly-structured polytopes, such as the polytope of real doubly-stochastic matrices, have been proven to possess unimodal h*-vectors, but the same is unknown even for small variations of it. In this talk, we will mainly examine the h*-vectors for two particular classes of polytopes, with special attention given to methods for proving unimodality.

Date:
-
Location:
745 Patterson Office Tower
Event Series:

Dissertation Defense

Title:  Material tensors and pseydotensors of weakly-textured polycrystals with orientation measure defined on the orthogonal group

Abstract:  Material properties of polycrystalline aggregates should manifest the influence of crystallographic texture as defined by the orientation distribution function (ODF). A representation theorem on material tensors of weakly-textured polycrystals was established by Man and Huang (2012), by which a given material tensor can be expressed as a linear combination of an orthonormal set of irreducible basis tensors, with the components given explicitly in terms of texture coefficients and a number of undetermined material parameters. Man and Huang's theorem is based on the classical assumption in texture analysis that ODFs are defined on the rotation group SO(3), which strictly speaking makes it applicable only to polycrystals with (single) crystal symmetry defined by a proper point group. In the present study we consider ODFs defined on the orthogonal group O(3) and extend the representation theorem of Man and Huang to cover  pseudotensors and polycrystals with crystal symmetry defined by any improper point group. This extension  is important because many materials, including common metals such as aluminum, copper, iron, have their group of crystal symmetry being an improper point group. We present the restrictions on texture coefficients imposed by crystal symmetry for all the 21 improper point groups and we illustrate the extended representation theorem by its application to elasticity.

 

Date:
-
Location:
745 Patterson Office Tower
Event Series:

Dissertation Defense - Sema Gunturkun

Title:  Homogeneous Gorenstein Ideals and Boij Söderberg Decompositions

Abstract:  This talk consists of two parts. Part one revolves around a construction for homogeneous Gorenstein ideals and properties of these ideals. Part two focuses on the behavior of the Boij-Söderberg decomposition of lex ideals. Gorenstein ideals are known for their nice duality properties. For codimension two and three, the structures of Gorenstein ideals have been established by Hilbert-Burch and Buchsbaum-Eisenbud, respectively. However, although some important results have been found about Gorenstein ideals of higher codimension,  there is no structure theorem proven for higher codimension cases. Kustin and Miller showed how to construct a Gorenstein ideals in local Gorenstein rings starting from smaller such ideals. We discuss a modification of their construction in the case of graded rings. In a Noetherian ring, for a given two homogeneous Gorenstein ideals, we construct another homogeneous Gorenstein ideal and so we describe the resulting ideal in terms of the initial homogeneous Gorenstein ideals. Gorenstein liaison theory plays a central role in this construction. For the second part, we talk about Boij-Söderberg theory which is a very recent theory. It arose from two conjectures given by Boij and Söderberg and their proof by Eisenbud and Schreyer.

 

It establishes a unique decomposition for Betti diagram of graded modules over polynomial rings. We focus on Betti diagrams of lex ideals which are the ideals having the largest Betti numbers among the ideals with the same Hilbert function. We describe Boij-Söderberg decomposition of a lex ideal in terms of Boij-Söderberg decomposition of some related lex ideals.

Date:
-
Location:
745 Patterson Office Tower
Event Series:

Dissertation Defense--Casey Monday

Title:  A Characterization of Serre Classes of Reflexive Modules Over a Complete Local Noetherian Ring

Abstract:  Serre classes of modules over a ring $R$ are important because they describe relationships between certain classes of modules and sets of ideals of $R$. In this talk we characterize the Serre classes of three different types of modules. First we characterize all Serre classes of noetherian modules over a commutative noetherian ring. By relating noetherian modules to artinian modules via Matlis duality, we characterize the Serre classes of artinian modules. When $R$ is complete local and noetherian, define $E$ as the injective envelope of the residue field of $R$. Then denote $M^\nu=Hom_R(M,E)$ as the dual of $M$. A module $M$ is reflexive if the natural evaluation map from $M$ to $M^{\nu\nu}$ is an isomorphism.  The main result provides a characterization of the Serre classes of reflexive modules over such a ring. This characterization depends on an ability to ``construct'' reflexive modules from noetherian modules and artinian modules. We find that Serre classes of reflexive modules over a complete local noetherian ring are in one-to-one correspondence with pairs of collections of prime ideals which are closed under specialization.

Date:
-
Location:
945 Patterson Office Tower
Event Series:

Dissertation Defense--Clinton Hines

Title:  Spin Cobordism and Wedge Quasitoric Manifolds

Abstract:  Quasitoric manifolds are smooth 2n-manifolds admitting a "nice" action of the compact n-torus so that the quotient of this action yields a (combinatorially) simple polytope.  They are a generalization of smooth projective toric variaties and much is known about these manifolds in terms of complex cobordism theory.  In fact they were used by Buchstaber and Panov to show that every cobordism complex class contains a (connected) quasitoric manifold.

Far less is known about spin quasitoric manifolds and spin cobordism which requires the calculation of KO-characteristic classes.  We consider a procedure developed to investigate topological data for spin quasitoric manfolds which utilizes a wedge polytope operation on the quotient polytope.  We'll discuss a list of results concerning these "wedge" quasitoric manifolds, including such topics as Bott manifolds, the connected sum, the Todd genus and lastly, specific criteria in terms of combinatorial data allowing for the calculation of KO-characteristic classes of spin quasitoric manifolds.

Date:
-
Location:
745 Patterson Office Tower
Event Series:

Dissertation Defense

Title:  Subfunctors of Extension Functors

Abstract:  In this talk we examine subfunctors of Ext relative to covering (enveloping) classes and the theory of covering (enevloping) ideals. The notion of covers and envelopes by modules was introduced independently by Auslander-Smalo and Enochs and has proven to be beneficial for module theory as well as for representation theory. First we will focus on subfunctors of Ext and their properties. We show how the class of precoverings give us subfunctors of Ext. Later, we investigate the sunfunctor of Hom called ideals. The definition of cover and envelope carry over to the ideals naturally. Classical conditions for existence theorems for covers led to similar approaches in the ideal case. Even though some theorems such as Salce's Lemma were proven to extend  to ideals, most of the theorems do not directly apply to the new case. We show how Eklof-Trlifaj's result can partially be extended to the ideals generated by a set. Moreover by relating the existence theorems for covering ideals of morphisms by identifying the morphisms with objects in A_2 we obtain a sufficient condition for the existence of covering ideals in a more general setting and finish with applying this result to the class of phantom morphisms.

Date:
-
Location:
318 Patterson Office Tower
Event Series:

Dissertation Defense

Title:  Homological Algebra with Filtered Module

Abstract:  Classical homological algebra begins with the study of projective and injective modules.  In this talk I will discuss analogous notions of projectivity and injectivity in a category of filtered modules.  In particular, projective and injective objects with respect to the restricted class of strict morphisms are defined and characterized.  Additionally, an analogue to the injective envelope is discussed with examples showing how this differs from the usual notion of an injective envelope.

Date:
-
Location:
745 Patterson Office Tower
Event Series:

Toric Varieties and Cobordism

A long-standing problem in cobordism theory has been to find convenient manifolds to represent cobordism classes.  For example, Hirzebruch asked which complex cobordism classes can be represented by smooth connected algebraic varieties in the late 1950’s.  In this talk, I will describe a toric version of this question.  After a brief introduction to toric varieties, I will discuss certain combinatorial obstructions to a complex cobordism class containing a smooth projective toric variety.  Up to dimension six, I will completely describe the cobordism classes containing such varieties.  In addition, the role of toric varieties in the polynomial ring structure of complex cobordism will be examined.  More specifically, I will construct smooth projective toric varieties as polynomial ring generators in most dimensions.  I will also present overwhelming evidence suggesting that a smooth projective toric variety generator exists in every dimension.

Date:
-
Location:
241 Whitehall Classroom Building
Event Series:
Subscribe to Dissertation Defense