Homology Groups of Conormal Varieties

Let G be a real Lie group acting on real analytic manifold with finitely many orbits. We prove that the characteristic cycle map is a surjective homomorphism from the K-group of G-equivariant sheaves on X to the top homology group of the conormal variety of the G-action on X. We also show that the top homology group of the G-action on X is a free -module of rank equal to the number of G-orbits. This work was completed with the support of the Ministry of Science, Education and Sport of Croatia, and Infodesign d.o.o., Varaždin.     

On A(X) → TC(X) for some X

Let X be a connected based space and p be a two-regular prime number. If the fundamental group of X has order p, we compute the two-primary homotopy groups of the homotopy fiber of the trace map A(X) → TC(X) relating algebraic K-theory of spaces to topological cyclic homology. The proof uses a theorem of Dundas and an explicit calculation of the cyclotomic trace map K(ℤ[C_p])→ TC(ℤ[C_p]).     

The naturality in Kirwan's decomposition

Let X be a compact symplectic manifold, K a compact group acting symplectically on X, and assume there is a moment map. In [3], Kirwan defined a stratification on X, and showed that the associated spectral sequence degenerates. In this note, we ask whether this degeneration comes from a stable splitting of X into Thom spaces on the strata. One can also ask a related arithmetic question. Is it true that the splitting Kirwan discovered respects the action of Galois groups? Received: 20 March 1997     

Rigidity for pseudo pretheories

Assume F is a homotopy invariant pseudo pretheory with torsion values and X is a smooth scheme of finite type over a field k. We show for certain field extensions k⊆K the map F(X)→F(X _K ) is an isomorphism. Mathematics Subject Classification (2000) 14A99     

Moduli of Vector Bundles on Curves in Positive Characteristics

Let X be a projective curve of genus 2 over an algebraically closed field of characteristic 2. The Frobenius map on X induces a rational map on the moduli scheme of rank-2 bundles. We show that up to isomorphism, there is only one (up to tensoring by an order two line bundle) semi-stable vector bundle of rank 2 (with determinant equal to a theta characteristic) whose Frobenius pull-back is not semi-stable. The indeterminacy of the Frobenius map at this point can be resolved by introducing Higgs bundles.     

Test for properness using residue calculus

We will consider global problems in the ringK[X ₁, …,X _n] on the polynomials with coefficients in a subfieldK ofC. LetP=(P ₁, …,P _n):K ⁿ →K ⁿ be a polynomial map such that (P ₁,…,P _n) is a quasi-regular sequence generating a proper ideal, the main thing we do is to use the algebraic residues theory (as described in [5]) as a computational tool to give some result to test when a map (P ₁, …,P _n) is a proper map by computing a finite number of residue symbols.     

On algebraic K-theory of real algebraic varieties with circle action

Assume that X is a compact connected orientable nonsingular real algebraic variety with an algebraic free S¹-action so that the quotient Y=X/S¹ is also a real algebraic variety. If π : X→Y is the quotient map then the induced map between reduced algebraic K-groups, tensored with ,

Full-size image

is onto, where , denoting the ring of entire rational (regular) functions on the real algebraic variety X, extending partially the Bochnak–Kucharz result that

Full-size image

for any real algebraic variety X. As an application we will show that for a compact connected Lie group G .     

On Kummer extensions of the power series field

In this paper we study the Kummer extensions K ′ of a power series field K = k ((X₁, …, X_r)), where k is an algebraically closed field of arbitrary characteristic, with special emphasis in the case where K ′ is generated by a Puiseux power series. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Threefolds with big and nef anticanonical bundles II

In a follow-up to our paper [Threefolds with big and nef anticanonical bundles I, Math. Ann., 2005, 333(3), 569–631], we classify smooth complex projective threefolds Xwith −K _X big and nef but not ample, Picard number γ(X) = 2, and whose anticanonical map is small. We assume also that the Mori contraction of X and of its flop X ⁺ are not both birational.     

Approximation of Solutions of Nonlinear Equations of Monotone and Hammerstein Type

Let X be a real uniformly smooth and uniformly convex Banach space with dual X ^*. Let A: X → X ^* be a bounded uniformly submonotone map. It is proved that a Mann-type approximation sequence converges strongly to Jx ^* where x ^* ∈ N(A). Furthermore, as an application of this result an iterative sequence which converges strongly to a solution of the Hammerstein equation u+KFu = 0 is constructed where, F:X→X^* and K:X^*→X are monotone-type mappings. No invertibility assumption is imposed on K. Moreover, neither K nor F need be compact. Finally, our method is of independent interest.     

Automorphism Groups of Restricted Cartan-Type Lie Superalgebras

Let X denote the restricted Lie superalgebras of Cartan type W, S, H, or K over a field of characteristic p > 3, and 𝔄 the corresponding underlying superalgebra of X. Employing the invariance of the filtration of X we construct an isomorphism of Aut X to Aut(𝔄:X), the admissible automorphism group of the associative super-commutative superalgebra 𝔄. Moreover, it is proved that the group isomorphism above maps the standard normal series of Aut X to the one of Aut(𝔄:X), and also maps the homogeneous automorphism group of X to the admissible homogeneous automorphism group of 𝔄.     

