-
Fields with Lie-commuting and iterative operators
Authors:
Jan Dobrowolski,
Omar Leon Sanchez
Abstract:
We introduce a general framework for studying fields equipped with operators, given as co-ordinate functions of homomorphisms into a local algebra $\mathcal{D}$, satisfying various compatibility conditions that we denote by $Γ$ and call such structures $\mathcal{D}^Γ$-fields. These include Lie-commutativity of derivations and $\mathfrak g$-iterativity of (truncated) Hasse-Schmidt derivations. Our…
▽ More
We introduce a general framework for studying fields equipped with operators, given as co-ordinate functions of homomorphisms into a local algebra $\mathcal{D}$, satisfying various compatibility conditions that we denote by $Γ$ and call such structures $\mathcal{D}^Γ$-fields. These include Lie-commutativity of derivations and $\mathfrak g$-iterativity of (truncated) Hasse-Schmidt derivations. Our main result is about the existence of principal realisations of $\mathcal{D}^Γ$-kernels. As an application, we prove companionability of the theory of $\mathcal{D}^Γ$-fields and denote the companion by $\mathcal{D}^Γ$-CF. In characteristic zero, we prove that $\mathcal{D}^Γ$-CF is a stable theory that satisfies the CBP and Zilber's dichotomy for finite-dimensional types. We also prove that there is a uniform companion for model-complete theories of large $\mathcal{D}^Γ$-fields, which leads to the notion of $\mathcal{D}^Γ$-large fields and we further use this to show that PAC substructures of $\mathcal{D}^Γ$-DCF are elementary.
△ Less
Submitted 24 June, 2025;
originally announced June 2025.
-
Zilber dichotomy for $DCF_{0,m}$
Authors:
Omar Leon Sanchez
Abstract:
We prove that the theory of differentially closed fields of characteristic zero in $m\geq 1$ commuting derivations DCF$_{0,m}$ satisfies the expected form of the dichotomy. Namely, any minimal type is either locally modular or nonorthogonal to the (algebraically closed) field of constants. This dichotomy is well known for finite-dimensional types; however, a proof that includes the possible case o…
▽ More
We prove that the theory of differentially closed fields of characteristic zero in $m\geq 1$ commuting derivations DCF$_{0,m}$ satisfies the expected form of the dichotomy. Namely, any minimal type is either locally modular or nonorthogonal to the (algebraically closed) field of constants. This dichotomy is well known for finite-dimensional types; however, a proof that includes the possible case of infinite dimension does not explicitly appear elsewhere.
△ Less
Submitted 7 November, 2024;
originally announced November 2024.
-
Birational geometry of blowups via Weyl chamber decompositions and actions on curves
Authors:
Maria Chiara Brambilla,
Olivia Dumitrescu,
Elisa Postinghel,
Luis José Santana Sánchez
Abstract:
We study the birational geometry of $X^n_s$, the blow-up of $\mathbb{P}^n_\mathbb{C}$ at $s$ points in general position. We identify a set of subvarieties, which we call Weyl $r$-planes, that belong to an orbit for the action of the Weyl group on $r$-cycles. They satisfy the following properties: they appear as stable base locus of divisors; each Weyl $r$-plane is swept out by an $(n-r)$-moving cu…
▽ More
We study the birational geometry of $X^n_s$, the blow-up of $\mathbb{P}^n_\mathbb{C}$ at $s$ points in general position. We identify a set of subvarieties, which we call Weyl $r$-planes, that belong to an orbit for the action of the Weyl group on $r$-cycles. They satisfy the following properties: they appear as stable base locus of divisors; each Weyl $r$-plane is swept out by an $(n-r)$-moving curve class; moreover, if $s\ge n+3$, for any fixed $r$ all these curve classes belong to the same orbit for the Weyl action.
For Mori dream spaces of type $X^n_s$, all such orbits are finite and they allow to reinterpret Mukai's description of the Mori chamber decomposition of the effective cone in terms of $(n-r)$-moving curve classes, unifying previous different approaches.
If $X^n_s$ is not a Mori dream space, there are infinitely many Weyl $r$-planes. These yields the definition of the Weyl chamber decomposition of the pseudoeffective cone of divisors. We pose the question as to whether the nef chamber decomposition can be defined (in the negative part of $\overline{\mathrm{Eff}}(X^n_s)$) and, if this is the case, whether it coincides with the Weyl chamber decomposition. We conjecture that the answer is affirmative for $X^3_8$ and $X^5_9$.
△ Less
Submitted 11 May, 2025; v1 submitted 23 October, 2024;
originally announced October 2024.
-
The theory DCF$_p$A exists for $p>0$
Authors:
Kai Ino,
Omar Leon Sanchez
Abstract:
We prove that the (elementary) class of differential-difference fields in characteristic $p>0$ admits a model-companion. In the terminology of Chatzidakis-Pillay, this says that the class of differentially closed fields of characteristic $p$ equipped with a generic differential-automorphism is elementary; i.e., DCF$_p$A exists. Along the way, we provide alternative first-order axiomatisations for…
▽ More
We prove that the (elementary) class of differential-difference fields in characteristic $p>0$ admits a model-companion. In the terminology of Chatzidakis-Pillay, this says that the class of differentially closed fields of characteristic $p$ equipped with a generic differential-automorphism is elementary; i.e., DCF$_p$A exists. Along the way, we provide alternative first-order axiomatisations for DCF (differentially closed fields) and also for DCF$_0$A.
△ Less
Submitted 23 October, 2024;
originally announced October 2024.
-
Neostability transfers in derivation-like theories
Authors:
Omar Leon Sanchez,
Shezad Mohamed
Abstract:
Motivated by structural properties of differential field extensions, we introduce the notion of a theory $T$ being derivation-like with respect to another model complete theory $T_0$. We prove that when $T$ admits a model companion $T_+$, several model-theoretic properties transfer from $T_0$ to $T_+$. These properties include completeness, quantifier elimination, stability, simplicity, and NSOP…
▽ More
Motivated by structural properties of differential field extensions, we introduce the notion of a theory $T$ being derivation-like with respect to another model complete theory $T_0$. We prove that when $T$ admits a model companion $T_+$, several model-theoretic properties transfer from $T_0$ to $T_+$. These properties include completeness, quantifier elimination, stability, simplicity, and NSOP$_1$. We also observe that, aside from the theory of differential fields, examples of derivation-like theories are plentiful.
△ Less
Submitted 24 March, 2025; v1 submitted 17 September, 2024;
originally announced September 2024.
-
Asymptotics of rational representations for algebraic groups
Authors:
Lander Guerrero Sánchez,
Henrique Souza
Abstract:
We study the asymptotic behaviour of the cohomology of subgroups $Γ$ of an algebraic group $G$ with coefficients in the various irreducible rational representations of $G$ and raise a conjecture about it. Namely, we expect that the dimensions of these cohomology groups approximate the $\ell^2$-Betti numbers of $Γ$ with a controlled error term. We provide positive answers when $G$ is a product of c…
▽ More
We study the asymptotic behaviour of the cohomology of subgroups $Γ$ of an algebraic group $G$ with coefficients in the various irreducible rational representations of $G$ and raise a conjecture about it. Namely, we expect that the dimensions of these cohomology groups approximate the $\ell^2$-Betti numbers of $Γ$ with a controlled error term. We provide positive answers when $G$ is a product of copies of $SL_2$. As an application, we obtain new proofs of J. Lott's and W. Lück's computation of the $\ell^2$-Betti numbers of hyperbolic $3$-manifolds and W. Fu's upper bound on the growth of cusp forms for non totally real fields, which is sharp in the imaginary quadratic case.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
Treatment of Epistemic Uncertainty in Conjunction Analysis with Dempster-Shafer Theory
Authors:
Luis Sanchez,
Massimiliano Vasile,
Silvia Sanvido,
Klaus Mertz,
Christophe Taillan
Abstract:
The paper presents an approach to the modelling of epistemic uncertainty in Conjunction Data Messages (CDM) and the classification of conjunction events according to the confidence in the probability of collision. The approach proposed in this paper is based on the Dempster-Shafer Theory (DSt) of evidence and starts from the assumption that the observed CDMs are drawn from a family of unknown dist…
▽ More
The paper presents an approach to the modelling of epistemic uncertainty in Conjunction Data Messages (CDM) and the classification of conjunction events according to the confidence in the probability of collision. The approach proposed in this paper is based on the Dempster-Shafer Theory (DSt) of evidence and starts from the assumption that the observed CDMs are drawn from a family of unknown distributions. The Dvoretzky-Kiefer-Wolfowitz (DKW) inequality is used to construct robust bounds on such a family of unknown distributions starting from a time series of CDMs. A DSt structure is then derived from the probability boxes constructed with DKW inequality. The DSt structure encapsulates the uncertainty in the CDMs at every point along the time series and allows the computation of the belief and plausibility in the realisation of a given probability of collision. The methodology proposed in this paper is tested on a number of real events and compared against existing practices in the European and French Space Agencies. We will show that the classification system proposed in this paper is more conservative than the approach taken by the European Space Agency but provides an added quantification of uncertainty in the probability of collision.
△ Less
Submitted 13 February, 2024; v1 submitted 28 January, 2024;
originally announced February 2024.
-
Predicting Horizontal Gene Transfers with Perfect Transfer Networks
Authors:
Alitzel López Sánchez,
Manuel Lafond
Abstract:
Horizontal gene transfer inference approaches are usually based on gene sequences: parametric methods search for patterns that deviate from a particular genomic signature, while phylogenetic methods use sequences to reconstruct the gene and species trees. However, it is well-known that sequences have difficulty identifying ancient transfers since mutations have enough time to erase all evidence of…
▽ More
Horizontal gene transfer inference approaches are usually based on gene sequences: parametric methods search for patterns that deviate from a particular genomic signature, while phylogenetic methods use sequences to reconstruct the gene and species trees. However, it is well-known that sequences have difficulty identifying ancient transfers since mutations have enough time to erase all evidence of such events. In this work, we ask whether character-based methods can predict gene transfers. Their advantage over sequences is that homologous genes can have low DNA similarity, but still have retained enough important common motifs that allow them to have common character traits, for instance the same functional or expression profile. A phylogeny that has two separate clades that acquired the same character independently might indicate the presence of a transfer even in the absence of sequence similarity. We introduce perfect transfer networks, which are phylogenetic networks that can explain the character diversity of a set of taxa under the assumption that characters have unique births, and that once a character is gained it is rarely lost. Examples of such traits include transposable elements, biochemical markers and emergence of organelles, just to name a few. We study the differences between our model and two similar models: perfect phylogenetic networks and ancestral recombination networks. Our goals are to initiate a study on the structural and algorithmic properties of perfect transfer networks. We then show that in polynomial time, one can decide whether a given network is a valid explanation for a set of taxa, and show how, for a given tree, one can add transfer edges to it so that it explains a set of taxa. We finally provide lower and upper bounds on the number of transfers required to explain a set of taxa, in the worst case.
△ Less
Submitted 5 December, 2023;
originally announced December 2023.
-
On $p$-Frobenius of affine semigroups
Authors:
Evelia R. García Barroso,
Juan Ignacio García-García,
Luis José Santana Sánchez,
Alberto Vigneron-Tenorio
Abstract:
The aim of this paper is to study the $p$-Frobenius vector of affine semigroups $S\subset \mathbb N^q$; that is, the maximum element, with respect to a graded monomial order, with at most $p$ factorizations in $S$. We produce several algorithms to compute these vectors. Finally, we study how the $p$-Frobenius vectors behave when considering gluings of $S$ with $\mathbb N^q$.
The aim of this paper is to study the $p$-Frobenius vector of affine semigroups $S\subset \mathbb N^q$; that is, the maximum element, with respect to a graded monomial order, with at most $p$ factorizations in $S$. We produce several algorithms to compute these vectors. Finally, we study how the $p$-Frobenius vectors behave when considering gluings of $S$ with $\mathbb N^q$.
△ Less
Submitted 10 November, 2023;
originally announced November 2023.
-
The directional flow generated by peristalsis in perivascular networks -- theoretical and numerical reduced-order descriptions
Authors:
Ingeborg G. Gjerde,
Marie E. Rognes,
Antonio L. Sanchez
Abstract:
Directional fluid flow in perivascular spaces surrounding cerebral arteries is hypothesized to play a key role in brain solute transport and clearance. While various drivers for pulsatile flow, such as cardiac or respiratory pulsations, are well quantified, the question remains as to which mechanisms could induce directional flow within physiological regimes. To address this question, we develop t…
▽ More
Directional fluid flow in perivascular spaces surrounding cerebral arteries is hypothesized to play a key role in brain solute transport and clearance. While various drivers for pulsatile flow, such as cardiac or respiratory pulsations, are well quantified, the question remains as to which mechanisms could induce directional flow within physiological regimes. To address this question, we develop theoretical and numerical reduced-order models to quantify the directional (net) flow induceable by peristaltic pumping in periarterial networks. Each periarterial element is modeled as a slender annular space bounded internally by a circular tube supporting a periodic traveling (peristaltic) wave. Under the reasonable assumptions of small Reynolds number flow, small radii, and small-amplitude peristaltic waves, we use lubrication theory and regular perturbation methods to derive theoretical expressions for the directional net flow and pressure distribution in the perivascular network. The reduced model is used to derive closed-form analytical expressions for the net flow for simple network configurations of interest, including single elements, two elements in tandem, and a three element bifurcation, with results compared with numerical predictions. In particular, we provide a computable theoretical estimate of the net flow induced by peristaltic motion in perivascular networks as a function of physiological parameters, notably wave length, frequency, amplitude and perivascular dimensions. Quantifying the maximal net flow for specific physiological regimes, we find that vasomotion may induce net pial periarterial flow velocities on the order of a few to tens of mum/s and that sleep-related changes in vasomotion pulsatility may drive a threefold flow increase.
△ Less
Submitted 3 October, 2023;
originally announced October 2023.
-
On ordinary differentially large fields
Authors:
Omar León Sánchez,
Marcus Tressl
Abstract:
We provide a characterisation of differentially large fields in arbitrary characteristic and a single derivation in the spirit of Blum axioms for differentially closed fields. In the case of characteristic zero, we use these axioms to characterise differential largeness in terms of being existentially closed in the differential algebraic Laurent series ring, and we prove that any large field of in…
▽ More
We provide a characterisation of differentially large fields in arbitrary characteristic and a single derivation in the spirit of Blum axioms for differentially closed fields. In the case of characteristic zero, we use these axioms to characterise differential largeness in terms of being existentially closed in the differential algebraic Laurent series ring, and we prove that any large field of infinite transcendence degree can be expanded to a differentially large field even under certain prescribed constant fields. As an application, we show that the theory of proper dense pairs of models of a complete and modelcomplete theory of large fields, is a complete theory. As a further consequence of the expansion result we show that there is no real closed and differential field that has a prime model extension in closed ordered differential fields, unless it is itself a closed ordered differential field.
△ Less
Submitted 30 July, 2024; v1 submitted 24 July, 2023;
originally announced July 2023.
-
Duality and polyhedrality of cones for Mori dream spaces
Authors:
Maria Chiara Brambilla,
Olivia Dumitrescu,
Elisa Postinghel,
Luis José Santana Sánchez
Abstract:
Our goal is twofold. On one hand we show that the cones of divisors ample in codimension $k$ on a Mori dream space are rational polyhedral. On the other hand we study the duality between such cones and the cones of $k$-moving curves by means of the Mori chamber decomposition of the former. We give a new proof of the weak duality property (already proved by Payne and Choi) and we exhibit an interes…
▽ More
Our goal is twofold. On one hand we show that the cones of divisors ample in codimension $k$ on a Mori dream space are rational polyhedral. On the other hand we study the duality between such cones and the cones of $k$-moving curves by means of the Mori chamber decomposition of the former. We give a new proof of the weak duality property (already proved by Payne and Choi) and we exhibit an interesting family of examples for which strong duality holds.
△ Less
Submitted 21 February, 2025; v1 submitted 29 May, 2023;
originally announced May 2023.
-
Separably differentially closed fields
Authors:
Kai Ino,
Omar Leon Sanchez
Abstract:
We introduce and study a new class of differential fields in positive characteristic. We call them separably differentially closed fields and demonstrate that they are the differential analogue of separably closed fields. We prove several (algebraic and model-theoretic) properties of this class. Among other things, we show that it is an elementary class, whose theory we denote $\SDCF$, and that it…
▽ More
We introduce and study a new class of differential fields in positive characteristic. We call them separably differentially closed fields and demonstrate that they are the differential analogue of separably closed fields. We prove several (algebraic and model-theoretic) properties of this class. Among other things, we show that it is an elementary class, whose theory we denote $\SDCF$, and that its completions are determined by specifying the characteristic $p$ and the differential degree of imperfection $ε$. Furthermore, after adding what we call the differential $λ$-functions, we prove that the theory $\SDCFl$ admits quantifier elimination, is stable, and prime model extensions exist.
△ Less
Submitted 10 July, 2025; v1 submitted 22 February, 2023;
originally announced February 2023.
-
Conductors of Abhyankar-Moh semigroups of even degrees
Authors:
Evelia R. GarcÍa Barroso,
Juan Ignacio GarcÍa-GarcÍa,
Luis José Santana SÁnchez,
Alberto Vigneron-Tenorio
Abstract:
In their paper on the embeddings of the line in the plane, Abhyankar and Moh proved an important inequality, now known as the Abhyankar-Moh inequality, which can be stated in terms of the semigroup associated with the branch at infinity of a plane algebraic curve. Barrolleta, García Barroso and P\loski studied the semigroups of integers satisfying the Abhyankar-Moh inequality and call them Abhyank…
▽ More
In their paper on the embeddings of the line in the plane, Abhyankar and Moh proved an important inequality, now known as the Abhyankar-Moh inequality, which can be stated in terms of the semigroup associated with the branch at infinity of a plane algebraic curve. Barrolleta, García Barroso and P\loski studied the semigroups of integers satisfying the Abhyankar-Moh inequality and call them Abhyankar-Moh semigroups. They described such semigroups with the maximum conductor. In this paper we prove that all possible conductor values are achieved for the Abhyankar-Moh semigroups of even degree. Our proof is constructive, explicitly describing families that achieve a given value as its conductor.
△ Less
Submitted 9 September, 2022;
originally announced September 2022.
-
On linear systems with multiple points on a rational normal curve
Authors:
Antonio Laface,
Elisa Postinghel,
Luis José Santana Sánchez
Abstract:
We give a closed formula for the dimension of all linear systems in $\mathbb{P}^n$ with assigned multiplicity at arbitrary collections of points lying on a rational normal curve of degree $n$. In particular we give a purely geometric explanation of the speciality of these linear systems, which is due to the presence of certain subvarieties in the base locus: linear spans of points, secant varietie…
▽ More
We give a closed formula for the dimension of all linear systems in $\mathbb{P}^n$ with assigned multiplicity at arbitrary collections of points lying on a rational normal curve of degree $n$. In particular we give a purely geometric explanation of the speciality of these linear systems, which is due to the presence of certain subvarieties in the base locus: linear spans of points, secant varieties of the rational normal curve or joins between them.
△ Less
Submitted 9 May, 2022;
originally announced May 2022.
-
Computing a spectral sequence of finite Heisenberg groups of prime power order
Authors:
Oihana Garaialde Ocaña,
Lander Guerrero Sánchez
Abstract:
Let $p\geq 5$ be a prime number, let $n\geq 2$ be a natural number and let $\text{Heis}(p^n)$ denote the Heisenberg group modulo $p^n$. We study the Lyndon-Hochschild-Serre spectral sequence $E(\text{Heis}(p^n))$ associated to $\text{Heis}(p^n)$ considered as a split extension, and show that, $E(\text{Heis}(p^n))$ collapses in the third page. Moreover, for a fixed $p$, the spectral sequences…
▽ More
Let $p\geq 5$ be a prime number, let $n\geq 2$ be a natural number and let $\text{Heis}(p^n)$ denote the Heisenberg group modulo $p^n$. We study the Lyndon-Hochschild-Serre spectral sequence $E(\text{Heis}(p^n))$ associated to $\text{Heis}(p^n)$ considered as a split extension, and show that, $E(\text{Heis}(p^n))$ collapses in the third page. Moreover, for a fixed $p$, the spectral sequences $E(\text{Heis}(p^n))$ are isomorphic from the second page on.
△ Less
Submitted 21 February, 2022;
originally announced February 2022.
-
Commutative bidifferential algebra
Authors:
Omar Leon Sanchez,
Rahim Moosa
Abstract:
Motivated by the Poisson Dixmier-Moeglin equivalence problem, a systematic study of commutative unitary rings equipped with a {\em biderivation}, namely a binary operation that is a derivation in each argument, is here begun, with an eye toward the geometry of the corresponding {\em $B$-varieties}. Foundational results about extending biderivations to localisations, algebraic extensions and transc…
▽ More
Motivated by the Poisson Dixmier-Moeglin equivalence problem, a systematic study of commutative unitary rings equipped with a {\em biderivation}, namely a binary operation that is a derivation in each argument, is here begun, with an eye toward the geometry of the corresponding {\em $B$-varieties}. Foundational results about extending biderivations to localisations, algebraic extensions and transcendental extensions are established. Resolving a deficiency in Poisson algebraic geometry, a theory of base extension is achieved, and it is shown that dominant $B$-morphisms admit generic $B$-fibres. A bidifferential version of the Dixmier-Moeglin equivalence problem is articulated.
△ Less
Submitted 5 November, 2021;
originally announced November 2021.
-
More on Galois cohomology, definability and differential algebraic groups
Authors:
Omar Leon Sanchez,
David Meretzky,
Anand Pillay
Abstract:
We make further observations on the features of Galois cohomology in the general model theoretic context. We make explicit the connection between forms of definable groups and first cohomology sets with coefficients in a suitable automorphism group. We then use a method of twisting cohomology (inspired on Serre's algebraic twisting) to describe arbitrary fibres in cohomology sequences -- yielding…
▽ More
We make further observations on the features of Galois cohomology in the general model theoretic context. We make explicit the connection between forms of definable groups and first cohomology sets with coefficients in a suitable automorphism group. We then use a method of twisting cohomology (inspired on Serre's algebraic twisting) to describe arbitrary fibres in cohomology sequences -- yielding a useful finiteness result on cohomology sets.
Applied to the special case of differential fields and Kolchin's constrained cohomology, we prove that the first constrained cohomology set of a differential algebraic group over a bounded, differentially large, field is countable.
△ Less
Submitted 27 May, 2021;
originally announced May 2021.
-
Model theory of differential fields with finite group actions
Authors:
Daniel Max Hoffmann,
Omar León Sánchez
Abstract:
Let G be a finite group. We explore the model theoretic properties of the class of differential fields of characteristic zero in m commuting derivations equipped with a G-action by differential field automorphisms. In the language of G-differential rings (i.e. the language of rings with added symbols for derivations and automorphisms), we prove that this class has a model-companion - denoted G-DCF…
▽ More
Let G be a finite group. We explore the model theoretic properties of the class of differential fields of characteristic zero in m commuting derivations equipped with a G-action by differential field automorphisms. In the language of G-differential rings (i.e. the language of rings with added symbols for derivations and automorphisms), we prove that this class has a model-companion - denoted G-DCF. We then deploy the model-theoretic tools developed in the first author's paper [11] to show that any model of G-DCF is supersimple (but unstable when G is nontrivial), a PAC-differential field (and hence differentially large in the sense of the second author and Tressl [30]), and admits elimination of imaginaries after adding a tuple of parameters. We also address model-completeness and supersimplicity of theories of bounded PAC-differential fields (extending the results of Chatzidakis-Pillay [5] on bounded PAC-fields).
△ Less
Submitted 18 January, 2021; v1 submitted 28 December, 2020;
originally announced December 2020.
-
A Poisson basis theorem for symmetric algebras of infinite-dimensional Lie algebras
Authors:
Omar Leon Sanchez,
Susan J. Sierra
Abstract:
We consider when the symmetric algebra of an infinite-dimensional Lie algebra, equipped with the natural Poisson bracket, satisfies the ascending chain condition (ACC) on Poisson ideals. We define a combinatorial condition on a graded Lie algebra which we call Dicksonian because it is related to Dickson's lemma on finite subsets of $\mathbb N^k$. Our main result is:
Theorem. If $\mathfrak g$ is…
▽ More
We consider when the symmetric algebra of an infinite-dimensional Lie algebra, equipped with the natural Poisson bracket, satisfies the ascending chain condition (ACC) on Poisson ideals. We define a combinatorial condition on a graded Lie algebra which we call Dicksonian because it is related to Dickson's lemma on finite subsets of $\mathbb N^k$. Our main result is:
Theorem. If $\mathfrak g$ is a Dicksonian graded Lie algebra over a field of characteristic zero, then the symmetric algebra $S(\mathfrak g)$ satisfies the ACC on radical Poisson ideals.
As an application, we establish this ACC for the symmetric algebra of any graded simple Lie algebra of polynomial growth over an algebraically closed field of characteristic zero, and for the symmetric algebra of the Virasoro algebra. We also derive some consequences connected to the Poisson primitive spectrum of finitely Poisson-generated algebras.
△ Less
Submitted 6 February, 2023; v1 submitted 6 August, 2020;
originally announced August 2020.
-
A family of finite p-groups satisfying Carlson's conjecture
Authors:
Oihana Garaialde Ocaña,
Lander Guerrero Sánchez,
Jon González-Sánchez
Abstract:
Let p>3 be a prime number and let r be an integer with 1<r<p-1. For each r, let moreover G_r denote the unique quotient of the maximal class pro-p group of size p^{r+1}. We show that the mod-p cohomology ring of G_r has depth one and that, in turn, it satisfies the equalities in Carlson's depth conjecture [3].
Let p>3 be a prime number and let r be an integer with 1<r<p-1. For each r, let moreover G_r denote the unique quotient of the maximal class pro-p group of size p^{r+1}. We show that the mod-p cohomology ring of G_r has depth one and that, in turn, it satisfies the equalities in Carlson's depth conjecture [3].
△ Less
Submitted 29 May, 2020;
originally announced May 2020.
-
Differentially Large Fields
Authors:
Omar León Sánchez,
Marcus Tressl
Abstract:
We introduce the notion of differential largeness for fields equipped with several commuting derivations (as an analogue to largeness of fields). We lay out the foundations of this new class of "tame" differential fields. We state several characterizations and exhibit plenty of examples and applications. Our results strongly indicate that differentially large fields will play a key role in differe…
▽ More
We introduce the notion of differential largeness for fields equipped with several commuting derivations (as an analogue to largeness of fields). We lay out the foundations of this new class of "tame" differential fields. We state several characterizations and exhibit plenty of examples and applications. Our results strongly indicate that differentially large fields will play a key role in differential field arithmetic. For instance, we characterise differential largeness in terms of being existentially closed in their power series field (furnished with natural derivations), we give explicit constructions of differentially large fields in terms of iterated powers series, we prove that the class of differentially large fields is elementary, and we show that differential largeness is preserved under algebraic extensions, therefore showing that their algebraic closure is differentially closed.
△ Less
Submitted 2 May, 2020;
originally announced May 2020.
-
Differential Weil descent
Authors:
Omar León Sánchez,
Marcus Tressl
Abstract:
In this short note a differential version of the classical Weil descent is established in all characteristics. This yields a ready-to-deploy tool of differential restriction of scalars for differential varieties over finite differential field extensions.
In this short note a differential version of the classical Weil descent is established in all characteristics. This yields a ready-to-deploy tool of differential restriction of scalars for differential varieties over finite differential field extensions.
△ Less
Submitted 5 March, 2020;
originally announced March 2020.
-
Coincidence of dimensions in closed ordered differential fields
Authors:
Pantelis E. Eleftheriou,
Omar Leon Sanchez,
Nathalie Regnault
Abstract:
Let $\mathcal K=\langle\mathcal R, δ\rangle$ be a closed ordered differential field, in the sense of M. Singer, and $C$ its field of constants. In this note, we prove that, for sets definable in the pair $\mathcal M=\langle \mathcal R, C\rangle$, the $δ$-dimension and the large dimension coincide. As an application, we characterize the definable sets in $\mathcal K$ that are internal to $C$ as tho…
▽ More
Let $\mathcal K=\langle\mathcal R, δ\rangle$ be a closed ordered differential field, in the sense of M. Singer, and $C$ its field of constants. In this note, we prove that, for sets definable in the pair $\mathcal M=\langle \mathcal R, C\rangle$, the $δ$-dimension and the large dimension coincide. As an application, we characterize the definable sets in $\mathcal K$ that are internal to $C$ as those sets that are definable in $\mathcal M$ and have $δ$-dimension $0$. We further show that, for sets definable in $\mathcal K$, having $δ$-dimension $0$ does not generally imply co-analyzability in $C$ (in contrast to the case of transseries). We also point out that the coincidence of dimensions also holds in the context of differentially closed fields and in the context of transseries.
△ Less
Submitted 9 October, 2020; v1 submitted 28 February, 2020;
originally announced February 2020.
-
Quasitilings and Applications
Authors:
Lander Guerrero Sánchez
Abstract:
This thesis aims to serve as an introduction to the theory of quasitilings for amenable groups. In order to showcase the power of this theory, we focus on the study of the Sofic Lück Approximation Conjecture, which can be proven for amenable groups by making use of quasitilings. The first four chapters of the thesis are an exposition of the aforementioned topics, collected from the literature. Aft…
▽ More
This thesis aims to serve as an introduction to the theory of quasitilings for amenable groups. In order to showcase the power of this theory, we focus on the study of the Sofic Lück Approximation Conjecture, which can be proven for amenable groups by making use of quasitilings. The first four chapters of the thesis are an exposition of the aforementioned topics, collected from the literature. After that, in the fifth and final chapter we present some new results related to the Sofic Lück Approximation Conjecture for amenable groups over discrete valuation rings and number fields.
△ Less
Submitted 20 November, 2019;
originally announced November 2019.
-
Differential Galois cohomology and parameterized Picard-Vessiot extensions
Authors:
Omar Leon Sanchez,
Anand Pillay
Abstract:
Assuming that the differential field $(K,δ)$ is differentially large, in the sense of León Sánchez and Tressl, and "bounded" as a field, we prove that for any linear differential algebraic group $G$ over $K$, the differential Galois (or constrained) cohomology set $H^1_δ(K,G)$ is finite. This applies, among other things, to closed ordered differential fields $K$, in the sense of Singer, and to clo…
▽ More
Assuming that the differential field $(K,δ)$ is differentially large, in the sense of León Sánchez and Tressl, and "bounded" as a field, we prove that for any linear differential algebraic group $G$ over $K$, the differential Galois (or constrained) cohomology set $H^1_δ(K,G)$ is finite. This applies, among other things, to closed ordered differential fields $K$, in the sense of Singer, and to closed $p$-adic differential fields in the sense of Tressl. As an application, we prove a general existence result for parameterized Picard-Vessiot extensions within certain families of fields; if $(K,δ_x,δ_t)$ is a field with two commuting derivations, and $δ_x Z = AZ$ is a parameterized linear differential equation over $K$, and $(K^{δ_x},δ_t)$ is "differentially large" and $K^{δ_x}$ is bounded, and $(K^{δ_x}, δ_t)$ is existentially closed in $(K,δ_t)$, then there is a PPV extension $(L,δ_x,δ_t)$ of $K$ for the equation such that $(K^{δ_x},δ_t)$ is existentially closed in $(L,δ_t)$. For instance, it follows that if the $δ_x$-constants of a formally real differential field $(K,δ_x,δ_t)$ is a closed ordered $δ_t$-field, then for any homogeneous linear $δ_x$-equation over $K$ there exists a PPV extension that is formally real. Similar observations apply to $p$-adic fields.
△ Less
Submitted 13 September, 2020; v1 submitted 14 November, 2019;
originally announced November 2019.
-
Differential Weil Descent and Differentially Large Fields
Authors:
Omar León Sánchez,
Marcus Tressl
Abstract:
A differential version of the classical Weil descent is established in all characteristics. It yields a theory of differential restriction of scalars for differential varieties over finite differential field extensions. This theory is then used to prove that in characteristic 0, \textit{differential largeness} (a notion introduced here as an analogue to largeness of fields) is preserved under alge…
▽ More
A differential version of the classical Weil descent is established in all characteristics. It yields a theory of differential restriction of scalars for differential varieties over finite differential field extensions. This theory is then used to prove that in characteristic 0, \textit{differential largeness} (a notion introduced here as an analogue to largeness of fields) is preserved under algebraic extensions. This provides many new differential fields with minimal differential closures. A further application is Kolchin-density of rational points in differential algebraic groups defined over differentially large fields.
△ Less
Submitted 30 July, 2018; v1 submitted 24 July, 2018;
originally announced July 2018.
-
Effective definability of Kolchin polynomials
Authors:
James Freitag,
Omar Leon Sanchez,
Wei Li
Abstract:
While the natural model-theoretic ranks available in differentially closed fields (of characteristic zero), namely Lascar and Morley rank, are known not to be definable in families of differential varieties; in this note we show that the differential-algebraic rank given by the Kolchin polynomial is in fact definable. As a byproduct, we are able to prove that the property of being weakly irreducib…
▽ More
While the natural model-theoretic ranks available in differentially closed fields (of characteristic zero), namely Lascar and Morley rank, are known not to be definable in families of differential varieties; in this note we show that the differential-algebraic rank given by the Kolchin polynomial is in fact definable. As a byproduct, we are able to prove that the property of being weakly irreducible for a differential variety is also definable in families. The question of full irreducibility remains open, it is known to be equivalent to the generalized Ritt problem.
△ Less
Submitted 6 June, 2018;
originally announced June 2018.
-
Isolated types of finite rank: an abstract Dixmier-Moeglin equivalence
Authors:
Omar León Sánchez,
Rahim Moosa
Abstract:
Suppose $T$ is totally transcendental and every minimal non-locally-modular type is nonorthogonal to a nonisolated minimal type over the empty set. It is shown that a finite rank type $p=tp(a/A)$ is isolated if and only if $a$ is independent from $q(\mathcal U)$ over $Ab$ for every $b\in \operatorname{acl}(Aa)$ and $q\in S(Ab)$ nonisolated and minimal. This applies to the theory of differentially…
▽ More
Suppose $T$ is totally transcendental and every minimal non-locally-modular type is nonorthogonal to a nonisolated minimal type over the empty set. It is shown that a finite rank type $p=tp(a/A)$ is isolated if and only if $a$ is independent from $q(\mathcal U)$ over $Ab$ for every $b\in \operatorname{acl}(Aa)$ and $q\in S(Ab)$ nonisolated and minimal. This applies to the theory of differentially closed fields -- where it is motivated by the differential Dixmier-Moeglin equivalence problem -- and the theory of compact complex manifolds.
△ Less
Submitted 9 October, 2018; v1 submitted 4 December, 2017;
originally announced December 2017.
-
Corrigendum: 'On bounds for the effective differential Nullstellensatz, arXiv:1508.07508'
Authors:
Omar Leon Sanchez,
Alexey Ovchinnikov
Abstract:
We correct a small gap found in the authors' paper 'On bounds for the effective differential Nullstellensatz' (J Algebra 449:1-21, 2016). This gap is due to an inequality that does not generally hold. However, under one additional assumption, it does hold. In this note, we provide a detailed proof of this. We then point out that this assumption is satisfied in all instances in which the inequality…
▽ More
We correct a small gap found in the authors' paper 'On bounds for the effective differential Nullstellensatz' (J Algebra 449:1-21, 2016). This gap is due to an inequality that does not generally hold. However, under one additional assumption, it does hold. In this note, we provide a detailed proof of this. We then point out that this assumption is satisfied in all instances in which the inequality was used.
△ Less
Submitted 10 January, 2018; v1 submitted 20 October, 2017;
originally announced October 2017.
-
On the Dixmier-Moeglin equivalence for Poisson-Hopf algebra
Authors:
Stéphane Launois,
Omar León Sánchez
Abstract:
We prove that the Poisson version of the Dixmier-Moeglin equivalence holds for cocommutative affine Poisson-Hopf algebras. This is a first step towards understanding the symplectic foliation and the representation theory of (cocommutative) affine Poisson-Hopf algebras. Our proof makes substantial use of the model theory of fields equipped with finitely many possibly noncommuting derivations. As an…
▽ More
We prove that the Poisson version of the Dixmier-Moeglin equivalence holds for cocommutative affine Poisson-Hopf algebras. This is a first step towards understanding the symplectic foliation and the representation theory of (cocommutative) affine Poisson-Hopf algebras. Our proof makes substantial use of the model theory of fields equipped with finitely many possibly noncommuting derivations. As an application, we show that the symmetric algebra of a finite dimensional Lie algebra, equipped with its natural Poisson structure, satisfies the Poisson Dixmier-Moeglin equivalence.
△ Less
Submitted 9 November, 2017; v1 submitted 5 June, 2017;
originally announced June 2017.
-
Estimates for the coefficients of differential dimension polynomials
Authors:
Omar Leon Sanchez
Abstract:
We answer the following long-standing question of Kolchin: given a system of algebraic-differential equations $Σ(x_1,\dots,x_n)=0$ in $m$ derivatives over a differential field of characteristic zero, is there a computable bound, that only depends on the order of the system (and on the fixed data $m$ and $n$), for the typical differential dimension of any prime component of $Σ$? We give a positive…
▽ More
We answer the following long-standing question of Kolchin: given a system of algebraic-differential equations $Σ(x_1,\dots,x_n)=0$ in $m$ derivatives over a differential field of characteristic zero, is there a computable bound, that only depends on the order of the system (and on the fixed data $m$ and $n$), for the typical differential dimension of any prime component of $Σ$? We give a positive answer in a strong form; that is, we compute a (lower and upper) bound for all the coefficients of the Kolchin polynomial of every such prime component. We then show that, if we look at those components of a specified differential type, we can compute a significantly better bound for the typical differential dimension. This latter improvement comes from new combinatorial results on characteristic sets, in combination with the classical theorems of Macaulay and Gotzmann on the growth of Hilbert-Samuel functions.
△ Less
Submitted 20 January, 2018; v1 submitted 1 March, 2017;
originally announced March 2017.
-
D-groups and the Dixmier-Moeglin equivalence
Authors:
Jason Bell,
Omar Leon Sanchez,
Rahim Moosa
Abstract:
A differential-algebraic geometric analogue of the Dixmier-Moeglin equivalence is articulated, and proven to hold for $D$-groups over the constants. The model theory of differentially closed fields of characteristic zero, in particular the notion of analysability in the constants, plays a central role. As an application it is shown that if $R$ is a commutative affine Hopf algebra over a field of c…
▽ More
A differential-algebraic geometric analogue of the Dixmier-Moeglin equivalence is articulated, and proven to hold for $D$-groups over the constants. The model theory of differentially closed fields of characteristic zero, in particular the notion of analysability in the constants, plays a central role. As an application it is shown that if $R$ is a commutative affine Hopf algebra over a field of characteristic zero, and $A$ is an Ore extension to which the Hopf algebra structure extends, then $A$ satisfies the classical Dixmier-Moeglin equivalence. Along the way it is shown that all such $A$ are Hopf Ore extensions
△ Less
Submitted 3 October, 2017; v1 submitted 30 November, 2016;
originally announced December 2016.
-
Affine focal sets of codimension $2$ submanifolds contained in hyper surfaces
Authors:
Marcos Craizer,
Marcelo J. Saia,
Luis F. Sánchez
Abstract:
In this paper we study the affine focal set, which is the bifurcation set of the affine distance to submanifolds $N^n$ contained in hypersurfaces $M^{n+1}$ of the $(n+2)$-space. We give condition under which this affine focal set is a regular hypersurface and, for curves in $3$-space, we describe its stable singularities. For a given Darboux vector field $ξ$ of the immersion $N\subset M$, one can…
▽ More
In this paper we study the affine focal set, which is the bifurcation set of the affine distance to submanifolds $N^n$ contained in hypersurfaces $M^{n+1}$ of the $(n+2)$-space. We give condition under which this affine focal set is a regular hypersurface and, for curves in $3$-space, we describe its stable singularities. For a given Darboux vector field $ξ$ of the immersion $N\subset M$, one can define the affine metric $g$ and the affine normal plane bundle $\mathcal{A}$. We prove that the $g$-Laplacian of the position vector belongs to $\mathcal{A}$ if and only if $ξ$ is parallel.
For umbilic and normally flat immersions, the affine focal set reduces to a single line. Submanifolds contained in hyperplanes or hyperquadrics are always normally flat. For $N$ contained in a hyperplane $L$, we show that $N\subset M$ is umbilic if and only if $N\subset L$ is an affine sphere and the envelope of tangent spaces is a cone. For $M$ hyperquadric, we prove that $N\subset M$ is umbilic if and only if $N$ is contained in a hyperplane. The main result of the paper is a general description of the umbilic and normally flat immersions: Given a hypersurface $f$ and a point $O$ in the $(n+1)$-space, the immersion $(ν,ν\cdot(f-O))$, where $ν$ is the co-normal of $f$, is umbilic and normally flat, and conversely, any umbilic and normally flat immersion is of this type.
△ Less
Submitted 26 August, 2016;
originally announced August 2016.
-
Algebro-geometric axioms for DCF$_{0,m}$
Authors:
Omar Leon Sanchez
Abstract:
We give an algebro-geometric first-order axiomatization of DCF$_{0,m}$ (the theory of differentially closed fields of characteristic zero with m commuting derivations) in the spirit of the classical geometric axioms of DCF$_0$.
We give an algebro-geometric first-order axiomatization of DCF$_{0,m}$ (the theory of differentially closed fields of characteristic zero with m commuting derivations) in the spirit of the classical geometric axioms of DCF$_0$.
△ Less
Submitted 19 July, 2017; v1 submitted 16 January, 2016;
originally announced January 2016.
-
Effective bounds for the consistency of differential equations
Authors:
Richard Gustavson,
Omar León Sánchez
Abstract:
One method to determine whether or not a system of partial differential equations is consistent is to attempt to construct a solution using merely the "algebraic data" associated to the system. In technical terms, this translates to the problem of determining the existence of regular realizations of differential kernels via their possible prolongations. In this paper we effectively compute an impr…
▽ More
One method to determine whether or not a system of partial differential equations is consistent is to attempt to construct a solution using merely the "algebraic data" associated to the system. In technical terms, this translates to the problem of determining the existence of regular realizations of differential kernels via their possible prolongations. In this paper we effectively compute an improved upper bound for the number of prolongations needed to guarantee the existence of such realizations, which ultimately produces solutions to many types of systems of partial differential equations. This bound has several applications, including an improved upper bound for the order of characteristic sets of prime differential ideals. We obtain our upper bound by proving a new result on the growth of the Hilbert-Samuel function, which may be of independent interest.
△ Less
Submitted 10 November, 2017; v1 submitted 12 January, 2016;
originally announced January 2016.
-
Some definable Galois theory and examples
Authors:
Omar Leon Sanchez,
Anand Pillay
Abstract:
We make explicit certain results around the Galois correspondence in the context of definable automorphism groups, and point out the relation to some recent papers dealing with the Galois theory of algebraic differential equations when the constants are not "closed" in suitable senses. We also improve the definitions and results on generalized strongly normal extensions.
We make explicit certain results around the Galois correspondence in the context of definable automorphism groups, and point out the relation to some recent papers dealing with the Galois theory of algebraic differential equations when the constants are not "closed" in suitable senses. We also improve the definitions and results on generalized strongly normal extensions.
△ Less
Submitted 18 July, 2016; v1 submitted 17 November, 2015;
originally announced November 2015.
-
On bounds for the effective differential Nullstellensatz
Authors:
Omar León Sánchez,
Alexey Ovchinnikov
Abstract:
Understanding bounds for the effective differential Nullstellensatz is a central problem in differential algebraic geometry. Recently, several bounds have been obtained using Dicksonian and antichains sequences (with a given growth rate). In the present paper, we make these bounds more explicit and, therefore, more applicable to understanding the computational complexity of the problem, which is e…
▽ More
Understanding bounds for the effective differential Nullstellensatz is a central problem in differential algebraic geometry. Recently, several bounds have been obtained using Dicksonian and antichains sequences (with a given growth rate). In the present paper, we make these bounds more explicit and, therefore, more applicable to understanding the computational complexity of the problem, which is essential to designing more efficient algorithms.
△ Less
Submitted 29 August, 2015;
originally announced August 2015.
-
Equiaffine Darboux Frames for Codimension 2 Submanifolds contained in Hypersurfaces
Authors:
Marcos Craizer,
Marcelo J. Saia,
Luis F. Sánchez
Abstract:
Consider a codimension $1$ submanifold $N^n\subset M^{n+1}$, where $M^{n+1}\subset\mathbb{R}^{n+2}$ is a hypersurface. The envelope of tangent spaces of $M$ along $N$ generalizes the concept of tangent developable surface of a surface along a curve. In this paper, we study the singularities of these envelopes.
There are some important examples of submanifolds that admit a vector field tangent to…
▽ More
Consider a codimension $1$ submanifold $N^n\subset M^{n+1}$, where $M^{n+1}\subset\mathbb{R}^{n+2}$ is a hypersurface. The envelope of tangent spaces of $M$ along $N$ generalizes the concept of tangent developable surface of a surface along a curve. In this paper, we study the singularities of these envelopes.
There are some important examples of submanifolds that admit a vector field tangent to $M$ and transversal to $N$ whose derivative in any direction of $N$ is contained in $N$. When this is the case, one can construct transversal plane bundles and affine metrics on $N$ with the desirable properties of being equiaffine and apolar. Moreover, this transversal bundle coincides with the classical notion of Transon plane. But we also give an explicit example of a submanifold that do not admit a vector field with the above property.
△ Less
Submitted 27 October, 2015; v1 submitted 29 August, 2015;
originally announced August 2015.
-
On parameterized differential Galois extensions
Authors:
Omar Leon Sanchez,
Joel Nagloo
Abstract:
We prove some existence results on parameterized strongly normal extensions for logarithmic equations. We generalize a result in [Wibmer, Existence of d-parameterized Picard-Vessiot extensions over fields with algebraically closed constants, J. Algebra, 361, 2012]. We also consider an extension of the results in [Kamensky and Pillay, Interpretations and differential Galois extensions, Preprint 201…
▽ More
We prove some existence results on parameterized strongly normal extensions for logarithmic equations. We generalize a result in [Wibmer, Existence of d-parameterized Picard-Vessiot extensions over fields with algebraically closed constants, J. Algebra, 361, 2012]. We also consider an extension of the results in [Kamensky and Pillay, Interpretations and differential Galois extensions, Preprint 2014] from the ODE case to the parameterized PDE case.
△ Less
Submitted 12 October, 2015; v1 submitted 22 July, 2015;
originally announced July 2015.
-
Effective uniform bounding in partial differential fields
Authors:
James Freitag,
Omar Leon Sanchez
Abstract:
Motivated by the effective bounds of ordinary differential equations, we prove an effective version of uniform bounding for partial differential fields with commuting derivations. More precisely, we provide an upper bound for the size of finite solution sets of partial differential polynomial equations in terms of data explicitly given in the equations and independent of parameters. Our methods al…
▽ More
Motivated by the effective bounds of ordinary differential equations, we prove an effective version of uniform bounding for partial differential fields with commuting derivations. More precisely, we provide an upper bound for the size of finite solution sets of partial differential polynomial equations in terms of data explicitly given in the equations and independent of parameters. Our methods also produce an upper bound for the degree of the Zariski closure of solution sets, whether they are finite or not.
△ Less
Submitted 27 October, 2015; v1 submitted 31 October, 2014;
originally announced November 2014.
-
The model companion of differential fields with free operators
Authors:
Omar Leon Sanchez,
Rahim Moosa
Abstract:
A model companion is shown to exist for the theory of partial differential fields of characteristic zero equipped with free operators that commute with the derivations. The free operators here are those introduced in [R. Moosa and T. Scanlon, Model theory of fields with free operators in characteristic zero, Preprint 2013]. The proof relies on a new lifting lemma in differential algebra: a differe…
▽ More
A model companion is shown to exist for the theory of partial differential fields of characteristic zero equipped with free operators that commute with the derivations. The free operators here are those introduced in [R. Moosa and T. Scanlon, Model theory of fields with free operators in characteristic zero, Preprint 2013]. The proof relies on a new lifting lemma in differential algebra: a differential version of Hensel's Lemma for local finite algebras over differentially closed fields.
△ Less
Submitted 8 August, 2014;
originally announced August 2014.
-
Poisson algebras via model theory and differential-algebraic geometry
Authors:
Jason Bell,
Stéphane Launois,
Omar León Sánchez,
Rahim Moosa
Abstract:
Brown and Gordon asked whether the Poisson Dixmier-Moeglin equivalence holds for any complex affine Poisson algebra; that is, whether the sets of Poisson rational ideals, Poisson primitive ideals, and Poisson locally closed ideals coincide. In this article a complete answer is given to this question using techniques from differential-algebraic geometry and model theory. In particular, it is shown…
▽ More
Brown and Gordon asked whether the Poisson Dixmier-Moeglin equivalence holds for any complex affine Poisson algebra; that is, whether the sets of Poisson rational ideals, Poisson primitive ideals, and Poisson locally closed ideals coincide. In this article a complete answer is given to this question using techniques from differential-algebraic geometry and model theory. In particular, it is shown that while the sets of Poisson rational and Poisson primitive ideals do coincide, in every Krull dimension at least four there are complex affine Poisson algebras with Poisson rational ideals that are not Poisson locally closed. These counterexamples also give rise to counterexamples to the classical (noncommutative) Dixmier-Moeglin equivalence in finite $\operatorname{GK}$ dimension. A weaker version of the Poisson Dixmier-Moeglin equivalence is proven for all complex affine Poisson algebras, from which it follows that the full equivalence holds in Krull dimension three or less. Finally, it is shown that everything, except possibly that rationality implies primitivity, can be done over an arbitrary base field of characteristic zero.
△ Less
Submitted 18 April, 2015; v1 submitted 3 June, 2014;
originally announced June 2014.
-
The Clifford-Fourier transform $\mathcal{F}_O$ and monogenic extensions
Authors:
Arnoldo Bezanilla Lopez,
Omar Leon Sanchez
Abstract:
Several versions of the Fourier transform have been formulated in the framework of Clifford algebra. We present a (Clifford-Fourier) transform, constructed using the geometric properties of Clifford algebra. We show the corresponding results of operational calculus. We obtain a technique to construct monogenic extensions of a certain type of continuous functions, and versions of the Paley-Wiener t…
▽ More
Several versions of the Fourier transform have been formulated in the framework of Clifford algebra. We present a (Clifford-Fourier) transform, constructed using the geometric properties of Clifford algebra. We show the corresponding results of operational calculus. We obtain a technique to construct monogenic extensions of a certain type of continuous functions, and versions of the Paley-Wiener theorems are formulated.
△ Less
Submitted 25 May, 2014;
originally announced May 2014.
-
Affine metrics of locally strictly convex surfaces in affine 4-space
Authors:
Juan J. Nuño Ballesteros,
Luis Sánchez
Abstract:
We introduce a new family of affine metrics on a locally strictly convex surface $M$ in affine 4-space. Then, we define the symmetric and antisymmetric equiaffine planes associated with each metric. We show that if $M$ is immersed in a locally strictly convex hyperquadric, then the symmetric and the antisymmetric planes coincide and contain the affine normal to the hyperquadric. In particular, any…
▽ More
We introduce a new family of affine metrics on a locally strictly convex surface $M$ in affine 4-space. Then, we define the symmetric and antisymmetric equiaffine planes associated with each metric. We show that if $M$ is immersed in a locally strictly convex hyperquadric, then the symmetric and the antisymmetric planes coincide and contain the affine normal to the hyperquadric. In particular, any surface immersed in a locally strictly convex hyperquadric is affine semiumbilical with respect to the symmetric or antisymmetric equiaffine planes.
△ Less
Submitted 9 April, 2014;
originally announced April 2014.
-
On linear dependence over complete differential algebraic varieties
Authors:
James Freitag,
Omar Leon Sanchez,
William Simmons
Abstract:
We extend Kolchin's results on linear dependence over projective varieties in the constants, to linear dependence over arbitrary complete differential varieties. We show that in this more general setting, the notion of linear dependence still has necessary and sufficient conditions given by the vanishing of a certain system of differential polynomials equations. We also discuss some conjectural qu…
▽ More
We extend Kolchin's results on linear dependence over projective varieties in the constants, to linear dependence over arbitrary complete differential varieties. We show that in this more general setting, the notion of linear dependence still has necessary and sufficient conditions given by the vanishing of a certain system of differential polynomials equations. We also discuss some conjectural questions around completeness and the catenary problem.
△ Less
Submitted 8 July, 2014; v1 submitted 23 January, 2014;
originally announced January 2014.
-
Contributions to the model theory of partial differential fields
Authors:
Omar Leon Sanchez
Abstract:
In this thesis three topics on the model theory of partial differential fields are considered: the generalized Galois theory for partial differential fields, geometric axioms for the theory of partial differentially closed fields, and the existence and properties of the model companion of the theory of partial differential fields with an automorphism. The approach taken here to these subjects is t…
▽ More
In this thesis three topics on the model theory of partial differential fields are considered: the generalized Galois theory for partial differential fields, geometric axioms for the theory of partial differentially closed fields, and the existence and properties of the model companion of the theory of partial differential fields with an automorphism. The approach taken here to these subjects is to relativize the algebro geometric notions of prolongation and D-variety to differential notions with respect to a fixed differential structure.
△ Less
Submitted 24 September, 2013;
originally announced September 2013.
-
On the model companion of partial differential fields with an automorphism
Authors:
Omar Leon Sanchez
Abstract:
We prove that the class of partial differential fields of characteristic zero with an automorphism has a model companion. We then establish the basic model theoretic properties of this theory and prove that it satisfies the Zilber dichotomy for finite dimensional minimal types.
We prove that the class of partial differential fields of characteristic zero with an automorphism has a model companion. We then establish the basic model theoretic properties of this theory and prove that it satisfies the Zilber dichotomy for finite dimensional minimal types.
△ Less
Submitted 8 July, 2014; v1 submitted 13 September, 2013;
originally announced September 2013.
-
Relative D-groups and differential Galois theory in several derivations
Authors:
Omar Leon Sanchez
Abstract:
The Galois theory of logarithmic differential equations with respect to relative D-groups in partial differential-algebraic geometry is developed.
The Galois theory of logarithmic differential equations with respect to relative D-groups in partial differential-algebraic geometry is developed.
△ Less
Submitted 13 September, 2013; v1 submitted 1 December, 2012;
originally announced December 2012.
-
Corrigendum to the paper: Geometric Axioms for Differentially Closed Fields with Several Commuting Derivations
Authors:
Omar Leon Sanchez
Abstract:
In the proof of Lemma 2.6 (2) the iteration of the map τ was not performed
properly and in fact the lemma is wrong; a counterexample is given by f = \bar{x}_1and k = 2. This error does not, however, affect the geometric characterization given in Theorem 3.4 but only the attempt in Theorem 4.3 to express it as a first-order set of axioms. That attempt is incorrect; the main problem being that in ge…
▽ More
In the proof of Lemma 2.6 (2) the iteration of the map τ was not performed
properly and in fact the lemma is wrong; a counterexample is given by f = \bar{x}_1and k = 2. This error does not, however, affect the geometric characterization given in Theorem 3.4 but only the attempt in Theorem 4.3 to express it as a first-order set of axioms. That attempt is incorrect; the main problem being that in general τV(f_1,..., f_s) 6= V(f_1..., f_s, τf_1,..., τf_s). But a different, indeed simpler, set of first-order axioms, which we will now describe, does express the geometric characterization.
△ Less
Submitted 11 October, 2012;
originally announced October 2012.
