The canonical strip phenomenon for complete intersections in homogeneous spaces

Laurent Manivel

DOI: https://doi.org/10.48550/arXiv.0904.2470

2009-04-16

Abstract:We show that a refined version of Golyshev's canonical strip hypothesis does hold for the Hilbert polynomials of complete intersections in rational homogeneous spaces.

Algebraic Geometry,Representation Theory

What problem does this paper attempt to address?

Criteria for complete intersections

Mihai Halic

DOI: https://doi.org/10.48550/arXiv.1907.11121

2020-11-29

Abstract:We obtain criteria for detecting complete intersections in projective varieties. Motivated by a conjecture of Hartshorne concerning subvarieties of projective spaces, we investigate situations when two-codimensional smooth subvarieties of rational homogeneous varieties are complete intersections.

Algebraic Geometry
Local Complete Intersections and Weierstrass Points

André Contiero,Sarah Mazzini

2024-02-04

Abstract:This work presents a simple proof that the moduli space of complete integral Gorenstein curves with a prescribed symmetric Weierstrass semigroup becomes a weighted projective space, even for fields of positive characteristic, when the associated monomial curve is a local complete intersection.

Algebraic Geometry,Commutative Algebra,Complex Variables
Complete intersections and rational equivalence

R.Barlow

DOI: https://doi.org/10.48550/arXiv.alg-geom/9608015

1996-08-20

Abstract:Two cycles on a projective variety over an algebraically closed field are shown to be rationally equivalent if and only if their difference equals a difference of complete intersections of a certain kind. Some of Bloch's conjectures for zero-cycles on surfaces can be restated more geometrically, which leads to several questions.

Algebraic Geometry
Projective embeddings of homogeneous spaces with small boundary

Ivan V. Arzhantsev

DOI: https://doi.org/10.1070/IM2009v073n03ABEH002453

2008-01-14

Abstract:We study open equivariant projective embeddings of homogeneous spaces such that the complement of the open orbit does not contain divisors. Criterions of existence of such an embedding are considered and finiteness of isomorphism classes of embeddings for a given homogeneous space is proved. Any embedding with small boundary is realized as a GIT-quotient associated with a linearization of the trivial line bundle on the space of the canonical embedding. The generalized Cox's construction and the theory of bunched rings allow us to describe basic geometric properties of embeddings with small boundary in combinatorial terms.

Algebraic Geometry,Commutative Algebra
Rational curves on complete intersections in positive characteristic

Eric Riedl,Matthew Woolf

DOI: https://doi.org/10.1016/j.jalgebra.2017.09.025

IF: 0.908

2018-01-01

Journal of Algebra

Abstract:We study properties of rational curves on complete intersections in positive characteristic. It has long been known that in characteristic 0, smooth Calabi–Yau and general type varieties are not uniruled. In positive characteristic, however, there are well-known counterexamples to this statement. We will show that nevertheless, a general Calabi–Yau or general type complete intersection in projective space is not uniruled. We will also show that the space of complete intersections of degree (d1,⋯,dk) containing a rational curve has codimension at least ∑i=1kdi−2n+2 and give similar results for hypersurfaces containing higher genus curves.

mathematics
Invariant rings of the special orthogonal group have nonunimodal $h$-vectors

Aldo Conca,Anurag K. Singh,Matteo Varbaro

2024-08-06

Abstract:For $K$ an infinite field of characteristic other than two, consider the action of the special orthogonal group $\operatorname{SO}_t(K)$ on a polynomial ring via copies of the regular representation. When $K$ has characteristic zero, Boutot's theorem implies that the invariant ring has rational singularities; when $K$ has positive characteristic, the invariant ring is $F$-regular, as proven by Hashimoto using good filtrations. We give a new proof of this, viewing the invariant ring for $\operatorname{SO}_t(K)$ as a cyclic cover of the invariant ring for the corresponding orthogonal group; this point of view has a number of useful consequences, for example it readily yields the $a$-invariant and information on the Hilbert series. Indeed, we use this to show that the $h$-vector of the invariant ring for $\operatorname{SO}_t(K)$ need not be unimodal.

Commutative Algebra
Effective zero-cycles and the Bloch-Beilinson filtration

Olivier Martin,Charles Vial

2024-06-11

