Uploaded by ankitchatterjee017

pgmath2022-solutions_cmi 2022

advertisement
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
Download