Searcharxiv⌕ Search

arXiv subjects

E. Javier Elizondo

Publications and source records attributed to E. Javier Elizondo.

12 recordsLinked to original sources
arXiv2025

Matroids and the space of torus-invariant subvarieties of the Grassmannian with given homology class

Let $\mathbb{G}(d,n)$ be the complex Grassmannian of affine $d$-planes in $n$-space. We study the problem of characterizing the set of algebraic subvarieties of $\mathbb{G}(d,n)$ invariant under the action of the maximal torus $T$ and having given homology class $λ$. We give a complete answer for the case where $λ$ is the class of a $T$-orbit, and partial results for other cases, using techniques inspired by matroid theory. This problem has applications to the computation of the Euler-Chow series for Grassmannians of projective lines: we calculate the series for 3-cycles in $\mathbb{G}(2,4)$ and carry out partial calculations for $\mathbb{G}(2,5)$.

math.AG↗
arXiv2024

LULU is syntomic

Let $G$ be a Chevalley group over a field $\Bbbk$. Fix a maximal torus $\mathbb{T}$ in $ G $, along with opposite Borel subgroups $ B $ and $ B^-$ satisfying $ \mathbb{T} = B \cap B^-$, and denote by $ \mathbb{U} := R_u(B) $ and $ \mathbb{L} := R_u(B^-)$ their respective unipotent radicals. We prove that the multiplication map $ μ\colon \mathbb{L} \times \mathbb{U}\times \mathbb{L} \times \mathbb{U} \longrightarrow G $ is syntomic and faithfully flat over any base field $ \Bbbk$.

math.AG↗
arXiv2023

On $T$-invariant subvarieties of symplectic Grassmannians and representability of rank $2$ symplectic matroids over ${\mathbb C}$

For the symplectic Grassmannian $\text{SpG}(2,2n)$ of $2$-dimensional isotropic subspaces in a $2n$-dimensional vector space over an algebraically closed field of characteristic zero endowed with a symplectic form and with the natural action of an $n$-dimensional torus $T$ on it, we characterize its irreducible $T$-invariant subvarieties. This characterization is in terms of symplectic Coxeter matroids, and we use this result to give a complete characterization of the symplectic matroids of rank $2$ which are representable over $\mathbb{C}$.

math.CO↗
arXiv2015

Rationality of Euler-Chow series and finite generation of Cox rings

In this paper we work with a series whose coefficients are the Euler characteristic of Chow varieties of a given projective variety. For varieties where the Cox ring is defined, it is easy to see that in this case the ring associated to the series is the Cox ring. If this ring is noetherian then the series is rational. It is an open question whether the converse holds. In this paper we give an example showing the converse fails. However we conjecture that it holds when the variety is rationally connected. As an evidence of this conjecture, It is proved that the series is not rational, and in a sense defined, not algebraic, in the case of the blowup of the projective plane at nine or more points in general position. Furthermore, we also treat some other examples of varieties with infinitely generated Cox ring, studied by Mukai and Hassett-Tschinkel. These are the first examples known where the series is not rational. We also compute the series for Del Pezzo surfaces.

math.AG↗
arXiv2013

Arithmetic toric varieties

We study toric varieties over a field k that split in a Galois extension K/k using Galois cohomology with coefficients in the toric automorphism group. Part of this Galois cohomology fits into an exact sequence induced by the presentation of the class group of the toric variety. This perspective helps to compute the Galois cohomology, particularly for cyclic Galois groups. We use Galois cohomology to classify k-forms of projective spaces when K/k is cyclic, and we also study k-forms of surfaces.

math.AG↗
arXiv2012

Rationality of motivic Chow series modulo A^1-homotopy

Consider the formal power series $\sum [C_{p, α}(X)]t^α$ (called Motivic Chow Series), where $C_p(X)=\disjoint C_{p, α}(X)$ is the Chow variety of $X$ parametrizing the $p$-dimensional effective cycles on $X$ with $C_{p, α}(X)$ its connected components, and $[C_{p, α}(X)]$ its class in $K(ChM)_{A^1}$, the $K$-ring of Chow motives modulo $A^1$ homotopy. Using Picard product formula and Torus action, we will show that the Motivic Chow Series is rational in many cases. We have added the computation of the motivic zeta series in some of our examples so the reader can compare both series in each case.

math.AG↗
arXiv2007

Irrationality of motivic series of Chow varieties

The Euler characteristic of all the Chow varieties, of a fixed projective variety, can be collected in a formal power series called the Euler-Chow series. This series coincides with the Hilbert series when the Picard group is a finite generated free abelian group. It is an interesting open problem to find for which varieties this series is rational. A few cases have been computed, and it is suspected that the series is not rational for the blow up of P^2 at nine points in general position. It is very natural to extend this series to Chow motives and ask the question if the series is rational or to find a counterexample. In this short paper we generalized the series and show by an example that the series is not rational. This opens the question of what is the geometrical meaning of the Euler-Chow series.

math.AG↗
arXiv2003

The total coordinate ring of a normal projective variety

The total coordinate ring TC(X) of a normal variety is a generalization of the ring introduced and studied by Cox in connection with a toric variety. Consider a normal projective variety X with divisor class group Cl(X), and let us assume that it is a finitely generated free abelian group. We define the total coordinate ring of X to be TC(X) = oplus_{D} H^0 (X, O_X (D)), where the sum as above is taken over all Weil divisors of X contained in a fixed complete system of representatives of Cl(X). We prove that for any normal projective variety X, TC(X) is a UFD, this is a corollary of a more general theorem that is proved in the paper. (Berchtold and Haussen proved the unique factorization for a smooth variety independently.) We also prove that for X, the blow up of P^2 along a finite number of collinear points, TC(X) is Noetherian. We also give an example that TC(X) is not Noetherian but oplus_n H^0 (X, O(nD)) is Noetherian for any Weil divisor D.

math.AG↗
arXiv1998

Chow quotients and projective bundle formulas for Euler-Chow series

Given a projective algebraic variety $X$, let $Π_p(X)$ denote the monoid of effective algebraic equivalence classes of effective algebraic cycles on $X$. The $p$-th Euler-Chow series of $X$ is an element in the formal monoid-ring $Z[[Π_p(X)]]$ defined in terms of Euler characteristics of the Chow varieties $\cvpd{p}α{X}$ of $X$, with $α\inΠ_p(X)$. We provide a systematic treatment of such series, and give projective bundle formulas which generalize previous results by B. Lawson and S.S.Yau and Elizondo. The techniques used involve the Chow quotients introduced by Kapranov, and this allows the computation of various examples including some Grassmannians and flag varieties. There are relations between these examples and representation theory, and further results point to interesting connections between Euler-Chow series for certain varieties and the topology of the closure of moduli spaces $M_{0,n+1}$.

math.AG↗