Model Theory of Generalized Differential Equations and Diophantine Geometry

广义微分方程模型论与丢番图几何

基本信息

  • 批准号:
    1363372
  • 负责人:
  • 金额:
    $ 46万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2014
  • 资助国家:
    美国
  • 起止时间:
    2014-07-01 至 2018-06-30
  • 项目状态:
    已结题

项目摘要

This project consists of a study of differential and difference equations and their generalizations through the lens of model theory in the sense of mathematical logic, attacks on difficult problems in arithmetic dynamics using multiple model theoretic ideas, and a fundamental investigation into decidability in geometry and arithmetic. In their many applications, differential and difference equations describe the evolution and dynamics of complex systems. Various methods, computational and analytic, for example, are commonly employed to understand and solve these equations. With this project, ideas from algebra and logic, especially related to the principles of definability and tameness of structure, will be used to understand differential and difference equations. This basic research should have consequences in mathematics and the sciences broadly due to the importance of differential and difference equations in the applications of mathematics to the sciences. Concretely, with regards to differential equations, this project will extend the fundamental model theoretic results about differential fields to the class of D-fields in a more expansive sense. Secondly, the project involves a study of the fine structure of definability and dependence in D-fields. In particular, the project will extend the Zilber trichotomy (or, at least, results of a similar flavor) to infinite dimensional types, and, thus, specializing to classical theories, to underdetermined difference-differential, partial differential, and Hasse differential equations. Moreover, a goal of the project is an explicit characterization the induced structure on sets with trivial forking geometry. Thirdly, the project will develop a theory of specializations of D-rings through a model theory of valued D-fields. Fourthly, the project includes a development of general D-Galois theories based on multiple model theoretic perspectives. Finally in connection to D-fields, the project includes an ambitious application of the theory of D-fields which may have transformative consequences; that is, to realize Borger's F-1-geometry as the study of finite dimensional definable sets relative to a certain theory of D-rings. With regards to diophantine geometry, the project will address Zhang's dense orbit conjecture and the dynamical Mordell-Lang through the model theory of difference fields and methods from o-minimality. The project includes a program establish the decidability of complicated fragments of the theory of C(t), the field of rational functions over the complex numbers.
该项目包括通过数学逻辑意义上的模型论的透镜研究微分和差分方程及其概括,使用多模型理论思想攻击算术动力学中的难题,以及对几何和算术中的可判定性进行基本调查。 在许多应用中,微分方程和差分方程描述了复杂系统的演化和动力学。 各种方法,计算和分析,例如,通常用于理解和解决这些方程。通过这个项目,代数和逻辑的思想,特别是与结构的可定义性和驯服性原则有关的思想,将用于理解微分和差分方程。 由于微分方程和差分方程在数学应用于科学中的重要性,这种基础研究应该在数学和科学中产生广泛的影响。具体地说,在微分方程方面,本项目将把关于微分场的基本模型理论结果在更广泛的意义上推广到D-域类。其次,该项目涉及D-域的可定义性和依赖性的精细结构的研究。特别是,该项目将扩大Zilber剖分(或,至少,类似的味道的结果)无限维类型,并因此,专门研究经典理论,欠定差分微分,偏微分和哈塞微分方程。此外,该项目的一个目标是显式表征的诱导结构集平凡分叉几何。第三,该项目将通过有值D-域的模型理论发展D-环的专门化理论。第四,该项目包括基于多模型理论视角的一般D-伽罗瓦理论的发展。最后在连接到D-领域,该项目包括一个雄心勃勃的应用理论的D-领域可能有变革性的后果,即实现博尔格的F-1-几何的研究有限维可定义集相对于一定的理论的D-环。关于丢番图几何,该项目将通过差分场的模型理论和o-极小性方法解决张的稠密轨道猜想和动力学Mordell-Lang。 该项目包括一个程序,建立C(t)理论的复杂片段的可判定性,即复数上的有理函数领域。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Thomas Scanlon其他文献

Dialysis After Left Ventricular Assist Device Implantation
  • DOI:
    10.1016/j.cardfail.2020.09.442
  • 发表时间:
    2020-10-01
  • 期刊:
  • 影响因子:
  • 作者:
    Annie Tsay;Lori Ober;Behzad Soleimani;Robert Dowling;Jordan Shouey;Omaima Ali;Thomas Scanlon;Robert Oblender;Howard Joel Eisen
  • 通讯作者:
    Howard Joel Eisen
