http://arxiv.org/api/Yn+xNCThD0TtTJPR/EfnV4jORSA 2025-04-22T00:00:00-04:00 55246 90 15 http://arxiv.org/abs/2405.06612v2 2025-04-16T13:28:52Z 2024-05-10T17:20:08Z

We consider the notion of finite type-ness of a site introduced by Morel and Voevodsky, for the \'etale site of a field. For a given field $k$, we conjecture that the \'etale site of $Sm/k$ is of finite type if and only if the field $k$ admits a finite extension of finite cohomological dimension. We prove this conjecture in some cases, e.g. in the case when $k$ is countable, or in the case when the $p$-cohomological dimension $cd_p(k)$ is infinite for infinitely many primes $p$.

Sujeet Dhamore Amit Hogadi Rakesh Pawar 10.1016/j.jalgebra.2024.12.036 9 pages. Introduction revised. Appendix added Journal of Algebra (2025), vol. 668, pp. 265-277 http://arxiv.org/abs/2406.09434v2 2025-04-16T13:21:59Z 2024-06-07T15:39:05Z

In this article we prove the Sarkisov Program for co-rank one foliation with suitable singularities on normal projective threefolds. We also relate two foliated Mori fiber spaces with rank one foliations on normal projective threefolds in the spirit of the Sarkisov Program.

Roktim Mascharak 23 pages. Version 2: The results in Sections 2 and 3 have been generalized to apply to projective morphisms between quasi-projective varieties (with the domain having dimension 3). A new section has been added exploring examples. Main results remain unchanged. arXiv admin note: text overlap with arXiv:0905.0946 by other authors http://arxiv.org/abs/2411.03889v2 2025-04-16T13:05:39Z 2024-11-06T13:07:11Z

Chow polylogarithms are some special functions arising in explicit description of the Beilinson regulator map. The most interesting functional equation for this function reflects its vanishing on the boundary in the Bloch's cycle complex. We show that this functional equation formally follows from more simple ones, namely skew-symmetry, functoriality and multiplicativity. To prove this, we study some analogue of Bloch's cycle complex and establish for this complex an analogue Beilinson-Soule vanishing conjecture. A. Goncharov defined a group of functional equations for classical polylogarithms. We show that any such functional equation formally follows from functional equations for Chow polylogarithms stated above.

Vasily Bolbachan Some mistakes were corrected http://arxiv.org/abs/2504.12019v1 2025-04-16T12:23:06Z 2025-04-16T12:23:06Z

Let $R:= \Bbbk[x_1,\ldots,x_{n}]$ be a polynomial ring over a field $\Bbbk$, $I \subset R$ be a homogeneous ideal with respect to a weight vector $\omega = (\omega_1,\ldots,\omega_n) \in (\mathbb{Z}^+)^n$, and denote by $d$ the Krull dimension of $R/I$. In this paper we study graded free resolutions of $R/I$ as $A$-module whenever $A :=\Bbbk[x_{n-d+1},\ldots,x_n]$ is a Noether normalization of $R/I$. We exhibit a Schreyer-like method to compute a (non-necessarily minimal) graded free resolution of $R/I$ as $A$-module. When $R/I$ is a $3$-dimensional simplicial toric ring, we describe how to prune the previous resolution to obtain a minimal one. We finally provide an example of a $6$-dimensional simplicial toric ring whose Betti numbers, both as $R$-module and as $A$-module, depend on the characteristic of $\Bbbk$.

Ignacio García-Marco Philippe Gimenez Mario González-Sánchez 28 pages, 3 figures, 1 table http://arxiv.org/abs/2502.13507v2 2025-04-16T10:46:18Z 2025-02-19T07:51:28Z

In this paper we extend the concept of multiplicity from fake weighted projective spaces, as considered by Averkov, Kasprzyk, Lehmann and Nill in 2021, to Mori Dream Spaces, exploring interesting connections between the algebraic, geometric, and topological properties of these varieties. To this end, we introduce the weight group $G_Q$ and the weight modulus $|Q|$ of a complete toric variety. Their topological interpretation provides a framework for classifying Fano and $\mathbb{Q}$-Fano toric varieties, offering an alternative approach for a further understanding of this rich and fascinating area of algebraic geometry. In particular, we exhibit an algebraic interpretation of Batyrev's polar duality between Fano toric varieties as a direct sum decomposition of their common weight group.

Michele Rossi 58 pages, 2 figures. Fixed some typos and other minor changes http://arxiv.org/abs/2304.14675v4 2025-04-16T06:32:36Z 2023-04-28T08:06:35Z

In this note, we are interested in the Jacobian Conjecture. Following the results of L.M.~Dru$\dot{\rm z}$kowski, we consider some vector fields depending on a certain \'etale polynomial map. From results of semialgebraic geometry with the consideration of some integral curves of these vector fields, we deduce that an \'etale polynomial endomorphism is a polynomial automorphism.

Jean-Yves Charbonnel http://arxiv.org/abs/2504.11772v1 2025-04-16T05:24:55Z 2025-04-16T05:24:55Z

