@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

psr: a skos:ConceptScheme .
psr:-JG2M8D8P-D
  skos:prefLabel "systole"@fr, "systolic geometry"@en ;
  a skos:Concept ;
  skos:narrower psr:-CJN9CKDM-Q .

psr:-HT4QK75C-T
  skos:prefLabel "surface de Riemann"@fr, "Riemann surface"@en ;
  a skos:Concept ;
  skos:narrower psr:-CJN9CKDM-Q .

psr:-CJN9CKDM-Q
  dc:created "2023-07-21"^^xsd:date ;
  skos:definition """In mathematics, the <b>Bolza surface</b>, alternatively, complex algebraic <b>Bolza curve</b> (introduced by Oskar Bolza (1887)), is a compact Riemann surface of genus <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle 2}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mn>2</mn>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle 2}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/901fc910c19990d0dbaaefe4726ceb1a4e217a0f" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.162ex; height:2.176ex;" alt="{\\\\displaystyle 2}"></span> with the highest possible order of the conformal automorphism group in this genus, namely <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle GL_{2}(3)}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>G</mi>         <msub>           <mi>L</mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msub>         <mo stretchy="false">(</mo>         <mn>3</mn>         <mo stretchy="false">)</mo>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle GL_{2}(3)}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/119dfd56e287eec65705c674c02047ce5251871c" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:7.436ex; height:2.843ex;" alt="{\\\\displaystyle GL_{2}(3)}"></span> of order 48 (the general linear group of <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle 2\\	imes 2}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mn>2</mn>         <mo>×<!-- × --></mo>         <mn>2</mn>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle 2\\	imes 2}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/f8a0e3400ffb97d67c00267ed50cddfe824cbe80" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:5.165ex; height:2.176ex;" alt="{\\\\displaystyle 2\\	imes 2}"></span> matrices over the finite field <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle \\\\mathbb {F} _{3}}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <msub>           <mrow class="MJX-TeXAtom-ORD">             <mi mathvariant="double-struck">F</mi>           </mrow>           <mrow class="MJX-TeXAtom-ORD">             <mn>3</mn>           </mrow>         </msub>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\mathbb {F} _{3}}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/8b9887795a8b912aaf6bea7eb6bb283c46753cec" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:2.475ex; height:2.509ex;" alt="{\\\\displaystyle \\\\mathbb {F} _{3}}"></span>). The full automorphism group (including reflections) is the semi-direct product <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle GL_{2}(3)\\times \\\\mathbb {Z} _{2}}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mi>G</mi>         <msub>           <mi>L</mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msub>         <mo stretchy="false">(</mo>         <mn>3</mn>         <mo stretchy="false">)</mo>         <mo>⋊<!-- ⋊ --></mo>         <msub>           <mrow class="MJX-TeXAtom-ORD">             <mi mathvariant="double-struck">Z</mi>           </mrow>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msub>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle GL_{2}(3)\\times \\\\mathbb {Z} _{2}}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/340c8bade3a9dd3238c3e3239dca05badb105d56" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.838ex; width:12.881ex; height:2.843ex;" alt="{\\\\displaystyle GL_{2}(3)\\times \\\\mathbb {Z} _{2}}"></span> of order 96. An affine model for the Bolza surface can be obtained as the locus of the equation  <dl><dd><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle y^{2}=x^{5}-x}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <msup>           <mi>y</mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msup>         <mo>=</mo>         <msup>           <mi>x</mi>           <mrow class="MJX-TeXAtom-ORD">             <mn>5</mn>           </mrow>         </msup>         <mo>−<!-- − --></mo>         <mi>x</mi>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle y^{2}=x^{5}-x}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/4b7fb44458d0e5d7fe9065e32e80eed9c68f9085" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:11.867ex; height:3.009ex;" alt="{\\\\displaystyle y^{2}=x^{5}-x}"></span></dd></dl> in <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle \\\\mathbb {C} ^{2}}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <msup>           <mrow class="MJX-TeXAtom-ORD">             <mi mathvariant="double-struck">C</mi>           </mrow>           <mrow class="MJX-TeXAtom-ORD">             <mn>2</mn>           </mrow>         </msup>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle \\\\mathbb {C} ^{2}}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/6f43d6ec8a1e1fe5a85aec0dd9bdcd45ae09b06b" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:2.732ex; height:2.676ex;" alt="{\\\\displaystyle \\\\mathbb {C} ^{2}}"></span>. The Bolza surface is the smooth completion of the affine curve.  Of all genus <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle 2}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mn>2</mn>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle 2}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/901fc910c19990d0dbaaefe4726ceb1a4e217a0f" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.162ex; height:2.176ex;" alt="{\\\\displaystyle 2}"></span> hyperbolic surfaces, the Bolza surface maximizes the length of the systole (Schmutz 1993).  As a hyperelliptic Riemann surface, it arises as the ramified double cover of the Riemann sphere, with ramification locus at the six vertices of a regular octahedron inscribed in the sphere, as can be readily seen from the equation above. The Bolza surface has attracted the attention of physicists, as it provides a relatively simple model for quantum chaos; in this context, it is usually referred to as the Hadamard–Gutzwiller model. The spectral theory of the Laplace–Beltrami operator acting on functions on the Bolza surface is of interest to both mathematicians and physicists, since the surface is conjectured to maximize the first positive eigenvalue of the Laplacian among all compact, closed Riemann surfaces of genus <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle 2}">   <semantics>     <mrow class="MJX-TeXAtom-ORD">       <mstyle displaystyle="true" scriptlevel="0">         <mn>2</mn>       </mstyle>     </mrow>     <annotation encoding="application/x-tex">{\\\\displaystyle 2}</annotation>   </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/901fc910c19990d0dbaaefe4726ceb1a4e217a0f" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:1.162ex; height:2.176ex;" alt="{\\\\displaystyle 2}"></span> with constant negative curvature.  
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Bolza_surface">https://en.wikipedia.org/wiki/Bolza_surface</a>)"""@en, """En mathématiques, la surface de Bolza (du nom d'Oskar Bolza) est une surface de Riemann compacte de genre 2. Elle a le groupe d'automorphismes conformes d'ordre le plus élevé possible parmi les surfaces de Riemann de genre 2, à savoir le groupe Oh de l'octaèdre, d'ordre 48. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Surface_de_Bolza">https://fr.wikipedia.org/wiki/Surface_de_Bolza</a>)"""@fr ;
  skos:prefLabel "surface de Bolza"@fr, "Bolza surface"@en ;
  skos:altLabel "complex algebraic Bolza curve"@en ;
  a skos:Concept ;
  skos:broader psr:-JG2M8D8P-D, psr:-HT4QK75C-T ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Bolza_surface>, <https://fr.wikipedia.org/wiki/Surface_de_Bolza> ;
  dc:modified "2024-10-18"^^xsd:date ;
  skos:inScheme psr: .