Abstract:A conjecture of Voisin states that two points on a smooth projective complex variety whose algebra of holomorphic forms is generated in degree 2 are rationally equivalent to each other if and only if their difference lies in the third step of the Bloch-Beilinson filtration. In this note, we formulate a generalization that allows for rational equivalence of effective zero-cycles of higher degree, at the expense of looking deeper in the Bloch-Beilinson filtration. In the first half, we provide evidence in support of this conjecture in the case of abelian varieties and projective hyper-Kähler manifolds. Notably, we give explicit criteria for rational equivalence of effective zero-cycles on moduli spaces of semistable sheaves on K3 surfaces, generalizing that of Marian-Zhao. In the second half, in an effort to explain our main conjecture, we formulate a second conjecture predicting when the diagonal of a smooth projective variety belongs to a subalgebra of the ring of correspondences generated in low degree.

Algebraic Geometry
Just-likely intersections on Hilbert modular surfaces

Asvin G.,Qiao He,Ananth N. Shankar

2024-01-17

Abstract:In this paper, we prove an intersection-theoretic result pertaining to curves in certain Hilbert modular surfaces in positive characteristic. Specifically, we show that given two appropriate curves C,D parameterizing abelian surfaces with real multiplication, the set of points (x,y) in the product CxD with surfaces parameterized by x and y isogenous to each other is Zariski dense in C x D, thereby proving a case of a just-likely intersection conjecture. We also compute the change in Faltings height under appropriate p-power isogenies of abelian surfaces with real multiplication over characteristic p global fields.

Algebraic Geometry,Number Theory
On the Hasse principle for complete intersections

Matthew Northey,Pankaj Vishe,Vishe,Pankaj

DOI: https://doi.org/10.1112/s0010437x23007698

2024-03-06

Compositio Mathematica

Abstract:We prove the Hasse principle for a smooth projective variety defined by a system of two cubic forms as long as . The main tool here is the development of a version of Kloosterman refinement for a smooth system of equations defined over .

mathematics
Cohomological characterizations of the complex projective space

Olivier Debarre

DOI: https://doi.org/10.48550/arXiv.1512.04321

2015-12-14

Abstract:In this survey, we discuss whether the complex projective space can be characterized by its integral cohomology ring among compact complex manifolds.

Algebraic Geometry
Positivity of Intersections and Tameness of Almost Complex 4-manifolds

Spencer Cattalani

2024-01-31

Abstract:We prove that pseudoholomorphic curves intersect complex 2-cycles positively in almost complex 4-manifolds. This makes possible a general and conceptually simple proof that an almost complex 4-manifold with many curves admits a taming symplectic structure, as envisioned by Gromov. Furthermore, we prove that the positivity of intersections between pseudoholomorphic curves is stable, in a geometric sense.

Symplectic Geometry,Differential Geometry
Rational curves on complete intersections and the circle method

Tim Browning,Pankaj Vishe,Shuntaro Yamagishi

2024-04-17

Abstract:We study the geometry of the space of rational curves on smooth complete intersections of low degree, which pass through a given set of points on the variety. The argument uses spreading out to a finite field, together with an adaptation to function fields of positive characteristic of work by Rydin Myerson on the circle method. Our work also allows us to handle weak approximation for such varieties.

Algebraic Geometry,Number Theory
Canonical torsor bundles of prescribed rational functions on complex curves

A. Zuevsky

DOI: https://doi.org/10.1142/s0129055x24500387

2024-08-21

Reviews in Mathematical Physics

Abstract:Reviews in Mathematical Physics, Ahead of Print. The prescribed rational functions constitute a subset of rational functions satisfying certain symmetry and analyticity conditions. Over a smooth complex curve [math], we construct explicitly a bundle [math] with values in the prescribed rational functions. An intrinsic coordinate-independent formulation (the main result of the paper, Proposition 1) for such bundles is given. The construction presented in this paper is useful for studies of the canonical cosimplicial cohomology of infinite-dimensional Lie algebras on smooth manifolds, as well as for the purposes of conformal field theory and the theory of foliations.

physics, mathematical
The Hilbert series of the superspace coinvariant ring

Brendon Rhoades,Andrew Timothy Wilson

DOI: https://doi.org/10.1017/fmp.2024.14

2024-10-19

Forum of Mathematics Pi

Abstract:Let be the ring of polynomial-valued holomorphic differential forms on complex n-space, referred to in physics as the superspace ring of rank n. The symmetric group acts diagonally on by permuting commuting and anticommuting generators simultaneously. We let be the ideal generated by -invariants with vanishing constant term and study the quotient of superspace by this ideal. We calculate the doubly-graded Hilbert series of and prove an 'operator theorem', which characterizes the harmonic space attached to in terms of the Vandermonde determinant and certain differential operators. Our methods employ commutative algebra results that were used in the study of Hessenberg varieties. Our results prove conjectures of N. Bergeron, Colmenarejo, Li, Machacek, Sulzgruber, Swanson, Wallach and Zabrocki.