<Emphasis Type="Italic">k</Emphasis>*-Metrizable spaces and their applications

In this paper, we introduce and study a new class of generalized metric spaces, which we call k*-metrizable spaces, and suggest various applications of such spaces in topological algebra, functional analysis, and measure theory. By definition, a Hausdorff topological space X is k*-metrizable if X is the image of a metrizable space M under a continuous map f: M → X which has a section s: X → M preserving precompact sets in the sense that the image s(K) of any compact set K ⊂ X has compact closure in X. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 48, General Topology, 2007.     

Potential semi-stability ofp-adic étale cohomology

We extend the methods of Faltings and Tsuji, and prove that ifK is a field of characteristic 0 with a complete, discrete valuation, and a perfect residue field of characteristicp, then thep-adic étale cohomology of a finite typeK-scheme is potentially semi-stable. We prove a similar result for cohomology with compact support, and for cohomology with support in a closed subspace ofX. We establish a relationship between these cohomology groups, and the de Rham cohomology ofX.     

The separability of the Gauss map and the reflexivity for a projective surface

It is known that if a projective variety X in P ^N is reflexive with respect to the projective dual, then the Gauss map of X defined by embedded tangent spaces is separable, and moreover that the converse is not true in general. We prove that the converse holds under the assumption that X is of dimension two. Explaining the subtleness of the problem, we present an example of smooth projective surfaces in arbitrary positive characteristic, which gives a negative answer to a question raised by S. Kleiman and R. Piene on the inseparability of the Gauss map.      

Research announcement on gaierkirfs method for a class of integra equations of the first kind

Let X and Y be locally convex spaces with K a closed convex cone in X Necessary and sufficient conditions are given for the image AK to be closed in Ywhen A:X→Y is a continuous linear map. This result is used to generalize a theorem of Abrams to infinite dimensional spaces and also to give sufficient conditions for the Hurwicz version of the Farkas lemma for locally convex spaces to hold.     

Characterizations and Extensions of Lipschitz-α Operators

In this work, we prove that a map F from a compact metric space K into a Banach space X over F is a Lipschitz-α operator if and only if for each σ in X^＊ the map σoF is a Lipschitz-α function on K. In the case that K = [a, b], we show that a map f from [a, b] into X is a Lipschitz-1 operator if and only if it is absolutely continuous and the map σ→ （σ o f）＇ is a bounded linear operator from X^＊ into L^∞（[a, b]）. When K is a compact subset of a finite interval （a, b） and 0 〈 α ≤ 1, we show that every Lipschitz-α operator f from K into X can be extended as a Lipschitz-α operator F from [a, b] into X with Lα（f） ≤ Lα（F） ≤ 3^1-α Lα（f）. A similar extension theorem for a little Lipschitz-α operator is also obtained.     

A Convenient Subcategory of Tych

A map f:XY between Hausdorff topological spaces is k-continuous if its restriction f| _K to every compact subspace K of X is continuous. X is called a k _R -space if every k-continuous function from X to a Tychonoff space is continuous. In this paper we investigate the category of Tychonoff k _R -spaces, and show that it is Cartesian closed (thus convenient in the sense of Wyler).     

Existence of a non‐reflexive embedding with birational Gauss map for a projective variety

We study the relationship between the generic smoothness of the Gauss map and the reflexivity (with respect to the projective dual) for a projective variety defined over an algebraically closed field. The problem we discuss here is whether it is possible for a projective variety X in ℙ^N to re‐embed into some projective space ℙ^M so as to be non‐reflexive with generically smooth Gauss map. Our result is that the answer is affirmative under the assumption that X has dimension at least 3 and the differential of the Gauss map of X in ℙ^N is identically zero; hence the projective varietyX re‐embedded in ℙ^M yields a negative answer to Kleiman–Piene's question: Does the generic smoothness of the Gauss map imply reflexivity for a projective variety? A Fermat hypersurface in ℙ^N with suitable degree in positive characteristic is known to satisfy the assumption above. We give some new, other examples of X in ℙ^N satisfying the assumption. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Homogenous projective factors for actions of semi-simple Lie groups

We analyze the structure of a continuous (or Borel) action of a connected semi-simple Lie group G with finite center and real rank at least 2 on a compact metric (or Borel) space X, using the existence of a stationary measure as the basic tool. The main result has the following corollary: Let P be a minimal parabolic subgroup of G, and K a maximal compact subgroup. Let λ be a P-invariant probability measure on X, and assume the P-action on (X,λ) is mixing. Then either λ is invariant under G, or there exists a proper parabolic subgroup Q⊂G, and a measurable G-equivariant factor map ϕ:(X,ν)→(G/Q,m), where ν=∫ _K kλdk and m is the K-invariant measure on G/Q. Furthermore, The extension has relatively G-invariant measure, namely (X,ν) is induced from a (mixing) probability measure preserving action of Q. Oblatum 14-X-1997 & 18-XI-1998 / Published online: 20 August 1999