| 1 |
Apodictic discourse and the Cauchy-Bunyakovsky-Schwarz inequality ; Discours apodictique et inégalité de Cauchy-Bunyakovsky-Schwarz
|
|
|
|
In: ISSN: 0970-0307 ; Ganita Bharati (Indian Mathematics): Journal of the Indian Society for History of Mathematics ; https://hal.archives-ouvertes.fr/hal-03643571 ; Ganita Bharati (Indian Mathematics): Journal of the Indian Society for History of Mathematics, Prints Publications Pvt., In press (2022)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Towards an international lexicon
|
|
|
|
In: ISSN: 1863-9690 ; EISSN: 1863-9704 ; ZDM ; https://hal.archives-ouvertes.fr/hal-03625972 ; ZDM, Springer Verlag, 2022, ⟨10.1007/s11858-022-01349-3⟩ (2022)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Hitchcock, F. L., 1941, The Distribution of a Product from Several Sources to Numerous Localities. Version bilingue et commentée
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03565874 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
The contextual logic
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03195162 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Evolution and trade-off dynamics of functional load
|
|
|
|
In: ISSN: 1099-4300 ; Entropy ; https://hal.archives-ouvertes.fr/hal-03630585 ; Entropy, MDPI, 2022, ⟨10.3390/e24040507⟩ (2022)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Usages du Dictionnaire Électronique des Synonymes (DES) du CRISCO : focus sur les mots inexistants
|
|
|
|
In: ISSN: 2607-0987 ; Le carnet de la MRSH ; https://halshs.archives-ouvertes.fr/halshs-03606075 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Dialogical Logic
|
|
|
|
In: ISSN: 1095-5054 ; Stanford Encyclopedia of Philosophy ; https://hal.archives-ouvertes.fr/hal-03651225 ; 2022, https://plato.stanford.edu/archives/sum2022/entries/logic-dialogical/ (2022)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Game of Grounds
|
|
|
|
In: Objects, Structures, and Logics ; https://hal.archives-ouvertes.fr/hal-03602786 ; Objects, Structures, and Logics, 339, Springer International Publishing, pp.259-286, 2022, Boston Studies in the Philosophy and History of Science, ⟨10.1007/978-3-030-84706-7_10⟩ (2022)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Logiciel de calculs statistiques pour des données linguistiques
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03631733 ; 2022, ⟨swh:1:dir:f3daa115d74f59485bc7249c1ab40dcb5f4af412;origin=https://hal.archives-ouvertes.fr/hal-03631733;visit=swh:1:snp:913acafcd2699ecc9ef1f05543532e454b11b328;anchor=swh:1:rel:d520c0e78ee4276ff8af500da81d99f8f5e4a301;path=/⟩ (2022)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Calculi of Epistemic Grounding Based on Prawitz’s Theory of Grounds
|
|
|
|
In: ISSN: 0039-3215 ; EISSN: 1572-8730 ; Studia Logica ; https://hal.archives-ouvertes.fr/hal-03581352 ; Studia Logica, Springer Verlag (Germany), 2022, ⟨10.1007/s11225-021-09979-6⟩ (2022)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Semiotic analysis of the scientific measurement of a quantity ; Analyse sémiotique de la mesure scientifique d'une grandeur
|
|
|
|
In: La Sémiotique et ses horizons ; https://hal.archives-ouvertes.fr/hal-03556362 ; La Sémiotique et ses horizons, 2022 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Plurilinguisme et enseignement des mathématiques ; Plurilinguisme et enseignement des mathématiques: Mise en perspectives des Journées Plurimaths 2020
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03553842 ; Éditions Lambert-Lucas, 2022 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
A novel source-filter stochastic model for voice production
|
|
|
|
In: ISSN: 0892-1997 ; Journal of Voice ; https://hal-upec-upem.archives-ouvertes.fr/hal-03179837 ; Journal of Voice, Elsevier, 2021, In Press, pp.1-11. ⟨10.1016/j.jvoice.2020.11.015⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Designing meta-resources for mathematics teachers in the context of curriculum reforms: the case of digital technology use and student autonomy in France
|
|
|
|
In: ISSN: 1863-9690 ; EISSN: 1863-9704 ; ZDM ; https://hal.archives-ouvertes.fr/hal-03378201 ; ZDM, Springer Verlag, 2021, ⟨10.1007/s11858-021-01299-2⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Grounding, Quantifiers, and Paradoxes
|
|
|
|
In: ISSN: 0022-3611 ; EISSN: 1573-0433 ; Journal of Philosophical Logic ; https://hal.archives-ouvertes.fr/hal-03187627 ; Journal of Philosophical Logic, Springer Verlag, 2021, 50, pp.1417-1448. ⟨10.1007/s10992-021-09604-w⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Argumentation of Prospective Mathematics Teachers in Fraction Tasks Mediated by an Online Assessment System With Automatic Feedback
|
|
|
|
In: Eurasia Journal of Mathematics, Science and Technology Education ; https://hal.archives-ouvertes.fr/hal-03538861 ; Eurasia Journal of Mathematics, Science and Technology Education, 2021, 17 (12), pp.em2055. ⟨10.29333/ejmste/11425⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 18 |
A precise bare simulation approach to the minimization of some distances. Foundations
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03278232 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Constrained control of gene-flow models
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02373668 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Abundance of rational points ; Abondance de points rationnels
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03514052 ; Algebraic Geometry [math.AG]. Université Paris-Saclay; Scuola normale superiore (Pise, Italie), 2021. English. ⟨NNT : 2021UPASM049⟩ (2021)
|
|
Abstract:
For a smooth algebraic variety X defined over a number field K, one could ask several questions about the abundance of its rational points. This thesis revolves, in particular, around the following three properties: Hilbert Property, weak approximation and strong approximation. The first concerns, more or less, the question of extending the Hilbert Irreducibility Theorem to an arbitrary X (in the sense that the parameters of the Theorem are allowed to vary through rational points of this variety), the interesting case being when X is non-rational, for otherwise one recovers precisely the original theorem of Hilbert. The other two concern the question of density of rational points of X in the adelic ones (possibly with some places removed). The adjective “weak'' is more commonly used when talking about proper varieties, and the adjective “strong'' is used otherwise. In the first original work that is part of this thesis, we prove that, under a technical assumption, a proper algebraic surface X, with Zariski-dense rational points, that is endowed with two or more genus 1 fibrations, has the Hilbert Property. This result generalizes an earlier result of Corvaja and Zannier, who proved the Hilbert Property for the Fermat surface x⁴+y⁴=z⁴+w⁴. The technique used is similar to theirs, the main idea being that of transporting rational points around the surface using the elliptic fibers of the various fibrations. In the second part of the thesis, we prove that on an arbitrary homogeneous space X, under some technical assumptions, the étale-Brauer-Manin obstruction is the only one to strong approximation. This obstruction is obtained by applying the more classical Brauer-Manin obstruction on all finite étale torsors over X. The proof is basically a reduction to a theorem of Borovoi and Demarche, who proved that (again under technical assumptions) strong approximation up to Brauer-Manin obstruction holds on homogeneous spaces with connected stabilizers. In this part of the thesis we also prove a compatibility result, suggested to be true by work of Cyril Demarche, between Brauer pairing and the so-called abelianization map, for homogeneous spaces of the form G/H, with H connected and linear. Finally, in the third and last part of the thesis, we explore the problem of “ramified descent", or, in other words, the question of which adelic points of X may be lifted to (a desingularization of a twist of) a fixed geometrically integral and geometrically Galois cover φ:Y⟶X, with commutative geometric Galois group (although in some parts of the work this commutativity assumption is not needed). The case where the cover is unramified is already well-studied, and, therefore, the interest lies in the ramified case (whence the terminology “ramified descent''). We prove that a certain naturally defined “descent set'' provides an obstruction to Hasse principle and weak approximation on X (the main difficulty in proving this lies in showing that rational points that lie on the branch locus of φ are unobstructed). Moreover, in analogy with the classical unramified case, we construct a subgroup Bᵩ of the Brauer group of X such that the the descent set associated to Bᵩ lies in the Brauer-Manin set associated to Bᵩ. Interestingly enough, the transcendental part of Bᵩ may provide a non-trivial obstruction, contrary to what happens in the unramified case. It seems reasonable to expect that this Bᵩ is the only obstruction to the “ramified descent'' problem. ; Pour une variété algébrique lisse Χ définie sur un corps de nombres Κ, on peut se poser plusieurs questions sur l'abondance de ses points rationnels. En particulier, cette thèse s'intéresse aux trois propriétés suivantes : propriété de Hilbert, l'approximation faible et l'approximation forte. La première concerne plus ou moins la question de l'extension du théorème d'irréductibilité de Hilbert à une Χ arbitraire (par quoi nous entendons que les paramètres du théorème peuvent varier parmi les points rationnels de cette variété), le cas intéressant étant lorsque Χ est non rationnel, car sinon on retrouve précisément le théorème originel de Hilbert. Les deux autres concernent la question de la densité des points rationnels de Χ dans les points adéliques (possiblement en dehors d'ensemble finis de places). L'adjectif “faible” est normalement utilisé pour parler de variétés propres, et l'adjectif “fort" est utilisé autrement. Dans le premier travail original qui fait partie de cette thèse, nous montrons que, sous une hypothèse technique, une surface algébrique Χ propre, avec les points rationnels Zariski-denses, et qui est dotée de deux ou plusieurs fibrations de genre 1, a la propriété de Hilbert. Ce résultat généralise un résultat antérieur de Corvaja et Zannier, qui ont prouvé la propriété de Hilbert pour la surface de Fermat x⁴+y⁴=z⁴+w⁴. La technique utilisée est similaire à la leur, l'idée principale étant de transporter les points rationnels autour de la surface à l'aide des fibres elliptiques des différentes fibrations. Dans la deuxième partie de la thèse, nous montrons que pour tous les espaces homogènes X, sous certaines hypothèses techniques, l'obstruction de Brauer-Manin étale est la seule à l'approximation forte. Cette obstruction est notamment obtenue en appliquant l'obstruction de Brauer-Manin sur tous les torseurs étales finis sur X. Notre preuve est essentiellement une réduction à un théorème de Borovoi et Demarche, qui ont montré que (toujours sous des hypothèses techniques) pour les espaces homogènes avec stabilisateurs connexes l'obstruction de Brauer-Manin est la seule à l'approximation forte. Dans cette partie de la thèse, nous prouvons aussi un résultat de compatibilité, suggéré par des travaux de Cyril Demarche, entre l'accouplement de Brauer et l'application dite d'abélianisation, pour des espaces homogènes de la forme G/H, avec H connexe et linéaire. Enfin, dans la troisième et dernière partie de la thèse, nous explorons le problème de la “descente ramifiée", ou, en d'autres termes, la question de quels points adéliques de X peuvent être relevés à (une désingularisation d'un tordu d') un revêtement (possiblement ramifié) géométriquement intègre et géométriquement de Galois φ:Y⟶X fixé, avec un groupe de Galois géométrique commutatif (bien que dans certaines parties du travail cette hypothèse de commutativité ne soit pas nécessaire). Le cas où le revêtement est non ramifié étant déjà bien étudié, on est intéressé principalement au cas ramifié (d'où la terminologie “descente ramifiée"). Nous prouvons qu'un certain “ensemble de descente", défini naturellement, fournit une obstruction au principe de Hasse et à l'approximation faible sur X (la difficulté principale pour prouver cela réside dans la démonstration que les points rationnels de X qui se trouvent sur le lieu de ramification de φ ne sont pas obstrués). De plus, par analogie avec le cas classique non ramifié, on construit un sous-groupe Bᵩ du groupe de Brauer de X tel que l'ensemble de descente associé à φ se trouve dans l'ensemble de Brauer-Manin associé à Bᵩ. On prouve aussi, à l'aide d'un exemple explicite, que la partie transcendante de Bᵩ peut fournir une obstruction non triviale, contrairement à ce qui se passe dans le cas non ramifié.Il semble raisonnable de s'attendre à ce que le groupe Bᵩ soit la seule obstruction au problème de la “descente ramifiée".
|
|
Keyword:
[MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]; [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]; Algebraic groups; Arithmetic geometry; Géométrie arithmétique; Groupes algébriques; Points rationnels; Rational points
|
|
URL: https://tel.archives-ouvertes.fr/tel-03514052/document
https://tel.archives-ouvertes.fr/tel-03514052
https://tel.archives-ouvertes.fr/tel-03514052/file/106686_DEMEIO_2021_archivage.pdf
|
|
BASE
|
|
Hide details
|
|
|
|
|
