Area comparison results for isotropic surfaces

Abstract: Consider a 2-plane

P s u b s e t m a t h b b C^{n}

and let

D

be a bounded region in

P

with a piecewise-smooth boundary. Let

I (D)

be the infimum of areas of all piecewise-smooth isotropic surfaces in

m a t h b b C^{n}

with the same boundary as

D

. Then

I (D) = l a m b d a_{P}^{n} c d o t A r e a (D)

. If

P

is not complex,

l a m b d a_{P}^{n} < f r a c 3 p i 2 s q r t 2

. For a complex plane

m a t h b b C s u b s e t m a t h b b C^{n}

,

l a m b d a_{m a t h b b C}^{n} g e q 2

,

l a m b d a_{m a t h b b C}^{2} g e q 3

and also

f r a c 3 p i^{2} 2 s q r t 2

is the area of an explicit Hamiltonian stationary isotropic Mobius band embedded in

m a t h b b C^{n}

whose boundary is a unit circle in

m a t h b b C

. As a corollary, a compact surface

S i g m a

(possibly with boundary) in a symplectic manifold can be approximated by isotropic surfaces of area

l e q f r a c 3 p i 2 s q r t 2 A r e a (S i g m a)

. Another corollary is that a closed curve of length

l

in

m a t h b b C^{n}

bounds an isotropic surface of area

l e q f r a c 3 l^{2} 8 s q r t 2

. A related result is the following: consider

m a t h b b C P^{1} s u b s e t m a t h b b C P^{n}

and let

D

be a region in

m a t h b b C P^{1}

. Let

I (D)

be the infimum of areas of all isotropic surfaces in

m a t h b b C P^{n}

with the same boundary as

D

representing the same relative homology class mod 2 as

D

. Then

2 c d o t A r e a (D) l e q I (D) l e q l a m b d a_{m a t h b b C}^{n} c d o t A r e a (D)

. Moreover the first inequality becomes an equality for

D = m a t h b b C P^{1}

.

Recommendations

This page was built for publication: Area comparison results for isotropic surfaces