CHENNAI MATHEMATICAL INSTITUTE Postgraduate Programme in Mathematics MSc/PhD Entrance Examination 22nd May 2022 Part A (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) A, C. D. A. A. B, C, D. B, C. A, D. B, C, D . B, C. B, C, D. 1 Part B (11) (A) Multiplying by the transpose, we get ๏ฃฎ๏ฃน ๐ก ๏ฃฏ1๏ฃบ 3 = 1 1 1 ๐ด ๐ด ๏ฃฏ๏ฃฏ1๏ฃบ๏ฃบ = 1 1 1 ๐ 2 ๏ฃฏ1๏ฃบ ๏ฃฐ๏ฃป so ๐ = ±1. (B) Similarly, ๏ฃฎ1๏ฃน ๏ฃฏ๏ฃบ ๏ฃฏ1๏ฃบ = 3๐ 2 ๏ฃฏ๏ฃบ ๏ฃฏ1๏ฃบ ๏ฃฐ๏ฃป ๏ฃฎ๐ฅ ๏ฃน ๏ฃฎ ๏ฃน ๏ฃฏ ๏ฃบ ๐ก ๏ฃฏ1๏ฃบ ๏ฃฏ ๏ฃบ ๐(๐ฅ + ๐ฆ + ๐ง) = 1 1 1 ๐ ๏ฃฏ๐ฆ ๏ฃบ = 1 1 1 ๐ด ๐ด ๏ฃฏ๏ฃฏ−1๏ฃบ๏ฃบ = 0 ๏ฃฏ๐ง ๏ฃบ ๏ฃฏ0๏ฃบ ๏ฃฐ ๏ฃป ๏ฃฐ ๏ฃป so ๐ฅ + ๐ฆ + ๐ง = 0 since ๐ ≠ 0. (12) The ratio above can be expressed as ๐ ๐ 1 Í๐ ๐=1 ( ๐ ) ๐ . Í (1 + ๐1 )๐−1 · ๐1 ๐๐=1 (๐ + ๐๐ ) ∫1 In the limit, the numerator becomes the integral 0 ๐ฅ ๐๐๐ฅ. Likewise, the denominator tends to ∫1 (๐ + ๐ฅ)๐๐ฅ. Setting ๐ (๐) = 1/60 gives the quadratic equation 2๐ 2 + 3๐ − 119 = 0. So the answer 0 is −3/2. (13) By way of contradiction, let ๐ผ ∈ ๐ \ ๐ (๐ ). Find a countable collection of nested closed balls {๐ถ๐ } around ๐ผ whose intersection is {๐ผ }. Then ∩๐ ๐ −1 (๐ถ๐ ) = ∅. But then ๐ −1 (๐ถ๐ ) = ๐ for some ๐ and hence the interior of ๐ถ๐ contains ๐ผ and is in ๐ \ ๐ (๐ ). So ๐ \ ๐ (๐ ) is open, it is also closed, contradicting the hypothesis that ๐ is connected. Thus ๐ (๐ ) = ๐ . (14) (A) By way of contradiction, assume that ๐ and ๐ are distinct prime numbers that divide |๐บ |. Then ๐บ has subgroups of orders ๐ and ๐, so such an ๐ cannot exist. Hence ๐บ is a finite ๐-group for some ๐. (B) Hence the centre ๐ (๐บ) ≠ {1๐บ }. Since ๐ (๐บ) is abelian, and a normal subgroup of ๐บ and ๐ a subgroup of ๐ (๐บ), it follows that ๐ is a normal subgroup of ๐บ. (15) Chose ๐ผ ∈ C such that <(๐ผ) < 0 and <(๐ผ ๐ 0 (1)) > 0. This is possible if ๐ 0 (1) ∉ R. Since ๐ (๐ท) ⊂ ๐ท, for small ๐ก > 0 ๐ (1 + ๐ก๐ผ) − 1 <0 < ๐ก and hence as ๐ก −→ 0+ , <(๐ผ ๐ 0 (1)) ≤ 0. For the second part, note that by Schwartz lemma and 0 < ๐ก < 1, |๐ (๐ก)| ≤ ๐ก and hence |๐ (๐ก) − 1| 1 − |๐ (๐ก)| ≥ ≥1 1−๐ก 1−๐ก and as ๐ก −→ 1, we have the inequality. (16) Since every Ð๐finite extension of a finite field is Galois, ๐น is infinite By way of contradiction, assume that ๐ = ๐=1 ๐๐ . Pick ๐ฅ ≠ 0 ∈ ๐1 and ๐ฆ ∈ ๐ \ ๐1 . Then there exists ๐ > 1Ðsuch that ๐ฅ + ๐ผ๐ฆ ∈ ๐๐ for infinitely many ๐ผ ∈ ๐น × . Hence ๐ฆ ∈ ๐๐ and, so, ๐ฅ ∈ ๐๐ . Therefore ๐ = ๐๐=2 ๐๐ . Repeating this argument, we get a contradiction. 2 (17∗ ) Fibre is C[๐, ๐ ]/(๐๐ − 1, ๐ + ๐ผ๐ − ๐ฝ). If ๐ผ = ๐ฝ = 0, then it is the zero ring since (๐๐ − 1, ๐ ) = C[๐, ๐ ]. Otherwise, C[๐, ๐ ]/(๐๐ − 1, ๐ + ๐ผ๐ − ๐ฝ) ' C[๐ ]/(−(๐ผ๐ − ๐ฝ)๐ − 1) ' C[๐ ]/((๐ผ๐ − ๐ฝ)๐ + 1) The equation ๐ผ๐ 2 − ๐ฝ๐ + 1 has at least one solution; it has exactly one solution if and only if ๐ฝ 2 = 4๐ผ. Hence for ๐ = 0, the answer is {(0, 0)}. For each (๐ผ, ๐ฝ) with ๐ฝ 2 = 4๐ผ, the fibre has exactly one prime ideal; for all other values of (๐ผ, ๐ฝ), the fibre has exactly two prime ideals. (18∗ ) (A) Consider the projection maps ๐๐ : ๐ −→ R, (๐ฆ1, . . .) โฆ→ ๐ฆ๐ . Then Ù 1 ๐2 = ๐๐−1 ( [0, ]) ๐ ๐ ≥1 so it is a closed subset of ๐. Since ๐ is compact by Tychonoff’s theorem, ๐ 2 is compact. (B) The maps (๐ฆ1, . . .) โฆ→ ๐๐ฆ๐ is continuous for each ๐, so ๐ท is continuous. It is bijective. Since ๐ is Hausdorff and ๐ 2 compact, ๐ท is continuous. (C) Take ๐ฟ = โ2 and a = (1, 21 , . . . , ๐1 , . . . ). (Note that ๐ 2 ⊆ โ2 .) (D) ๐ท is a homeomorphism and ๐ โฆ ๐ท is continuous. (19∗ ) (A) is false since the polynomial ๐ 12 − ๐ has two real roots. (B) is a consequence of the fact that any degree 11 polynomial has a real root. (C) If the group Aut(๐ธ) of all field automorphisms of ๐ธ has odd order, then every embedding ๐ธ −→ C is real. note that if ๐ is a complex embedding, then complex conjugation yields a nontrivial automorphism ๐ธ of order 2. (20∗ ) (A) ๐๐ (๐, −๐) = 2๐ . Hence 2๐ /๐ ≤ ๐๐ (๐ (๐), ๐ (−๐)) ≤ ๐ฟ๐ + 2, so ๐ฟ๐ ≥ 2๐ /๐ − 2. ๐ฟ๐ = ๐๐ (๐ (๐), ๐ (๐)) ≤ ๐๐๐ (๐, ๐). Hence ๐๐ (๐, ๐) ≥ ๐ฟ๐ /๐ ≥ 2๐ /๐ 2 − 2/๐. (B) Note that ๐¯(๐ถ 1 ) = ๐¯(๐ถ 2 ) = ๐¯(๐ถ๐ ). Hence there exist such ๐ฅ๐ as asserted. Since {๐ (๐ฅ 1 ), ๐ (๐ฅ 2 )} ⊆ ๐ (๐)+๐ (๐) S1 × { }, it follows that ๐๐ (๐ (๐ฅ 1 ), ๐ (๐ฅ 2 )) ≤ 2. 2 (C) ๐๐ (๐ (๐ฅ 1 ), ๐ (๐)) ≥ ๐ฟ๐ /2, so ๐๐ (๐ฅ 1, ๐) ≥ ๐ฟ๐ /2๐ ≥ (๐ − ๐)/๐ 2 . Similarly ๐๐ (๐ฅ 2, ๐) ≥ ๐ฟ๐ /2๐ ≥ (๐ − ๐)/๐ 2 . Choose ๐๐ ∈ ๐ถ๐ be such that ๐๐ (๐, ๐๐ ) = (๐ − ๐)/๐ 2 ; Elementary trigonometric arguments show that for all ๐ 0, ๐๐ (๐ 1, ๐ 2 ) > 2๐. Hence ๐๐ (๐ฅ 1, ๐ฅ 2 ) > 2๐. Therefore ๐๐ (๐ (๐ฅ 1 ), ๐ (๐ฅ 2 )) > 2. (D) There does not exist any bilipschitz map ๐ −→ ๐ . 3