Let p be a prime, k be a field of characteristic different from p containing a primitive p-th root of unity and N be the normalizer of the maximal torus in the projective linear group PGLn. We compute the exact value of the essential dimension ed(N;p) of N at p for every n.
Let $G$ be a simple algebraic group over an algebraically closed field $K$ and let $N = N_G(T)$ be the normalizer of a fixed maximal torus $T\leq G$. Further, let $U$ be the unipotent radical of a fixed Borel subgroup $B$ that contains $T$ and let $U^-$ be the unipotent radical of the opposite Borel subgroup $B^-$. The Bruhat decomposition implies the decomposition $G = NU^-UN$. The Zariski closed subset $U^-U\subset G$ is isomorphic to the affine space $A_K^m$ where $m = \dim G -\dim T$ is the number of roots in the corresponding root system. Here we construct a subgroup $\mathcal{N}\leq \ope…
Hartshorne's conjecture about vector bundles on projective space states that any rank 2 vector bundle on n-dimensional projective space splits as soon as n is at least 7. Klyachko has shown that Hartshorne's conjecture is true when the vector bundles are torus equivariant. Moreover, recent work of Ilten and Süss generalizes Klyachko's work to the case of a smaller rank torus action on projective space. In this note we give a new, direct proof that torus rank 2 bundles split that avoids a description of the category of torus equivariant vector bundles.
We introduce the notion of a tropical coamoeba which gives a combinatorial description of the Fukaya category of the mirror of a toric Fano stack. We show that the polyhedral decomposition of a real n-torus into (n + 1) permutohedra gives a tropical coamoeba for the mirror of the projective space, and prove a torus-equivariant version of homological mirror symmetry for the projective space. As a corollary, we obtain homological mirror symmetry for toric orbifolds of the projective space.
We study the equivariant cobordism rings for the action of a torus $T$ on smooth varieties over an algebraically closed field of characteristic zero. We prove a theorem describing the rational $T$-equivariant cobordism rings of smooth projective $G$-spherical varieties with the action of a maximal torus $T$ of $G$. As an application, we obtain explicit presentations for the rational equivariant cobordism rings of smooth projective horospherical varieties of Picard number one.
We define weighted projective Reed-Muller codes over a subset of weighted projective space over a finite field. We focus on the case when the set X is a projective weighted torus. We show that the vanishing ideal of X is a lattice ideal and relate it with the lattice ideal of a minimal presentation of the semigroup algebra of Q, the numerical semigroup generated by the weights of the projective space. We compute the index of regularity of the vanishing ideal as function of the weights and the Frobenius number of Q. We compute the basic parameters of weighted projective Reed-Muller codes over a…
In this paper, for any Milnor hypersurface we find the largest dimension of effective algebraic torus actions on it. The proof of the corresponding theorem is based on the computation of the automorphism group for any Milnor hypersurface. We find all generalised Buchstaber-Ray and Ray hypersurfaces that are toric varieties. We compute the Betti numbers of these hypersurfaces and describe their integral singular cohomology rings in terms of the cohomology of the corresponding ambient varieties.
Let $X$ be a connected compact complex manifold admitting a finite surjective map $A \to X$ from a complex torus $A.$ We prove that up to finite étale cover, $X$ is a product of projective spaces and a torus.
Complex projective algebraic varieties with $\mathbb{C}^*$-actions can be thought of as geometric counterparts of birational transformations. In this paper we describe geometrically the birational transformations associated to rational homogeneous varieties endowed with a $\mathbb{C}^*$-action with no proper isotropy subgroups.
Let $G=SL(n, \mathbb{C}),$ and $T$ be a maximal torus of $G,$ where $n$ is a positive even integer. In this article, we study the GIT quotients of the Schubert varieties in the Grassmannian $G_{2,n}.$ We prove that the GIT quotients of the Richardson varieties in the minimal dimensional Schubert variety admitting stable points in $G_{2,n}$ are projective spaces. Further, we prove that the GIT quotients of certain Richardson varieties in $G_{2,n}$ are projective toric varieties. Also, we prove that the GIT quotients of the Schubert varieties in $G_{2,n}$ have at most finite set of singular poin…
Let $G$ be a simple algebraic group of adjoint type over $\mathbb C$, and let $M$ be the wonderful compactification of a symmetric space $G/H$. Take a $\widetilde G$--equivariant principal $R$--bundle $E$ on $M$, where $R$ is a complex reductive algebraic group and $\widetilde G$ is the universal cover of $G$. If the action of the isotropy group $\widetilde H$ on the fiber of $E$ at the identity coset is irreducible, then we prove that $E$ is polystable with respect to any polarization on $M$. Further, for wonderful compactification of the quotient of $\text{PSL}(n,{\mathbb C})$, $n\,\neq\, 4$…
We study families of $K3$ surfaces obtained by double covering of the projective plane branching along curves of $(2,3)$-torus type. In the first part, we study the Picard lattices of the families, and a lattice duality of them. In the second part, we describe a deformation of singularities of Gorenstein $K3$ surfaces in these families.
Harmonic band theory: rigidity of non-zero degree harmonic maps from 2-torus to complex projective space
Osaka Metropolitan University(大阪公立大学);Instituto Superior Técnico, Universidade de Lisboa(里斯本大学高等技术学院);Advanced Institute for Materials Research (WPI-AIMR), Tohoku University(东北大学物质材料研究高层研究所(WPI-AIMR))
In this paper we find the second generalized Hamming weight of some evaluation codes arising from a projective torus, and it allows to compute the second generalized Hamming weight of the codes parameterized by the edges of any complete bipartite graph. Also, at the beginning, we obtain some results about the generalized Hamming weights of some evaluation codes arising from a complete intersection when the minimum distance is known and they are non--degenerate codes. Finally we give an example where we use these results to determine the complete weight hierarchy of some codes.
Let $X$ be a smooth projective connected curve of genus $g\ge 2$ defined over an algebraically closed field $k$ of characteristic $p>0$. Let $G$ be a finite group, $P$ a Sylow $p$-subgroup of $G$ and $N_G(P)$ its normalizer in $G$. We show that if there exists an étale Galois cover $Y\to X$ with group $N_G(P)$, then $G$ is the Galois group wan étale Galois cover $\mathcal{Y}\to\mathcal{X}$, where the genus of $\mathcal{X}$ depends on the order of $G$, the number of Sylow $p$-subgroups of $G$ and $g$. Suppose that $G$ is an extension of a group $H$ of order prime to $p$ by a $p$-group $P$ and $…
Let X be a smooth projective variety with the action of the n dimensional torus. The article describes the moduli space of torus equivariant morphisms from stable toric varieties into X as the inverse limit of the GIT quotients of X and their flips when these spaces are enhanced with a naturally associated Deligne-Mumford stack structure. This description is used for constructing a class in the Chow group of the moduli space of dimension dim(X)-n which is invariant to equivariant deformations of X.
For a Lagrangian torus A in a simply-connected projective symplectic manifold M, we prove that M has a hypersurface disjoint from a deformation of A. This implies that a Lagrangian torus in a compact hyperkähler manifold is a fiber of an almost holomorphic Lagrangian fibration, giving an affirmative answer to a question of Beauville's. Our proof employs two different tools: the theory of action-angle variables for algebraically completely integrable Hamiltonian systems and Wielandt's theory of subnormal subgroups.
We study a variation of Mumford's quotient for the action of a maximal torus $T$ on a flag variety $G/B$ depending on projective embedding $G/B \hookrightarrow \Bbb P(V(χ))$, where $T$-linearization is induced by the standard $G$-linearization. We describe the linear spans of the supports of semistable orbits, that allow us to calculate the rank of the Picard group of quotient $(G/B)^{ss}//T$, when $G$ does not contain simple factors of type $A_n$.
We show that for a reductive group $G$ over a field $k$ the $\mathbb{A}^1$-Euler characteristic of the variety of maximal tori in $G$ is an invertible element of the Grothendieck-Witt ring $\mathrm{GW}(k)$, settling the weak form of a conjecture by Fabien Morel. As an application we obtain a generalized splitting principle which allows one to reduce the structure group of a Nisnevich locally trivial $G$-torsor to the normalizer of a maximal torus.
We describe here the lower garland of some lattices of intermediate subgroups in linear groups. The results are applied to the case of subgroup lattices in general and special linear groups over a class of rings, containing the group of rational points T of a maximal non-split torus in the corresponding algebraic group. It turns out that these garlands coincide with the interval of the whole lattice, consisting of subgroups between T and its normalizer.
Consider an algebraic action of a connected complex reductive algebraic group on a complex polarized projective variety. In this paper, we first introduce the nilpotent quotient, the quotient of the polarized projective variety by a maximal unipotent subgroup. Then, we introduce and investigate three induced actions: one by the reductive group, one by a Borel subgroup, and one by a maximal torus, respectively. Our main result is that there are natural correspondences among quotients of these three actions. In the end, we mention a possible application to the moduli spaces of parabolic bundles …
Let T be a torus over an algebraically closed field k of characteristic 0, and consider a projective T-module P(V). We determine when a projective toric subvariety X of P(V) is self-dual, in terms of the configuration of weights of V.
We present an explicit expression for the normalized height of a projective toric variety. This expression decomposes as a sum of local contributions, each term being the integral of a certain function, concave and piecewise linear-affine. More generally, we obtain an explicit expression for the normalized multiheight of a torus with respect to several monomial embeddings. The set of functions introduced behaves as an arithmetic analog of the polytope classically associated with the torus action. Besides the formulae for the height and multiheight, we show that this object behaves in a natural…
Semisimple representations of the free product Z_p*Z_q determine θ-semistable representations of a specific quiver Q_pq. The dimension vectors of θ-stable representations of this quiver were classified by Le Bruyn and Adriaenssens. In this paper we classify the moduli spaces M_α^ss(Q_pq,θ) which are smooth projective varieties.
Let $G=Spin(8n, \mathbb{C})(n\ge 1)$ and $T_{G}$ be a maximal torus of $G.$ Let $P^{α_{4n}}(\supset T_{G})$ be the maximal parabolic subgroup of $G$ corresponding to the simple root $α_{4n}.$ Let $X$ be a Schubert variety in $G/P^{α_{4n}}$ admitting semi-stable point with respect to the $T$-linearized very ample line bundle $\mathcal{L}(2ω_{4n}).$ Let $R=\bigoplus_{k \in \mathbb{Z}_{\geq 0}}R_k,$ where $R_k=H^{0}(X, \mathcal{L}^{\otimes k}(2ω_{4n}))^{T_{G}}.$ In this article, we prove that for $n=1$ and $X=G/P^{α_4},$ the graded $\mathbb{C}$-algebra $R$ is generated by $R_1.$ As a consequence,…
Let $\overline G$ be the wonderful compactification of a simple affine algebraic group $G$ of adjoint type defined over $\mathbb C.$ Let ${\overline T}\subset \overline G$ be the closure of a maximal torus $T\subset G.$ We prove that the group of all automorphisms of the variety $\overline T$ is the semi-direct product $N_G(T)\rtimes D,$ where $N_G(T)$ is the normalizer of $T$ in $G$ and $D$ is the group of all automorphisms of the Dynkin diagram, if $G\not= {\rm PSL}(2,\mathbb{C})$. Note that if $G = {\rm PSL}(2,\mathbb{C})$, then $\overline{T} = {\mathbb C}{\mathbb P}^1$ and so in this case …
Generalizing the star graphs of Müller-Stach and Westrich, we describe a class of graphs whose associated graph hypersurface is equipped with a non-trivial torus action. For such graphs, we show that the Euler characteristic of the corresponding projective graph hypersurface complement is zero. In contrast, we also show that the Euler characteristic in question can take any integer value for a suitable graph. This disproves a conjecture of Aluffi in a strong sense.
Let $G=SO(8n+4,\mathbb{C})$ ($n\ge 1$). Let $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G.$ Let $P (\supset B)$ denote the maximal parabolic subgroup of $G$ corresponding to the simple root $α_{4n+2}$. In this article, we prove projective normality of the GIT quotients of certain Schubert varieties in the orthogonal Grassmannian $G/P$ with respect to the descent of a suitable $T$-linearized very ample line bundle.
We prove two results relating 3-manifold groups to fundamental groups occurring in complex geometry. Let N be a compact, connected, orientable 3-manifold. If N has non-empty, toroidal boundary, and π_1(N) is a Kaehler group, then N is the product of a torus with an interval. On the other hand, if N has either empty or toroidal boundary, and π_1(N) is a quasi-projective group, then all the prime components of N are graph manifolds.
By a result of Klyachko the Euler characteristic of moduli spaces of stable bundles of rank two on the projective plane is determined. Using similar methods we extend this result to bundles of rank three. The fixed point components correspond to moduli spaces of the subspace quiver. Moreover, the stability condition is given by a certain system of linear inequalities so that the generating function of the Euler characteristic can be determined explicitly.
This paper contains an attempt to formulate rigorously and to check predictions in enumerative geometry of curves following from Mirror Symmetry. The main tool is a new notion of stable map. We give an outline of a contsruction of Gromov-Witten invariants for all algebraic projective or closed symplectic manifolds. Mirror Symmetry in the basic example of rational curves on a quintic 3-folds is reduced to certain complicated but explicit identity. The strategy of computations can be described as follows: 1) we reduce counting problems to questions concerning Chern classes on spaces of curves on…
We show that certain isomorphisms of (twisted) KR-groups that underlie T-dualities of torus orientifold string theories have purely algebraic analogues in terms of algebraic K-theory of real varieties and equivalences of derived categories of (twisted) coherent sheaves. The most interesting conclusion is a kind of Mukai duality in which the "dual abelian variety" to a smooth projective genus-1 curve over R with no real points is (mildly) noncommutative.
For Gorenstein quotient spaces $C^d/G$, a direct generalization of the classical McKay correspondence in dimensions $d\geq 4$ would primarily demand the existence of projective, crepant desingularizations. Since this turned out to be not always possible, Reid asked about special classes of such quotient spaces which would satisfy the above property. We prove that the underlying spaces of all Gorenstein abelian quotient singularities, which are embeddable as complete intersections of hypersurfaces in an affine space, have torus-equivariant projective crepant resolutions in all dimensions. We us…
We prove two results about the natural representation of a group G of automorphisms of a normal projective threefold X on its second cohomology. We show that if X is minimal then G, modulo a normal subgroup of null entropy, is embedded as a Zariski-dense subset in a semi-simple real linear algebraic group of real rank < 3. Next, we show that X is a complex torus if the image of G is an almost abelian group of positive rank and the kernel is infinite, unless X is equivariantly non-trivially fibred.
Let X be a subset of a projective space, over a finite field K, which is parameterized by the monomials arising from the edges of a clutter. Let I(X) be the vanishing ideal of X. It is shown that I(X) is a complete intersection if and only if X is a projective torus. In this case we determine the minimum distance of any parameterized linear code arising from X.
We explain how to calculate the correlation function for SYM N=2 SO(3)-gauge QFT with 4 flavors in terms of top Chern classes of the universal bundles over the moduli spaces of rank 2 stable torsion free coherent sheaves with det=-1 on the complex projective plane. We give a direct geometrical description of these moduli spaces, study a 2-dimensional torus action on them, and calculate several initial coefficients of the correlation function via Bott residue formula.
This article gives a characterization of quotients of complex tori by finite groups acting freely in codimension two in terms of a numerical vanishing condition on the first and second Chern class. This generalizes results previously obtained by Greb--Kebekus--Peternell in the projective setting, and by Kirschner and the second author in dimension three. As a key ingredient to the proof, we obtain a version of the Bogomolov--Gieseker inequality for stable sheaves on singular spaces, including a discussion of the case of equality.