Related papers: Equivariant intermediate Jacobians and intersectio…
Let X be a non-empty finite set, E be a finite dimensional euclidean vector space and G a finite subgroup of O(E), the orthognal group of E. Suppose GG={U_i | i in X} is a finite set of linear lines in E and an orbit of G on which its…
Let $G$ be a finite group and $\mathcal{C}$ a normal subset of $G$. The Gill-Guillot graph has vertices $\mathcal C$ and $x, y \in \mathcal C$ are adjacent if and only if $x$ and $y$ commute and $\{xy^{-1},x^{-1}y\} \cap \mathcal C$ is…
We prove the following: (a) Let X be a smooth, codimension two subvariety of P6. If X lies on a hyperquintic or if deg(X)<74, then X is a complete intersection. (b) Let X be a smooth, subcanonical threefold in P5. If X lies on a…
Let $G$ be a compact Lie group. We prove that if $V$ and $W$ are orthogonal $G$-representations such that $V^G=W^G=\{0\}$, then a $G$-equivariant map $S(V) \to S(W)$ exists provided that $\dim V^H \leq \dim W^H$ for any closed subgroup…
We prove that a smooth, subcanonical surface of P^4 (projective space over an algebraically closed field of characteristic zero) is complete intersection if it is contained in a quartic hypersurface.
We prove that any arithmetically Gorenstein curve on a smooth, general hypersurface $X\subset \bbP^{4}$ of degree at least 6, is a complete intersection. This gives a characterisation of complete intersection curves on general type…
We apply the specialization technique based on the decomposition of the diagonal to find an explicit example over $\mathbb{Q}$ of a quadric and cubic hypersurface in $\mathbb{P}^6$ such that their intersection is a smooth stably irrational…
This paper applies the decomposition theorem in intersection cohomology to geometric invariant theory quotients, relating the intersection cohomology of the quotient to that of the semistable points for the action. Suppose a connected…
In this paper we show that if S is a simple classical group, a group G is contained in inner-diagonal automorphisms of S and contains S, and H is a solvable Hall subgroup of G, then there exists five conjugates of H, whose intersection is…
The study of $G$-equivariant operators is of great interest to explain and understand the architecture of neural networks. In this paper we show that each linear $G$-equivariant operator can be produced by a suitable permutant measure,…
Given a smooth plane quartic curve C over a field k of characteristic 0, with Jacobian variety J, and a marked rational point P of C(k), we construct a reductive group G and a G-variety X, together with an injection J(k)/2J(k) -> G(k)\X(k).…
We give necessary and sufficient criteria for a smooth Enriques surface S in P^r to be scheme-theoretically an intersection of quadrics. Moreover we prove in many cases that, when S contains plane cubic curves, the intersection of the…
We consider the complexity of the recognition problem for two families of combinatorial structures. A graph $G=(V,E)$ is said to be an intersection graph of lines in space if every $v\in V$ can be mapped to a straight line $\ell (v)$ in…
The intersection graph of a group $G$ is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper non-trivial subgroups of $G$, and there is an edge between two distinct vertices $H$…
Our purpose is to study the family of simple undirected graphs whose toric ideal is a complete intersection from both an algorithmic and a combinatorial point of view. We obtain a polynomial time algorithm that, given a graph $G$, checks…
We study the tensor-triangular geometry of the category of equivariant $G$-spectra for $G$ a profinite group, $\mathsf{Sp}_G$. Our starting point is the construction of a ``continuous'' model for this category, which we show agrees with all…
Let $U$ be a graded unipotent group over the complex numbers, in the sense that it has an extension $\hat{U}$ by the multiplicative group such that the action of the multiplicative group by conjugation on the Lie algebra of $U$ has all its…
Let $S$ be a smooth irreducible curve defined over $\overline{\mathbb{Q}}$, let $\mathcal{A}$ be an abelian scheme over $S$ and $\mathcal{C}$ a curve inside $\mathcal{A}$, both defined over $\overline{\mathbb{Q}}$. In this paper we prove…
We prove the Hasse principle for a smooth proper model of a geometrically integral non-conical intersection of two quadrics in the projective space of dimension 7 over a number field. This result generalizes the result of Heath-Brown who…
We show that an invariant surface allows to construct the Jacobi vector field along a geodesic and construct the formula for the normal component of the Jacobi field. If a geodesic is the transversal intersection of two invariant surfaces…