Searcharxiv⌕ Search

arXiv subjects

Johannes Hofscheier

Publications and source records attributed to Johannes Hofscheier.

26 records · Page 2Linked to original sources

Containment Relations among Spherical Subgroups

A closed subgroup $H$ of a connected reductive group $G$ is called $\textit{spherical}$ if a Borel subgroup in $G$ has an open orbit on $G/H$. We give a combinatorial characterization for a spherical subgroup to be contained in another one which generalizes previous work by Knop. As an application, we compute the Luna datum of the identity component of a spherical subgroup which yields a characterization of connectedness for spherical subgroups.

math.AG↗

Ehrhart Theory of Spanning Lattice Polytopes

A lattice polytope is called spanning if its lattice points affinely span the ambient lattice. We show as a corollary to a general result in the Ehrhart theory of lattice polytopes that the $h^*$-vector of a spanning lattice polytope has no gaps, i. e., $h^*_i =0$ implies $h^*_{i+1}=0$. This generalizes a recent result by Blekherman, Smith, and Velasco, and implies a polyhedral consequence of the Eisenbud-Goto conjecture. We also discuss how this relates to unimodality questions of lattice polytopes and previously achieved decomposition results on lattice polytopes of given degree.

math.CO↗

On Ehrhart polynomials of lattice triangles

The Ehrhart polynomial of a lattice polygon P is completely determined by the pair (b(P),i(P)) where b(P) equals the number of lattice points on the boundary and i(P) equals the number of interior lattice points. All possible pairs (b(P),i(P)) are completely described by a theorem due to Scott. In this note, we describe the shape of the set of pairs (b(T),i(T)) for lattice triangles T by finding infinitely many new Scott-type inequalities.

math.CO↗

The generalized Mukai conjecture for symmetric varieties

We associate to any complete spherical variety $X$ a certain nonnegative rational number $\wp(X)$, which we conjecture to satisfy the inequality $\wp(X) \le \operatorname{dim} X - \operatorname{rank} X$ with equality holding if and only if $X$ is isomorphic to a toric variety. We show that, for spherical varieties, our conjecture implies the generalized Mukai conjecture on the pseudo-index of smooth Fano varieties due to Bonavero, Casagrande, Debarre, and Druel. We also deduce from our conjecture a smoothness criterion for spherical varieties. It follows from the work of Pasquier that our conjecture holds for horospherical varieties. We are able to prove our conjecture for symmetric varieties.

math.AG↗

Gorenstein spherical Fano varieties

We obtain a combinatorial description of Gorenstein spherical Fano varieties in terms of certain polytopes, generalizing the combinatorial description of Gorenstein toric Fano varieties by reflexive polytopes and its extension to Gorenstein horospherical Fano varieties due to Pasquier. Using this description, we show that the rank of the Picard group of an arbitrary $d$-dimensional $\mathbb{Q}$-factorial Gorenstein spherical Fano variety is bounded by $2d$. This paper also contains an overview of the description of the natural representative of the anticanonical divisor class of a spherical variety due to Brion.

math.AG↗

Homogeneous spherical data of orbits in spherical embeddings

Let $G$ be a connected reductive complex algebraic group. Luna assigned to any spherical homogeneous space $G/H$ a combinatorial object called a homogeneous spherical datum. By a theorem of Losev, this object uniquely determines $G/H$ up to $G$-equivariant isomorphism. In this paper, we determine the homogeneous spherical datum of a $G$-orbit $X_0$ in a spherical embedding $G/H \hookrightarrow X$. As an application, we obtain a description of the colored fan associated to the spherical embedding $X_0 \hookrightarrow \bar{X_0}$.

math.AG↗

Lattice polytopes, finite abelian subgroups in $\SL(n,\C)$ and coding theory

We consider $d$-dimensional lattice polytopes $Δ$ with $h^*$-polynomial $h^*_Δ=1+h_k^*t^k$ for $1 2$, the main technical tool in the classification of these linear codes is the non-vanishing theorem for generalized Bernoulli numbers $B_{1,χ}^{(r)}$ associated with odd characters $χ:\F_q^*\to\C^*$ where $q=p^r$. Our result implies a complete classification of all lattice polytopes whose $h^*$-polynomial is a binomial.

math.CO↗

A generalization of a theorem of G. K. White

An n-dimensional simplex Δ in \R^n is called empty lattice simplex if Δ\cap\Z^n is exactly the set of vertices of Δ. A theorem of G. K. White shows that if n=3 then any empty lattice simplex Δ\subset\R^3 is isomorphic up to an unimodular affine linear transformation to a lattice tetrahedron whose all vertices have third coordinate 0 or 1. In this paper we prove a generalization of this theorem for an arbitrary odd dimension n=2d-1 which in some form was conjectured by Sebő and Borisov. This result implies a classification of all 2d-dimensional isolated Gorenstein cyclic quotient singularities with minimal log-discrepancy at least d.

math.CO↗