mathematics, applied
Towards a characterization of the inverse systems of complete intersections

Joan Elias

2024-05-30

Abstract:In this paper we give conditions on a homogeneous polynomial for which the associated graded Artin algebra is a complete intersection.

Commutative Algebra
On the smoothability problem with rational coefficients

Olivier Benoist,Claire Voisin

2024-10-20

Abstract:We consider the problem of smoothing algebraic cycles with rational coefficients on smooth projective complex varieties up to homological equivalence. We show that a solution to this problem would be incompatible with the validity of the Hartshorne conjecture on complete intersections in projective space. We also solve unconditionally a symplectic variant of this problem.

Algebraic Geometry
On polynomial invariant rings in modular invariant theory

Manoj Kummini,Mandira Mondal

2024-06-24

Abstract:Let $\Bbbk$ be a field of characteristic $p>0$, $V$ a finite-dimensional $\Bbbk$-vector-space, and $G$ a finite $p$-group acting $\Bbbk$-linearly on $V$. Let $S = \Sym V^*$. We show that $S^G$ is a polynomial ring if and only if the dimension of its singular locus is less than $\rank_\Bbbk V^G$. Confirming a conjecture of Shank-Wehlau-Broer, we show that if $S^G$ is a direct summand of $S$, then $S^G$ is a polynomial ring, in the following cases: \begin{enumerate} \item $\Bbbk = \bbF_p$ and $\rank_\Bbbk V^G = 4$; or \item $|G| = p^3$. \end{enumerate} In order to prove the above result, we also show that if $\rank_\Bbbk V^G \geq \rank_\Bbbk V - 2$, then the Hilbert ideal $\hilbertIdeal_{G,S}$ is a complete intersection.

Commutative Algebra
Non-cyclicity and polynomials in Dirichlet-type spaces of the unit ball

Dimitrios Vavitsas,Konstantinos Zarvalis

2024-05-06

Abstract:We give a description of the intersection of the zero set with the unit sphere of a zero-free polynomial in the unit ball of $\mathbb{C}^n$. This description leads to the formulation of a conjecture regarding the characterization of polynomials that are cyclic in Dirichlet-type spaces in the unit ball of $\mathbb{C}^n$. Furthermore, we answer partially ascertaining whether an arbitrary polynomial is not cyclic.

Complex Variables
Slices of Stable Polynomials and Connections to the Grace-Walsh-Szegő theorem

Sebastian Debus,Cordian Riener,Robin Schabert

2024-11-21

Abstract:Univariate polynomials are called stable with respect to a circular region $\mathcal{A}$, if all of their roots are in $\mathcal{A}$. We consider the special case where $\mathcal{A}$ is a half-plane and investigate affine slices of the set of stable polynomials. In this setup, we show that an affine slice of codimension $k$ always contains a stable polynomial that possesses at most $2(k+2)$ distinct roots on the boundary and at most $(k+2)$ distinct roots in the interior of $\mathcal{A}$. This result also extends to affine slices of weakly Hurwitz polynomials. Subsequently, we apply these results to symmetric polynomials and varieties. Here we show that it is necessary and sufficient for a variety described by polynomials in few multiaffine polynomials to contain points in $\mathcal{A}^n$ with few distinct coordinates for its intersection with $\mathcal{A}^n$ being non-empty. This is at the same time a generalization of the degree principle to stable polynomials and a result similar to Grace-Walsh-Szegő's coincidence theorem on multiaffine symmetric polynomials.

Algebraic Geometry

The canonical strip phenomenon for complete intersections in homogeneous spaces

Criteria for complete intersections

Local Complete Intersections and Weierstrass Points

Complete intersections and rational equivalence

Projective embeddings of homogeneous spaces with small boundary

Rational curves on complete intersections in positive characteristic

Invariant rings of the special orthogonal group have nonunimodal $h$-vectors

Effective zero-cycles and the Bloch-Beilinson filtration

Just-likely intersections on Hilbert modular surfaces

On the Hasse principle for complete intersections

Cohomological characterizations of the complex projective space

Positivity of Intersections and Tameness of Almost Complex 4-manifolds

Rational curves on complete intersections and the circle method

Canonical torsor bundles of prescribed rational functions on complex curves

The Hilbert series of the superspace coinvariant ring

Towards a characterization of the inverse systems of complete intersections

On the smoothability problem with rational coefficients

On polynomial invariant rings in modular invariant theory

Non-cyclicity and polynomials in Dirichlet-type spaces of the unit ball

Slices of Stable Polynomials and Connections to the Grace-Walsh-Szegő theorem