Groupes définissables dans des expansions de théories stables Ampleur et notions relatives
理论稳定和相关概念扩展中的可定义群体
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    C. Jordan;A. Martin;E. Bouscaren;David Evans;B. Poizat;Thomas Scanlon
  • 通讯作者:
    Thomas Scanlon
Public Key Cryptosystems Based on Drinfeld Modules Are Insecure
  • DOI:
    10.1007/s00145-001-0004-9
  • 发表时间:
    2001-04-09
  • 期刊:
  • 影响因子:
    2.200
  • 作者:
    Thomas Scanlon
  • 通讯作者:
    Thomas Scanlon
Algebraic equations on the adèlic closure of a Drinfeld module
  • DOI:
    10.1007/s11856-012-0072-6
  • 发表时间:
    2012-05-29
  • 期刊:
  • 影响因子:
    0.800
  • 作者:
    Dragos Ghioca;Thomas Scanlon
  • 通讯作者:
    Thomas Scanlon
Algorithm for finding new identifiable reparametrizations of parametric ODEs
寻找参数常微分方程新的可识别重参数化的算法
  • DOI:
    10.48550/arxiv.2310.03057
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    N. Meshkat;Alexey Ovchinnikov;Thomas Scanlon
  • 通讯作者:
    Thomas Scanlon

Thomas Scanlon的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Thomas Scanlon', 18)}}的其他基金

Travel: Model Theory of Valued Fields at CIRM
旅行:CIRM 有价值领域的模型理论
  • 批准号:
    2322918
  • 财政年份:
    2023
  • 资助金额:
    $ 46万
  • 项目类别:
    Standard Grant
Algebraicity, Transcendence, and Decidability in Arithmetic and Geometry through Model Theory
通过模型理论研究算术和几何中的代数性、超越性和可判定性
  • 批准号:
    2201045
  • 财政年份:
    2022
  • 资助金额:
    $ 46万
  • 项目类别:
    Continuing Grant
CAREER: Model Theory and Homogeneous Structures
职业:模型理论和齐次结构
  • 批准号:
    1848562
  • 财政年份:
    2019
  • 资助金额:
    $ 46万
  • 项目类别:
    Continuing Grant
From Permutation Groups to Model Theory
从置换群到模型论
  • 批准号:
    1824208
  • 财政年份:
    2018
  • 资助金额:
    $ 46万
  • 项目类别:
    Standard Grant
FRG: Collaborative Research: Model Theory of Differential and Difference Equations with Applications
FRG:协作研究:微分方程和差分方程的模型理论及其应用
  • 批准号:
    1760413
  • 财政年份:
    2018
  • 资助金额:
    $ 46万
  • 项目类别:
    Standard Grant
Model Theory: Connecting Algebraic, Analytic, and Diophantine Geometry Through Definability
模型理论:通过可定义性连接代数、解析和丢番图几何
  • 批准号:
    1800492
  • 财政年份:
    2018
  • 资助金额:
    $ 46万
  • 项目类别:
    Continuing Grant
Conference/Workshop: Trimester on Model Theory, Combinatorics, and Valued Fields; Spring, 2018; Paris, France
会议/研讨会:模型理论、组合学和值域的三个学期;
  • 批准号:
    1744167
  • 财政年份:
    2017
  • 资助金额:
    $ 46万
  • 项目类别:
    Standard Grant
Arithmetic and algebraic differentiation: Witt vectors, number theory, and differential algebra
算术和代数微分:维特向量、数论和微分代数
  • 批准号:
    1502219
  • 财政年份:
    2015
  • 资助金额:
    $ 46万
  • 项目类别:
    Standard Grant
Model Theory, Difference/Differential Equations, and Applications
模型理论、差分/微分方程和应用
  • 批准号:
    1500920
  • 财政年份:
    2015
  • 资助金额:
    $ 46万
  • 项目类别:
    Standard Grant
