84:
74:
53:
173:
every matrix A in GL(n,K), you define A^* to be the matrix formed from A by first taking the transpose and then applying f to each entry. (A^*)^* = A, and the matrices satisfying AA^* = 1 form a group called U(n,K/F). When K is finite, then F and K uniquely define each other and every F has a K (but not every K has an F); notation varies about whether the group is called U(n,q) or U(n,q^2) where q is the size of F and q^2 is the size of K.
1427:
one k x k (unique), and only one inseparable algebra, k/(x^2) (also unique; has a unique auto of degree 2 in char not 2, but lots of other autos). It seems silly to use such language when the only interesting example is a degree two field extension. Also to make sure, there is no need to consider K=k x k for your calculation of U(n,C/R,1)(C), right? I only ask because the calculation for U(n,(C x C)/C,1)(C)=GL(n,C) is fairly similar.
1641:
There are also some exception isomorphisms, but I think they are incredibly generic (and weren't obviously visible when I was transcribing Grove into here). I think it is really easy like PSU(2,q^2)=SL(2,q) or so, and the isomorphism is natural for all commutative rings with involution, not just the finite field case. I have an article lying around the office with conjugacy class information, but I can't remember if it was legible.
22:
1479:
construction as well. This is similar to the classification of central simple algebras of dimension 4: there are all the various division algebras (quaternion algebras) and then there's the 2x2 matrices (and this is related to the current situation as one can construct a unitary group as the units in a central simple algebra).
1461:
these unitary groups and the theory of their automorphic representations, Shimura varieties, and associated Galois representations. They are important in the study of the
Langlands program as one of the examples of reductive algebraic groups that give rise to Shimura varieties (unlike the the groups GL(n) themselves).
1209:. Tracing the definition of everything, and element (A,B) in GL(n,K)xGL(n,K) is in U(n,K/k)(K) if AB=I and BA=I, which are both the same equation and are satisfied if, and only if, B=(A). So U(n,K/k)(K)={(A,(A)):A is in GL(n,K)} and this is clearly just GL(n,K). I've said quite a bit, so I'll leave it there for now.
1585:
I guess 1 is already done, 2 I think you know about, 3 either of us could write (I have a reference handy), 4 I can do, 5 and 6 could be combined if you like. For 6, if K,F are algebraically independent extensions of k, then U(n,K/k,Φ)(F) is U(n,KF/F,Φ)(F) which is somewhat pretty. In particular,
1392:
For applications to finite simple groups, Φ is required to be non-degenerate and K is required to be a field (that is, K=k × k and K=k/(x) are not allowed), and then all such groups U(n, K/k, Φ) for a fixed finite field k are isomorphic and depend only on the order q of k, or on the order q^2 of K,
180:
One method to motivate U(n,C)=GL(n,C) would be to say that U is the twisted group of Lie type with Dynkin diagram of type A, and over an algebraically closed field there are no possible twists, so instead ofa twisted version of GL(n,C), you just get GL(n,C). Both GL(n,C) and O(n,C) as answers seem
1426:
I read over Milne's notes (I had been reading some books on linear algebraic groups and those sufficed yesterday). His notes are quite clear and answered my silly question: Surely there are only two types of separable k-algebras of dimension 2, one a field extension (possibly many isoclasses) and
1521:
One reason I hadn't tried writing this up before was a lack of references which I still have. Milne does a nice job, but does not address the more general Φ situation, and the only references I've found so far only address this situation when k is a local or global field, and though everything is
1640:
Looks good to me. I was painfully precise about which field where in the finite field section (hopefully correct too, it's late). I added SU, PU, and PSU, and included the details on perfection and simplicity. I need to add orders, and check if I know the Sylow and conjugacy class structure.
1504:), and then the more general unitary groups over arbitrary fields, giving examples and maybe some isomorphisms that must exist for small unitary groups over small finite fields (that you probably know about). (I'd also like something on the unitary similitude group that is mentioned in the lead).
1460:
I think it is definitely important to be able to view U(n) as an algebraic group and be able to evaluate it on k-algebras other than k. For example, the recent proof of the Sato-Tate conjecture, as well as the attacks on the main conjecture of
Iwasawa theory for GL(2) all use in an essential way
172:
I think someone has done this to an extent, but it is not clear if the contributions were correct. From the standpoint of finite groups, you do not definite the unitary group for just one field, but for a degree two field extension F < K with some field automorphism f of order two. Then for
1586:
if k is the rationals, and K is any imaginary quadratic extension and F is the reals, then U(n) is just the R points of U(n,K/k,Φ). When they are not algebraically independent it just looks silly to me, but probably the point is that the theory is uniform, not that the examples are interesting.
1478:
One could avoid saying degree two separable algebra and just consider degree two extensions, but I find it aesthetically better to do the more general thing and mention that really there's only the two cases (degree two extensions and kxk). I think it's nice that one can obtain GL(n) from this
1231:
I think your definition should work well in all of the contexts I care about. The only minor problem is the full notation would be quite long: U(n,K/k,Φ)(L) is defined for all fields k, all separable 2 dimensional k-algebras K (which defines the automorphism f and the matrix operator *), all
176:
At any rate, back to the current revision. I don't think U(n,C) has a well-defined meaning. For A in U(n,K/F), 1 = det(AA^*) = det(A)*det(A)^f, so Norm_{K/F}(det(A))=1. When K=F, that means f=1, and det(A)^2=1, so U(n,C/C) is at best O(n,C), but really should be undefined since =1, not
2288:
1430:
Would it better then to require K to be a field extension of degree 2? I think including Φ is a good idea. Me personally, I don't see much interesting about evaluating the group scheme thingy on other k-algebras than k, but in some sense the U(n,K/k,1)(K)=GL(n,K) is
244:
There are of course many many unitary groups. I've personally mainly only dealt with unitary groups related to a totally complex extension of a totally real field, though just looking some stuff up now here's what seems to be going on (see page 103 of Milne's notes
627:(K) (or to avoid picking a basis, pick an n-dimensional K-vector space and a non-degenerate hermitian form Ψ on V) and define the unitary group in n-variables over k with respect to K/k and Φ (or Ψ) as the algebraic group over k whose points over a k-algebra R are
1388:
1007:
1644:
Thanks for being bold! I have a dream for writing up the finite simple groups on wikipedia in a sane, comprehensive, and consistent way, and it really helps to have skeleton (or even partially fleshy zombie) articles around to improve.
759:
1561:
I have a soft spot for the trivial element of the Brauer group, and apparently group schemes are quite popular, so we might as well include all of it. To make it more digestible though, how about presenting it in stages:
1526:
fine with what I said above, I kinda wanted to get an all-encompassing reference before including it in the article. Sorry I'm pretty busy right now, so I won't be able to do much, but I definitely think this page needs
1411:
Does it sound reasonable to include the "full" definition and notation, and then a nice list of examples? I am fine with writing up the finite field case, but I'd want you to handle the case where Φ actually mattered.
1207:
1393:
and so they can be denoted either U(n, q) or U(n, q). The independence on Φ is interesting and often discussed in books on classical groups, so it seems quite reasonable to mention Φ even in the finite field case.
518:
2182:
621:
1619:
I've taken a stab at writing it up, largely following Jack's outline (which outlines the development of the above discussion). My write-up could surely use some work and references, but hopefully it's a good
918:
2054:
As described in the article "Symplectic group", there are various meanings to the symbol Sp(2n): it could mean Sp(2n,R), Sp(n,C), or USp(n). It is not clear in this article which of these it refers to.
1078:
1434:
In other words, I'm leaning more towards the "standard" definition of a unitary space of a k-vector space and a K/k sesqui-linear form. Grove's
Classical Groups text has such a point of view.
2330:
857:
140:
567:
393:
1981:
1941:
283:
1237:
316:
923:
2031:
1824:
1589:
I think the huge advantage of this way is that it is easy to write a small part, find sources for it, etc. without compromising either the special case or the general case.
1893:
1857:
2145:
I have deleted, that compactness of U(n) is consequence of Heine-Borel theorem, because Heine-Borel theorem is for real spaces. Přemysl Šťastný 09:46, 27 June 2019 (UTC)
1737:
1701:
342:
1783:
1763:
162:
Could someone add a definition of a unitary group over a finite field? These are pretty important in group theory however I don't have the background to do this.
1496:
The hard part will be to do this in a way that will be readable and understandable. Perhaps one could start with just the usual U(n) as a matrix group (over
2357:
130:
632:
395:. The standard n-variable unitary group over k with respect to K/k would then be the algebraic group over k whose points over a k-algebra R would be
1083:
106:
2283:{\displaystyle \operatorname {U} (n)=\operatorname {O} (2n)\cap \operatorname {GL} (n,\mathbf {C} )\cap \operatorname {Sp} (2n,\mathbf {R} ).}
2352:
2126:
I just noticed this as well, this really needs to be fixed. It's a math article, so the first thing that should pop up is the definition. --
2295:
Thus a unitary structure can be seen as an orthogonal structure, a complex structure, and a symplectic structure, which are required to be
2127:
2094:
400:
572:
2334:
1531:
more than it currently has, and this is definitely the first step. I'll keep trying to find references (unless you already have one)
2062:
97:
58:
862:
623:). More generally though, one could take an arbitrary invertible Hermitian matrix (where here this means Φ such that Φ=Φ*) in M
2112:
There is not definition of U(n) in the article! Not in explicit form at least. Shouldn't it be given in the introduction? --
252:
for example). Milne says take a field k and let K be a degree 2 separable k-algebra, then there's a unique k-automorphism
1012:
33:
2090:
1574:
Finite field interlude (all Φ are equivalent, only one quadratic extension of any finite field, so U(n,K/k,Φ)=U(n,q)).
817:
1383:{\displaystyle U(n,K/k,\Phi )(L)=\{A\in GL(n,K\otimes _{k}L):A\cdot (\Phi \otimes 1)\cdot A^{*}=\Phi \otimes 1\}}
527:
2167:
2098:
2033:, but this does make a difference for the action on forms and for the set of unitary matrices for other forms.
351:
2131:
1946:
1906:
255:
2066:
1002:{\displaystyle {\overline {x\otimes y}}={\overline {x}}\otimes y{\mbox{ is sent to }}({\overline {x}}y,xy)}
199:
My modification of the section "Other Fields" was in the following vein: there is an algebraic group over
1650:
1594:
1439:
1417:
186:
39:
83:
288:
2058:
1232:
elements Φ of GL(n,K) with Φ=Φ*, and all k-algebras L. (Here algebra is associative with 1, I think).
21:
1500:), and at first just mention that there are generalizations, first U(m,n) as a matrix group (over
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
1993:
1788:
89:
1865:
1829:
73:
52:
2117:
1577:
AΦA*=Φ is just a set of polynomial equations, so this is an algebraic group (not group scheme)
1706:
1670:
777:
and Φ the diagonal (m+n)x(m+n) matrix with m +1's and n -1's, this would give the group over
2171:
2163:
2086:
2040:
1646:
1627:
1590:
1536:
1435:
1413:
1214:
182:
163:
321:
1768:
1748:
2082:
2346:
1568:
AΦA*=Φ over C (U(m,n) physics types would like the current article and this addition)
2113:
754:{\displaystyle U(n,K/k,\Phi )(R):=\{A\in GL(n,K\otimes _{k}R):A\Phi A^{*}=\Phi \}}
250:
2036:
1623:
1532:
1210:
102:
79:
1580:
Polynomial equations make sense over any k-algebra, so this is a group scheme
2326:
2) We know the definition of a "unitary matrix" and a "symplectic matrix".
1895:, and this also speaks in favor of making Hermitian forms antilinear in the
1571:
AΦA*=Φ over any dim2 sep K/k, especially K a quadratic extension field of k
1396:
Presumably for your applications it would be interesting to mention U(m+n,
1202:{\displaystyle GL(n,K\otimes _{k}K)=GL(n,K\oplus K)=GL(n,K)\times GL(n,K)}
219:) such that AA*=I). In the notation of your second paragraph above, G=U(n,
1745:
Because this agrees with how matrices representing forms transform: if
2338:
2135:
2121:
2102:
2070:
2044:
1654:
1631:
1598:
1540:
1443:
1421:
1218:
344:. This allows one to define an involution on the set of nxn matrices M
190:
166:
1990:
of classical unitary matrices, as both equations are equivalent to
513:{\displaystyle U(n,K/k)(R):=\{A\in GL(n,K\otimes _{k}R):AA^{*}=I\}}
616:{\displaystyle {\overline {a\otimes r}}={\overline {a}}\otimes r}
211:) are U(n) as defined in the lead of this article (namely as the
2303:
in the complex structure and the symplectic form, and that this
2307:
is orthogonal; writing all the groups as matrix groups fixes a
2328:
But what is a "unitary structure" or a "symplectic structure"?
1986:
Now, this doesn't make a difference for the definition of the
15:
1903:, as otherwise the matrix for the transformed form would be
913:{\displaystyle x\otimes y{\mbox{ to }}(xy,{\overline {x}}y)}
814:), in general U(n,K/k)(K)=GL(n,K). Indeed, first note that
2081:
Would someone please mention the role U(1) plays in the
765:(or if you've chose the Ψ route, as the elements of GL(V
785:
points are the real Lie group generally denoted U(m,n).
965:
876:
2185:
1996:
1949:
1909:
1868:
1832:
1791:
1771:
1751:
1709:
1673:
1240:
1086:
1015:
926:
865:
820:
635:
575:
530:
403:
354:
324:
291:
258:
2162:
The unitary group is the 3-fold intersection of the
101:, a collaborative effort to improve the coverage of
2093:? This is one killer application of unitary groups.
1073:{\displaystyle K\oplus K,{\overline {(x,y)}}=(y,x)}
2282:
2025:
1975:
1935:
1887:
1851:
1818:
1777:
1757:
1731:
1695:
1616:Thanks for the detailed discussion and references!
1382:
1201:
1072:
1001:
912:
851:
753:
615:
561:
512:
387:
336:
310:
277:
2311:(which is orthogonal) and ensures compatibility).
2317:Several things are not explained clearly here:
1862:The analogous statement for bilinear forms is
852:{\displaystyle K\otimes _{k}K\cong K\oplus K}
769:) that are Ψ-invariant). For example, taking
8:
1377:
1285:
748:
680:
562:{\displaystyle a\otimes r\in K\otimes _{k}R}
507:
442:
388:{\displaystyle A^{*}:={\overline {A}}^{t}}
47:
2269:
2240:
2184:
2014:
2001:
1995:
1976:{\displaystyle A^{*}\Phi {\overline {A}}}
1963:
1954:
1948:
1936:{\displaystyle A^{t}\Phi {\overline {A}}}
1923:
1914:
1908:
1873:
1867:
1837:
1831:
1790:
1770:
1750:
1717:
1708:
1678:
1672:
1667:I've changed the order of conjugation to
1359:
1316:
1256:
1239:
1109:
1085:
1028:
1014:
974:
964:
948:
927:
925:
894:
875:
864:
828:
819:
736:
711:
651:
634:
597:
576:
574:
550:
529:
495:
473:
419:
402:
379:
369:
359:
353:
323:
298:
290:
265:
257:
215:Lie group consisting of elements of GL(n,
278:{\displaystyle a\mapsto {\overline {a}}}
227:). This is the standard way to consider
49:
19:
247:Algebraic Groups and Arithmetic Groups
2331:2601:200:C000:1A0:2C05:9DCB:77A0:C778
7:
95:This article is within the scope of
1009:, so you can see that for (x,y) in
38:It is of interest to the following
2204:
2186:
1960:
1920:
1879:
1843:
1792:
1772:
1752:
1368:
1340:
1267:
745:
729:
662:
14:
2358:Mid-priority mathematics articles
311:{\displaystyle a={\overline {a}}}
115:Knowledge:WikiProject Mathematics
2299:(meaning that one uses the same
2270:
2241:
231:unitary group. I'll discuss its
118:Template:WikiProject Mathematics
82:
72:
51:
20:
2089:, specifically in modeling the
1785:, then the matrix for the form
135:This article has been rated as
2274:
2257:
2245:
2231:
2219:
2210:
2198:
2192:
2136:20:56, 17 September 2020 (UTC)
1813:
1795:
1349:
1337:
1325:
1300:
1279:
1273:
1270:
1244:
1196:
1184:
1172:
1160:
1148:
1130:
1118:
1093:
1067:
1055:
1043:
1031:
996:
971:
907:
882:
720:
695:
674:
668:
665:
639:
482:
457:
436:
430:
427:
407:
262:
1:
2045:00:08, 19 December 2007 (UTC)
1655:04:30, 19 December 2007 (UTC)
1632:00:00, 19 December 2007 (UTC)
1599:23:50, 15 December 2007 (UTC)
1541:08:05, 15 December 2007 (UTC)
1444:06:15, 15 December 2007 (UTC)
1422:18:13, 14 December 2007 (UTC)
1219:09:19, 14 December 2007 (UTC)
191:06:41, 14 December 2007 (UTC)
109:and see a list of open tasks.
2353:C-Class mathematics articles
2026:{\displaystyle A^{*}=A^{-1}}
1968:
1928:
1819:{\displaystyle \Psi (Av,Aw)}
1047:
979:
953:
940:
899:
602:
589:
374:
303:
270:
2091:electromagnetic interaction
1888:{\displaystyle A^{t}\Phi A}
1852:{\displaystyle A^{*}\Phi A}
1765:is the matrix for the form
1565:AA*=1 over C (main article)
2374:
1899:variable, rather than the
794:As for the fact that U(n)(
167:02:42, 14 April 2006 (UTC)
2122:14:52, 18 July 2010 (UTC)
2103:01:56, 28 July 2009 (UTC)
859:as k-algebras by sending
134:
67:
46:
2071:06:04, 8 July 2008 (UTC)
1742:Why, and why do I care?
1732:{\displaystyle AA^{*}=I}
1696:{\displaystyle A^{*}A=I}
141:project's priority scale
2339:17:30, 9 May 2022 (UTC)
98:WikiProject Mathematics
2284:
2027:
1977:
1937:
1889:
1853:
1820:
1779:
1759:
1733:
1697:
1384:
1203:
1074:
1003:
914:
853:
755:
617:
563:
514:
389:
338:
337:{\displaystyle a\in k}
312:
279:
28:This article is rated
2285:
2028:
1978:
1938:
1890:
1854:
1821:
1780:
1778:{\displaystyle \Psi }
1760:
1758:{\displaystyle \Phi }
1734:
1698:
1385:
1204:
1075:
1004:
915:
854:
756:
618:
564:
515:
390:
339:
313:
280:
235:-valued points below.
2183:
2141:Heine-Borel therorem
1994:
1947:
1907:
1866:
1830:
1789:
1769:
1749:
1707:
1671:
1663:Order of conjugation
1238:
1084:
1013:
924:
863:
818:
633:
573:
528:
401:
352:
348:(K) that sends A to
322:
289:
256:
121:mathematics articles
2322:What is J, exactly?
2157:begins as follows:
2155:2-out-of-3 property
203:, call it G, whose
2280:
2023:
1973:
1933:
1885:
1849:
1816:
1775:
1755:
1729:
1693:
1613:Hi Rob & Jack,
1380:
1199:
1070:
999:
969:
910:
880:
849:
751:
613:
559:
510:
385:
334:
308:
275:
181:incredibly fishy.
90:Mathematics portal
34:content assessment
2073:
2061:comment added by
1971:
1931:
1050:
982:
968:
956:
943:
902:
879:
605:
592:
377:
318:if, and only if,
306:
273:
155:
154:
151:
150:
147:
146:
2365:
2289:
2287:
2286:
2281:
2273:
2244:
2087:particle physics
2056:
2032:
2030:
2029:
2024:
2022:
2021:
2006:
2005:
1982:
1980:
1979:
1974:
1972:
1964:
1959:
1958:
1942:
1940:
1939:
1934:
1932:
1924:
1919:
1918:
1894:
1892:
1891:
1886:
1878:
1877:
1858:
1856:
1855:
1850:
1842:
1841:
1825:
1823:
1822:
1817:
1784:
1782:
1781:
1776:
1764:
1762:
1761:
1756:
1738:
1736:
1735:
1730:
1722:
1721:
1702:
1700:
1699:
1694:
1683:
1682:
1389:
1387:
1386:
1381:
1364:
1363:
1321:
1320:
1260:
1208:
1206:
1205:
1200:
1114:
1113:
1079:
1077:
1076:
1071:
1051:
1046:
1029:
1008:
1006:
1005:
1000:
983:
975:
970:
966:
957:
949:
944:
939:
928:
919:
917:
916:
911:
903:
895:
881:
877:
858:
856:
855:
850:
833:
832:
760:
758:
757:
752:
741:
740:
716:
715:
655:
622:
620:
619:
614:
606:
598:
593:
588:
577:
568:
566:
565:
560:
555:
554:
519:
517:
516:
511:
500:
499:
478:
477:
423:
394:
392:
391:
386:
384:
383:
378:
370:
364:
363:
343:
341:
340:
335:
317:
315:
314:
309:
307:
299:
284:
282:
281:
276:
274:
266:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
2373:
2372:
2368:
2367:
2366:
2364:
2363:
2362:
2343:
2342:
2181:
2180:
2151:
2149:Unclear section
2143:
2110:
2079:
2052:
2010:
1997:
1992:
1991:
1950:
1945:
1944:
1910:
1905:
1904:
1869:
1864:
1863:
1833:
1828:
1827:
1787:
1786:
1767:
1766:
1747:
1746:
1713:
1705:
1704:
1674:
1669:
1668:
1665:
1355:
1312:
1236:
1235:
1105:
1082:
1081:
1030:
1011:
1010:
929:
922:
921:
861:
860:
824:
816:
815:
768:
732:
707:
631:
630:
626:
578:
571:
570:
546:
526:
525:
491:
469:
399:
398:
368:
355:
350:
349:
347:
320:
319:
287:
286:
285:of K such that
254:
253:
249:available here
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
2371:
2369:
2361:
2360:
2355:
2345:
2344:
2316:
2292:
2291:
2279:
2276:
2272:
2268:
2265:
2262:
2259:
2256:
2253:
2250:
2247:
2243:
2239:
2236:
2233:
2230:
2227:
2224:
2221:
2218:
2215:
2212:
2209:
2206:
2203:
2200:
2197:
2194:
2191:
2188:
2150:
2147:
2142:
2139:
2128:129.118.34.220
2109:
2106:
2095:132.181.160.42
2083:Standard Model
2078:
2075:
2051:
2048:
2020:
2017:
2013:
2009:
2004:
2000:
1970:
1967:
1962:
1957:
1953:
1930:
1927:
1922:
1917:
1913:
1884:
1881:
1876:
1872:
1848:
1845:
1840:
1836:
1815:
1812:
1809:
1806:
1803:
1800:
1797:
1794:
1774:
1754:
1728:
1725:
1720:
1716:
1712:
1703:, rather than
1692:
1689:
1686:
1681:
1677:
1664:
1661:
1660:
1659:
1658:
1657:
1642:
1635:
1634:
1621:
1617:
1614:
1610:
1609:
1608:
1607:
1606:
1605:
1604:
1603:
1602:
1601:
1587:
1583:
1582:
1581:
1578:
1575:
1572:
1569:
1566:
1550:
1549:
1548:
1547:
1546:
1545:
1544:
1543:
1512:
1511:
1510:
1509:
1508:
1507:
1506:
1505:
1487:
1486:
1485:
1484:
1483:
1482:
1481:
1480:
1469:
1468:
1467:
1466:
1465:
1464:
1463:
1462:
1451:
1450:
1449:
1448:
1447:
1446:
1432:
1428:
1424:
1409:
1404:, I_m ⊕ -I_n)(
1394:
1390:
1379:
1376:
1373:
1370:
1367:
1362:
1358:
1354:
1351:
1348:
1345:
1342:
1339:
1336:
1333:
1330:
1327:
1324:
1319:
1315:
1311:
1308:
1305:
1302:
1299:
1296:
1293:
1290:
1287:
1284:
1281:
1278:
1275:
1272:
1269:
1266:
1263:
1259:
1255:
1252:
1249:
1246:
1243:
1233:
1224:
1223:
1222:
1221:
1198:
1195:
1192:
1189:
1186:
1183:
1180:
1177:
1174:
1171:
1168:
1165:
1162:
1159:
1156:
1153:
1150:
1147:
1144:
1141:
1138:
1135:
1132:
1129:
1126:
1123:
1120:
1117:
1112:
1108:
1104:
1101:
1098:
1095:
1092:
1089:
1069:
1066:
1063:
1060:
1057:
1054:
1049:
1045:
1042:
1039:
1036:
1033:
1027:
1024:
1021:
1018:
998:
995:
992:
989:
986:
981:
978:
973:
963:
960:
955:
952:
947:
942:
938:
935:
932:
909:
906:
901:
898:
893:
890:
887:
884:
874:
871:
868:
848:
845:
842:
839:
836:
831:
827:
823:
789:
788:
787:
786:
766:
763:
762:
761:
750:
747:
744:
739:
735:
731:
728:
725:
722:
719:
714:
710:
706:
703:
700:
697:
694:
691:
688:
685:
682:
679:
676:
673:
670:
667:
664:
661:
658:
654:
650:
647:
644:
641:
638:
624:
612:
609:
604:
601:
596:
591:
587:
584:
581:
558:
553:
549:
545:
542:
539:
536:
533:
522:
521:
520:
509:
506:
503:
498:
494:
490:
487:
484:
481:
476:
472:
468:
465:
462:
459:
456:
453:
450:
447:
444:
441:
438:
435:
432:
429:
426:
422:
418:
415:
412:
409:
406:
382:
376:
373:
367:
362:
358:
345:
333:
330:
327:
305:
302:
297:
294:
272:
269:
264:
261:
239:
238:
237:
236:
194:
193:
178:
174:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
2370:
2359:
2356:
2354:
2351:
2350:
2348:
2341:
2340:
2336:
2332:
2329:
2324:
2323:
2318:
2314:
2312:
2308:
2304:
2300:
2296:
2290:
2277:
2266:
2263:
2260:
2254:
2251:
2248:
2237:
2234:
2228:
2225:
2222:
2216:
2213:
2207:
2201:
2195:
2189:
2178:
2177:
2176:
2175:
2173:
2169:
2165:
2158:
2156:
2148:
2146:
2140:
2138:
2137:
2133:
2129:
2124:
2123:
2119:
2115:
2107:
2105:
2104:
2100:
2096:
2092:
2088:
2084:
2076:
2074:
2072:
2068:
2064:
2060:
2049:
2047:
2046:
2042:
2038:
2034:
2018:
2015:
2011:
2007:
2002:
1998:
1989:
1984:
1965:
1955:
1951:
1925:
1915:
1911:
1902:
1898:
1882:
1874:
1870:
1860:
1846:
1838:
1834:
1810:
1807:
1804:
1801:
1798:
1743:
1740:
1726:
1723:
1718:
1714:
1710:
1690:
1687:
1684:
1679:
1675:
1662:
1656:
1652:
1648:
1643:
1639:
1638:
1637:
1636:
1633:
1629:
1625:
1622:
1618:
1615:
1612:
1611:
1600:
1596:
1592:
1588:
1584:
1579:
1576:
1573:
1570:
1567:
1564:
1563:
1560:
1559:
1558:
1557:
1556:
1555:
1554:
1553:
1552:
1551:
1542:
1538:
1534:
1530:
1525:
1520:
1519:
1518:
1517:
1516:
1515:
1514:
1513:
1503:
1499:
1495:
1494:
1493:
1492:
1491:
1490:
1489:
1488:
1477:
1476:
1475:
1474:
1473:
1472:
1471:
1470:
1459:
1458:
1457:
1456:
1455:
1454:
1453:
1452:
1445:
1441:
1437:
1433:
1429:
1425:
1423:
1419:
1415:
1410:
1407:
1403:
1399:
1395:
1391:
1374:
1371:
1365:
1360:
1356:
1352:
1346:
1343:
1334:
1331:
1328:
1322:
1317:
1313:
1309:
1306:
1303:
1297:
1294:
1291:
1288:
1282:
1276:
1264:
1261:
1257:
1253:
1250:
1247:
1241:
1234:
1230:
1229:
1228:
1227:
1226:
1225:
1220:
1216:
1212:
1193:
1190:
1187:
1181:
1178:
1175:
1169:
1166:
1163:
1157:
1154:
1151:
1145:
1142:
1139:
1136:
1133:
1127:
1124:
1121:
1115:
1110:
1106:
1102:
1099:
1096:
1090:
1087:
1064:
1061:
1058:
1052:
1040:
1037:
1034:
1025:
1022:
1019:
1016:
993:
990:
987:
984:
976:
961:
958:
950:
945:
936:
933:
930:
904:
896:
891:
888:
885:
872:
869:
866:
846:
843:
840:
837:
834:
829:
825:
821:
813:
809:
805:
801:
797:
793:
792:
791:
790:
784:
780:
776:
772:
764:
742:
737:
733:
726:
723:
717:
712:
708:
704:
701:
698:
692:
689:
686:
683:
677:
671:
659:
656:
652:
648:
645:
642:
636:
629:
628:
610:
607:
599:
594:
585:
582:
579:
556:
551:
547:
543:
540:
537:
534:
531:
523:
504:
501:
496:
492:
488:
485:
479:
474:
470:
466:
463:
460:
454:
451:
448:
445:
439:
433:
424:
420:
416:
413:
410:
404:
397:
396:
380:
371:
365:
360:
356:
331:
328:
325:
300:
295:
292:
267:
259:
251:
248:
243:
242:
241:
240:
234:
230:
226:
222:
218:
214:
210:
206:
202:
198:
197:
196:
195:
192:
188:
184:
179:
175:
171:
170:
169:
168:
165:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
2327:
2325:
2321:
2319:
2315:
2310:
2306:
2302:
2298:
2294:
2293:
2179:
2161:
2159:
2154:
2153:The section
2152:
2144:
2125:
2111:
2080:
2053:
2035:
1987:
1985:
1900:
1896:
1861:
1744:
1741:
1666:
1528:
1523:
1501:
1497:
1431:interesting.
1405:
1401:
1397:
811:
807:
803:
799:
795:
782:
778:
774:
770:
246:
232:
228:
224:
220:
216:
212:
208:
204:
200:
161:
158:Other fields
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
2063:92.50.107.1
2057:—Preceding
1647:JackSchmidt
1591:JackSchmidt
1436:JackSchmidt
1414:JackSchmidt
1408:) = U(m,n).
967:is sent to
524:(where for
183:JackSchmidt
164:TooMuchMath
112:Mathematics
103:mathematics
59:Mathematics
2347:Categories
2297:compatible
2172:symplectic
2164:orthogonal
2108:Definition
569:we define
207:points G(
2059:unsigned
1524:probably
2174:groups:
2168:complex
2114:Cokaban
1080:. Then
920:, then
810:)=GL(n,
139:on the
30:C-class
2170:, and
2050:Sp(2n)
2037:Nbarth
1943:, not
1901:second
1624:Nbarth
1620:start.
1533:RobHar
1211:RobHar
798:)=U(n,
781:whose
36:scale.
1897:first
1529:a lot
773:over
2335:talk
2132:talk
2118:talk
2099:talk
2077:U(1)
2067:talk
2041:talk
1651:talk
1628:talk
1595:talk
1537:talk
1440:talk
1418:talk
1215:talk
213:real
205:real
187:talk
2320:1)
2085:of
1988:set
1826:is
878:to
229:the
131:Mid
2349::
2337:)
2313:"
2255:
2252:Sp
2249:∩
2229:
2226:GL
2223:∩
2208:
2190:
2166:,
2134:)
2120:)
2101:)
2069:)
2043:)
2016:−
2003:∗
1983:.
1969:¯
1961:Φ
1956:∗
1929:¯
1921:Φ
1880:Φ
1859:.
1844:Φ
1839:∗
1793:Ψ
1773:Ψ
1753:Φ
1739:.
1719:∗
1680:∗
1653:)
1630:)
1597:)
1539:)
1442:)
1420:)
1372:⊗
1369:Φ
1361:∗
1353:⋅
1344:⊗
1341:Φ
1335:⋅
1314:⊗
1292:∈
1268:Φ
1217:)
1176:×
1143:⊕
1107:⊗
1048:¯
1020:⊕
980:¯
959:⊗
954:¯
941:¯
934:⊗
900:¯
870:⊗
844:⊕
838:≅
826:⊗
806:)(
746:Φ
738:∗
730:Φ
709:⊗
687:∈
678::=
663:Φ
608:⊗
603:¯
590:¯
583:⊗
548:⊗
541:∈
535:⊗
497:∗
471:⊗
449:∈
440::=
375:¯
366::=
361:∗
329:∈
304:¯
271:¯
263:↦
189:)
177:2.
2333:(
2309:J
2305:J
2301:J
2278:.
2275:)
2271:R
2267:,
2264:n
2261:2
2258:(
2246:)
2242:C
2238:,
2235:n
2232:(
2220:)
2217:n
2214:2
2211:(
2205:O
2202:=
2199:)
2196:n
2193:(
2187:U
2160:"
2130:(
2116:(
2097:(
2065:(
2039:(
2019:1
2012:A
2008:=
1999:A
1966:A
1952:A
1926:A
1916:t
1912:A
1883:A
1875:t
1871:A
1847:A
1835:A
1814:)
1811:w
1808:A
1805:,
1802:v
1799:A
1796:(
1727:I
1724:=
1715:A
1711:A
1691:I
1688:=
1685:A
1676:A
1649:(
1626:(
1593:(
1535:(
1502:R
1498:R
1438:(
1416:(
1406:R
1402:R
1400:/
1398:C
1378:}
1375:1
1366:=
1357:A
1350:)
1347:1
1338:(
1332:A
1329::
1326:)
1323:L
1318:k
1310:K
1307:,
1304:n
1301:(
1298:L
1295:G
1289:A
1286:{
1283:=
1280:)
1277:L
1274:(
1271:)
1265:,
1262:k
1258:/
1254:K
1251:,
1248:n
1245:(
1242:U
1213:(
1197:)
1194:K
1191:,
1188:n
1185:(
1182:L
1179:G
1173:)
1170:K
1167:,
1164:n
1161:(
1158:L
1155:G
1152:=
1149:)
1146:K
1140:K
1137:,
1134:n
1131:(
1128:L
1125:G
1122:=
1119:)
1116:K
1111:k
1103:K
1100:,
1097:n
1094:(
1091:L
1088:G
1068:)
1065:x
1062:,
1059:y
1056:(
1053:=
1044:)
1041:y
1038:,
1035:x
1032:(
1026:,
1023:K
1017:K
997:)
994:y
991:x
988:,
985:y
977:x
972:(
962:y
951:x
946:=
937:y
931:x
908:)
905:y
897:x
892:,
889:y
886:x
883:(
873:y
867:x
847:K
841:K
835:K
830:k
822:K
812:C
808:C
804:R
802:/
800:C
796:C
783:R
779:R
775:R
771:C
767:R
749:}
743:=
734:A
727:A
724::
721:)
718:R
713:k
705:K
702:,
699:n
696:(
693:L
690:G
684:A
681:{
675:)
672:R
669:(
666:)
660:,
657:k
653:/
649:K
646:,
643:n
640:(
637:U
625:n
611:r
600:a
595:=
586:r
580:a
557:R
552:k
544:K
538:r
532:a
508:}
505:I
502:=
493:A
489:A
486::
483:)
480:R
475:k
467:K
464:,
461:n
458:(
455:L
452:G
446:A
443:{
437:)
434:R
431:(
428:)
425:k
421:/
417:K
414:,
411:n
408:(
405:U
381:t
372:A
357:A
346:n
332:k
326:a
301:a
296:=
293:a
268:a
260:a
233:C
225:R
223:/
221:C
217:C
209:R
201:R
185:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.