In this work, we provide a way of constructing new semiorthogonal decompositions using metric techniques (\`a la Neeman). Given a semiorthogonal decomposition on a category with a special kind of metric, which we call a compressible metric, we can construct new semiorthogonal decomposition on a category constructed from the given one using the aforementioned metric. In the algebro-geometric setting, this gives us a way of producing new semiorthogonal decompositions on various small triangulated categories associated to a scheme, if we are given one. In the general setting, the work is related to that of Sun-Zhang, while its applications to algebraic geometry are related to the work of Bondarko and Kuznetsov-Shinder.

Kabeer Manali Rahul http://arxiv.org/abs/2504.11768v1 2025-04-16T05:11:38Z 2025-04-16T05:11:38Z

We prove new Brown representability theorems for triangulated categories using metric techniques as introduced in the work of Neeman. In the setting of algebraic geometry, this gives us new representability theorems for homological and cohomological functors on the bounded derived category of coherent sheaves. To prove this result, we introduce a generalisation of the notion of an approximable triangulated category.

Kabeer Manali Rahul http://arxiv.org/abs/2504.11538v1 2025-04-15T18:11:42Z 2025-04-15T18:11:42Z

We characterize locally injective semialgebraic maps between two semialgebraic sets in terms of the induced homomorphism between their rings of (continuous) semialgebraic functions.

E. Baro J. F. Fernando J. M. Gamboa http://arxiv.org/abs/2504.11534v1 2025-04-15T18:07:03Z 2025-04-15T18:07:03Z

We study the relationships between several varieties parametrizing marked curves with differentials in the literature. More precisely, we prove that the space $\mathcal{B}_n$ of multiscale differentials of genus 0 with $n+1$ marked points of orders $(0,\ldots,0,-2)$ is a wonderful variety. This shows that the Chow ring of $\mathcal{B}_n$ is generated by the classes of a collection of smooth boundary divisors with normal crossings subject to simple and explicit linear and quadratic relations. Furthermore, we realize $\mathcal{B}_n$ as a subvariety of the space $\mathcal{A}_n$ of multiscale lines and prove that $\mathcal{B}_n$ can be realized as the normalized Chow quotient of $\mathcal{A}_n$ by a natural $\mathbb{C}^*$-action.

Prabhat Devkota Antonios-Alexandros Robotis Adrian Zahariuc 20 pages, 3 figures http://arxiv.org/abs/2504.11525v1 2025-04-15T18:00:00Z 2025-04-15T18:00:00Z

We propose an algebraic geometry-inspired approach for constructing entangled subspaces within the Hilbert space of a multipartite quantum system. Specifically, our method employs a modified Veronese embedding, restricted to the conic, to define subspaces within the symmetric part of the Hilbert space. By utilizing this technique, we construct the minimal-dimensional, non-orthogonal yet Unextendible Product Basis (nUPB), enabling the decomposition of the multipartite Hilbert space into a two-dimensional subspace, complemented by a Genuinely Entangled Subspace (GES) and a maximal-dimensional Completely Entangled Subspace (CES). In multiqudit systems, we determine the maximum achievable dimension of a symmetric GES and demonstrate its realization through this construction. Furthermore, we systematically investigate the transition from the conventional Veronese embedding to the modified one by imposing various constraints on the affine coordinates, which, in turn, increases the CES dimension while reducing that of the GES.

Masoud Gharahi Stefano Mancini 23 pages. Your comments are more than welcome http://arxiv.org/abs/2412.02460v2 2025-04-15T16:58:44Z 2024-12-03T14:00:47Z

A rational function on a real algebraic curve $C$ is called separating if it takes real values only at real points. Such a function defines a covering $\mathbb R C\to\mathbb{RP}^1$. Let $c_1,\dots,c_r$ be connected components of $\mathbb R C$. M. Kummer and K. Shaw defined the separating semigroup of $C$ as the set of all sequences $(d_1(f),\dots,d_r(f))$ where $f$ is a separating function and $d_i(f)$ is the degree of the restriction of $f$ to $c_i$. In the present paper we describe the separating semigroups of all genus 4 curves. For the proofs we consider the canonical embedding of $C$ into a quadric $X$ in $\mathbb P^3$ and apply Abel's theorem to 1-forms obtained as Poincar\'e residues at $C$ of certain meromorphic 2-forms on $X$.

S. Yu. Orevkov 10 pages. Version 2: numerous misprints are corrected and Section 3 is added http://arxiv.org/abs/2504.11382v1 2025-04-15T16:53:48Z 2025-04-15T16:53:48Z

The set of real matrices of upper-bounded rank is a real algebraic variety called the real generic determinantal variety. An explicit description of the tangent cone to that variety is given in Theorem 3.2 of Schneider and Uschmajew [SIAM J. Optim., 25 (2015), pp. 622-646]. The present paper shows that the proof therein is incomplete and provides four proofs. It also reviews equivalent descriptions of the tangent cone to that variety. Moreover, it shows that the tangent cone and the algebraic tangent cone to that variety coincide, which is not true for all real algebraic varieties.

Guillaume Olikier Petar Mlinarić P. -A. Absil André Uschmajew http://arxiv.org/abs/2504.11345v1 2025-04-15T16:16:38Z 2025-04-15T16:16:38Z

The notion of Erzeugungsgrad was introduced by Joos Heintz in 1983 to bound the number of non-empty cells occurring after a process of quantifier elimination. We extend this notion and the combinatorial bounds of Theorem 2 in Heintz (1983) using the degree for constructible sets defined in Pardo-Sebasti\'an (2022). We show that the Erzeugungsgrad is the key ingredient to connect affine Intersection Theory over algebraically closed fields and the VC-Theory of Computational Learning Theory for families of classifiers given by parameterized families of constructible sets. In particular, we prove that the VC-dimension and the Krull dimension are linearly related up to logarithmic factors based on Intersection Theory. Using this relation, we study the density of correct test sequences in evasive varieties. We apply these ideas to analyze parameterized families of neural networks with rational activation function.

Luis Miguel Pardo Daniel Sebastián 50 pages http://arxiv.org/abs/2504.11260v1 2025-04-15T14:59:26Z 2025-04-15T14:59:26Z

We investigate the system of polynomial equations, known as $QQ$-systems, which are closely related to the so-called Bethe ansatz equations of the XXZ spin chain, using the methods of tropical geometry.

Rahul Singh Anton M. Zeitlin 22 pages