×

Linear spaces on the intersection of cubic hypersurfaces. (English) Zbl 0546.10018

Let \(\lambda\) (r,m) denote the least n such that, for any prime p, any set of r cubic forms in n variables over \({\mathbb{Q}}_ p\) has an m- dimensional linear space of common p-adic solutions. Similarly let \(\Lambda\) (r,m) denote the corresponding quantity when \({\mathbb{Q}}_ p\) is replaced by \({\mathbb{Q}}\). The existence of \(\lambda\) (r,m) was established by R. Brauer [Bull. Am. Math. Soc. 51, 749-755 (1945)] and that of \(\Lambda\) (r,m) by B. J. Birch [Mathematika 4, 102-105 (1957; Zbl 0081.045)]. Indeed in each case a far more general result was obtained. While the works of Brauer and Birch are effective, the estimates for \(\lambda\) (r,m) and \(\Lambda\) (r,m) that one would obtain by following their methods would be extremely large.
The present paper gives the bounds \(\lambda (r,m)\ll r^ 2m^ 2+r^ 4m\) for r,\(m\geq 1\), and \(\Lambda (1,m)\ll m^{\alpha}\) for \(m\geq 1\), where \(\alpha ={1\over2}(5+\sqrt{17})=4.56... .\) Moreover it is shown that \(\Lambda (r,m)\ll r^{11}m+r^ 3m^ 5\) and that \(\Lambda (r,m)\ll r^ 5m^{14}\) (r,\(m\geq 1\) in either case). The method is based on elementary algebraic geometry, the only analytic ingredient being an estimate for \(\lambda\) (r,1) due to W. M. Schmidt [Monatsh. Math. 93, 211-223 (1982; Zbl 0473.10017)].
Reviewer: D.R.Heath-Brown

MSC:

11E76 Forms of degree higher than two
11E95 \(p\)-adic theory
11D25 Cubic and quartic Diophantine equations
14J20 Arithmetic ground fields for surfaces or higher-dimensional varieties
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] Archipov, G. I., Karacuba, A. A.: On local zeros of forms (In Russian). Izv. Akad. Nauk. Ser. Mat.45, No. 5, 948–961 (1981).
[2] Ax, J., Kochen, S. Diophantine problems over local fields I. Amer. J. Math.87, 605–630 (1965). · Zbl 0136.32805
[3] Birch, B. J., Lewis, D. J., Murphy, T. G. Simultaneous quadratic forms. Amer. J. Math.84, 110–115 (1962). · Zbl 0111.02001
[4] Birch, B. J.: Homogeneous forms of odd degree in a large number of variables. Mathematika,4, 102–105 (1957). · Zbl 0081.04501
[5] Brauer, R.: A note on systems of homogeneous algebraic equations. Bull. Amer. Math. Soc.51, 749–755 (1945). · Zbl 0063.00599
[6] Brownawell, D.: Onp-adic zeros of forms. J. Number Th.18, 342–349 (1984). · Zbl 0531.10027
[7] Davenport, H., Lewis, D. J. Homogeneous additive equations. Proc. Royal Soc. London274A 443–460 (1963). · Zbl 0118.28002
[8] Davenport, H.: Cubic forms in 16 variables. Proc. Royal Soc. London272A, 285–303 (1963). · Zbl 0107.04102
[9] Dem’yanov, V. B. Pairs of quadratic forms over complete fields. (In Russian). Izv. Akad. Nauk SSSR Ser. Mat.20, 307–324 (1956).
[10] Heath-Brown, R.: Cubic forms in 10 variables. Proc. London Math. Soc. (3)47, 225–257 (1983). · Zbl 0509.10013
[11] Knebusch, M.: An algebraic proof of the Borsuk-Ulam theorem for polynomial mappings. Proc. Amer. Math. Soc.84, 29–32 (1982). · Zbl 0496.14015
[12] Leep, D.: Systems of quadratic forms. To appear. · Zbl 0531.10023
[13] Leep, D., Schmidt, W.: Systems of homogeneous equations. Invent. Math.71, 539–549 (1983). · Zbl 0504.10010
[14] Lewis, D. J.: Cubic homogeneous equations overp-adic number fields. Ann. Math.56, 473–478 (1952). · Zbl 0048.02602
[15] Lewis, D. J., Montgomery, H. L.: On zeros ofp-adic forms. Michigan Math. J.30, 83–87 (1983). · Zbl 0531.10026
[16] Meyer, A. Vierteljahrsschrift Naturforsch. Gesellsch. Zürich29, 209–222 (1884).
[17] Schmidt, W.: The solubility of certainp-adic equations. J. Number Th.19, 63–80 (1984). · Zbl 0541.10024
[18] Schmidt, W. On cubic polynomials: III. Systems ofp-adic equations. Mh. Math.93, 211–223 (1982). · Zbl 0473.10017
[19] Schmidt, W.: On cubic polynomials: IV. Systems of rational equations. Mh. Math.93, 329–348 (1982). · Zbl 0481.10015
[20] Schmidt, W.: Diophantine inequalities for forms of odd degree. Adv. Math.38, 128–151 (1980). · Zbl 0448.10019
[21] Terjanian, G.: Formesp-adiques anisotropes. J. Reine Angew. Math.313, 217–220 (1980). · Zbl 0411.10006
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.