×

Nonabelian reciprocity laws and higher Brauer-Manin obstructions. (English) Zbl 1454.14066

Summary: We reinterpret M. Kim’s [Springer Proc. Math. Stat. 188, 311–334 (2016; Zbl 1414.11154)] nonabelian reciprocity maps for algebraic varieties as obstruction towers of mapping spaces of étale homotopy types, removing technical hypotheses such as global basepoints and cohomological constraints. We then extend the theory by considering alternative natural series of extensions, one of which gives an obstruction tower whose first stage is the Brauer-Manin obstruction, allowing us to determine when Kim’s maps recover the Brauer-Manin locus. A tower based on relative completions yields nontrivial reciprocity maps even for Shimura varieties; for the stacky modular curve, these take values in Galois cohomology of modular forms, and give obstructions to an adèlic elliptic curve with global Tate module underlying a global elliptic curve.

MSC:

14G12 Hasse principle, weak and strong approximation, Brauer-Manin obstruction
11D99 Diophantine equations
14F35 Homotopy theory and fundamental groups in algebraic geometry
14F20 Étale and other Grothendieck topologies and (co)homologies
55Q05 Homotopy groups, general; sets of homotopy classes
55S35 Obstruction theory in algebraic topology

Citations:

Zbl 1414.11154
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] 10.1007/BFb0080957 · Zbl 0182.26001 · doi:10.1007/BFb0080957
[2] 10.1007/BF02765886 · Zbl 0677.55020 · doi:10.1007/BF02765886
[3] 10.17323/1609-4514-2016-16-3-433-504 · doi:10.17323/1609-4514-2016-16-3-433-504
[4] 10.1016/j.topol.2004.12.003 · Zbl 1077.55011 · doi:10.1016/j.topol.2004.12.003
[5] http://www.numdam.org/item?id=SB_1968-1969__11__139_0 · doi:http://www.numdam.org/item?id=SB_1968-1969__11__139_0
[6] 10.1016/1385-7258(84)90038-6 · doi:10.1016/1385-7258(84)90038-6
[7] 10.1007/BFb0081083 · Zbl 0334.55001 · doi:10.1007/BFb0081083
[8] ; Esnault, Acta Math. Vietnam., 37, 531 (2012) · Zbl 1395.11103
[9] 10.1007/BF01332767 · Zbl 0263.14004 · doi:10.1007/BF01332767
[10] 10.1515/9781400881499 · Zbl 0538.55001 · doi:10.1515/9781400881499
[11] 10.1007/978-3-0348-8707-6 · doi:10.1007/978-3-0348-8707-6
[12] 10.1016/S0012-9593(98)80018-9 · Zbl 0911.14008 · doi:10.1016/S0012-9593(98)80018-9
[13] 10.1090/S0894-0347-2011-00693-0 · Zbl 1225.14016 · doi:10.1090/S0894-0347-2011-00693-0
[14] 10.1017/CBO9781316387887.019 · doi:10.1017/CBO9781316387887.019
[15] 10.1023/B:COMP.0000005077.42732.93 · Zbl 1072.14021 · doi:10.1023/B:COMP.0000005077.42732.93
[16] 10.1016/j.jalgebra.2009.02.014 · Zbl 1200.14047 · doi:10.1016/j.jalgebra.2009.02.014
[17] 10.1017/CBO9781139525350.010 · doi:10.1017/CBO9781139525350.010
[18] 10.1112/blms/bdr015 · Zbl 1235.11062 · doi:10.1112/blms/bdr015
[19] ; Hirschhorn, Model categories and their localizations. Mathematical Surveys and Monographs, 99 (2003) · Zbl 1017.55001
[20] 10.1016/j.aim.2006.09.019 · Zbl 1123.22002 · doi:10.1016/j.aim.2006.09.019
[21] ; Hovey, Model categories. Mathematical Surveys and Monographs, 63 (1999) · Zbl 0909.55001
[22] 10.1090/S0002-9947-01-02722-2 · Zbl 0978.55014 · doi:10.1090/S0002-9947-01-02722-2
[23] 10.1007/s11537-010-0947-4 · Zbl 1204.14011 · doi:10.1007/s11537-010-0947-4
[24] 10.1007/978-3-319-45032-2_9 · Zbl 1414.11154 · doi:10.1007/978-3-319-45032-2_9
[25] 10.1007/s002220100174 · Zbl 1038.11075 · doi:10.1007/s002220100174
[26] 10.1016/j.jnt.2012.05.007 · Zbl 1317.11114 · doi:10.1016/j.jnt.2012.05.007
[27] 10.1007/978-3-642-30362-3 · Zbl 1260.18001 · doi:10.1007/978-3-642-30362-3
[28] ; Manin, Actes du Congrès International des Mathématiciens, 401 (1971)
[29] ; Nekovář, Selmer complexes. Astérisque, 310 (2006) · Zbl 1211.11120
[30] 10.1112/plms/pdn004 · Zbl 1162.55007 · doi:10.1112/plms/pdn004
[31] 10.1353/ajm.0.0055 · Zbl 1189.14027 · doi:10.1353/ajm.0.0055
[32] 10.1016/j.aim.2009.12.009 · Zbl 1195.14012 · doi:10.1016/j.aim.2009.12.009
[33] 10.2140/gt.2011.15.501 · Zbl 1217.14017 · doi:10.2140/gt.2011.15.501
[34] 10.1007/978-3-642-23905-2_11 · Zbl 1315.14028 · doi:10.1007/978-3-642-23905-2_11
[35] 10.1016/j.aim.2013.01.009 · Zbl 1328.14028 · doi:10.1016/j.aim.2013.01.009
[36] 10.2307/1970725 · Zbl 0191.53702 · doi:10.2307/1970725
[37] 10.1007/s002220050291 · Zbl 0951.14013 · doi:10.1007/s002220050291
[38] 10.1007/978-3-642-30674-7 · Zbl 1272.14003 · doi:10.1007/978-3-642-30674-7
[39] 10.1007/BF02684341 · Zbl 0374.57002 · doi:10.1007/BF02684341
[40] 10.4310/MRL.2015.v22.n6.a5 · Zbl 1348.11089 · doi:10.4310/MRL.2015.v22.n6.a5
[41] 10.2969/aspm/06310579 · doi:10.2969/aspm/06310579
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.