Algebra and Number Theory Seminars - 2016

Date Speaker and Affiliation Title of the Talk (Click on title to view abstract)
18/01/2016 V. Kumar Murty, University of Toronto

Distribution of values of L-functions

The Riemann hypothesis asks about the location of zeros of the Riemann zeta function. More generally, one may consider the analogue of this hypothesis for L-functions. It is also of interest to study the distribution of non-zero values. We will discuss some old and recent results on this problem.

19/01/2016 Ananthnarayan Hariharan , IIT Bombay

Generic Initial Ideals

A theorem of Bayer and Stillman asserts that if I is an ideal in a polynomial ring S over a field (in finitely many variables), then the projective dimension and regularlity of S/I are equal to those of S/Gin(I), where Gin(I) is the generic initial ideal of I in the reverse lexicographic order. In this series of talks, we will discuss the necessary background material, and prove the above theorem.

21/01/2016 Avijit Panja, IIT Bombay

Generalized Hamming Weights and its applications

This lecture is based on the paper "Generalized Hamming Weights for Linear Codes" by V.K. Wei. In this lecture I will define generalized Hamming weights and then discuss monotonicity of Hamming weights and duality theorem. Determination of complete weight hierarchy of binary Reed-Muller code will also be outlined.

28/01/2016 Avijit Panja, IIT Bombay

Generalized Hamming Weights and its applications

This lecture is based on the paper "Generalized Hamming Weights for Linear Codes" by V.K. Wei. In this lecture I will define generalized Hamming weights and then discuss monotonicity of Hamming weights and duality theorem. Determination of complete weight hierarchy of binary Reed-Muller code will also be outlined.

04/02/2016 Peter Beelen, Technical Univ. of Denmark

The order bound for algebraic geometry codes

The order bound is a general method to obtain a lower bound for the minimum distance of an evaluation code. It is a very good bound in case the code is defined using Goppa's construction of codes from curves. In my talk I will outline the main ideas behind the order bound and make them more explicit in the case of one-point algebraic-geometry codes

09/02/2016 Ananthnarayan Hariharan, IIT Bombay

Generic initial ideals - II

A theorem of Bayer and Stillman asserts that if I is an ideal in a polynomial ring S over a field (in finitely many variables), then the projective dimension and regularlity of S/I are equal to those of S/Gin(I), where Gin(I) is the generic initial ideal of I in the reverse lexicographic order. In this series of talks, we will discuss the necessary background material, and prove the above theorem.

16/02/2016 Ananthnarayan Hariharan, IIT Bombay

Generic initial ideals - III

A theorem of Bayer and Stillman asserts that if I is an ideal in a polynomial ring S over a field (in finitely many variables), then the projective dimension and regularlity of S/I are equal to those of S/Gin(I), where Gin(I) is the generic initial ideal of I in the reverse lexicographic order. In this series of talks, we will discuss the necessary background material, and prove the above theorem.

17/02/2016 Gregory Conner, Brigham Young University, Provo, USA

Wild Topology, Group Theory and a conjecture in Number Theory

http://www.math.iitb.ac.in/~seminar/ One of the most useful analogies in mathematics is the fundamental group functor (also known as the Galois Correspondence) which sends a topological space to its fundamental group while at the same time sending continuous maps between spaces to corresponding homomorphisms of groups in such a way that compositions of maps are preserved. A an obvious question one might ask is whether the fundamental group functor is "onto", that is: (1) is every group the fundamental group of a space and (2) every homomorphism the image of a continuous map between corresponding spaces? The easy answer to (1) is "yes" and the nonobvious answer to (2) is "it depends on the spaces". We'll introduce the harmonic archipelago as the shining example of a space with a strange fundamental group, define an archipelago of groups as a group theoretic product operation and finally describe how such products are (almost) all isomorphic to the fundamental group of the harmonic archipelago. We will study examples showing that there are group homomorphisms that cannot be induced by continuous maps on certain spaces and how the fundamental group of the harmonic archipelago factors through all such "discontinuous homomorphisms", how none of the examples is constructible (or even understandable in any reasonable way) and how one might detect spaces whose fundamental group allows them to be the codomain of such weird homomorphisms (the conjecture is that they contain the rational numbers or torsion). We'll talk a bit about the notion of cotorsion groups from classical Abelian group theory and how that notion can be generalized to non-Abelian groups by requiring certain types of systems of equations have solutions and then mention how countable groups which have solutions to such systems are always images of the fundamental group of an archipelago. In the end we're lead to an example of a countable group which we can prove is either the rational numbers or gives a counterexample to a nearly 50 year old conjecture in number theory: the Kurepa conjecture. So there is a little topology, a little homotopy theory, some group theory, a pinch of logic and a wisp of number theory in the talk. This is a distillation of work I've published recently with Hojka and Meilstrup (Proc AMS) and work that is still being written up with Hojka and Herfort.

04/03/2016 Sudarshan Gurjar, IIT Bombay

Introduction to topological K-theory

The next two talks in the Geometry-Topology seminar (on 04/03/16 and 11/03/16) will be on introduction to the basics of topological K-theory. Topological K-theory attaches to each topological space, a ring gotten using isomorphism classes of topological vector bundles. In the first lecture, I will prove some basic facts about complex vector bundles on compact, Hausdorff spaces and introduce the K-groups. The second lecture will be largely devoted to sketching a proof of Bott periodicity; a central theorem in this subject. Two classical (and related) applications of this theorem are in proving non-parallelizability of spheres other than those of dimension 1,3 and 7 and non-existence of finite-dimensional division algebras over R except in dimensions 1,2, 4 and 8.

15/03/2016 Ananthnarayan Hariharan, IIT Bombay

Generic initial ideals - IV

A theorem of Bayer and Stillman asserts that if I is an ideal in a polynomial ring S over a field (in finitely many variables), then the projective dimension and regularlity of S/I are equal to those of S/Gin(I), where Gin(I) is the generic initial ideal of I in the reverse lexicographic order. In this series of talks, we will discuss the necessary background material, and prove the above theorem.

1  2  3  Next  Last