The purpose of the paper is to prove an analogous correspondence for the above prehomogeneous vector space (1)-(3). For case (1) the correspondence is bijective. However, it turns out that the correspondence is not bijective for cases (2), (3). We describe the fiber structures of this correspondence in subsection 2-4. In section 1 we briefly review basic properties of the non-abelian Galois cohomology set and its relation to the orbit space G_k \ V_k^ss. In subsection 2-4 we consider the prehomogeneous vector spaces (1)-(3) respectively.
In this paper, we consider the structure of rational orbit of some prehomogeneous vector spaces originally motivated by Wright and Yukie. After we give a refinement of Wright-Yukie's construction, we apply it to the inner forms of the $D_5$ and $E_7$ types. Parameterizations of reducible algebras for the cubic cases are included.
In this paper, we consider the prehomogeneous vector space for pair of simple algebras which are $k$-forms of the $D_4$ type and the $E_6$ type. We mainly study the non-split cases. The main purpose of this paper is to determine the principal parts of the global zeta functions associated with these spaces in the non-split cases. We also give a description of the sets of rational orbits of these spaces, which suggests the expected density theorems arising from the properties of these zeta functions.
For a number field $K$ with ring of integers ${\mathcal O}_K$, we prove an analogue over finite rings of the form ${\mathcal O}_K/{\mathcal P}^m$ of the Fundamental Theorem on the Fourier transform of a relative invariant of prehomogeneous vector spaces, where ${\mathcal P}$ is a big enough prime ideal of ${\mathcal O}_K$ and $m>1$. In the appendix, F. Sato gives an application of the Theorems A, B and the Theorems A, B, C in J. Denef and A. Gyoja [\emph{Character sums associated to prehomogeneous vector spaces}, Compos. Math., \textbf{113} (1998) 237--346] to the functional equation of $L$-fu…
We determine all orbits of the prehomogeneous vector space $(\mathrm{GL}_5\times \mathrm{GL}_4,\wedge^2\mathrm{Aff}^5 \otimes \mathrm{Aff}^4)$ rationally over an arbitrary perfect field in this paper.
We construct polynomials of degree 4 that can not be obtained from prehomogeneous vector spaces, but, for which one can associate local zeta functions satisfying functional equations.
In a companion paper, we developed an efficient algebraic method for computing the Fourier transforms of certain functions defined on prehomogeneous vector spaces over finite fields, and we carried out these computations in a variety of cases. Here we develop a method, based on Fourier analysis and algebraic geometry, which exploits these Fourier transform formulas to yield level of distribution results, in the sense of analytic number theory. Such results are of the shape typically required for a variety of sieve methods. As an example of such an application we prove that there are $\gg$ X/lo…
Let (G, V) be a prehomogeneous vector space, let O be any G(F_q)-invariant subset of V(F_q), and let f be the characteristic function of O. In this paper we develop a method for explicitly and efficiently evaluating the Fourier transform of f, based on combinatorics and linear algebra. We then carry out these computations in full for each of five prehomogeneous vector spaces, including the 12-dimensional space of pairs of ternary quadratic forms. Our computations reveal that these Fourier transforms enjoy a great deal of structure, and sometimes exhibit more than square root cancellation on av…
In this paper we discuss lifting laws which, roughly, are ways of "lifting" elements of the open orbit of one prehomogeneous vector space to elements of the minimal nonzero orbit of another prehomogeneous vector space. We prove a handful of these lifting laws, and show how they can be used to help solve certain problems in arithmetic invariant theory. Of the results contained in this article are twisted versions of certain parametrization theorems of Bhargava.
Let $k$ be a function field of one variable over a finite field with the characteristic not equal to two. In this paper, we consider the prehomogeneous representation of the space of binary quadratic forms over $k$. We have two main results. The first result is on the principal part of the global zeta function associated with the prehomogeneous vector space. The second result is on a mean value theorem for degree zero divisor class groups of quadratic extensions over $k$, which is a consequence of the first one.
We consider the prehomogeneous vector space of pairs of ternary quadratic forms. For the lattice of pairs of integral ternary quadratic forms and its dual lattice, there are six zeta functions associated with the the prehomogeneous vector space. We present a conjecture which states that there are simple relations among the six zeta functions. We prove that the coefficients coincide on fundamental discriminants.
Let $k$ be a field of characteristic not equal to $2,3$, $\mathbb{O}$ an octonion over $k$ and $\mathcal{J}$ the exceptional Jordan algebra defined by $\mathbb{O}$. We consider the prehomogeneous vector space $(G,V)$ where $G=GE_6\times \mathrm{GL}(2)$ and $V=\mathcal{J}\oplus \mathcal{J}$. We prove that generic rational orbits of this prehomogeneous vector space are in bijective correspondence with $k$-isomorphism classes of pairs $(\mathcal{M},\mathfrak{n})$ where $\mathcal{M}$'s are isotopes of $\mathcal{J}$ and $\mathfrak{n}$'s are cubic étale subalgebras of $\mathcal{M}$. Also we prove th…
In previous work, Ohno conjectured, and Nakagawa proved, relations between the counting functions of certain cubic fields. These relations may be viewed as complements to the Scholz reflection principle, and Ohno and Nakagawa deduced them as consequences of `extra functional equations' involving the Shintani zeta functions associated to the prehomogeneous vector space of binary cubic forms. In the present paper we generalize their result by proving a similar identity relating certain degree l fields with Galois groups D_l and F_l respectively, for any odd prime l, and in particular we give ano…
Enumerating integral orbits in prehomogeneous vector spaces plays an important role in arithmetic statistics. We describe a method of proving subconvexity of the zeta function enumerating the integral orbits, illustrated by proving a subconvex estimate for the Shintani $ζ$ function enumerating class numbers of binary cubic forms.
Throughout this paper, k is a number field. We fix a quadratic extension k_1=k(a_0) of k, where a_0=sqrt(B_0) for a certain B_0 in k^\times/(k^\times)^2. In this paper, we consider the zeta function defined for the space of pairs of binary Hermitian forms. This is the prehomogeneous vector space we discussed in section 2 [1] and is a non-split form of the D_4 case in [4]. The purpose of this paper is to determine the principal part of the adjusted zeta function. Our main result is Theorem (8.15). Our case resembles the space of pairs of binary quadratic forms which we discussed in Chapter 5 [5…
We study the space of binary cubic and quadratic forms over the ring of integers $O$ of an algebraic number field $k$. By applying the theory of prehomogeneous vector spaces founded by M. Sato and T. Shintani, we can associate the zeta functions for these spaces. Applying these zeta functions, we derive some density theorems on the distributions of discriminants of cubic algebras of $O$. In the case $k$ is a quadratic field, we give a correction term as well as the main term. These are generalizations of Shintani's asymptotic formulae of the mean values of class numbers of binary cubic forms o…
We show that certain products of Whittaker functions and Schwartz functions on a general linear group extend to Whittaker functions on a larger general linear group. This generalizes results of Cogdell--Piatetski-Shapiro \cite{CPS} and Jacquet--Piatetski-Shapiro--Shalika \cite{JPSS83}. As a consequence, we prove that the Rankin--Selberg $L$-factor of the product of a discrete series representation and the Zelevinsky dual of a discrete series representation is given by a single Rankin--Selberg integral.
Given two arbitrary vector bundles on the Fargues-Fontaine curve, we give an explicit criterion in terms of Harder-Narasimhan polygons on whether they realize a semistable vector bundle as their extensions. Our argument is largely combinatorial and builds upon the dimension analysis of certain moduli spaces of bundle maps developed in [BFH+22].
We define and investigate extension groups in the context of Arakelov geometry. The 'arithmetic extension groups' we introduce are extensions by groups of analytic types of the usual extension groups attached to $Ø_X$-modules over an arithmetic scheme $X$. In this paper, we focus on the first arithmetic extension group - the elements of which may be described in terms of admissible short exact sequences of hermitian vector bundles over $X$ - and we especially consider the case when $X$ is an 'arithmetic curve', namely the spectrum $\Spec Ø_K$ of the ring of integers in some number field $K$. T…
Hermite best approximation vectors of a real number $θ$ were introduced by Lagarias. A nonzero vector (p, q) $\in$ Z x N is a Hermite best approximation vector of $θ$ if there exists $Δ$ > 0 such that (p -- q$θ$) 2 + q 2 /$Δ$ $\le$ (a -- b$θ$) 2 + b 2 /$Δ$ for all nonzero (a, b) $\in$ Z 2. Hermite observed that if q > 0 then the fraction p/q must be a convergent of the continued fraction expansion of $θ$ and Lagarias pointed out that some convergents are not associated with a Hermite best approximation vectors. In this note we show that the almost sure proportion of Hermite best approximation …
Following the ideas of L. Carlitz we introduce a generalization of the Bernoulli and Eulerian polynomials of higher order to vectorial index and argument. These polynomials are used for computation of the vector partition function $W({\bf s},{\bf D})$, i.e., a number of integer solutions to a linear system ${\bf x} \ge 0, {\bf D x} = {\bf s}$. It is shown that $W({\bf s},{\bf D})$ can be expressed through the vector Bernoulli polynomials of higher order.
In a previous paper, we have defined arithmetic extension groups in the context of Arakelov geometry. In the present one, we introduce an arithmetic analogue of the Atiyah extension that defines an element -- the arithmetic Atiyah class -- in a suitable arithmetic extension group. If $\overline{E}$ is a hermitian vector bundle on an arithmetic scheme $X$, its arithmetic Atiyah class is an obstruction to the algebraicity of the unitary connection on the vector bundle $E_\C$ over the complex manifold $X(\C)$ that is compatible with its holomorphic structure. We develop basic properties of the ar…
The aim of this article is to prove some results on the existence of an integral extension domain of a complete local Noetherian domain in mixed characteristic $p>0$ having certain distinguished properties with respect to the Frobenius map. We prove the main results by constructing required extension domains via Witt vectors and the method of maximal étale extensions. It is worth remarking that the resulting algebras have deep connections with the homological conjectures and the rings in $p$-adic Hodge theory.
