Annual Foundation School  II (2017)  Kozhikode
Venue:  Kerala School of Mathematics, Kozhikode, Kerala 
Date:  8th, May 2017 to 3rd, Jun 2017 
Convener(s)  
Name  Prof. M Manickam  Prof. Venkata Balaji T E  Dr. A.K. Vijayarajan 
Mailing Address  Director Kerala School of Mathematics Kunnamangalam, P.O Kozhikode – 673571, Kerala 
Assistant Professor IIT Madras 
Associate Professor
Kerala School of Mathematics
Kozhikode
Kerala

Resource Persons

Krishna Hanumanthu (CMI, Chennai) (KH)

Parvati Shastri (PS)

M Manickam (KSOM, Kozhikode) (MM)

Sudarshan Gurjar (IIT, Bombay) (SG)

Anant R Shastri (IIT, Bombay)(ARS)

Venkata Balaji T E (IIT, Madras) (TEVB)

A K Vijayarajan (KSOM, Calicut) (AKV)

Indrava Roy (IMSc, Chennai) (IR)
Tutorial Assistants
Sr.  Name 
Affiliation 
1  P Shankar  SRF, KSOM, Kozhikode 
2  Pranav Haridas  PDF, IIT Madras 
3  Rohith Varma  PDF, IMSc, Chennai 
4  B. N. Suhas  PDF, IIT Madras 
Syllabus Covered by the Resource Persons
Algebra  
Krishna Hanumanthu 
I gave five lectures covering the tenth chapter of Artin's Algebra (first edition). I didn't have time to start the next chapter. Following is a brief description of the material covered: Rings, homomorphisms, ideals, quotient rings by ideals, adjunction of elements, integral domains, prime (i) maximal ideals in C[x_1,...,x_n] are in bijective correspondence with C^n; and Finally, I gave a brief introduction to algebraic geometry by defining algebraic varieties in C^n, Zariski topology, and giving some examples of curves in C^2. I focused on giving many examples and describing the results in concrete situations. I think most students have become comfortable working with subrings of C and polynomial rings, which were the main focus of my lectures. During the tutorials, we solved several exercises from Artin and other places. I was quite happy with the enthusiasm and hard work of the students. They worked diligently even outside the class and tutorial times and I enjoyed sitting with them to discuss, mainly after dinners. 
Parvati Shastri 
Here is a brief account of what was taught in my course. Motivation from number theory, Fundamental Theorem of Arithmetic (Division algorithm) in the ring of integers and polynomial rings over a field and the Gaussian integers, pointing out, division algorithm by a monic polynomial holds for polynomials over any commutative ring with identity. Euclidean domains are PID’s and PID’s are UFD’s. Gauss Lemma. A necessary condition for the existence of a Euclidean function in terms of universal side divisors, the Dedekind Hasse function, existence of DedekindHasse function as a necessary and sufficient condition for an integral domain to be a PID. Historical introduction to algebraic number theory, the theorem of Diophantus and Fermat’s last theorem. Definition of algebraic numbers and integers, the ring of integers of a quadratic field. Unique factorization of ideals in the ring of integers of a number field, the definition of Dedekind domains, statement that for a Dedekind domain, UFD is equivalent to PID. Proof of this last statement was given for the ring of integers of an imaginary quadratic field. Definition of Ideal Class group and its significance, Class number one is equivalent to PID and hence equivalent to UFD. An outline of the proof through guided exercises, that the norm function is DedekindHasse function on the ring of integers of Q( sqrt ( − 19)) and hence it is a PID. But there does not exist any Euclidean function on this ring, thus providing an example that PID does not imply Euclidean. List of nine values of d for which the ring of integers of Q( √ d) is PID and out of which the first five are Euclidean and there can be no Euclidean function on the remaining four. Units in imaginary quadratic fields contrast with real quadratic fields, by examples; relation and history of Brahma Gupta Pell equation. Eisenstein’s irreducibility criterion and application to cyclotomic polynomials were also done. Tutorial sheets were distributed and some exercises were solved completely some were partially done with enough hints. Students participation was good. Except one of the tutorial sessions, attendance was nearly hundred percent. A few were very good, some average and some not up to the expectation. Overall, most of them made efforts to learn, but mostly in the classroom. Some tutorial sessions were extended, since out of class, study was lacking. 
M. Manickam 
During my five lectures and tutorials, Chapter 14 of M.Artin second edition has been covered. The concept of modules, submodules, free modules finitely generated modules and noetherian rings were introduced and developed the theory in order to solve a linear equation over the ring of integers and then derived structure theorem of abelian groups and the same for modules over polynomial rings. Then as an application the linear space of finite dimension over F is equivalent to the F[t] module has been showed and finally rational canonical form associated with one such linear operator has been derived. 
Differential Geometry  
Sudarshan Gurjar 
I gave the initial 5 lectures and conducted 5 tutorials in the geometry section of the school. The focus was on differential geometry of plane curves; more specifically the first 3 chapters from Pressley's book on differential geometry. In the first lecture, reviewed some of the basic aspects of multivariable calculus. Good part of the focus was on the Implicit and the Inverse function theorems. In the next lecture, I began discussing parametrized curves. I then discussed length of a parametrized curve and reparametrization of a parametrized curve, especially the unit speed reparametrizations of regular parametrized curves. I then introduced the notion of curvature of plane curves and derived an expression for the same. A related notion of signed curvature was also introduced. I then proved the fundamental theorem on existence and uniqueness of plane curves with a given signed curvature. In the later lectures I began talking about spaces curves. I introduced torsion of space curves and derived an expression for the same. I then discussed the SerretFrenet equations. I then stated (without proof) the analogues theorem for existence and uniqueness of space curves with given curvature and torsion. In the last lecture I proved two global theorems on plane curves; namely the isoperimetric inequality and the 4 vertex theorem. The tutorials were devoted to discussing how to prove Inverse function theorem from Implicit function theorem and vice versa, comparison between level curves and parametrized curves, exercises discussing properties of curvature and fixing some loose ends from the lectures. The students were alert and enthusiastic. The teaching experience was rewarding. The facilities and arrangements at KSOM were good. 
A R Shastri  I have engaged totally 6 lectures of 1.5 hours each and 6 tutorials of 1 hour each. I arrived at the venue one day in advance of my lectures and got the feedback from Sudarshan Gurjar who was teaching Differential Geometry during the first week.
The partcipants were taught through first three chapters from Pressley's book during the first week which is about curves. So I began with the question: What is curve? I got some very interesting answers which helped me to take the course that I should for these audience. I began with recalling inverse and implicit function theorems smooth version of invariance of domain, and lead them the concept of manifolds with boundary in euclidean spaces. Most of the examples were taken from the book Pressley and therefore were surfaces. In particular, the of all the classes of quadratics was discussed. I also gave them some glimpses of what is Topology, Algebraic Topology, Differential Topology and Differential Geometry. Then I proved the regular inverse image theorem, Jacobian Criterion for a subset of euclidean space to be a manifold. Then tangent spaces derivative of smooth maps on tangent spaces were introduced. In lecture three, I introduced the first fundamental form of any manifold in a euclidean space and and indicated how this leads to the concept of Riemannian manifolds in general. We then discussed local isometry, conformal mappings and equiareal mappings. As a consequence, we obtained Archimedes theorem and computed the area of a triangle on the sphere. The last lecture was devoted to the study of the geometry of the sphere, and the unit 2disc with the Poincare metric as examples of non euclidean geometry. The participants were on the whole quite enthusiastic though with diverse background. The distinction between those who had attended AFSI earlier and those who had not was very clear. Often the discussion hours went beyond the stipulated time. I also engaged a session of making Platonic solids, which the participants enjoyed. I also gave two special talks in which I presented two proofs of Fundamental Theorem of Algebra, one using Linear algebra and the other using only real analysis. We had only one tutor who was also not of much use. The arrangements at KSOM were excellent. Incidentally, I came to know on the very first day that there is a II edition of Pressely book and got a soft copy. This edition is far better than the first one and I recommend that we follow this in future. 
Venkata Balaji T E  The lectures given by the third speaker Venkata Balaji were aimed at covering the three most important results of the course, namely the GaussBonnet Theorem, the Gauss Theorema Egregium and the the Gauss Curvature Theorem.
After beginning with the definition of geodesics as curves on surfaces that obey Newton's First Law, with geodesic curvature as the tangential component of curvature, and Gaussian curvature as the product of minimum and maximum normal curvatures of curves passing through the given point of the surface, the GaussBonnet Theorem was introduced as a statement of the form total curvature equals a constant. This was first stated for simple smooth closed curves, then for curvilinear polygons and then for compact orientable surfaces. The constant was motivated in the first two cases to be either a plane angle or a solid angle by considering the cases of a closed disc or a sphere. The proof for the compact surface case was deduced from the curvilinear polygon case after assuming the existence of triangulations and it turns out that the constant is the Euler characteristic, showing that the theorem amazingly relates the differential geometric curvature with a topological invariant. The implications of such a statement were explained. The second fundamental form was introduced as arising naturally from an effort to compute the normal curvature of a curve on the surface. The Weingarten map was defined and the existence of real eigenvalues were shown. The eigenvalues were called principal curvatures and the corresponding eigenvectors principal eigenvectors. It was established that these vectors are orthogonal (when the eigenvalues are distinct) and Euler's Theorem was established relating the normal curvature of an arbitrary curve with these principal curvatures. As a corollary to this, it followed that these principal curvatures were none other than the maximal and minimal normal curvatures. A formula for Gaussian curvature was deduced using the fact that it is the determinant of the Weingarten map, showing that it is a smooth function. The above analysis allows approximation of the surface by an equation of degree two and the classification of its points as elliptic, hyperbolic, parabolic or planar was illustrated. It was shown that the Wiengarten map is also the same as the Gauss map up to a sign,where the Gauss map records the variation of the unit normal to the surface. Gauss's Theorem on Gaussian Curvature as the limiting value of area spanned by the normal vector on the unit sphere per unit area of the surface was proved, generalising the statement that the curvature of a curve is the limiting value of change in the normal direction (or tangent direction) per unit arc length. The total curvature of the torus was shown to be zero easily by considering the Gauss map and the regions of elliptic and hyperbolic points on it. Hopf's Umlaufsatz was motivated on the plane using the case of a circle and its proof for the surface case was explained using the ideas of isotopy. A calculation relative to a moving frame on the tangent plane and forming a right handed orthonormal system with the unit normal shows that the difference between the rate of angular change between the tangent and the first vector of the frame, and the geodesiccurvature, is measured on the bounding curve by the dot product of the first vector with the rate of change of the second (rates measured relative to arclength). This is essentially an infinitesimal version of the Gaussian curvature on the inner surface recorded by the bounding curve and integrating this on the curve leads to the proof of GaussBonnet for the case of a smooth curve, from which the polygon case can be deduced. Green's Theorem and all basic formulas involving the second and first fundamental forms are put to use here. It was pointed out that the same moving frames calculation applied to the GramSchmidt orthonormalisation of the frame of a patch (chart) leads to the proof of Gauss's Theorem Egregium, which showed that the notion of Gaussian curvature is intrinsic, is preserved by isometries, and showed that the determinant of the second fundamental form depends on the first fundamental form. It was thus explained why any map of the earth distorts distances, must distort either angles or areas and not preserve both. Geodesics, their appearance in normal sections, and their determination on surfaces of revolution (Clairaut's Theorem) were explained. There was not enough time to cover the Geodesic Equations, Gauss Equations or Geodesic Coordinates. These the students were requested to study later on their own. Several hours of extra classes were taken in order to complete the above proofs and most of the students attended these sessions from 5.30PM to 7.30PM with interest, enthusiasm and appreciable patience. The lecturer greatly enjoyed lecturing on these beautiful topics and wishes to do the same in future given the opportunity. 
Measure Theory  
A. K. Vijayarajan 
Lecture I: Lecture II: Lecture III: Lecture IV: Lecture V: Lecture VI: In all the 6 tutorial hours, problems were worked out and left over verifications were done. As prescribed all topics in the first chapter of Rudin's book on Real and Complex Analysis were covered though I did not strictly follow the material there. Several other textbooks such as Real Analysis by Folland and Royden were made use of. In the next two lecture hours and tutorials hours Spectral measure, spectral integrals and spectral theorems were done in detail. This was done as participants showed enthusiasm to see where measure theory methods can be used and applied. Printed class notes were given after each class so that students could concentrate on attending and interacting rather than taking down notes. The whole audience was interested in the subject and a few of them were really good. Quite a few of them need a push and some assistance to start on a problem. I have given them notes for all the classes. Some corrections are needed in the notes and there are typos as well. I will get back and give them the corrected notes in full. 
Indrava Roy 
Lecture 1: Lecture 2: Lecture 3: Lecture 4: Lecture 5: Lecture 6: Lecture 7: Lecture 8: Haar measures: Definition of Topological groups, Definition of Radon and Haar measures, examples of Haar measures via Riesz Representation Theorem In all tutorial classes, problems pertaining to relevant topics were given including some leftover exercises from Lecture classes. 
Time Table
Day  Date  Lecture 1 (9.30– 11.00) 
Tea (11.00– 11.30) 
Lecturer 2 (11.30– 1.00) 
Lunch (1.00– 2.30) 
Tutorial 1 (2.30– 3.30) 
Tea (3.30 4.00) 
Tutorial 2 (4.00 5.00) 
Mon  08052017  Alg KH  TopSG  Alg KH*  TopSG*  
Tues  09052017  AnaAKV  Alg KH  AnaAKV*  Alg KH*  
Wed  10052017  TopSG  AnaAKV  TopSG*  AnaAKV*  
Thu  11052017  Alg KH  TopSG  Alg KH*  TopSG*  
Fri  12052017  AnaAKV  Alg KH  AnaAKV*  Alg KH*  
Sat  13052017  TopKH  AnaAKV  TopKH*  AnaAKV*  
SUNDAY : HOLIDAY  
Mon  15052017  Alg SG  AnaAKV  AlgSG*  AnaAKV*  
Tues  16052017  TopSG  Alg PS  TopSG*  Alg PS*  
Wed  17052017  AnaAKV  TopARS  AnaAKV*  TopARS*  
Thu  18052017  TopARS  AnaAKV  TopARS*  AnaAKV*  
Fri  19052017  Alg PS  TopARS  Alg PS*  TopARS*  
Sat  20052017  AnaAKV  Alg PS  AnaAKV*  Alg PS*  
SUNDAY : HOLIDAY  
Mon  22052017  TopARS  Alg PS  TopARS*  Alg PS*  
Tues  23052017  AnaIR  TopARS  AnaIR*  TopARS*  
Wed  24052017  Alg PS  AnaIR  Alg PS*  AnaIR*  
Thu  25052017  AnaIR  Alg PS  AnaIR*  Alg PS*  
Fri  26052017  TopARS  AnaIR  TopARS*  AnaIR*  
Sat  27052017  Alg MM  TopTEVB  Alg MM*  Top TEVB*  
SUNDAY : HOLIDAY  
Mon  29052017  AnaIR  TopTEVB  AnaIR*  Top TEVB*  
Tues  30052017  Alg MM  AnaIR  Alg MM*  AnaIR*  
Wed  31052017  TopTEVB  Alg MM  Top TEVB*  Alg MM*  
Thu  01062017  AnaIR  TopTEVB  AnaIR*  Top TEVB*  
Fri  02062017  Alg MM  AnaIR  Alg MM*  AnaIR*  
Sat  03062017  TopTEVB  Alg MM  Top TEVB*  Alg MM* 
Actual Participants 
Sr.  SID  Full Name  Gender  Affiliation  Position in College/ University  University / Institute M.Sc./ M.A.  Year of Passing M.Sc. /M.A  Ph.D. Deg Date 
1  10072  Mr. Umar Mohammad Khan  Male  AMU  PhD Scholar  AMU  2015  
2  10080  Mr. Faeem Ali  Male  AMU  PHD  AMU  2014  
3  10114  Ms Jisha Cr  Female  calicut university campus  mphil  calicut university  2013  
4  10132  Mr. Adnan Abbasi  Male  Aligarh Muslim University  Ph.D  Jamia Millia Islamia university  2012  
5  10252  Ms. Subajini M  Female  Manonmaniam Sundaranar University  PhD Student  S. T Hindu College, Nagercoil  2012  
6  10296  Mr Vivek Kumar Gupta  Male  Dr Harisingh Gour University  Ph.D  Central University Of South Bihar  2015  
7  10342  Mr. Nazim Khan  Male  AMU  PhD  AMU  2015  
8  10346  Mr. Arvind Kumar Verma  Male  Dr. Harisingh Gour Vishwavidyalaya  PhD  Dr. Ram Manohar Lohia Awadh University Faizabad  2014  
9  10349  Ms. Deepika Rajoriya  Female  Dr. Harisingh Gour Central University,  Ph.D. Student  Dr. Harisingh Gour central University,Sagar  2016  
10  10373  Mr. Saikat Panja  Male  IISER Kolkata  IPhd 3rd year  IISER Kolkata  Awaiting Result  
11  10378  Ms. Arifa Naz  Female  AMU  PhD  A.M.U  2016  
12  10379  Ms. Hira Fatima  Female  AMU  Ph.D  A.M.U  2015  
13  10389  Mr. Rahul Rajan  Male  Cochin University Of Science And Technology  PhD student  Cochin University of Science and Technology  2016  
14  10421  Mr Saravanan V  Male  Periyar University  PhD  Bharathidasan University, Trichy.  2012  
15  10423  Mr. Sathishkumar G  Male  Periyar University  PhD Student  Periyar University  2015  
16  10434  Mr A.P Abdul Jaleel  Male  Central University of Kerala  PhD  Cochin University of Science and Technology  2013  
17  10436  Mr Tawseef Rashid  Male  AMU  Ph.D.  Kashmir University  2014  
18  10439  Mr. Mohammad Asim  Male  AMU  Ph.D Student  A.M.U  2014  
19  10474  Mr Pasupulati Sunil Kumar  Male  IISER TVM  IPhD STUDENT  IISER TVM  Awaiting Result  
20  10485  Mr Jasraj Anil Date  Male  Visvesvaraya National Institute of Technology  MSc Student  Visvesvaraya National Institute of Technology    
21  10501  Mr Gokulraj S  Male  Central University of TamilNadu  PhD Student  Pondicherry University  2015  
22  10512  Ms Sushmitha P  Female  IIT Madras  PhD  Pondicherry University  2016  
23  10521  Ms. Atiya Perveen  Female  AMU  Ph.D  M.Sc  2015  
24  10534  Mr. Vijayanand V  Male  Periyar University  PhD  Bharathidasan University  2015  
25  10601  Mr. Debasis Haldar  Male  NIT Rourkela  PhD Student  University of Hyderabad  2014  
26  10612  Ms. Pragya Singh  Female  IIT(BHU) Varanasi  PhD  BHU  2012 
How to reach
Reaching KSOM:
The KSOM is located at a distance of about 12Kms from the Kozhikode city centre (train/bus Stations) situated off the KozhikodeMedical CollegeKunnamangalam bus route.
If you choose to travel from the city to KSOM by bus, catch one from the Palayam Bus Station (also known as the Old Bus Stand) going in the above route (there is a bus in about every 10 minutes) and get down at a bus stop called `Mundikkalthazham’ which is a few stops after the more prominent Medical College Bus Stop.
The KSOM is by the side of a bye lane leading to Peringolam from this bus stop and at a distance of about 2Kms.
Alternatively you can take a bus from the Kunnamangalam Bus Station to `Peringolam’ and walk up a hill to reach KSOM.