-
A Digital Twin Simulator of a Pastillation Process with Applications to Automatic Control based on Computer Vision
Authors:
Leonardo D. González,
Joshua L. Pulsipher,
Shengli Jiang,
Tyler Soderstrom,
Victor M. Zavala
Abstract:
We present a digital-twin simulator for a pastillation process. The simulation framework produces realistic thermal image data of the process that is used to train computer vision-based soft sensors based on convolutional neural networks (CNNs); the soft sensors produce output signals for temperature and product flow rate that enable real-time monitoring and feedback control. Pastillation technolo…
▽ More
We present a digital-twin simulator for a pastillation process. The simulation framework produces realistic thermal image data of the process that is used to train computer vision-based soft sensors based on convolutional neural networks (CNNs); the soft sensors produce output signals for temperature and product flow rate that enable real-time monitoring and feedback control. Pastillation technologies are high-throughput devices that are used in a broad range of industries; these processes face operational challenges such as real-time identification of clog locations (faults) in the rotating shell and the automatic, real-time adjustment of conveyor belt speed and operating conditions to stabilize output. The proposed simulator is able to capture this behavior and generates realistic data that can be used to benchmark different algorithms for image processing and different control architectures. We present a case study to illustrate the capabilities; the study explores behavior over a range of equipment sizes, clog locations, and clog duration. A feedback controller (tuned using Bayesian optimization) is used to adjust the conveyor belt speed based on the CNN output signal to achieve the desired process outputs.
△ Less
Submitted 18 March, 2025;
originally announced March 2025.
-
Sharply k-transitive actions on ultrahomogeneous structures
Authors:
J. de la Nuez González,
Rob Sullivan
Abstract:
Given an action of a group $G$ by automorphisms on an infinite relational structure $\mathcal{M}$, we say that the action is structurally sharply $k$-transitive if, for any two $k$-tuples $\bar{a}, \bar{b} \in M^k$ of distinct elements such that $\bar{a} \mapsto \bar{b}$ is an isomorphism, there exists exactly one element of $G$ sending $\bar{a}$ to $\bar{b}$. This generalises the well-known notio…
▽ More
Given an action of a group $G$ by automorphisms on an infinite relational structure $\mathcal{M}$, we say that the action is structurally sharply $k$-transitive if, for any two $k$-tuples $\bar{a}, \bar{b} \in M^k$ of distinct elements such that $\bar{a} \mapsto \bar{b}$ is an isomorphism, there exists exactly one element of $G$ sending $\bar{a}$ to $\bar{b}$. This generalises the well-known notion of a sharply $k$-transitive action on a set. We show that, for $k \leq 3$, a wide range of countable ultrahomogeneous structures admit structurally sharply $k$-transitive actions by finitely generated virtually free groups, giving a substantial answer to a question of Cameron from the book Oligomorphic Permutation Groups. We also show that the random $k$-hypertournament admits a structurally sharply $k$-transitive action for $k=4,5$, and that $\mathbb{Q}$ and several of its reducts admit structurally sharply $k$-transitive actions for all $k$. (This contrasts with the case of sets, where for $k \geq 4$ there are no sharply $k$-transitive actions on infinite sets by results of Tits and Hall.) We also show the existence of sharply $2$-transitive actions of finitely generated virtually free groups on an infinite set, solving the open question of whether such actions exist for hyperbolic groups.
[Note: this is an early working draft.]
△ Less
Submitted 16 February, 2025;
originally announced February 2025.
-
Polymatroids and moduli of points in flags
Authors:
Patricio Gallardo,
Javier González-Anaya,
José Luis González
Abstract:
We introduce and study different compactifications of the moduli space of $n$ distinct weighted labeled points in a flag of affine spaces. We construct these spaces via the weighted and generalized Fulton-MacPherson compactifications of Routis and Kim-Sato. For certain weights, our compactifications are toric and isomorphic to the polypermutohedral and polystellahedral varieties, which arise in th…
▽ More
We introduce and study different compactifications of the moduli space of $n$ distinct weighted labeled points in a flag of affine spaces. We construct these spaces via the weighted and generalized Fulton-MacPherson compactifications of Routis and Kim-Sato. For certain weights, our compactifications are toric and isomorphic to the polypermutohedral and polystellahedral varieties, which arise in the work of Crowley-Huh-Larson-Simpson-Wang and Eur-Larson on polymatroids, a generalization of matroids. Moreover, we show that these toric compactifications have a fibration structure, with fibers isomorphic to the Losev-Manin space, and are related to each other via a geometric quotient.
△ Less
Submitted 11 November, 2024;
originally announced November 2024.
-
Locally approximating groups of homeomorphisms of manifolds
Authors:
Thomas Koberda,
J. de la Nuez González
Abstract:
Let $M$ be a compact, connected manifold of positive dimension and let $\mathcal G\leq\textrm{Homeo}(M)$ be \emph{locally approximating} in the sense that for all open $U\subseteq M$ compactly contained in a single Euclidean chart of $M$, the subgroup $\mathcal G[U]$ consisting of elements of $\mathcal G$ supported in $U$ is dense in the full group of homeomorphisms supported in $U$. We prove that…
▽ More
Let $M$ be a compact, connected manifold of positive dimension and let $\mathcal G\leq\textrm{Homeo}(M)$ be \emph{locally approximating} in the sense that for all open $U\subseteq M$ compactly contained in a single Euclidean chart of $M$, the subgroup $\mathcal G[U]$ consisting of elements of $\mathcal G$ supported in $U$ is dense in the full group of homeomorphisms supported in $U$. We prove that $\mathcal G$ interprets first order arithmetic, as well as a first order predicate that encodes membership in finitely generated subgroups of $\mathcal G$. As a consequence, we show that if $\mathcal G$ is not finitely generated, then no group elementarily equivalent to $\mathcal G$ can be finitely generated. We show that many finitely generated locally approximating groups of homeomorphisms $\mathcal G$ of a manifold are prime models of their theories, and give conditions that guarantee any finitely presented group $G$ that is elementarily equivalent to $\mathcal G$ is isomorphic to $\mathcal G$. We thus recover some results of Lasserre about the model theory of Thompson's groups $F$ and $T$. Finally, we obtain several action rigidity result for locally approximating groups of homeomorphisms. If $\mathcal G$ acts in a locally approximating way on a compact, connected manifold $M$ then the dimension of $M$ is uniquely determined by the elementary equivalence class of $\mathcal G$. Moreover, if $\dim M\leq 3$ then $M$ is uniquely determined up to homeomorphism. In for general closed smooth manifolds, the homotopy type of $M$ is uniquely determined. In this way, we obtain a generalization of a well-known result of Rubin.
△ Less
Submitted 11 November, 2024; v1 submitted 21 October, 2024;
originally announced October 2024.
-
Prime ideals of Moh and the characteristic of the field
Authors:
Laura González,
Francesc Planas-Vilanova
Abstract:
We reprove and generalize a result of Moh which bounds the minimal number of generators of an ideal in a power series ring in three variables over a field. As a consequence, we obtain minimal generating sets for the first prime of Moh, proving that the minimal number of generators might decrease depending on the field characteristic. This contradicts an statement of Sally. Finally, we show that th…
▽ More
We reprove and generalize a result of Moh which bounds the minimal number of generators of an ideal in a power series ring in three variables over a field. As a consequence, we obtain minimal generating sets for the first prime of Moh, proving that the minimal number of generators might decrease depending on the field characteristic. This contradicts an statement of Sally. Finally, we show that these minimal generating sets are standard basis with the negative degree reverse lexicographic order.
△ Less
Submitted 31 July, 2024;
originally announced July 2024.
-
Elements with unique length factorization of a numerical semigroup generated by three consecutive numbers
Authors:
Pedro A. García-Sánchez,
Laura González,
Francesc Planas-Vilanova
Abstract:
Let $S$ be the numerical semigroup generated by three consecutive numbers $a,a+1,a+2$, where $a\in\mathbb{N}$, $a\geq 3$. We describe the elements of $S$ whose factorizations have all the same length, as well as the set of factorizations of each of these elements. We give natural partitions of this subset of $S$ in terms of the length and the denumerant. By using Apéry sets and Betti elements we a…
▽ More
Let $S$ be the numerical semigroup generated by three consecutive numbers $a,a+1,a+2$, where $a\in\mathbb{N}$, $a\geq 3$. We describe the elements of $S$ whose factorizations have all the same length, as well as the set of factorizations of each of these elements. We give natural partitions of this subset of $S$ in terms of the length and the denumerant. By using Apéry sets and Betti elements we are able to extend some results, first obtained by elementary means.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Group topologies on groups of bi-absolutely continuous homeomorphisms
Authors:
J. de la Nuez González
Abstract:
The group of homeomorphisms of the closed interval that are orientation preserving, absolutely continuous and have an absolutely continuous inverse was shown by Solecki to admit a natural Polish group topology $τ_{ac}$. We observe that, more generally, under some conditions on a compact space endowed with a finite Borel measure an analogous Polish group topology can be defined on the subgroup of t…
▽ More
The group of homeomorphisms of the closed interval that are orientation preserving, absolutely continuous and have an absolutely continuous inverse was shown by Solecki to admit a natural Polish group topology $τ_{ac}$. We observe that, more generally, under some conditions on a compact space endowed with a finite Borel measure an analogous Polish group topology can be defined on the subgroup of the homeomorphism group which push forward the measure to another one with which it is mutually absolutely continuous. We use a probabilistic argument involving approximations by supmartingale processes to show that in many cases there is no group topology between $τ_{ac}$ and the restriction $τ_{co}$ of the compact-open topology. This applies, in particular, to any compact topological manifold equipped with an Oxtoby-Ulam measure and to the Cantor space endowed with some natural Borel measures. In fact, we show that in such cases any separable group topology strictly finer than $τ_{co}$ has to be also finer than $τ_{ac}$. For one-dimensional manifolds well-known arguments show that the compact-open topology is a minimum Hausdroff group topology on the group, which implies that $τ_{co}$ and $τ_{ac}$ are the only Hausdorff group topologies coarser than $τ_{ac}$. We also show that while Solecki's example is not Roelcke precompact, the group of bi-absolutely continuous homeomorphisms of the Cantor space endowed with the measure given by the Fräissé limit of the class of measured boolean algebras with rational probability measures is Roelcke precompact.
△ Less
Submitted 1 January, 2024;
originally announced January 2024.
-
Uniform first order interpretation of the second order theory of countable groups of homeomorphisms
Authors:
Thomas Koberda,
J. de la Nuez González
Abstract:
We show that the first order theory of the homeomorphism group of a compact manifold interprets the full second order theory of countable groups of homeomorphisms of the manifold. The interpretation is uniform across manifolds of bounded dimension. As a consequence, many classical problems in group theory and geometry (e.g.~the linearity of mapping classes of compact $2$--manifolds) are encoded as…
▽ More
We show that the first order theory of the homeomorphism group of a compact manifold interprets the full second order theory of countable groups of homeomorphisms of the manifold. The interpretation is uniform across manifolds of bounded dimension. As a consequence, many classical problems in group theory and geometry (e.g.~the linearity of mapping classes of compact $2$--manifolds) are encoded as elementary properties homeomorphism groups of manifolds. Furthermore, the homeomorphism group interprets the Borel and projective hierarchies of the homeomorphism group. Finally, we show that the collection of sentences that isolate the homeomorphism group of a particular manifold, or that isolate the homeomorphism groups of manifolds in general, is not definable in arithmetic, and that membership of particular sentences in these collections cannot be proved in ZFC.
△ Less
Submitted 6 February, 2024; v1 submitted 26 December, 2023;
originally announced December 2023.
-
Superhedging Supermartingales
Authors:
C. Bender,
S. E. Ferrando,
K. Gajewski,
A. L. Gonzalez
Abstract:
Supermartingales are here defined on a non-probabilistic setting and can be interpreted solely in terms of superhedging operations. The classical expectation operator is replaced by a pair of subadditive operators one of them providing a class of null sets and the other one acting as an outer integral. These operators are motivated by a financial theory of no-arbitrage pricing. Such a setting exte…
▽ More
Supermartingales are here defined on a non-probabilistic setting and can be interpreted solely in terms of superhedging operations. The classical expectation operator is replaced by a pair of subadditive operators one of them providing a class of null sets and the other one acting as an outer integral. These operators are motivated by a financial theory of no-arbitrage pricing. Such a setting extends the classical stochastic framework by replacing the path space of the process by a trajectory set, while also providing a financial/gambling interpretation based on the notion of superhedging. The paper proves analogues of the following classical results: Doob's supermartingale decomposition and Doob's pointwise convergence theorem for nonnegative supermartingales. The approach shows how linearity of the expectation operator can be circumvented and how integrability properties in the proposed setting lead to the special case of (hedging) martingales while no integrability conditions are required for the general supermartingale case.
△ Less
Submitted 22 December, 2023;
originally announced December 2023.
-
Higher-dimensional Losev-Manin spaces and their geometry
Authors:
Patricio Gallardo,
Javier González-Anaya,
José Luis González,
Evangelos Routis
Abstract:
The classical Losev-Manin space can be interpreted as a toric compactification of the moduli space of $n$ points in the affine line modulo translation and scaling. Motivated by this, we study its higher-dimensional toric counterparts, which compactify the moduli space of $n$ distinct labeled points in affine space modulo translation and scaling. We show that these moduli spaces are a fibration ove…
▽ More
The classical Losev-Manin space can be interpreted as a toric compactification of the moduli space of $n$ points in the affine line modulo translation and scaling. Motivated by this, we study its higher-dimensional toric counterparts, which compactify the moduli space of $n$ distinct labeled points in affine space modulo translation and scaling. We show that these moduli spaces are a fibration over a product of projective spaces -- with fibers isomorphic to the Losev-Manin space -- and that they are isomorphic to the normalization of a Chow quotient. Moreover, we present a criterion to decide whether the blow-up of a toric variety along the closure of a subtorus is a Mori dream space. As an application, we demonstrate that a related generalization of the moduli space of pointed rational curves proposed by Chen, Gibney, and Krashen is not a Mori dream space when the number of points is at least nine, regardless of the dimension.
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
-
The compact-open topology on the diffeomorphism or homeomorphism group of a smooth manifold without boundary is minimal in almost all dimensions
Authors:
J. de la Nuez González
Abstract:
We show that for any connected smooth manifold $M$ of dimension different from $3$ the restriction of the compact-open topology to the diffeomorphism group of $M$ is minimal, i.e. the group does not admit a strictly coarser Hausdorff group topology. This implies the minimality of the compact-open topology on the homeomorphism group of $M$ in all dimensions different from $3$ and $4$. In those case…
▽ More
We show that for any connected smooth manifold $M$ of dimension different from $3$ the restriction of the compact-open topology to the diffeomorphism group of $M$ is minimal, i.e. the group does not admit a strictly coarser Hausdorff group topology. This implies the minimality of the compact-open topology on the homeomorphism group of $M$ in all dimensions different from $3$ and $4$. In those cases for which in addition to all of this automatic continuity is known to hold, such as when $M$ is closed, one can conclude that the compact-open topology is the unique separable Hausdorff group topology on the homeomorphism group.
△ Less
Submitted 16 April, 2024; v1 submitted 20 March, 2023;
originally announced March 2023.
-
First order rigidity of homeomorphism groups of manifolds
Authors:
Sang-hyun Kim,
Thomas Koberda,
J. de la Nuez González
Abstract:
For every compact, connected manifold $M$, we prove the existence of a sentence $φ_M$ in the language of groups such that the homeomorphism group of another compact manifold $N$ satisfies $φ_M$ if and only if $N$ is homeomorphic to $M$. We prove the analogous statement for groups of homeomorphisms preserving an Oxtoby--Ulam probability measure.
For every compact, connected manifold $M$, we prove the existence of a sentence $φ_M$ in the language of groups such that the homeomorphism group of another compact manifold $N$ satisfies $φ_M$ if and only if $N$ is homeomorphic to $M$. We prove the analogous statement for groups of homeomorphisms preserving an Oxtoby--Ulam probability measure.
△ Less
Submitted 11 March, 2025; v1 submitted 2 February, 2023;
originally announced February 2023.
-
The compact-open topology on the homeomorphism group of a surface without boundary is minimal
Authors:
J. de la Nuez González
Abstract:
We show that the homeomorphism group of a surface without boundary does not admit a Hausdorff group topology strictly coarser than the compact-open topology. In combination with known automatic continuity results, this implies that the compact-open topology is the unique Hausdorff separable group topology on the group if the surface is closed or the complement in a closed surface of either a finit…
▽ More
We show that the homeomorphism group of a surface without boundary does not admit a Hausdorff group topology strictly coarser than the compact-open topology. In combination with known automatic continuity results, this implies that the compact-open topology is the unique Hausdorff separable group topology on the group if the surface is closed or the complement in a closed surface of either a finite set or the union of a finite set and a Cantor set.
△ Less
Submitted 6 November, 2022; v1 submitted 31 October, 2022;
originally announced October 2022.
-
Algebraic logic for the negation fragment of classical logic
Authors:
Luciano J. González
Abstract:
The general aim of this article is to study the negation fragment of classical logic within the framework of contemporary (Abstract) Algebraic Logic. More precisely, we shall find the three classes of algebras that are canonically associated with a logic in Algebraic Logic, that is, we find the classes $\mathrm{Alg}^*$, $\mathrm{Alg}$ and the intrinsic variety of the negation fragment of classical…
▽ More
The general aim of this article is to study the negation fragment of classical logic within the framework of contemporary (Abstract) Algebraic Logic. More precisely, we shall find the three classes of algebras that are canonically associated with a logic in Algebraic Logic, that is, we find the classes $\mathrm{Alg}^*$, $\mathrm{Alg}$ and the intrinsic variety of the negation fragment of classical logic. In order to achieve this, firstly we propose a Hilbert-style axiomatization for this fragment. Then, we characterize the reduced matrix models and the full generalized matrix models of this logic. Also, we classify the negation fragment in the Leibniz and Frege hierarchies.
△ Less
Submitted 13 March, 2023; v1 submitted 4 October, 2022;
originally announced October 2022.
-
Finite generation of Cox rings
Authors:
José Luis González,
Antonio Laface
Abstract:
In this expository note we discuss a class of graded algebras named Cox rings, which are naturally associated to algebraic varieties generalizing the homogeneous coordinate rings of projective spaces. Whenever the Cox ring is finitely generated, the variety admits a quotient presentation by a quasitorus, which resembles the quotient construction of the projective space. We discuss the problem of t…
▽ More
In this expository note we discuss a class of graded algebras named Cox rings, which are naturally associated to algebraic varieties generalizing the homogeneous coordinate rings of projective spaces. Whenever the Cox ring is finitely generated, the variety admits a quotient presentation by a quasitorus, which resembles the quotient construction of the projective space. We discuss the problem of the finite generation of Cox rings from a geometric perspective and provide examples of both the finitely and non-finitely generated cases.
△ Less
Submitted 30 September, 2022;
originally announced September 2022.
-
Enumeration of max-pooling responses with generalized permutohedra
Authors:
Laura Escobar,
Patricio Gallardo,
Javier González-Anaya,
José L. González,
Guido Montúfar,
Alejandro H. Morales
Abstract:
We investigate the combinatorics of max-pooling layers, which are functions that downsample input arrays by taking the maximum over shifted windows of input coordinates, and which are commonly used in convolutional neural networks. We obtain results on the number of linearity regions of these functions by equivalently counting the number of vertices of certain Minkowski sums of simplices. We chara…
▽ More
We investigate the combinatorics of max-pooling layers, which are functions that downsample input arrays by taking the maximum over shifted windows of input coordinates, and which are commonly used in convolutional neural networks. We obtain results on the number of linearity regions of these functions by equivalently counting the number of vertices of certain Minkowski sums of simplices. We characterize the faces of such polytopes and obtain generating functions and closed formulas for the number of vertices and facets in a 1D max-pooling layer depending on the size of the pooling windows and stride, and for the number of vertices in a special case of 2D max-pooling.
△ Less
Submitted 23 September, 2023; v1 submitted 29 September, 2022;
originally announced September 2022.
-
Planar graphs with separation are dp-minimal
Authors:
Javier de la Nuez González
Abstract:
We prove that given a planar embedding of a graph in the sphere the expansion of the graph structure by predicates encoding separation of vertices by simple cycles of the graph is dp-minimal.
We prove that given a planar embedding of a graph in the sphere the expansion of the graph structure by predicates encoding separation of vertices by simple cycles of the graph is dp-minimal.
△ Less
Submitted 20 May, 2022;
originally announced May 2022.
-
On $d$-stable locally checkable problems parameterized by mim-width
Authors:
Carolina Lucía Gonzalez,
Felix Mann
Abstract:
In this paper we continue the study of locally checkable problems under the framework introduced by Bonomo-Braberman and Gonzalez in 2020, by focusing on graphs of bounded mim-width. We study which restrictions on a locally checkable problem are necessary in order to be able to solve it efficiently on graphs of bounded mim-width. To this end, we introduce the concept of $d$-stability of a check fu…
▽ More
In this paper we continue the study of locally checkable problems under the framework introduced by Bonomo-Braberman and Gonzalez in 2020, by focusing on graphs of bounded mim-width. We study which restrictions on a locally checkable problem are necessary in order to be able to solve it efficiently on graphs of bounded mim-width. To this end, we introduce the concept of $d$-stability of a check function. The related locally checkable problems contain large classes of problems, among which we can mention, for example, LCVP problems. We give an algorithm showing that these problems are XP when parameterized by the mim-width of a given binary decomposition tree of the input graph, that is, that they can be solved in polynomial time given a binary decomposition tree of bounded mim-width. We explore the relation between $d$-stable locally checkable problems and the recently introduced DN logic (Bergougnoux, Dreier and Jaffke, 2022), and show that both frameworks model the same family of problems. We include a list of concrete examples of $d$-stable locally checkable problems whose complexity on graphs of bounded mim-width was open so far.
△ Less
Submitted 13 October, 2023; v1 submitted 29 March, 2022;
originally announced March 2022.
-
Locally checkable problems parameterized by clique-width
Authors:
Narmina Baghirova,
Carolina Lucía Gonzalez,
Bernard Ries,
David Schindl
Abstract:
We continue the study initiated by Bonomo-Braberman and Gonzalez in 2020 on $r$-locally checkable problems. We propose a dynamic programming algorithm that takes as input a graph with an associated clique-width expression and solves a $1$-locally checkable problem under certain restrictions. We show that it runs in polynomial time in graphs of bounded clique-width, when the number of colors of the…
▽ More
We continue the study initiated by Bonomo-Braberman and Gonzalez in 2020 on $r$-locally checkable problems. We propose a dynamic programming algorithm that takes as input a graph with an associated clique-width expression and solves a $1$-locally checkable problem under certain restrictions. We show that it runs in polynomial time in graphs of bounded clique-width, when the number of colors of the locally checkable problem is fixed. Furthermore, we present a first extension of our framework to global properties by taking into account the sizes of the color classes, and consequently enlarge the set of problems solvable in polynomial time with our approach in graphs of bounded clique-width. As examples, we apply this setting to show that, when parameterized by clique-width, the $[k]-$Roman domination problem is FPT, and the $k$-community problem, Max PDS and other variants are XP.
△ Less
Submitted 28 June, 2022; v1 submitted 6 March, 2022;
originally announced March 2022.
-
Non-Roelcke precompactness of groups of surface homeomorphisms
Authors:
Javier de la Nuez Gonzalez
Abstract:
We prove that no subgroup of the group of boundary-fixing homeomorphisms of a compact surface whose action on the interior of the surface is sufficiently transitive can be Roelcke precompact with the topology inherited from the compact-open topology.
We prove that no subgroup of the group of boundary-fixing homeomorphisms of a compact surface whose action on the interior of the surface is sufficiently transitive can be Roelcke precompact with the topology inherited from the compact-open topology.
△ Less
Submitted 14 February, 2022;
originally announced February 2022.
-
Non-existence of negative curves
Authors:
Javier González-Anaya,
José Luis González,
Kalle Karu
Abstract:
Let $X$ be a projective toric surface of Picard number one blown up at a general point. We bring an infinite family of examples of such $X$ whose Kleiman-Mori cone of curves is not closed: there is no negative curve generating one of the two boundary rays of the cone. These examples are related to Nagata's conjecture and rationality of Seshadri constants.
Let $X$ be a projective toric surface of Picard number one blown up at a general point. We bring an infinite family of examples of such $X$ whose Kleiman-Mori cone of curves is not closed: there is no negative curve generating one of the two boundary rays of the cone. These examples are related to Nagata's conjecture and rationality of Seshadri constants.
△ Less
Submitted 25 October, 2021;
originally announced October 2021.
-
On the elementary theory of graph products of groups
Authors:
Montserrat Casals-Ruiz,
Ilya Kazachkov,
Javier de la Nuez González
Abstract:
In this paper we study the elementary theory of graph products of groups and show that under natural conditions on the vertex groups we can recover (the core of) the underlying graph and the associated vertex groups. More precisely, we require the vertex groups to satisfy a non-generic almost positive sentence, a condition which generalizes a range of natural ``non-freeness conditions" such as the…
▽ More
In this paper we study the elementary theory of graph products of groups and show that under natural conditions on the vertex groups we can recover (the core of) the underlying graph and the associated vertex groups. More precisely, we require the vertex groups to satisfy a non-generic almost positive sentence, a condition which generalizes a range of natural ``non-freeness conditions" such as the satisfaction of a group law, having nontrivial center or being boundedly simple.
As a corollary, we determine an invariant of the elementary theory of a right-angled Artin group, the core of the defining graph, which we conjecture to determine the elementary class of the RAAG. We further combine our results with the results of Sela on free products of groups to describe all finitely generated groups elementarily equivalent to certain RAAGs. We also deduce rigidity results on the elementary classification of graph products of groups for specific types of vertex groups, such as finite, nilpotent or classical linear groups.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
Finite distributive nearlattices
Authors:
Luciano J. González,
Ismael Calomino
Abstract:
Our main goal is to develop a representation for finite distributive nearlattices through certain ordered structures. This representation generalizes the well-known representation given by Birkhoff for finite distributive lattices through finite posets. We also study finite distributive nearlattices through the concepts of dual atoms, boolean elements, complemented elements and irreducible element…
▽ More
Our main goal is to develop a representation for finite distributive nearlattices through certain ordered structures. This representation generalizes the well-known representation given by Birkhoff for finite distributive lattices through finite posets. We also study finite distributive nearlattices through the concepts of dual atoms, boolean elements, complemented elements and irreducible elements. We prove that the sets of boolean elements and complemented elements form semi-boolean algebras. We show that the set of boolean elements of a finite distributive lattice is a boolean lattice.
△ Less
Submitted 1 June, 2021;
originally announced June 2021.
-
Conditional Non-Lattice Integration, Pricing and Superhedging
Authors:
Christian Bender,
Sebastian E. Ferrando,
Alfredo L. Gonzalez
Abstract:
Closely motivated by financial considerations, we develop an integration theory which is not classical i.e. it is not necessarily associated to a measure. The base space, denoted by $\mathcal{S}$ and called a trajectory space, substitutes the set $Ω$ in probability theory and provides a fundamental structure via conditional subsets $\mathcal{S}_{(S,j)}$ that allows the definition of conditional in…
▽ More
Closely motivated by financial considerations, we develop an integration theory which is not classical i.e. it is not necessarily associated to a measure. The base space, denoted by $\mathcal{S}$ and called a trajectory space, substitutes the set $Ω$ in probability theory and provides a fundamental structure via conditional subsets $\mathcal{S}_{(S,j)}$ that allows the definition of conditional integrals. The setting is a natural by-product of no arbitrage assumptions that are used to model financial markets and games of chance (in a discrete infinite time framework). The constructed conditional integrals can be interpreted as required investments, at the conditioning node, for hedging an integrable function, the latter characterized a.e. and in the limit as we increase the number of portfolios used. The integral is not classical due to the fact that the original vector space of portfolio payoffs is not a vector lattice. In contrast to a classical stochastic setting, where price processes are associated to conditional expectations (with respect to risk neutral measures), we uncover a theory where prices are naturally given by conditional non-lattice integrals. One could then study analogues of classical probabilistic notions in such non-classical setting, the paper stops after defining trajectorial martingales the study of which is deferred to future work.
△ Less
Submitted 25 May, 2021;
originally announced May 2021.
-
The Fulton-MacPherson compactification is not a Mori dream space
Authors:
Patricio Gallardo,
José Luis González,
Evangelos Routis
Abstract:
We show that the Fulton-MacPherson compactification of the configuration space of $n$ distinct labeled points in certain varieties of arbitrary dimension $d$, including projective space, is not a Mori dream space for $n$ larger than $d+8$.
We show that the Fulton-MacPherson compactification of the configuration space of $n$ distinct labeled points in certain varieties of arbitrary dimension $d$, including projective space, is not a Mori dream space for $n$ larger than $d+8$.
△ Less
Submitted 18 April, 2021;
originally announced April 2021.
-
The geography of negative curves
Authors:
Javier González-Anaya,
José Luis González,
Kalle Karu
Abstract:
We study the Mori Dream Space (MDS) property for blowups of weighted projective planes at a general point and, more generally, blowups of toric surfaces defined by a rational plane triangle. The birational geometry of these varieties is largely governed by the existence of a negative curve in them, different from the exceptional curve of the blowup.
We consider a parameter space of all rational…
▽ More
We study the Mori Dream Space (MDS) property for blowups of weighted projective planes at a general point and, more generally, blowups of toric surfaces defined by a rational plane triangle. The birational geometry of these varieties is largely governed by the existence of a negative curve in them, different from the exceptional curve of the blowup.
We consider a parameter space of all rational triangles, and within this space we study how the negative curves and the MDS property vary. One goal of the article is to catalogue all known negative curves and show their location in the parameter space. In addition to the previously known examples we construct two new families of negative curves. One of them is, to our knowledge, the first infinite family of special negative curves.
The second goal of the article is to show that the knowledge of negative curves in the parameter space often determines the MDS property. We show that in many cases this is the only underlying mechanism responsible for the MDS property.
△ Less
Submitted 8 April, 2021;
originally announced April 2021.
-
Dynamical systems, celestial mechanics, and music: Pythagoras revisited
Authors:
Julyan H. E. Cartwright,
Diego L. González,
Oreste Piro
Abstract:
Gioseffo Zarlino reintroduced the Pythagorean paradigm into Renaissance musical theory. In a similar fashion, Nicolaus Copernicus, Galileo Galilei, Johannes Kepler, and Isaac Newton reinvigorated Pythagorean ideas in celestial mechanics; Kepler and Newton explicitly invoked musical principles. Today, the theory of dynamical systems allows us to describe very different applications of physics, from…
▽ More
Gioseffo Zarlino reintroduced the Pythagorean paradigm into Renaissance musical theory. In a similar fashion, Nicolaus Copernicus, Galileo Galilei, Johannes Kepler, and Isaac Newton reinvigorated Pythagorean ideas in celestial mechanics; Kepler and Newton explicitly invoked musical principles. Today, the theory of dynamical systems allows us to describe very different applications of physics, from the orbits of asteroids in the Solar System to the pitch of complex sounds. Our aim in this text is to review the overarching aims of our research in this field over the past quarter of a century. We demonstrate with a combination of dynamical systems theory and music theory the thread running from Pythagoras to Zarlino that allowed the latter to construct musical scales using the ideas of proportion known to the former, and we discuss how the modern theory of dynamical systems, with the study of resonances in nonlinear systems, returns to Pythagorean ideas of a Musica Universalis.
△ Less
Submitted 2 April, 2021;
originally announced April 2021.
-
Two generalizations of the Butterfly Theorem
Authors:
Tran Quang Hung,
Luis González
Abstract:
We establish two direct extensions to the Butterfly Theorem on the cyclic quadrilateral along with the proofs using the projective method and analytic geometry of the Cartesian coordinate system.
We establish two direct extensions to the Butterfly Theorem on the cyclic quadrilateral along with the proofs using the projective method and analytic geometry of the Cartesian coordinate system.
△ Less
Submitted 13 December, 2020;
originally announced December 2020.
-
The model theory of the curve graph
Authors:
Valentina Disarlo,
Thomas Koberda,
J. de la Nuez González
Abstract:
In this paper we develop a bridge between model theory, geometric topology, and geometric group theory. In particular, we investigate the Ivanov Metaconjecture from the point of view of model theory, and more broadly we seek to answer the general question: why does the curve graph of a surface play such a central role in the study of surfaces and mapping class groups?
More specifically, we consi…
▽ More
In this paper we develop a bridge between model theory, geometric topology, and geometric group theory. In particular, we investigate the Ivanov Metaconjecture from the point of view of model theory, and more broadly we seek to answer the general question: why does the curve graph of a surface play such a central role in the study of surfaces and mapping class groups?
More specifically, we consider a surface $Σ$ of finite type and its curve graph $\mathcal C(Σ)$, and we investigate its first-order theory in the language of graph theory. Crucially, $\mathcal C(Σ)$ is bi-interpretable with a certain object called the augmented Cayley graph of the mapping class group of the surface. We use this bi-interpretation to prove that the theory of the curve graph is $ω$--stable, to compute its Morley rank, and to show that it has quantifier elimination with respect to the class of $\forall\exists$--formulae. We also show that many of the complexes which are naturally associated to a surface are interpretable in $\mathcal C(Σ)$. This shows that these complexes are all $ω$--stable and admit certain a priori bounds on their Morley ranks. We are able to use Morley ranks to prove that various complexes are not bi--interpretable with the curve graph. As a consequence of quantifier elimination, we show that algebraic intersection number is not definable in the first order theory of the curve graph. Finally, we prove that the curve graph of a surface enjoys a novel phenomenon that we call interpretation rigidity. That is, if surfaces $Σ_1$ and $Σ_2$ admits curve graphs that are mutually interpretable, then $Σ_1$ and $Σ_2$ are homeomorphic to each other. Along the way, numerous technical results are obtained.
△ Less
Submitted 9 June, 2023; v1 submitted 24 August, 2020;
originally announced August 2020.
-
Thinness of product graphs
Authors:
Flavia Bonomo-Braberman,
Carolina L. Gonzalez,
Fabiano S. Oliveira,
Moysés S. Sampaio Jr.,
Jayme L. Szwarcfiter
Abstract:
The thinness of a graph is a width parameter that generalizes some properties of interval graphs, which are exactly the graphs of thinness one. Many NP-complete problems can be solved in polynomial time for graphs with bounded thinness, given a suitable representation of the graph. In this paper we study the thinness and its variations of graph products. We show that the thinness behaves "well" in…
▽ More
The thinness of a graph is a width parameter that generalizes some properties of interval graphs, which are exactly the graphs of thinness one. Many NP-complete problems can be solved in polynomial time for graphs with bounded thinness, given a suitable representation of the graph. In this paper we study the thinness and its variations of graph products. We show that the thinness behaves "well" in general for products, in the sense that for most of the graph products defined in the literature, the thinness of the product of two graphs is bounded by a function (typically product or sum) of their thinness, or of the thinness of one of them and the size of the other. We also show for some cases the non-existence of such a function.
△ Less
Submitted 16 April, 2021; v1 submitted 30 June, 2020;
originally announced June 2020.
-
A new approach on locally checkable problems
Authors:
Flavia Bonomo-Braberman,
Carolina Lucía Gonzalez
Abstract:
By providing a new framework, we extend previous results on locally checkable problems in bounded treewidth graphs. As a consequence, we show how to solve, in polynomial time for bounded treewidth graphs, double Roman domination and Grundy domination, among other problems for which no such algorithm was previously known. Moreover, by proving that fixed powers of bounded degree and bounded treewidt…
▽ More
By providing a new framework, we extend previous results on locally checkable problems in bounded treewidth graphs. As a consequence, we show how to solve, in polynomial time for bounded treewidth graphs, double Roman domination and Grundy domination, among other problems for which no such algorithm was previously known. Moreover, by proving that fixed powers of bounded degree and bounded treewidth graphs are also bounded degree and bounded treewidth graphs, we can enlarge the family of problems that can be solved in polynomial time for these graph classes, including distance coloring problems and distance domination problems (for bounded distances).
△ Less
Submitted 29 December, 2020; v1 submitted 31 May, 2020;
originally announced June 2020.
-
Non-Power Positional Number Representation Systems, Bijective Numeration, and the Mesoamerican Discovery of Zero
Authors:
Berenice Rojo-Garibaldi,
Costanza Rangoni,
Diego L. González,
Julyan H. E. Cartwright
Abstract:
Pre-Columbian Mesoamerica was a fertile crescent for the development of number systems. A form of vigesimal system seems to have been present from the first Olmec civilization onwards, to which succeeding peoples made contributions. We discuss the Maya use of the representational redundancy present in their Long Count calendar, a non-power positional number representation system with multipliers 1…
▽ More
Pre-Columbian Mesoamerica was a fertile crescent for the development of number systems. A form of vigesimal system seems to have been present from the first Olmec civilization onwards, to which succeeding peoples made contributions. We discuss the Maya use of the representational redundancy present in their Long Count calendar, a non-power positional number representation system with multipliers 1, 20, 18$\times$ 20, $\ldots$, 18$\times$ 20$^n$. We demonstrate that the Mesoamericans did not need to invent positional notation and discover zero at the same time because they were not afraid of using a number system in which the same number can be written in different ways. A Long Count number system with digits from 0 to 20 is seen later to pass to one using digits 0 to 19, which leads us to propose that even earlier there may have been an initial zeroless bijective numeration system whose digits ran from 1 to 20. Mesoamerica was able to make this conceptual leap to the concept of a cardinal zero to perform arithmetic owing to a familiarity with multiple and redundant number representation systems.
△ Less
Submitted 23 March, 2021; v1 submitted 20 May, 2020;
originally announced May 2020.
-
Formulas in connection with parameters related to convexity of paths on three vertices: caterpillars and unit interval graphs
Authors:
Lucía M. González,
Luciano N. Grippo,
Martín D. Safe
Abstract:
We present formulas to compute the P3-geodetic number, the P3-hull number and the percolation time for a caterpillar, in terms of certain sequences associated with it. In addition, we find a connection between the percolation time of a unit interval graph and a parameter involving the diameter of a unit interval graph related to it. Finally, we present a hereditary graph class, defined by forbidde…
▽ More
We present formulas to compute the P3-geodetic number, the P3-hull number and the percolation time for a caterpillar, in terms of certain sequences associated with it. In addition, we find a connection between the percolation time of a unit interval graph and a parameter involving the diameter of a unit interval graph related to it. Finally, we present a hereditary graph class, defined by forbidden induced subgraphs, such that its percolation time is equal to one.
△ Less
Submitted 24 February, 2020;
originally announced February 2020.
-
Curves generating extremal rays in blowups of weighted projective planes
Authors:
Javier González-Anaya,
José Luis González,
Kalle Karu
Abstract:
We consider blowups at a general point of weighted projective planes and, more generally, of toric surfaces with Picard number one. We give a unifying construction of negative curves on these blowups such that all previously known families appear as boundary cases of this. The classification consists of two classes of said curves, each depending on two parameters. Every curve in these two classes…
▽ More
We consider blowups at a general point of weighted projective planes and, more generally, of toric surfaces with Picard number one. We give a unifying construction of negative curves on these blowups such that all previously known families appear as boundary cases of this. The classification consists of two classes of said curves, each depending on two parameters. Every curve in these two classes is algebraically related to other curves in both classes; this allows us to find their defining equations inductively. For each curve in our classification, we consider a family of blowups in which the curve defines an extremal class in the effective cone. We give a complete classification of these blowups into Mori Dream Spaces and non-Mori Dream Spaces. Our approach greatly simplifies previous proofs, avoiding positive characteristic methods and higher cohomology.
△ Less
Submitted 17 February, 2020;
originally announced February 2020.
-
Simple groups with infinite verbal width and the same positive theory as free groups
Authors:
Montserrat Casals-Ruiz,
Albert Garreta,
Ilya Kazachkov,
Javier de la Nuez González
Abstract:
In this paper we show that there exists an uncountable family of finitely generated simple groups with the same positive theory as any non-abelian free group. In particular, these simple groups have infinite $w$-verbal width for all non-trivial words $w$.
In this paper we show that there exists an uncountable family of finitely generated simple groups with the same positive theory as any non-abelian free group. In particular, these simple groups have infinite $w$-verbal width for all non-trivial words $w$.
△ Less
Submitted 5 November, 2019;
originally announced November 2019.
-
On the positive theory of groups acting on trees
Authors:
Montserrat Casals-Ruiz,
Albert Garreta,
Javier de la Nuez González
Abstract:
We study the positive theory of groups acting on trees and show that under the presence of weak small cancellation elements, the positive theory of the group is trivial, i.e. coincides with the positive theory of a non-abelian free group. Our results apply to a wide class of groups, including non-virtually solvable fundamental groups of $3$-manifold groups, generalised Baumslag-Solitar groups and…
▽ More
We study the positive theory of groups acting on trees and show that under the presence of weak small cancellation elements, the positive theory of the group is trivial, i.e. coincides with the positive theory of a non-abelian free group. Our results apply to a wide class of groups, including non-virtually solvable fundamental groups of $3$-manifold groups, generalised Baumslag-Solitar groups and almost all one-relator groups and graph products of groups. It follows that groups in the class satisfy a number of algebraic properties: for instance, their verbal subgroups have infinite width and, although some groups in the class are simple, they cannot be boundedly simple.
In order to prove these results we describe a uniform way for constructing (weak) small cancellation tuples from (weakly) stable elements. This result of interest in its own is fundamental to obtain corollaries of general nature such as a quantifier reduction for positive sentences or the preservation of the non-trivial positive theory under extensions of groups.
△ Less
Submitted 20 October, 2019;
originally announced October 2019.
-
Generation of jets and Fujita's jet ampleness conjecture on toric varieties
Authors:
José Luis González,
Zhixian Zhu
Abstract:
Jet ampleness of line bundles generalizes very ampleness by requiring the existence of enough global sections to separate not just points and tangent vectors, but also their higher order analogues called jets. We give sharp bounds guaranteeing that a line bundle on a projective toric variety is $k$-jet ample in terms of its intersection numbers with the invariant curves, in terms of the lattice le…
▽ More
Jet ampleness of line bundles generalizes very ampleness by requiring the existence of enough global sections to separate not just points and tangent vectors, but also their higher order analogues called jets. We give sharp bounds guaranteeing that a line bundle on a projective toric variety is $k$-jet ample in terms of its intersection numbers with the invariant curves, in terms of the lattice lengths of the edges of its polytope, in terms of the higher concavity of its piecewise linear function and in terms of its Seshadri constant. For example, the tensor power $k+n-2$ of an ample line bundle on a projective toric variety of dimension $n \geq 2$ always generates all $k$-jets, but might not generate all $(k+1)$-jets. As an application, we prove the $k$-jet generalizations of Fujita's conjectures on toric varieties with arbitrary singularities.
△ Less
Submitted 11 July, 2021; v1 submitted 15 September, 2019;
originally announced September 2019.
-
Characterising circular-arc contact $B_0$-VPG graphs
Authors:
Flavia Bonomo-Braberman,
Esther Galby,
Carolina Lucía Gonzalez
Abstract:
A contact $B_0$-VPG graph is a graph for which there exists a collection of nontrivial pairwise interiorly disjoint horizontal and vertical segments in one-to-one correspondence with its vertex set such that two vertices are adjacent if and only if the corresponding segments touch. It was shown by Deniz et al. that Recognition is $\mathsf{NP}$-complete for contact $B_0$-VPG graphs. In this paper w…
▽ More
A contact $B_0$-VPG graph is a graph for which there exists a collection of nontrivial pairwise interiorly disjoint horizontal and vertical segments in one-to-one correspondence with its vertex set such that two vertices are adjacent if and only if the corresponding segments touch. It was shown by Deniz et al. that Recognition is $\mathsf{NP}$-complete for contact $B_0$-VPG graphs. In this paper we present a minimal forbidden induced subgraph characterisation of contact $B_0$-VPG graphs within the class of circular-arc graphs and provide a polynomial-time algorithm for recognising these graphs.
△ Less
Submitted 13 September, 2019;
originally announced September 2019.
-
Group topologies on automorphism groups of homogeneous structures
Authors:
Zaniar Ghadernezhad,
Javier de la Nuez González
Abstract:
We classify all group topologies coarser than the topology of stabilizers of finite sets in the case of automorphism groups of countable free-homogeneous structures, Urysohn space and Urysohn sphere, among other related results.
We classify all group topologies coarser than the topology of stabilizers of finite sets in the case of automorphism groups of countable free-homogeneous structures, Urysohn space and Urysohn sphere, among other related results.
△ Less
Submitted 23 March, 2022; v1 submitted 6 September, 2019;
originally announced September 2019.
-
Covering graphs with convex sets and partitioning graphs into convex sets
Authors:
Lucía M. González,
Luciano N. Grippo,
Martín D. Safe,
Vinícius F. dos Santos
Abstract:
We present some complexity results concerning the problems of covering a graph with $p$ convex sets and of partitioning a graph into $p$ convex sets. The following convexities are considered: digital convexity, monophonic convexity, $P_3$-convexity, and $P_3^*$-convexity.
We present some complexity results concerning the problems of covering a graph with $p$ convex sets and of partitioning a graph into $p$ convex sets. The following convexities are considered: digital convexity, monophonic convexity, $P_3$-convexity, and $P_3^*$-convexity.
△ Less
Submitted 2 July, 2019;
originally announced July 2019.
-
Linearity of graph products
Authors:
Federico Berlai,
Javier de la Nuez González
Abstract:
In this work we prove that, given a simplicial graph $Γ$ and a family $\mathcal{G}$ of linear groups over a domain $R$, the graph product $Γ\mathcal{G}$ is linear over $R[\underline t]$, where $\underline t$ is a tuple of finitely many linearly independent variables. As a consequence we obtain that any graph product of finitely many groups linear over the complex numbers is again a linear group ov…
▽ More
In this work we prove that, given a simplicial graph $Γ$ and a family $\mathcal{G}$ of linear groups over a domain $R$, the graph product $Γ\mathcal{G}$ is linear over $R[\underline t]$, where $\underline t$ is a tuple of finitely many linearly independent variables. As a consequence we obtain that any graph product of finitely many groups linear over the complex numbers is again a linear group over the complex numbers. This solves an open problem of Hsu and Wise in the case of faithful representations over $\mathbb C$.
△ Less
Submitted 27 June, 2019;
originally announced June 2019.
-
Some lower bounds on Shelah rank in the free group
Authors:
Javier de la Nuez González,
Chloé Perin,
Rizos Sklinos
Abstract:
We give some lower bounds on the Shelah rank of varieties in the free group whose coordinate groups are hyperbolic towers.
We give some lower bounds on the Shelah rank of varieties in the free group whose coordinate groups are hyperbolic towers.
△ Less
Submitted 11 December, 2018;
originally announced December 2018.
-
Constructing non-Mori Dream Spaces from negative curves
Authors:
Javier González-Anaya,
José Luis González,
Kalle Karu
Abstract:
We study blowups of weighted projective planes at a general point, and more generally blowups of toric surfaces of Picard number one. Based on the positive characteristic methods of Kurano and Nishida, we give a general method for constructing examples of Mori Dream Spaces and non-Mori Dream Spaces among such blowups. Compared to previous constructions, this method uses the geometric properties of…
▽ More
We study blowups of weighted projective planes at a general point, and more generally blowups of toric surfaces of Picard number one. Based on the positive characteristic methods of Kurano and Nishida, we give a general method for constructing examples of Mori Dream Spaces and non-Mori Dream Spaces among such blowups. Compared to previous constructions, this method uses the geometric properties of the varieties and applies to a number of cases. We use it to fully classify the examples coming from two families of negative curves.
△ Less
Submitted 30 September, 2018;
originally announced October 2018.
-
On a family of negative curves
Authors:
Javier González-Anaya,
José Luis González,
Kalle Karu
Abstract:
Let $X$ be the blowup of a weighted projective plane at a general point. We study the problem of finite generation of the Cox ring of $X$. Generalizing examples of Srinivasan and Kurano-Nishida, we consider examples of $X$ that contain a negative curve of the class $H-mE$, where $H$ is the class of a divisor pulled back from the weighted projective plane and $E$ is the class of the exceptional cur…
▽ More
Let $X$ be the blowup of a weighted projective plane at a general point. We study the problem of finite generation of the Cox ring of $X$. Generalizing examples of Srinivasan and Kurano-Nishida, we consider examples of $X$ that contain a negative curve of the class $H-mE$, where $H$ is the class of a divisor pulled back from the weighted projective plane and $E$ is the class of the exceptional curve. For any $m>0$ we construct examples where the Cox ring is finitely generated and examples where it is not.
△ Less
Submitted 13 December, 2017;
originally announced December 2017.
-
Balanced complexes and effective divisors on $\overline{M}_{0,n}$
Authors:
José Luis González,
Elijah Gunther,
Olivia Zhang
Abstract:
Doran, Jensen and Giansiracusa showed a bijection between homogeneous elements in the Cox ring of $\overline{M}_{0,n}$ not divisible by any exceptional divisor section, and weighted pure-dimensional simplicial complexes satisfying a zero-tension condition. Motivated by the study of the monoid of effective divisors, the pseudoeffective cone and the Cox ring of $\overline{M}_{0,n}$, we point out a s…
▽ More
Doran, Jensen and Giansiracusa showed a bijection between homogeneous elements in the Cox ring of $\overline{M}_{0,n}$ not divisible by any exceptional divisor section, and weighted pure-dimensional simplicial complexes satisfying a zero-tension condition. Motivated by the study of the monoid of effective divisors, the pseudoeffective cone and the Cox ring of $\overline{M}_{0,n}$, we point out a simplification of the zero-tension condition and study the space of balanced complexes. We give examples of irreducible elements in the monoid of effective divisors of $\overline{M}_{0,n}$ for large $n$. In the case of $\overline{M}_{0,7}$, we classify all such irreducible elements arising from nonsingular complexes and give an example of how irreducibility can be shown in the singular case.
△ Less
Submitted 28 September, 2017;
originally announced September 2017.
-
Examples of non-finitely generated Cox rings
Authors:
José Luis González,
Kalle Karu
Abstract:
We bring examples of toric varieties blown up at a point in the torus that do not have finitely generated Cox rings. These examples are generalizations of previous work where toric surfaces of Picard number 1 were studied. In this article we consider toric varieties of higher Picard number and higher dimension. In particular, we bring examples of weighted projective 3-spaces blown up at a point th…
▽ More
We bring examples of toric varieties blown up at a point in the torus that do not have finitely generated Cox rings. These examples are generalizations of previous work where toric surfaces of Picard number 1 were studied. In this article we consider toric varieties of higher Picard number and higher dimension. In particular, we bring examples of weighted projective 3-spaces blown up at a point that do not have finitely generated Cox rings.
△ Less
Submitted 29 August, 2017;
originally announced August 2017.
-
On expansions of non-abelian free groups by cosets of a finite index subgroup
Authors:
Javier de la Nuez González
Abstract:
Let $F$ be a finitely generated non-abelian free group and $Q$ a finite quotient. Denote by $L_Q$ the language obtained by adding unary predicates $P_q$, $q\in Q$ to the language of groups. Using a slight generalization of some of the techniques involved in Zlil Sela's solution to Tarskiś problem on the elementary theory of non-abelian free groups, we provide a few basic results on the validity of…
▽ More
Let $F$ be a finitely generated non-abelian free group and $Q$ a finite quotient. Denote by $L_Q$ the language obtained by adding unary predicates $P_q$, $q\in Q$ to the language of groups. Using a slight generalization of some of the techniques involved in Zlil Sela's solution to Tarskiś problem on the elementary theory of non-abelian free groups, we provide a few basic results on the validity of first order entences in the $L_Q$-expansion of $F$ in which every $P_q$ is interpreted as the preimage of $q$ in $F$. In particular we prove an analogous result to Sela's generalization of Merzlyakov's theorem on $\forall\exists$-sentences and show that the positive theory depends only on $Q$ and neither on the rank of $F$ nor the particular quotient map.
△ Less
Submitted 10 July, 2017;
originally announced July 2017.
-
Selfextensional logics with a distributive nearlattice term
Authors:
Luciano J. González
Abstract:
We define when a ternary term $m$ of an algebraic language $\mathcal{L}$ is called a \textit{distributive nearlattice term} (DN-term) of a sentential logic $\mathcal{S}$. Distributive nearlattices are ternary algebras generalising Tarski algebras and distributive lattices. We characterise the selfextensional logics with a DN-term through the interpretation of the DN-term in the algebras of the alg…
▽ More
We define when a ternary term $m$ of an algebraic language $\mathcal{L}$ is called a \textit{distributive nearlattice term} (DN-term) of a sentential logic $\mathcal{S}$. Distributive nearlattices are ternary algebras generalising Tarski algebras and distributive lattices. We characterise the selfextensional logics with a DN-term through the interpretation of the DN-term in the algebras of the algebraic counterpart of the logics. We prove that the canonical class of algebras (under the point of view of Abstract Algebraic Logic) associated with a selfextensional logic with a DN-term is a variety, and we obtain that the logic is in fact fully selfextensional.
△ Less
Submitted 11 February, 2018; v1 submitted 19 April, 2017;
originally announced April 2017.
-
A characterization of the canonical extension of Boolean homomorphisms
Authors:
Luciano J. González
Abstract:
This article aims to obtain a characterization of the canonical extension of Boolean homomorphisms through the Stone-Čech compactification. Then, we will show that one-to-one homomorphisms and onto homomorphisms extend to one-to-one homomorphisms and onto homomorphisms, respectively.
This article aims to obtain a characterization of the canonical extension of Boolean homomorphisms through the Stone-Čech compactification. Then, we will show that one-to-one homomorphisms and onto homomorphisms extend to one-to-one homomorphisms and onto homomorphisms, respectively.
△ Less
Submitted 1 June, 2018; v1 submitted 21 February, 2017;
originally announced February 2017.
-
Möbius strips before Möbius: Topological hints in ancient representations
Authors:
Julyan H. E. Cartwright,
Diego L. González
Abstract:
August Möbius discovered his eponymous strip --- also found almost contemporaneously by Johann Listing --- in 1858, so a pre-1858 Möbius band would be an interesting object. It turns out there were lots of them.
August Möbius discovered his eponymous strip --- also found almost contemporaneously by Johann Listing --- in 1858, so a pre-1858 Möbius band would be an interesting object. It turns out there were lots of them.
△ Less
Submitted 25 September, 2016;
originally announced September 2016.