Algebraic Model Theory
代数模型理论
  • 批准号:
    1001550
  • 财政年份:
    2010
  • 资助金额:
    $ 46万
  • 项目类别:
    Continuing Grant

相似国自然基金

Research on Quantum Field Theory without a Lagrangian Description
  • 批准号:
    24ZR1403900
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
基于isomorph theory研究尘埃等离子体物理量的微观动力学机制
  • 批准号:
    12247163
  • 批准年份:
    2022
  • 资助金额:
    18.00 万元
  • 项目类别:
    专项项目
Toward a general theory of intermittent aeolian and fluvial nonsuspended sediment transport
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    55 万元
  • 项目类别:
英文专著《FRACTIONAL INTEGRALS AND DERIVATIVES: Theory and Applications》的翻译
  • 批准号:
    12126512
  • 批准年份:
    2021
  • 资助金额:
    12.0 万元
  • 项目类别:
    数学天元基金项目
基于Restriction-Centered Theory的自然语言模糊语义理论研究及应用
  • 批准号:
    61671064
  • 批准年份:
    2016
  • 资助金额:
    65.0 万元
  • 项目类别:
    面上项目

相似海外基金

Alternative ruin theory models:barrier stategies, generalized cramér-lundberg model
替代废墟理论模型:障碍策略、广义克拉姆-伦德伯格模型
  • 批准号:
    311958-2008
  • 财政年份:
    2013
  • 资助金额:
    $ 46万
  • 项目类别:
    Discovery Grants Program - Individual
Alternative ruin theory models:barrier stategies, generalized cramér-lundberg model
替代废墟理论模型:障碍策略、广义克拉姆-伦德伯格模型
  • 批准号:
    311958-2008
  • 财政年份:
    2012
  • 资助金额:
    $ 46万
  • 项目类别:
    Discovery Grants Program - Individual
Alternative ruin theory models:barrier stategies, generalized cramér-lundberg model
替代废墟理论模型:障碍策略、广义克拉姆-伦德伯格模型
  • 批准号:
    311958-2008
  • 财政年份:
    2011
  • 资助金额:
    $ 46万
  • 项目类别:
    Discovery Grants Program - Individual
Development of a generalized perturbation theory model for uncertainty propagation in lattice cell codes
格子码中不确定性传播的广义微扰理论模型的开发
  • 批准号:
    195505-2006
  • 财政年份:
    2010
  • 资助金额:
    $ 46万
  • 项目类别:
    Discovery Grants Program - Individual
Research in Model Theory: Generalized Amalgamation Properties
模型理论研究:广义合并性质
  • 批准号:
    0901315
  • 财政年份:
    2009
  • 资助金额:
    $ 46万
  • 项目类别:
    Standard Grant
Alternative ruin theory models:barrier stategies, generalized cramér-lundberg model
替代废墟理论模型:障碍策略、广义克拉姆-伦德伯格模型
  • 批准号:
    311958-2008
  • 财政年份:
    2009
  • 资助金额:
    $ 46万
  • 项目类别:
    Discovery Grants Program - Individual
Development of a generalized perturbation theory model for uncertainty propagation in lattice cell codes
格子码中不确定性传播的广义微扰理论模型的开发
  • 批准号:
    195505-2006
  • 财政年份:
    2009
  • 资助金额:
    $ 46万
  • 项目类别:
    Discovery Grants Program - Individual
Development of a generalized perturbation theory model for uncertainty propagation in lattice cell codes
格子码中不确定性传播的广义微扰理论模型的开发
  • 批准号:
    195505-2006
  • 财政年份:
    2008
  • 资助金额:
    $ 46万
  • 项目类别:
    Discovery Grants Program - Individual
Alternative ruin theory models:barrier stategies, generalized cramér-lundberg model
替代废墟理论模型:障碍策略、广义克拉姆-伦德伯格模型
  • 批准号:
    311958-2008
  • 财政年份:
    2008
  • 资助金额:
    $ 46万
  • 项目类别:
    Discovery Grants Program - Individual
Development of a generalized perturbation theory model for uncertainty propagation in lattice cell codes
格子码中不确定性传播的广义微扰理论模型的开发
  • 批准号:
    195505-2006
  • 财政年份:
    2007
  • 资助金额:
    $ 46万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了