Pure Mathematics Seminar
|Friday, November 18, 2016 at 12:15 p.m. in ILB 213||Lucius Schoenbaum, Louisiana State University||
Cartesian Closed Categories and the Lambda Calculus
Abstract: During the 1960's and 1970's, connections between logic and category theory were discovered through the work of Lawvere, Lambek, Benabou, Grothendieck, and others. In the 1980's, these developments began to have an impact on many areas of computer science, such as programming language semantics and the design of functional programming languages. In this talk, I will introduce this area but focus on cartesian closed categories and the (simply-typed) lambda calculus, which are related via the Curry-Howard-Lambek correspondence (I will explain what this is). I will also discuss how recent work can be used to widen the purview of this theory.
Prerequisites: No category theory other than a basic idea of what categories and functors are.
|Friday, April 15, 2016||Yuri Bahturin, Memorial University of Newfoundland, Canada and Vanderbilt University||
Real Graded Division Algebras
Abstract: An important step in the classification of group gradings on simple algebras is the determination of graded division algebras. In this talk I will classify simple graded division algebras over algebraically closed field as well as over the field of real numbers and mention consequences of this results for the classification of gradings on real simple associative algebras of finite dimension, as well as on some infinite-dimensional algebras.
|Friday, March 11, 2016||Paul Sobaje, University of Georgia||
Varieties Associated to G-Modules
Abstract: Let G be a semisimple algebraic group over an algebraically closed field of characteristic p, and let N be normal subgroup scheme of G. Given a finite dimensional G-module V, the N-submodules of V are permuted by the action of G on V. In this way, one obtains G-varieties which live inside various Grassmannian varieties of V. We will introduce these varieties, study some of their geometric properties, and then discuss applications to the representation theory of G.
|Friday, February 26, 2016||Cornelius Pillen, University of South Alabama||
Lifting Modules for a Finite Group of Lie Type to its Ambient Algebraic Group
Abstract: Let p be a prime and q a power of p. The algebraic closure of the field with p elements is denoted by k. A Zariski-closed subgroup G of the general linear group with entries in k, is an algebraic group. If we replace the field k by a finite field with q elements we obtain a finite group of Lie type, sitting inside the infinite group G. We are interested in the following question: Can a module of the finite group be lifted to a module for the algebraic group? For example, a well-known result of Robert Steinberg says that all the simple modules can be lifted. But in general the answer to the aforementioned question is no. This talk is a survey of known results together with some explicit SL(2) examples.
|Friday, February 12, 2016||Elizabeth Jurisich, College of Charleston||
Representations of Three-Point Algebras
Abstract: I will introduce the definition of the three-point algebra and introduce two field representations for this algebra. We provide a natural free field realization in terms of a beta-gamma system and the oscillator algebra of the three-point affine Lie algebra when g=sl(2,C).
|Friday, January 22, 2016||Abhijit Champanerkar, College of Staten Island and The Graduate Center, CUNY||
Densities and Semi-Regular Tilings
Abstract: For a hyperbolic knot or link K the volume density is the ratio of hyperbolic volume to crossing number, and the determinant density is the ratio of 2π log(det(K)) to the crossing number. We explore limit points of both densities for families of links approaching semi-regular biperiodic alternating links. We explicitly realize and relate the limits for both using techniques from geometry, topology, graph theory, dimer models, and Mahler measure of two-variable polynomials. This is joint work with Ilya Kofman and Jessica Purcell.
|Friday, December 4, 2015||Chris Lin, University of South Alabama||
Solitons in G2-Geometry
Abstract: G2-structures are special sub-bundles of the natural frame bundle of a 7-dimensional manifold M. They are special in the sense that they induce irreducible representations of the space of differential forms on M. A special sub-class of G2-structures is called "torsion-free" G2-structures, which acquire more symmetry by ways of parallel translation. These torsion-free G2-structures were fervently sought-after by both mathematicians and physicists due to the extra symmetries that they enjoy. In this talk, we will discuss special solutions (called solitons) to a geometric flow that was proposed as an analytic tool to obtain torsion-free G2-structures. In particular, we will discuss a preliminary classification of these solitons. Towards the end of the talk, we will make comparisons with Ricci-solitons and comment on related questions to some associated moduli spaces.
|Friday, November 20, 2015||Andrei Pavelescu, University of South Alabama||
Commutative Matrix Rings
Abstract: The nilradical of K0 of a commutative ring R can defined to be the intersection of all the kernels of K0(R) -> K0(F) over all maps from R to F with F a field. This definition can be extended to non-commutative rings, provided one knows the structure of maximal commutative matrix subrings. In this talk we are going to explore this topic and look at some examples of such rings.
|Friday, November 13, 2015||Hung Ngoc Nguyen, University of Akron||
The Largest Character Degree and a Conjecture of Gluck
Abstract: Let F(G) and b(G) respectively denote the Fitting subgroup and the largest degree of an irreducible complex character of a finite group G. A well-known conjecture of D. Gluck claims that if G is solvable then |G : F(G)| ≤ b(G)2. We confirm this conjecture in the case where |F(G)| is coprime to 6. We also extend the conjecture to arbitrary finite groups and prove several results showing that the largest irreducible character degree of a finite group strongly controls the group structure. This is a joint work with Cossey, Halasi, and Maroti.
|Friday, October 30, 2015||Alexander Hulpke, Colorado State University||
Calculations with Matrix Groups over the Integers
Abstract: For matrix groups over the integers, reduction by a modulus m is a fundamental algorithmic tool. I will investigate how it can be used to study such groups on the computer, to test finiteness or finite index. Particular emphasis is given to Arithmetic groups, that is subgroups of SLn(Z) or Spn(Z) of finite index. For determining such an index the structure of classical groups over residue class rings Z/mZ, and the representation theory of classical groups become the major tools.
This is joint work with A. Detinko and D. Flannery (both NUI Galway).
|Friday, October 16, 2015||Armin Straub, University of South Alabama||
Abstract: Apéry-like numbers are special integer sequences, going back to Beukers and Zagier, which are modelled after and share many of the properties of the numbers that underlie Apéry's proof of the irrationality of ζ(3). Among their remarkable properties are connections with modular forms and a number of p-adic properties, some of which remain conjectural. A result of Gessel shows that Apéry's sequence satisfies Lucas-type congruences. We prove corresponding congruences for all sporadic Apéry-like sequences. While, in several cases, we are able to employ approaches due to McIntosh, Samol-van Straten and Rowland-Yassawi to establish these congruences, there is one sequence in particular, often labeled (η), for which we require a finer analysis. As an application, we investigate modulo which numbers these sequences are periodic. In particular, we show that the Almkvist-Zudilin numbers are periodic modulo 8, a special property which they share with the Apéry numbers. This talk is based on joint work with Amita Malik.
|Friday, October 2, 2015||Cornelius Pillen, University of South Alabama||
Bounding Cohomology for Finite Groups
Abstract: An old conjecture due to Guralnick says the following: There exists a universal bound C such that for any finite group G and any faithful, absolutely irreducible G-module V the dimension of the first cohomology group is bounded above by C.
In this talk we give a survey of recent results related to Guralnick's conjecture. We are particularly interested in finding bounds for cohomology groups of finite groups of Lie type.
|Friday, September 25, 2015||Dan Silver, University of South Alabama||
Periodic Graphs, Spanning Trees and Mahler Measure
Abstract: The task of counting spanning trees of a finite graph is happily solved using the Laplacian matrix and determinants. Not content to leave a good thing alone, we consider infinite graphs with cofinite free Zd symmetry. Examples can be found on tiled bathroom floors (d=2) or in crystal structures (d=3).
For such graphs, a Laplacian matrix with polynomial entries can be defined. Its determinant is called the Laplacian polynomial Δ of the graph. The Mahler measure of Δ is the growth rate of the number of spanning trees of increasingly large finite quotients of the graph. We refer to it as the complexity growth rate. Physicists call it the thermodynamic limit, which sounds better.
|Friday, September 11, 2015||Elena Pavelescu, University of South Alabama||
Oriented Matroids and Straight-Edge Embeddings of Graphs
Abstract: Matroid theory is an abstract theory of dependence introduced by Whitney in 1935. It is a natural generalization of linear (in)dependence. Oriented matroids can be thought of as combinatorial abstractions of point configurations over the reals. To every linear (straight-edge) embedding of a graph one can associate an oriented matroid, and the oriented matroid captures enough information to determine which pairs of disjoint cycles in the embedded graph are linked. In this talk, we will introduce the basics of oriented matroids. Then we show that any linear embedding of K9, the complete graph on nine vertices, contains a non-split link with three components. This talk is based on joint work with Ramin Naimi.
|Friday, September 4, 2015||Scott Carter, University of South Alabama||
Twisted Forests and Algebraic Homology Theories II
Abstract: I will try and give a little bit more motivation for these ideas by discussing the possibility of knotted n-dimensional foams. An n-foam is a space that is locally modeled upon neighborhoods of points in the space Yn. The singularities of knotted n-foams correspond to the pictures and descriptions that I gave last time. I'll also go into a bit more detail on how the homology theory is constructed. Finally, I will introduce these braided forests, and attempt to give a categorical interpretation.
|Friday, August 28, 2015||Scott Carter, University of South Alabama||
Twisted Forests and Algebraic Homology Theories I
Abstract: Motivated by some of the Reidemeister moves for knotted trivalent graphs, I will describe an algebraic structure that consists of two binary operations. One is associative; the other is self-distributive; the self-distributive operation also distributes over the associative operation, and an additional property holds. Under these conditions, a homology theory is defined that recognizes singularities of knotted foams. There are relations to higher categorical structures, and partially ordered sets.
|Friday, April 24, 2015||Greg Oman, University of Colorado at Colorado Springs||
An Independent Axiom System for the Real Numbers
Abstract: It is well-known that the set R of real numbers is the unique model of the complete ordered field axioms. It is also known that the axioms are not independent. In particular, one can prove the commutative axiom of addition from the other axioms for a ring with identity (this is a common textbook exercise). In this talk, I will show that the completeness axiom is, algebraically, a very strong assumption. In fact, it makes the majority of the algebraic axioms redundant. I will then present an independent axiom system for the reals. This talk should be accessible to all faculty as well as advanced undergraduates.
|Friday, February 6, 2015||Thomas Brüstle, Université de Sherbrooke and Bishop's University, Canada||
On the Non-Leaving-Face Property for Associahedra
Abstract: D. Sleator, R. Tarjan and W. Thurston showed in 1988 that the associahedron satisfies the non-leaving-face property, that is, every geodesic connecting two vertices stays in the minimal face containing both. Recently, C. Ceballos and V. Pilaud established the non-leaving-face property for generalized associahedra of types B, C, D, and some exceptional types including E6. The key ingredient in the proofs is a normalization, a sort of projection from the associahedron to a face.
We use methods from cluster categories to define such a normalization, which allows us to establish the non-leaving-face property at once for all finite cases that are modelled using cluster categories, namely the Dynkin diagrams.
This talk reports on joint work with Jean-François Marceau.